←
2024-09-22
Waiting for many things at once with
io_uring
post
short
2024-07-01
CRC-32C tips and tricks
post
2024-06-30
CRCs and Reed-Solomon coding: better together
post
2024-06-03
Message authentication codes for safer distributed transactions
post
short
2024-01-07
How to stop Linux threads cleanly
post
2022-11-06
The essence of Reed-Solomon coding
post
short
2022-10-07
Lánczos interpolation explained
post
2022-06-01
How fast are Linux pipes anyway?
post
2022-02-18
Quick and dirty remote desktop on a headless server with NixOS
post
2021-11-22
Reliably allocating huge pages in Linux
post
short
2021-10-26
Backing up WhatsApp data through the multi-device web client
post
2021-10-12
Remote, encrypted ZFS storage server with NixOS
post
2021-08-16
Speeding up
atan2f
by 50x
post
2021-07-20
Beating the L1 cache with value speculation
post
2021-07-03
When
static
makes your C code 10 times faster
post
2021-05-10
One weird trick to get machine-readable data out of any provider
post
short
2021-05-01
Quick and dirty backpropagation in Haskell
post
2017-07-23
Building inline-c projects just got a lot easier
post
short
2017-06-25
Threading responsibly
post
2017-06-19
Configurable data types
post
2017-05-19
A well-typed suspension calculus
post
2017-02-11
Persistent SSH sessions with proper scrollback
post
short
2017-01-18
Speeding up a distributed computation in Haskell
post
2016-10-17
Haskell and OpenCV: theory and practice
talk
2016-10-03
Type Checking through Unification
paper
2016-09-13
Parallelizing and distributing scientific software in Haskell
talk
2016-05-30
Scaling up a scientific computation
report
2015-07-05
perf for low-level Haskell profiling
post
2015-05-20
inline-c
: Call C functions from Haskell without bindings
post
talk
2015-04-27
Flame graphs for GHC time profiles
post
2013-08-13
Graphs: a Balancing Act
post
2013-08-10
Agda by Example: λ-calculus
post
talk
2013-04-19
Literate Agda and Hakyll
post
2013-04-01
Agda by Example: Sorting
post
2012-02-27
Haskell, Python, and Readability
post
short