website/home/links.org

• Rust
• Haskell
  • Aeson
  • The Massive Haskell Playlist
• Functional Programming
• Emacs
  • Org-habit
• NixOS
• ZFS
• Nomad
• Consul
• FileSystems
• Networking
• GameDev

• 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