ORCA: ORchestrating Causal Agent
arxiv.org·1d
🧠Automated Reasoning
Lively Linear Lisp (1992)
plover.com·1d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Systems Engineering for Agentic Applications
agenticapplications.substack.com·15h·
Discuss: r/programming
🩹Self-Healing Systems
A quantum equivalent to Bayes' rule
lesswrong.com·1d
🧮Lambda Calculus
Context Engineering: A Primer
okigu.com·18h·
Discuss: Hacker News
🔍Formal Verification
Type-safe and user-friendly error handling in Swift 6
theswiftdev.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Isolated(any)
nshipster.com·13h·
Discuss: Hacker News
🧮Lambda Calculus
Cyclic Implicit Complexity
arxiv.org·1d
🐫OCaml
How to Test
matklad.github.io·17h·
Discuss: Hacker News
🧪Property-Based Testing
Solving Claude Code's API Blindness with Static Analysis
martinalderson.com·17h·
Discuss: Hacker News
💎Refinement Types
Baby's first type checker
austinhenley.com·1d·
Discuss: Lobsters, Hacker News
🐫OCaml
A General Framework of Epistemic Forgetting and its Instantiation by Ranking Functions
arxiv.org·1d
🧠Automated Reasoning
The Origins of Python
inference-review.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Abstract Machine Models Also: what Rust got particularly right
dr-knz.net·2d·
Discuss: Hacker News
🔤DSLs
DeepQuali: Determining Software Quality with AI
blog.qaware.de·22h·
Discuss: Hacker News
🔄Reproducible Builds
Daniel Jackson on WYSIWID: Rethinking software structure to enable LLM coding
essenceofsoftware.com·1d·
Discuss: Hacker News
💎Refinement Types
Lessons from building an AI data analyst
pedronasc.com·12h·
Discuss: Hacker News
🧠Automated Reasoning
Pretraining a LLM with less than $50 budget which outperforms Google BERT
medium.com·8h·
Discuss: Hacker News, r/LLM, r/LocalLLaMA
🧩Parser Combinators
Show HN: Dialog – An Orchestration Layer for VoIP-Agent Applications
github.com·14h·
Discuss: Hacker News
🌐NetworkProtocols
Simple but Powerful Pratt Parsing
matklad.github.io·3d·
Discuss: r/programming
🧩Parser Combinators