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

2021-05-01 Quick and dirty backpropagation in Haskell post

2017-07-23 Building inline-c projects just got a lot easier post

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

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 posttalk

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 posttalk

2013-04-19 Literate Agda and Hakyll post

2013-04-01 Agda by Example: Sorting post

2012-02-27 Haskell, Python, and Readability post