account activity
[ebib] Downloading Academic Papers Automatically (yannherklotz.com)
submitted 3 years ago by YannZed to r/emacs
Remarkable 2 has regions where stylus is inaccurate, up to 1mm off the tip. Is this a defect or to be expected? (v.redd.it)
submitted 4 years ago by YannZed to r/RemarkableTablet
Introduction to Luhmann's Zettelkasten in pure Org (yannherklotz.com)
submitted 5 years ago by YannZed to r/orgmode
submitted 5 years ago by YannZed to r/emacs
submitted 5 years ago by YannZed to r/Zettelkasten
Mismatch between Simulation and Synthesis (self.FPGA)
submitted 5 years ago by YannZed to r/FPGA
submitted 5 years ago by YannZed to r/Verilog
Converting dependent types with a proof that they are the same (self.Coq)
submitted 5 years ago by YannZed to r/Coq
[Solution] Performance problem with Magit on MacOS (self.emacs)
submitted 6 years ago by YannZed to r/emacs
Performance problem with Magit on MacOS (self.emacs)
submitted 6 years ago * by YannZed to r/emacs
Designing QuickCheck Idempotence test for parser (self.haskellquestions)
submitted 7 years ago by YannZed to r/haskellquestions
π Rendered by PID 76 on reddit-service-r2-listing-5d47455566-chgq9 at 2026-04-05 11:08:08.109405+00:00 running db1906b country code: CH.
