Supply chains and watering holes
cryptography.dog·4h·
Discuss: Lobsters
💎Refinement Types
I Built a Handy macOS CLI in 2 Hours with Zero Swift Knowledge
zbeegnew.dev·1h·
Discuss: Hacker News
⚙️PL Implementation
Show HN: Asimov's three laws, a working implementation (don't use in production)
maybedont.ai·3h·
Discuss: Hacker News
🩹Self-Healing Systems
True End-to-End Type Safety Across Your Entire TypeScript Stack
rowsana.substack.com·1d·
Discuss: r/javascript, r/programming
💎Refinement Types
Algebraic Effects in Practice with Flix
relax.software·2d·
Discuss: Lobsters, Hacker News, r/programming
🏹Effect Systems
How to Use Claude Code Subagents to Parallelize Development
zachwills.net·9h·
Discuss: Hacker News
🤖Program Synthesis
The Android Linux Commander
hackaday.com·6h
🐳Containerization
Thoughts on Evals
raindrop.ai·3d·
Discuss: Hacker News
👁️System Observability
An Introduction to XForms
xml.com·9h·
Discuss: Hacker News
⚙️PL Implementation
Deep Copy
developer.mozilla.org·4h·
Discuss: Hacker News
💎Refinement Types
False Confidence
theaiunderwriter.substack.com·1d·
Discuss: Substack
📚Automata Learning
Structs and Embedded Schemas in Elixir: Beyond Maps
blog.appsignal.com·13h·
Discuss: Hacker News
💎Refinement Types
Ruby Executes JIT Code: The Hidden Mechanics Behind the Magic
railsatscale.com·2h·
Discuss: Hacker News
🔄Reproducible Builds
Compiling a Functional Language to LLVM
danieljharvey.github.io·16h·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Prompts are Operating Systems
helloscribe.medium.com·1d·
Discuss: r/programming
⚙️Operating System Design
'Make invalid states representable' considered harmful
seangoedecke.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🛡️seL4
Causal Artificial Intelligence [Free Textbook]
causalai-book.net·1d·
Discuss: Hacker News
📚Automata Learning
Isolating CSS Inheritance
blog.dwac.dev·1d·
Discuss: Hacker News
💎Refinement Types
Rust's Enterprise Breakthrough Year
rust-trends.com·15h·
Discuss: Hacker News
🔄Reproducible Builds
Using Haskell in Production
agentultra.com·5h·
Discuss: Hacker News
🔠Type-Level Programming