Modelling Exactly-Once Delivery Using TLA+
medium.com·3d·
Discuss: Hacker News
🛡️seL4
Bisimilarity and Simulatability of Processes Parameterized by Join Interactions
arxiv.org·23h
🔠Type-Level Programming
Guide to Rapidly Improving AI Products Part 2
newsletter.eng-leadership.com·9h·
Discuss: r/programming
✓Automated Theorem Proving
Improvements to OCaml code editing: the basics of a refactor engine
tarides.com·14h·
Discuss: Lobsters, Hacker News
🐫OCaml
AGENTS.md gets it wrong in 2 ways
joshwand1.substack.com·26m·
Discuss: Substack
🧪Property-Based Testing
Ow Dynamic K8s Sandboxes Can Improve Dora Metrics
signadot.com·1h·
Discuss: Hacker News
🧱Immutable Infrastructure
Making Impossible States Impossible: Type-Safe Domain Modeling with Functional Dependency Injection
cekrem.github.io·2d·
Discuss: Lobsters, Hacker News, r/programming, r/webdev
🛡️seL4
What Debugging JavaScript on WebAssembly Looks Like
thenewstack.io·5h
👁️System Observability
Herb Sutter "Three Cool Things in C++26"
herbsutter.com·15h·
Discuss: Hacker News
🐫Embedded OCaml
Building a Regex Engine
abstractsyntaxseed.com·15h·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Enhance AI agents using predictive ML models with Amazon SageMaker AI and Model Context Protocol (MCP)
aws.amazon.com·7h·
Discuss: Hacker News
✓Automated Theorem Proving
SPL Lightweight Multisource Mixed Computation Practices
github.com·19h·
Discuss: Hacker News, r/programming
⚙️PL Implementation
Lisp in 99 Lines of C With TinyLisp
hackaday.com·1d
⚙️PL Implementation
Fuzzing Hardware Like Software (2021)
arxiv.org·1d·
Discuss: Hacker News
🔬Unikernels
how to resolve a halting paradox
academia.edu·1d·
Discuss: r/programming
🔄Finite State Machines
Stupidity as a Service
lawrenc.es·19h·
Discuss: Hacker News
🛡️seL4
How Mintlify uses Claude Code as a technical writing assistant
mintlify.com·3h·
Discuss: Hacker News
🛡️seL4
Defects4Log: Benchmarking LLMs for Logging Code Defect Detection and Reasoning
arxiv.org·2d
👁️System Observability
Complete Dynamic Logic of Communicating Hybrid Programs
arxiv.org·1d
✓Automated Theorem Proving
Why Is This Hard?
programmersstone.blog·14h·
Discuss: Lobsters, Hacker News
🔬Static Analysis