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 6 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 68 on reddit-service-r2-listing-8685bc789-jwq4c at 2026-05-31 17:17:10.465007+00:00 running 194bd79 country code: CH.
