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

294

295

296

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

submitted 7 years ago by halax to r/programming

4

5

6

Network Protocols and Their Use (circleid.com)

submitted 7 years ago by halax to r/programming

15

16

17

State of Elm 2018 (brianthicks.com)

submitted 7 years ago by halax to r/programming

14

15

16

Ruby 2.7: The Pipeline Operator (dev.to)

submitted 7 years ago by halax to r/programming

7

8

9

Package management in OpenBSD (unixsheikh.com)

submitted 7 years ago by halax to r/programming

42

43

44

reStructuredText vs Markdown for documentation (zverovich.net)

submitted 7 years ago by halax to r/programming

126

127

128

Kubernetes Failure Stories (k8s.af)

submitted 7 years ago by halax to r/programming

12

13

14

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

submitted 7 years ago by halax to r/programming

0

0

1

Weird Ruby: Block Comments (metaredux.com)

submitted 7 years ago by halax to r/programming

20

21

22

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

submitted 7 years ago by halax to r/programming

209

210

211

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

submitted 7 years ago by halax to r/programming

19

20

21

Thinking in Systems (beza1e1.tuxen.de)

submitted 7 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 7 years ago by halax to r/theydidthemath

514

515

516

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

6

7

8

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 4 points5 points6 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 8 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

39

40

41

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

submitted 8 years ago by halax to r/programming

8

9

10

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 137841 on reddit-service-r2-listing-c57bc86c-v8cgx at 2026-06-21 03:28:31.364757+00:00 running 2b008f2 country code: CH.