The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·9h·
Discuss: Hacker News
💧Liquid Types
Quantum Complexity Theory Student Project Showcase #5 (2025 Edition)!
scottaaronson.blog·43m
🕸️Tensor Networks
Structured outputs with Amazon Nova: A guide for builders
aws.amazon.com·12h
💧Liquid Types
Footnotes, Gödel exercises, Purcell
logicmatters.net·15h
👑Isabelle
The Math Is Haunted
overreacted.io·2d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming
⚔️Lean Theorem
Symbolic-numeric programming in scientific computing
dspace.mit.edu·2d
🧬Functional Programming
Verification debt is the AI era's technical debt
kevinbrowne.ca·4h·
Discuss: Hacker News
📏Code Metrics
Why we need better software identification
softwareheritage.org·14h
🔗Binary Similarity
My Journey to Pure No-Code Addition (Spoiler: Plot Twist Ending)
news.ycombinator.com·18h·
Discuss: Hacker News
📊APL Heritage
Your LLM Stack Is Not Ready for Production—Here’s What You’re Missing
hackernoon.com·20h
🔄Language Evolution
Concrete Security Bounds for Simulation-Based Proofs of Multi-Party Computation Protocols
arxiv.org·1d
🎯Performance Proofs
IaCConf 2025: Automate All the Things Panel Discussion
blog.tedivm.com·1d
🏠Homelab Automation
Machine Learning Fundamentals: logistic regression
dev.to·13h·
Discuss: DEV
🧠Machine Learning
Real Life Is Uncertain. Consensus Should Be Too!
muratbuffalo.blogspot.com·1d·
Discuss: www.blogger.com
🤝Paxos Consensus
Issue 483
haskellweekly.news·17h
🔗Functional Compilers
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun·2d·
Discuss: Hacker News
🧮Theorem Proving
Encrypted Client Hello Approved for Publication
feistyduck.com·17h·
Discuss: Hacker News
🌐NetworkProtocols
Gödel: The Limits of Logic and the Foundations of Modern Mathematics
quantumzeitgeist.com·20h·
Discuss: Hacker News
🏛️Isabelle HOL
Fermat's Last Theorem in Lean – Imperial College London
github.com·15h·
Discuss: Hacker News
⚔️Lean Theorem
Building AI flag cleanup
bucket.co·17h·
Discuss: Hacker News, r/programming
🔄Language Evolution