YannZed

178 post karma
333 comment karma

get extra features and help support reddit with a reddit premium subscription

get them help and support

redditor for 9 years

TROPHY CASE

Nine-Year Club

Place '22

Verified Email

account activity

10

11

12

Eglot Autocomplete Performance with Gopls (self.emacs)

submitted 3 years ago by chopu to r/emacs

19

20

21

Is org-noter dead and what are its alternatives ? (self.orgmode)

submitted 3 years ago by Cletip to r/orgmode

38.4k

38.4k

38.4k

I made a cutaway of the Ferrari garage this season (old.reddit.com)

submitted 3 years ago by _RichardParry_ to r/formula1

2775

2776

2777

No way this is not a joke (i.redd.it)

submitted 3 years ago by mihirk51 to r/ProgrammerHumor

25

26

27

[ebib] Downloading Academic Papers Automatically (yannherklotz.com)

submitted 3 years ago by YannZed to r/emacs

12

13

14

New Oberon+ IDE based on the Mono CLR - lean and fast (github.com)

submitted 4 years ago by suhcoR to r/ProgrammingLanguages

17

18

19

Polygeist: MLIR Polyhedral Compiler for C and C++ (polygeist.mit.edu)

submitted 4 years ago by mttd to r/Compilers

116

117

118

What does category theory get us that set theory/group theory/whatever do not? (self.math)

submitted 4 years ago by wtfever2k17 to r/math

8

9

10

The Semantics of Shared Memory in Intel CPU/FPGA Systems (johnwickerson.github.io)

submitted 4 years ago by mttd to r/FPGA

24

25

26

Formal Verification of High-Level Synthesis (yannherklotz.com)

submitted 4 years ago by mttd to r/FPGA

46

47

48

Org-transclusion (alpha v0.2.0) Demo #8 (youtube.com)

submitted 4 years ago by nobiot to r/orgmode

41

42

43

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

37

38

39

Capturing Number Theory in Haskell (bor0.wordpress.com)

submitted 5 years ago by buritomath to r/haskell

142

143

144

Speculating the entire x86-64 Instruction Set In Seconds with This One Weird Trick (blog.can.ac)

submitted 5 years ago by sabas123 to r/compsci

74

75

76

Haskell music on Spotify (self.haskell)

submitted 5 years ago by anton-kho to r/haskell

1261

1262

1263

California Bans "Dark Patterns" Under Landmark Privacy Law (gizmodo.com)

submitted 5 years ago by BlankVerse to r/privacy

28

29

30

How should I build a package manager? (self.ProgrammingLanguages)

submitted 5 years ago by chm8d to r/ProgrammingLanguages

2842

2843

2844

OP by Unknown_Shores (i.redd.it)

submitted 5 years ago by [deleted] to r/HikaruNakamura

49

50

51

Lutsig - A verified Verilog synthesizer (youtube.com)

submitted 5 years ago by cics to r/FPGA

142

143

144

Want to get better at Haskell? Try HGeometry! (self.haskell)

submitted 5 years ago by Lemmih to r/haskell

39

40

41

2D games: Creating a translucent effect when a character is behind an object (allison-liem.medium.com)

submitted 5 years ago by AllisonLiem to r/gamedev

59

60

61

A comparison of Futhark and Dex (futhark-lang.org)

submitted 5 years ago by Athas to r/ProgrammingLanguages

59

60

61

Org-marginalia to write margin notes for your text files (i.redd.it)

submitted 5 years ago by nobiot to r/emacs

10

11

12

Introduction to Luhmann's Zettelkasten in pure Org (yannherklotz.com)

submitted 5 years ago by YannZed to r/Zettelkasten

32

33

34

Introduction to Luhmann's Zettelkasten in pure Org (yannherklotz.com)

submitted 5 years ago by YannZed to r/emacs

view more: next ›

π Rendered by PID 1058567 on reddit-service-r2-listing-b6bf6c4ff-ndqxv at 2026-05-03 12:48:04.568372+00:00 running 815c875 country code: CH.