Index
Blog
Beautiful Haskell
Broadcasting a WebM stream using MSE
Adding Operational Transformation To Butler
Patching a Haskell build-depends
Incredibly Magic Graphics User Interface
Why Emacs Is the Best: 10 Key Advantages
Arbitrary precision float controller
Forwarding ssh-agent through WebSockets
Functor map
Haskell inline-c Demo For Pipewire
Haskell use cases for ChangeMetrics
ICFP Contest 2023 - JKRT Report
ICFP Contest 2024 - Pure Laziness Report
Introducing Animation Fractal
Introducing Butler Virtual Operating System
Introducing an effects system for Monocle
Introducing Functional Programming to Pythonistas
How to manually update Kubernetes Resources
Live Reloading Haskell GUI From Scratch
Leveraging Cap'n Proto For Logreduce Reports
Improving logreduce with Rust
Implementing logreduce nearest neighbors model in Rust
Introducing the BytesLines iterator
Completing the first release of logreduce-rust
Logreduce WASM based web interface
Making Of MicroX
Making Of OP-961
Capturing Vulkan Framebuffer with Massiv
No Frills Daily Project Management
Synchronizing Sound PCM with Image FPS
Recursive namespaces to run containers inside a container
Improve your developer workflow with Monocle
Adding OAuth middleware to Servant application
Running Software Factory on OpenShift
State monad
Switching To An Ergonomic Keyboard
Implementing tiny game engines
Using Dhall To Animate Fractal
Varying Modulation
Vulkan triangle winding
ZuriHac 2023 trip report
Contributions
Projects
10 Years of Zuul
Typing Streak with QMK
advent-of-code
Advent Of L∃∀N
Animation Fractal
autochill
Baduk Trainer
ButlerOS
Adding Operational Transformation To Butler
Introducing Butler Virtual Operating System
cabal-multi-repl-flake
cgroup-monitor
changemetrics.io
dear-filedialog.hs
demo-code
devenv
dhall-bindings
easy-retroclash-nix
haskell-ebml
tiny-game.hs
FIR Demo
GenZMK
gerrit-haskell
gerritbot-matrix
Gleam LSP QoL
gnome-mumble-push-to-talk
gnome-org-next-schedule
graphdhall
Hadertoy
Haxible
hspkgs
html-file-reload
hy2glsl
ImplicitQualifiedImport
k1s
keid-vkguide
ki-effectful
learn-blender
lentille
linux-capabilities-haskell
logreduce
Maps of Mnemos game simulator
matrix-client
Midirus
modularix
DAW
Reaper
Monocle
monocle-query
moonracer
nix-diff-bill-of-materials
Nodepool drivers
opCBC
opFreak
opHac961
OpenStack VMT
pipes-pulse-simple
podenv
purescript-gjs
re-ansi
restfuzz
retry-effectful
rokolisp
sicp-study
simple-dsp
Swarm LSP
Timed Based Access Control (TBAC)
tiny-http
wasm-gnugo
weiqi-visualizer
haskell-xstatic
zuul-haskell
zuul-nix
Zuul Pyramid
Zuul Results Gerrit Plugin
zuul-rs
zuul-weeder
talks
Dhall: A Strong Alternative to YAML
I Found a Security Bug- What Happens Next?
Reduce your log noise using machine learning
The Game Of Go
Go Terms
Weiqi History
Initiation to the Game of Go
Learn Go
Zettelkasten
Code Review
Communication Protocol
REST
SPDY
Computer Graphics
Container
Context Free
Continuous Integration
Zuul
Fractal
Fractal Animation
Free Software
Games
Geometry
graphics
colors
WebGPU
mathemathics
Abstract Algebra
Boolean Algebra
Lambda Calculus
Mockingbird
Linear Algebra
Russell’s paradox
Mathemathics
Mockingbird
Music
Acid Jazz
DAW
Reaper
Electronic Music
Piano
Playlists
Reaper
Sound Engineering
Trip Hop
Object Oriented Programing
os
GNU Guix
Programing Languages
Hindley–Milner type system
ML
LISP
ML
MathJax
Agda
ATS
C
Category Theory
clean
Compositional Type Checking
Computer Graphic
Coq
CSS
Declarative Programing
Dependently Typed
ATS
Dhall
Dynamic Programming
Elixir
Elm
Emacs Lisp
Functional Programing
LISP
Declarative Programing
Purely Functional
Garbage Collection
Gleam
GLSL
Haskell
Compositional Type Checking
ZuriHac
HTML
CSS
Shadow Dom
Hy
Idris
Imperative Programing
Object Oriented Programing
Procedural Programing
JavaScript
Lean4
Linearly Typed
ATS
Modular Pograming
ML
Monad
Nix
OCaml
Procedural Programing
Purely Functional
Purescript
Python
ReactJS
Reason
ReScript
Rust
Scheme
S-expression
Structured Programing
C
Python
Type Families
Type System
Hindley–Milner type system
ML
Compositional Type Checking
Dependently Typed
ATS
Linearly Typed
ATS
python-dhall
Runtime
Garbage Collection
BEAM
Kubernetes
OpenShift
OpenShift
Web Assembly
Shadow Dom
Software Development Forge
Software Factory Project
Softwares
Code Review
Container
Continuous Integration
Zuul
DAW
Reaper
Software Development Forge
Emacs
Emacs Lisp
gerrit
git
Zuul
User Interface
Version Control
systemd nspawn
User Interface
Version Control
Virtual Machine
Vulkan
Vulkan triangle winding
ZuriHac
Snippets