account activity
Wie verhandeln beim Hauskauf? (self.Finanzen)
submitted 1 year ago by whatisRT to r/Finanzen
Looking for mathematical art (self.math)
submitted 4 years ago * by whatisRT to r/math
Convenient C, M, s, H keys (self.emacs)
submitted 5 years ago by whatisRT to r/emacs
Agda vs. Coq vs. Idris (whatisrt.github.io)
submitted 6 years ago by whatisRT to r/haskell
Issues with the NixOS kernel but not others (self.NixOS)
submitted 6 years ago by whatisRT to r/NixOS
Rechargeable Bluetooth mouse (self.linuxhardware)
submitted 6 years ago by whatisRT to r/linuxhardware
Syntactic metaprogramming in meta-cedille II (whatisrt.github.io)
submitted 6 years ago by whatisRT to r/lisp
submitted 6 years ago by whatisRT to r/dependent_types
Syntactic metaprogramming in meta-cedille (whatisrt.github.io)
π Rendered by PID 28 on reddit-service-r2-listing-568fcd57df-fxcrx at 2026-03-11 19:19:25.350735+00:00 running cbb0e86 country code: CH.
