Technical Writing

Introducing WireCat, a GHC plugin for writing typed categorical wiring diagrams with proc notation

Python script using entropy and effective numbers to display multicore CPU usage in status bars

Using profunctor optics with Arrow-based workflows for better composability

Exploring deduction, induction, and abduction in software development through Peirce’s theory

Manual cost center profiling technique achieving 100x speedups in production systems

Nix-based solution for reproducible Jupyter environments with multiple language kernels

Research paper on cell movement patterns during zebrafish embryonic development

Setting up IHaskell kernel in JupyterLab for interactive Haskell data analysis

Deploying Haskell applications on HPC clusters using Nix and PRoot without root access

Why some types like Set and Map don’t fit standard type classes and possible solutions

Reference compilation of mathematical laws for Haskell’s core type classes

Algorithm for clustering embryonic cells using quantum mechanics-inspired path integrals