Introducing WireCat, a GHC plugin for writing typed categorical wiring diagrams with proc notation
Technical Articles
On various subjects.
Generalized effective numbers and entropies
December 16, 2025Working notes on generalized effective numbers, Hill numbers, and related entropies.
Summarizing multicore usage using entropy
January 2, 2023Python script using entropy and effective numbers to display multicore CPU usage in status bars
Arrows, through a different lens
April 15, 2021Using profunctor optics with Arrow-based workflows for better composability
Code is engineering, types are science
March 5, 2020Exploring deduction, induction, and abduction in software development through Peirce’s theory
Locating performance bottlenecks in large Haskell codebases
January 31, 2020Manual cost center profiling technique achieving 100x speedups in production systems
JupyterWith: declarative, reproducible notebook environments
February 28, 2019Nix-based solution for reproducible Jupyter environments with multiple language kernels
Brownian-like deviation of neighboring cells in the early embryogenesis of the zebrafish
February 8, 2019Research paper on cell movement patterns during zebrafish embryonic development
Towards interactive data science in Haskell: Haskell in JupyterLab
January 23, 2019Setting up IHaskell kernel in JupyterLab for interactive Haskell data analysis
Running Haskell applications in clusters using Nix
April 17, 2018Deploying Haskell applications on HPC clusters using Nix and PRoot without root access
Haskell type classes: incidental non-examples
November 2, 2017Why some types like Set and Map don’t fit standard type classes and possible solutions
Haskell type classes: a compilation of laws
November 1, 2017Reference compilation of mathematical laws for Haskell’s core type classes
Cell trajectory clustering: towards the automated identification of morphogenetic fields in animal embryogenesis
February 24, 2017Algorithm for clustering embryonic cells using quantum mechanics-inspired path integrals
Looking for essays and less technical writing? Visit Texts.