The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·1d·
Discuss: Hacker News
💻Programming languages
Lobsters Interview with Icefox
lobste.rs·5h·
Discuss: Lobsters
💻Programming languages
Show HN: List of Clojure-Like projects
github.com·1h·
Discuss: Hacker News
💻Programming languages
Gödel: The Limits of Logic and the Foundations of Modern Mathematics
quantumzeitgeist.com·1d·
Discuss: Hacker News
🌐Distributed systems
How to Write Inductive Invariants
quint-lang.org·7h·
Discuss: Lobsters, Hacker News, r/programming
🌐Distributed systems
Your LLM Stack Is Not Ready for Production—Here’s What You’re Missing
hackernoon.com·1d
💻Programming languages
The Math Is Haunted
overreacted.io·2d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming
💻Programming languages
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·1d·
Discuss: Hacker News
💻Programming languages
A New Governance Model for MCP
blog.modelcontextprotocol.io·1d·
Discuss: Hacker News
🌐Distributed systems
Hask Is Not a Category
math.andrej.com·2d·
Discuss: Hacker News
💻Programming languages
Formal Inertia
daedeluskite.com·1d·
Discuss: Hacker News
💻Programming languages
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun·3d·
Discuss: Hacker News
💻Programming languages
Comprehensive Overview of the Identity Management Ecosystem in 2025
guptadeepak.com·23h·
Discuss: DEV, Hacker News
🔐Security Patterns
How Kimi 2 Became One of the Best Tool-Using Models
dbreunig.com·2d·
Discuss: Hacker News
💻Programming languages
Encoding SAT in OCaml GADTs
farlow.dev·4d·
Discuss: Hacker News
💻Programming languages
Reverse engineering some updates to Claude
simonwillison.net·22h
💻Programming languages
Lobsters Interview with Icefox
lobste.rs·5h·
Discuss: Lobsters
💻Programming languages
Computer Networking a Top-Down Approach, 9th Edition
gaia.cs.umass.edu·15h·
Discuss: Hacker News
🌐Distributed systems
C++ Instrumentation with Memory Sanitizer
systemsandco.dev·16h·
Discuss: Hacker News
🧠Memory Management
Formal specs as sets of behaviors
surfingcomplexity.blog·5d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
💻Programming languages