Home
Git
SourceHut
GitHub
(inactive)
Blog
Links
Project Ideas
Contact
  • Open Source and Mental Health
  • Sequence Diagrams: The Good Thing UML brought to Software Development
  • [GUIDE] Hyprland + Nvidia + Extremely Minimal Gentoo (Updated & Clean)
  • SadServers
  • Structure and Interpretation of Computer Programs
  • Book recommendations, DDD, Clean Code
  • 8 CI/CD security best practices: Protect your software pipeline
  • hardened-malloc

Rust

  • Integrating a large Tokio-based Rust library with Haskell

Haskell

  • Extended Example: Piping
  • Effects Landscape: All Cats are Grey
  • Oregon Programming Languages Summer School 2013
  • Pipes in Haskell
  • Towards Haskell in the Cloud
  • Algebraic Graphs
  • Curry - Howard - Lambek and the Isomorphism
  • Haskell Projects for Beginners
  • Event Sourcing
  • Type that Should not Be
  • A Fistful of Automata
  • OpenCascade-hs
  • Book list opinion for revision/self-study

Aeson

  • Aelve Guide | Haskell - Aeson cookbook
  • Parsing JSON with Aeson
  • Algebraic Data Types (ADTs) with Aeson
  • Aeson: the tutorial

The Massive Haskell Playlist

  • Adventure with Types in Haskell - Simon Peyton Jones (Lecture 1)
  • Adventure with Types in Haskell - Simon Peyton Jones (Lecture 2)

Functional Programming

  • Elm crash course - Building unbreakable webapps fast
  • From Rails to Elm and Haskell - Richard Feldman
  • Simon Peyton-Jones: Escape from the ivory tower: the Haskell journey
  • Running a startup on Haskell
  • LambdaConf 2015 - A Practical Introduction to Haskell GADTs Richard Eisenberg
  • Elm Europe 2017 - Richard Feldman - Scaling Elm Apps

Emacs

  • Getting Started with Org Roam - Build a Second Brain in Emacs
  • SummerEmacs: How I Use Emacs
  • Demystifying the Emacs Window Manager
  • Exporting with Custom Accent Markers
  • Note Taking Strategy 2023
  • 2023 Edition: Solid Ways to Have Your Org
  • Analyze Your Time with Org Mode
  • CalDAV and CardDAV integration on Emacs
  • Tips for Using Org at Work
  • org mode links: open in new tab
  • How I Organize my Life in Org Mode
  • Org Agenda is Great with Org Roam
  • indent-bars
  • Org Note Workflow
  • Tailoring Emacs completions with hippie-expand
  • buffer.el
  • Emacs and The Cybernetic Productivity
  • vzi.el - Pipe data from emacs to the browser
  • Window Management - share your display-buffer-alist
  • Stop org from hiding other windows when org-capture, src block edit
  • Building your own bookmark launcher
  • user-keys
  • Sharing my Emacs Workflow and Dotfiles

Org-habit

  • org-heatmap
  • org-habit

NixOS

  • Literate NixOS System Configuration
  • Paranoid NixOS
  • Erase your Darlings
  • NixOS Server with Impermenance
  • Diagrams of my NixOS-based Multi-Site Homelab

ZFS

  • Everything I've Seen on Optimizing PostgreSQL on ZFS on Linux
  • PostgreSQL + ZFS: Best Practices and Standard Procedures

Nomad

  • DemocraticCSI
  • Nomad Auto-Proxy with Consul-Template and NGINX
  • How Nomad 1.3 Enables Running Work at the Edge

Consul

  • Life of a Packet Through Consul Service Mesh

FileSystems

  • IronFS
  • NVMe SSD Failures in the Field: the Fail-Stop and the Fail-Slow

Networking

  • Fun with veth-devices, Linux bridges and VLANs in unnamed Linux network namespaces – I
  • Fun with veth-devices, Linux bridges and VLANs in unnamed Linux network namespaces – II
  • Fun with veth-devices, Linux bridges and VLANs in unnamed Linux network namespaces – III
  • Fun with veth-devices, Linux bridges and VLANs in unnamed Linux network namespaces – IV
  • Fun with veth-devices, Linux bridges and VLANs in unnamed Linux network namespaces – V
  • Fun with veth-devices, Linux bridges and VLANs in unnamed Linux network namespaces – VI
  • Fun with veth-devices, Linux bridges and VLANs in unnamed Linux network namespaces – VII
  • Fun with veth-devices, Linux bridges and VLANs in unnamed Linux network namespaces – VIII
  • Running local services in network namespaces with systemd

GameDev

  • Minkowski Difference of Two Convex Polygons
  • 2D Game Physics