Hacker News
- How to stop Linux threads cleanly https://mazzo.li/posts/stopping-linux-threads.html 9 comments
- How fast are Linux pipes anyway? (2022) https://mazzo.li/posts/fast-pipes.html 105 comments
- The essence of Reed-Solomon coding https://mazzo.li/posts/reed-solomon.html 41 comments
- How fast are Linux pipes anyway? https://mazzo.li/posts/fast-pipes.html 200 comments
- Speeding up atan2f https://mazzo.li/posts/vectorized-atan2.html 103 comments
- Beating the L1 cache with value speculation https://mazzo.li/posts/value-speculation.html 53 comments
- When static makes your C code 10 times faster https://mazzo.li/posts/c-performance-anecdote.html 108 comments
- Using GDPR to obtain one’s data as JSON https://mazzo.li/posts/gdpr-success-story.html 133 comments
- Agda by Example: Sorting http://mazzo.li/posts/AgdaSort.html 14 comments
- Agda by Example: λ-calculus http://mazzo.li/posts/Lambda.html 7 comments
Lobsters
- How to stop Linux threads cleanly https://mazzo.li/posts/stopping-linux-threads.html 23 comments assembly , c , c++ , linux
- Haskell, Python, and Readability https://mazzo.li/posts/haskell-readability.html 21 comments haskell , python
- The essence of Reed-Solomon coding https://mazzo.li/posts/reed-solomon.html 11 comments compsci , math
- How fast are Linux pipes anyway? https://mazzo.li/posts/fast-pipes.html 8 comments c , linux , performance
- When `static` makes your C code 10 times faster https://mazzo.li/posts/c-performance-anecdote.html 11 comments c , performance
- Reliably allocating huge pages in Linux https://mazzo.li/posts/check-huge-page.html 5 comments linux
- Backing up WhatsApp data through the multi-device web client https://mazzo.li/posts/whatsapp-backup.html 3 comments browsers , cryptography , reversing , web
- Speeding up `atan2f` by 50x https://mazzo.li/posts/vectorized-atan2.html 7 comments assembly , c , math , performance
- How to stop Linux threads cleanly https://mazzo.li/posts/stopping-linux-threads.html 4 comments linux
- How to stop Linux threads cleanly https://mazzo.li/posts/stopping-linux-threads.html 2 comments cpp
- How fast are Linux pipes anyway? https://mazzo.li/posts/fast-pipes.html 21 comments programming
- Graphs: a Balancing Act https://mazzo.li/posts/graph-drawing.html 3 comments programming
- How fast are Linux pipes anyway? https://mazzo.li/posts/fast-pipes.html 4 comments kernel
- How fast are Linux pipes anyway? https://mazzo.li/posts/fast-pipes.html 39 comments programming
- How fast are Linux pipes anyway? https://mazzo.li/posts/fast-pipes.html 15 comments linux
- Reliably allocating huge pages in Linux https://mazzo.li/posts/check-huge-page.html 5 comments linux
- Quick and dirty backpropagation in Haskell https://mazzo.li/posts/haskell-backprop-short.html 2 comments haskell
- Building inline-c projects just got a lot easier http://mazzo.li/posts/new-inline-c.html 14 comments haskell
- Threading responsibly -- forkIO considered harmful http://mazzo.li/posts/threads-resources.html 28 comments haskell
- Customizable Data Types http://mazzo.li/posts/customizable-data-types.html 26 comments haskell
- A well typed suspension calculus http://mazzo.li/posts/suspension.html 15 comments haskell
- Persistent SSH sessions with proper scrollback http://mazzo.li/posts/autoscreen.html 5 comments programming
- Graph drawing with gloss http://mazzo.li/posts/graph-drawing.html 7 comments haskell
- Agda by Example: lambda-calculus http://mazzo.li/posts/lambda.html 12 comments haskell
- Sorting with Agda http://mazzo.li/posts/agdasort.html 35 comments haskell