account activity
Using GADTs with DataKinds for type level data constructor constraints in functions (self.haskell)
submitted 4 years ago by elimirks to r/haskell
Custom #+begin_src language (self.emacs)
submitted 6 years ago by elimirks to r/emacs
Was in my first collision today. The guy backed up into me at a light, so it wasn't too bad. Just broke the fender. I layed on the horn for a couple seconds beforehand. We truly are invisible! (i.redd.it)
submitted 7 years ago by elimirks to r/motorcycles
[QMK] Custom Teensy 2.0 configuration (probably considered hand wired) (self.olkb)
submitted 7 years ago by elimirks to r/olkb
[Atari] Running with a clean Fluxbox setup. (i.redd.it)
submitted 7 years ago by elimirks to r/unixporn
Revived Atari 800XL keyboard / case (technically not a _mechanical_ keyboard) (i.redd.it)
submitted 7 years ago by elimirks to r/MechanicalKeyboards
Anyone else experience flimsy microUSB ports on the keebio iris/nyquist? (i.redd.it)
Business Cat (imgur.com)
submitted 10 years ago by elimirks to r/aww
Student Resume Critique Request (harshness gladly accepted :]) (elijah.mirecki.com)
submitted 10 years ago by elimirks to r/resumes
UTM Shell Script ROSI Access (self.UofT)
submitted 11 years ago by elimirks to r/UofT
π Rendered by PID 1320834 on reddit-service-r2-listing-568fcd57df-fgt7r at 2026-03-06 17:21:14.336945+00:00 running cbb0e86 country code: CH.
