2021-05-10 One weird trick to get machine-readable data out of any provider

2021-05-01 Quick and dirty backpropagation in Haskell

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

2017-06-25 Threading responsibly

2017-06-19 Configurable data types

2017-05-19 A well-typed suspension calculus

2017-02-11 Persistent SSH sessions with proper scrollback

2017-01-18 Speeding up a distributed computation in Haskell

2016-10-17 Haskell and OpenCV: theory and practice

2016-10-03 Type Checking through Unification

2016-09-13 Parallelizing and distributing scientific software in Haskell

2016-05-30 Scaling up a scientific computation

2015-07-05 perf for low-level Haskell profiling

2015-05-20 inline-c: Call C functions from Haskell without bindings

2015-04-27 Flame graphs for GHC time profiles

2013-08-13 Graphs: a Balancing Act

2013-08-10 Agda by Example: λ-calculus

2013-04-19 Literate Agda and Hakyll

2013-04-01 Agda by Example: Sorting

2012-02-27 Haskell, Python, and Readability


f@mazzo.li · twitter