An Interactive Guide to TanStack DB
frontendatscale.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
The canonical agent architecture: A while loop with tools
braintrust.dev·3d·
Discuss: Hacker News
⚙Operational Semantics
Using Haskell in Production
agentultra.com·1d·
Discuss: Hacker News
🔠Type-Level Programming
False Confidence
theaiunderwriter.substack.com·2d·
Discuss: Substack
📚Automata Learning
An Introduction to XForms
xml.com·1d·
Discuss: Hacker News
⚙️PL Implementation
Show HN: Asimov's three laws, a working implementation (don't use in production)
maybedont.ai·1d·
Discuss: Hacker News
🩹Self-Healing Systems
Show HN: A Deep Research MCP Agent (and pitfalls I hit along the way)
thealliance.ai·9h·
Discuss: Hacker News
🧠Automated Reasoning
Information-Theoretic Bounds and Task-Centric Learning Complexity for Real-World Dynamic Nonlinear Systems
arxiv.org·1d
🔄Finite State Machines
Introducing Tier 1 Reachability: Precision CVE Triage for Enterprise Teams
socket.dev·1d·
Discuss: Hacker News
🛡️seL4
Weird CPU architectures, the MOV only CPU (2020)
justanotherelectronicsblog.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Billion-Line Days Demand Billion-Test Nights
momentic.ai·1d·
Discuss: Hacker News
🤖Program Synthesis
Stop writing CLI validation. Parse it right the first time
hackers.pub·4d·
Discuss: Lobsters, Hacker News, r/programming, r/typescript
🛡️seL4
A Rapid Review Regarding the Concept of Legal Requirements in Requirements Engineering
arxiv.org·1d
⚙Operational Semantics
An Inline Cache Isn't Just a Cache
mgaudet.ca·3h·
Discuss: Hacker News
💎Refinement Types
Sharing what I learned about Rust functions and closures
blog.cuongle.dev·8h·
Discuss: Hacker News, r/rust
🧮Lambda Calculus
I Built a Handy macOS CLI in 2 Hours with Zero Swift Knowledge
zbeegnew.dev·1d·
Discuss: Hacker News
⚙️PL Implementation
Deliberate Abstraction
entropicthoughts.com·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🤖Program Synthesis
How OpenAI Operator Works with AI Agents
anchorbrowser.io·6h·
Discuss: Hacker News
🧠Automated Reasoning
Quantum Algorithm Zoo
quantumalgorithmzoo.org·1h·
Discuss: Hacker News
🧠Automated Reasoning
Real-Time Detection of Hallucinated Entities in Long-Form Generation
hallucination-probes.com·2h·
Discuss: Hacker News
📚Automata Learning