The Curious Engineer

All blogs / Performance / optimization

bitonic's blog.

mazzo.li

Often in error, never in doubt.

Performance / optimizationLinux / UnixStorage / filesystemsHaskellDistributed systems / cloud

’15’20’25
Posts
39 from 27 Feb 2012 to 17 Oct 2025
Posting
now and then
Kind
personal blog
Feed
https://mazzo.li/rss.xml

2025 4

  1. Hidden benefits of undefined behavior
  2. Open sourcing TernFS, a distributed filesystem
  3. How to store Go pointers from assembly
  4. `inline-verilog`: Execute Verilog circuits from Haskell

2024 5

  1. Waiting for many things at once with `io_uring`
  2. CRC-32C tips and tricks
  3. CRCs and Reed-Solomon coding: better together
  4. Message authentication codes for safer distributed transactions
  5. How to stop Linux threads cleanly

2022 4

  1. The essence of Reed-Solomon coding
  2. Lánczos interpolation explained
  3. How fast are Linux pipes anyway?
  4. Quick and dirty remote desktop on a headless server with NixOS

2021 8

  1. Reliably allocating huge pages in Linux
  2. Backing up WhatsApp data through the multi-device web client
  3. Remote, encrypted ZFS storage server with NixOS
  4. Speeding up atan2f by 50x
  5. Beating the L1 cache with value speculation
  6. When static makes your C code 10 times faster
  7. One weird trick to get machine-readable data out of any provider
  8. Quick and dirty backpropagation in Haskell

2017 6

  1. Building inline-c projects just got a lot easier
  2. Threading responsibly
  3. Configurable data types
  4. A well-typed suspension calculus
  5. Persistent SSH sessions with proper scrollback
  6. Speeding up a distributed computation in Haskell

2016 4

  1. Haskell and OpenCV: theory and practice
  2. Type checking through unification
  3. Parallelizing and distributing scientific software in Haskell
  4. Scaling up a scientific computation

2015 3

  1. perf for low-level Haskell profiling
  2. inline-c: Call C functions from Haskell without bindings
  3. Flame graphs for GHC time profiles

2013 4

  1. Graphs: a Balancing Act
  2. Agda by Example: λ-calculus
  3. Literate Agda and Hakyll
  4. Agda by Example: Sorting

2012 1

  1. Haskell, Python, and Readability