Breaking Verifiable Abstractions
alperenkeles.com·5h·
Discuss: Hacker News, r/programming
⚙️systems programming
Context Engineering: A Primer
okigu.com·7h·
Discuss: Hacker News
⚙️systems programming
Every Implementable Algorithm Is Extensionally a Lookup Table
table.dk.workers.dev·20h·
Discuss: Hacker News
⚙️systems programming
Baby's first type checker
austinhenley.com·1d·
Discuss: Lobsters, Hacker News
🐫ocaml
Tau² Benchmark in Action: Early Results and Key Takeaways
quesma.com·9h·
Discuss: Hacker News
⚙️systems programming
Lively Linear Lisp (1992)
plover.com·16h·
Discuss: Lobsters, Hacker News
🔄compilers
Output Schema for CodeAct AI Agents: From Trial-and-Error to Predictive Planning
huggingface.co·1d·
Discuss: Hacker News
⚙️systems programming
How to Test
matklad.github.io·6h·
Discuss: Hacker News
⚙️systems programming
Lessons from building an AI data analyst
pedronasc.com·1h·
Discuss: Hacker News
🗄️databases
Tripping Around REPL
vlaaad.github.io·8h·
Discuss: Hacker News
🐫ocaml
The AI Engineer's Guide to LLM Observability with OpenTelemetry
agenta.ai·1d·
Discuss: Hacker News
⚙️systems programming
Solving Claude Code's API Blindness with Static Analysis
martinalderson.com·6h·
Discuss: Hacker News
🔄compilers
What Unix Pipelines Got Right (and How We Can Do Better)
programmingsimplicity.substack.com·3h·
Discuss: Substack
⚙️systems programming
Structured bindings in C++17, 8 years later – C++ Stories
cppstories.com·1d·
Discuss: Lobsters, Hacker News, r/cpp
🐫ocaml
The Origins of Python
inference-review.com·1d·
Discuss: Hacker News
🐫ocaml
Abstract Machine Models Also: what Rust got particularly right
dr-knz.net·1d·
Discuss: Hacker News
⚙️systems programming
Tradeoffs of Highly-Expressive Types
jnkr.tech·1d·
Discuss: Hacker News
🔄compilers
Ask HN: Polyglot Mirroring
news.ycombinator.com·7h·
Discuss: Hacker News
🔄compilers
Show HN: Dialog – An Orchestration Layer for VoIP-Agent Applications
github.com·3h·
Discuss: Hacker News
⚙️systems programming
A type system for RCL (2024)
ruudvanasseldonk.com·1d·
Discuss: Lobsters, Hacker News
🐫ocaml