~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
          P r o g r a m m i n g
         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
       
         tech / programming
       
         Holdings: 6 works (30.7 K)
       
         Developer tooling, code and compiler workflows, and formal verification.
       
         Class-Here Works
         ----------------
  TEXT Verifying using Haskell in the Age of AI.md (2026-04-28, 17.2 K)
         Verifying using Haskell in the Age of AI
  TEXT Formal verification and property testing of a custom algorithm (2024-11-29, 2.1 K)
         How to confirm code does what it claims: introduces formal verifica...
  TEXT git, GitHub and multiple accounts/profiles (2024-11-28, 2.8 K)
         Configures git and SSH to cleanly separate multiple GitHub accounts...
  TEXT Haskell Compiling Windows (On Linux) (2024-10-14, 37 B)
         How to cross-compile Haskell binaries for Windows from Linux. Writt...
  TEXT Setup Haskell verification with LiquidHaskell and Stack (2024-10-14, 777 B)
         Getting started with LiquidHaskell and Stack for refinement-type ve...
  TEXT Nix Flake a Haskell Project (2024-03-12, 7.8 K)
         Notes on getting a Nix flake working for a Haskell project to reduc...
       
  TEXT Atom feed
   DIR Browse source directory