Testing the not-so-happy path
jorgeortiz.dev·4h·
Discuss: r/rust
🧪Property-Based Testing
Lively Linear Lisp (1992)
plover.com·1d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Systems Engineering for Agentic Applications
agenticapplications.substack.com·22h·
Discuss: r/programming
🩹Self-Healing Systems
DynaMark: A Reinforcement Learning Framework for Dynamic Watermarking in Industrial Machine Tool Controllers
arxiv.org·1d
🩹Self-Healing Systems
Time's arrow => decision theory
lesswrong.com·5h
🧠Automated Reasoning
Breaking Verifiable Abstractions
alperenkeles.com·23h·
Discuss: Hacker News, r/programming
🔍Formal Verification
Debugging Rustler on Illumos
system-illumination.org·3h·
Discuss: Lobsters, Hacker News
🔬Static Analysis
2025-09-01: Let's write a peephole optimizer for QBE's arm64 backend
briancallahan.net·1d·
Discuss: Hacker News
🐫Embedded OCaml
How to Test
matklad.github.io·1d·
Discuss: Hacker News, Hacker News
🧪Property-Based Testing
Embedding MicroHs
thma.github.io·3d
🐫OCaml
AI Agent Security – Why You Should Pay Attention
medium.com·4h·
Discuss: Hacker News
🩹Self-Healing Systems
Tripping Around REPL
vlaaad.github.io·1d·
Discuss: Hacker News
🛡️seL4
Cyclic Implicit Complexity
arxiv.org·1d
🐫OCaml
Every Implementable Algorithm Is Extensionally a Lookup Table
table.dk.workers.dev·1d·
Discuss: Hacker News
🔠Type-Level Programming
Isolated(any)
nshipster.com·20h·
Discuss: Hacker News
🧮Lambda Calculus
Structured bindings in C++17, 8 years later – C++ Stories
cppstories.com·1d·
Discuss: Lobsters, Hacker News, r/cpp
🐫OCaml
Baby's first type checker
austinhenley.com·1d·
Discuss: Lobsters, Hacker News
🐫OCaml
The Paradigm
nonint.com·15h·
Discuss: Hacker News
📚Automata Learning
I built a Debounce vs Throttle Interactive Visual Simulator on my blog
coffeebytes.dev·7h·
Discuss: r/programming
🏹Effect Systems
Proper Error Handling for Your Node.js Application
masteringbackend.com·1d·
Discuss: Hacker News
📊Runtime Verification