TLC SRC — The software industry is broken — let's reboot the industry instead of our programs!
nix functional-programming nixos pattern-matching static-analysis formal-methods cicd sum-types type-classes type-systems build-systems product-types dev-prod-parity reproducible-development-environments
-
Updated
Aug 26, 2025 - CSS