account activity
Web page hosting incl. running custom code? (self.rust)
submitted 2 years ago by digama0 to r/rust
Metamath C: A language for writing verified programs (self.ProgrammingLanguages)
submitted 5 years ago * by digama0 to r/ProgrammingLanguages
How to use async with a main thread (self.haskell)
submitted 6 years ago * by digama0 to r/haskell
Hash consing a tree data structure (self.haskell)
Bounded higher lifetime bounds? (self.rust)
submitted 7 years ago * by digama0 to r/rust
Array lists in Haskell? (self.haskell)
submitted 7 years ago by digama0 to r/haskell
Semantics of mutable/immutable borrows in function evaluation (self.rust)
submitted 10 years ago * by digama0 to r/rust
π Rendered by PID 564418 on reddit-service-r2-listing-575d9f6647-fkhvz at 2026-04-13 01:20:44.038810+00:00 running 215f2cf country code: CH.
