Demangling the Details: Symbol Resolution in Rusty Trap
system.joekain.com·12h·
Discuss: Hacker News
🐫Embedded OCaml
Detail about Linkity Link
bradbarrish.com·3h·
Discuss: Hacker News
📡Network Protocol Design
Seven Hours, Zero Internet, and Local AI Coding at 40,000 Feet
betweentheprompts.com·6h·
Discuss: r/programming
🔬Unikernels
Structured bindings in C++17, 8 years later – C++ Stories
cppstories.com·2d·
Discuss: Lobsters, Hacker News, r/cpp
🐫OCaml
Scott Kim's Inversions: Dream and Level
nkanaev.com·8h·
Discuss: Hacker News
🐫OCaml
The Origins of Python
inference-review.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
Chinese hackers breach 700 companies through single Salesforce integration
nearlyright.com·2h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
You're Not Interviewing for the Job. You're Auditioning for the Job Title
idiallo.com·35m·
Discuss: Hacker News
👁️System Observability
Sheafification - The optimal path to mathematical mastery
sheafification.com·2d·
Discuss: Hacker News
➡️Category Theory
Show HN: I Made an ESP32 On-Call Beeper
techsquidtv.com·9h·
Discuss: Hacker News
🩹Self-Healing Systems
Show HN: ZenStack V3 – Modern, AI-Friendly Data Layer for TypeScript App
zenstack.dev·9h·
Discuss: Hacker News
🔠Type-Level Programming
Output Schema for CodeAct AI Agents: From Trial-and-Error to Predictive Planning
huggingface.co·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Tau² Benchmark in Action: Early Results and Key Takeaways
quesma.com·1d·
Discuss: Hacker News
👁️System Observability
Context Engineering: A Primer
okigu.com·1d·
Discuss: Hacker News
🔍Formal Verification
Brainstorming with Generative AI (2024)
mellonhead.co·8h·
Discuss: Hacker News
🤖Program Synthesis
Whodunit: LLM Murder Mysteries
blog.apartment304.com·4d·
Discuss: Hacker News
🎮Verification Games
It's Not a Framework · Taro
taro.codes·6h·
Discuss: r/programming
🧱Immutable Infrastructure
The Immutable Linux Paradox
jnsgr.uk·1d·
Discuss: Hacker News
🔬Unikernels
Data-Driven Bifurcation Handling in Physics-Based Reduced-Order Vascular Hemodynamic Models
arxiv.org·1d
🏹Effect Systems
Everything About Bitflags
neg4n.dev·9h·
Discuss: Hacker News, r/javascript, r/node
🐫Embedded OCaml