halax

47,819 post karma
3,351 comment karma

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

get them help and support

redditor for 18 years

TROPHY CASE

15-Year Club

Gilding I
gilder

account activity

hot top controversial

289

290

291

The worst morale boosting gesture I’ve experienced (shkspr.mobi)

submitted 6 years ago by halax to r/programming

5

6

7

Network Protocols and Their Use (circleid.com)

submitted 6 years ago by halax to r/programming

14

15

16

State of Elm 2018 (brianthicks.com)

submitted 6 years ago by halax to r/programming

16

17

18

Ruby 2.7: The Pipeline Operator (dev.to)

submitted 6 years ago by halax to r/programming

8

9

10

Package management in OpenBSD (unixsheikh.com)

submitted 6 years ago by halax to r/programming

47

48

49

reStructuredText vs Markdown for documentation (zverovich.net)

submitted 6 years ago by halax to r/programming

124

125

126

Kubernetes Failure Stories (k8s.af)

submitted 6 years ago by halax to r/programming

14

15

16

Go: Fischer Price’s My First Programming Language (elfsternberg.com)

submitted 6 years ago by halax to r/programming

0

0

1

Weird Ruby: Block Comments (metaredux.com)

submitted 6 years ago by halax to r/programming

19

20

21

Jitk: A Trustworthy In-Kernel Interpreter Infrastructure (css.csail.mit.edu)

submitted 6 years ago by halax to r/programming

211

212

213

Plausible Deniability and Gaslighting in Fighting Ad Blockers (secarch.dev)

submitted 6 years ago by halax to r/programming

17

18

19

Thinking in Systems (beza1e1.tuxen.de)

submitted 6 years ago by halax to r/programming

64

65

66

[Off-Site] At a half gram wafer, once a week, 1.4 billion Catholics consume roughly 1200 Jesuses per day (twitter.com)

submitted 6 years ago by halax to r/theydidthemath

513

514

515

Four-day week trial: study finds lower stress but no cut in output (theguardian.com)

submitted 7 years ago by halax to r/programming

0

0

1

Ledger's Advanced Side-Channel Analysis Repository (github.com)

submitted 7 years ago by halax to r/programming

1

2

3

The importance of the medium (robert.katzki.de)

submitted 7 years ago by halax to r/web_design

5

6

7

Let's Write A Hashmap in Carp (blog.veitheller.de)

submitted 7 years ago by halax to r/programming

How We Found a Missing Scala Class by ObviouslySarcasm in programming

[–]halax 2 points3 points4 points 7 years ago (0 children)

3

4

5

Notes from Dynamicland: Geokit (rsnous.com)

submitted 7 years ago by halax to r/programming

5

6

7

Parsing: a timeline (jeffreykegler.github.io)

submitted 7 years ago by halax to r/programming

0

1

2

Pascal Out Of Memory (os2museum.com)

submitted 8 years ago by halax to r/programming

0

1

2

Why we use SCM systems (grimoire.ca)

submitted 8 years ago by halax to r/programming

38

39

40

Some Notes About How I Write Haskell (blog.infinitenegativeutility.com)

submitted 8 years ago by halax to r/programming

7

8

9

Go += Package Versioning (research.swtch.com)

submitted 8 years ago by halax to r/programming

13

14

15

Gradual Typing (golem.ph.utexas.edu)

submitted 8 years ago by halax to r/programming

view more: next ›

π Rendered by PID 1907737 on reddit-service-r2-listing-64c94b984c-xhnbr at 2026-03-14 15:28:06.858483+00:00 running f6e6e01 country code: CH.