Plain: The Language of Spec-Driven Development
blog.codeplain.ai·2h·
Discuss: Hacker News
🤖Program Synthesis
ORCA: ORchestrating Causal Agent
arxiv.org·1d
🧠Automated Reasoning
Systems Engineering for Agentic Applications
agenticapplications.substack.com·1d·
Discuss: r/programming
🩹Self-Healing Systems
Testing the not-so-happy path
jorgeortiz.dev·8h·
Discuss: r/rust
🧪Property-Based Testing
OrgChart: Coding Agent Organizations (Open Source)
gpeake.com·3h·
Discuss: Hacker News
🤖Program Synthesis
A quantum equivalent to Bayes' rule
lesswrong.com·2d
🧮Lambda Calculus
Everything About Bitflags
neg4n.dev·2h·
Discuss: Hacker News, r/javascript, r/node
🐫Embedded OCaml
The gen on function perilogues (2010)
jdebp.uk·3h·
Discuss: Hacker News
🐫Embedded OCaml
Lively Linear Lisp (1992)
plover.com·1d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Context Engineering: A Primer
okigu.com·1d·
Discuss: Hacker News
🔍Formal Verification
Civilization as a Compiler, or Why Not Just Let Dust Make Itself into Robots
vasily.cc·39m·
Discuss: Hacker News
🩹Self-Healing Systems
Baby's first type checker
austinhenley.com·1d·
Discuss: Lobsters, Hacker News
🐫OCaml
Isolated(any)
nshipster.com·1d·
Discuss: Hacker News
🧮Lambda Calculus
There's a gap between AI coding demos and daily reality
github.com·8h·
Discuss: Hacker News
🤖Program Synthesis
Cyclic Implicit Complexity
arxiv.org·1d
🐫OCaml
Show HN: ZenStack V3 – Modern, AI-Friendly Data Layer for TypeScript App
zenstack.dev·3h·
Discuss: Hacker News
🔠Type-Level Programming
Test-Driven Development Is Stupid
geometrian.com·7h·
Discuss: Hacker News
🧪Property-Based Testing
Simple but Powerful Pratt Parsing
matklad.github.io·3d·
Discuss: r/programming
🧩Parser Combinators
Show HN: I Made an ESP32 On-Call Beeper
techsquidtv.com·2h·
Discuss: Hacker News
🩹Self-Healing Systems
A General Framework of Epistemic Forgetting and its Instantiation by Ranking Functions
arxiv.org·1d
🧠Automated Reasoning