Footnotes, Gödel exercises, Purcell
logicmatters.net·1d
🧮Programming Language Theory
Cactus Language • Pragmatics 7
inquiryintoinquiry.com·1d
🧮Programming Language Theory
Gödel: The Limits of Logic and the Foundations of Modern Mathematics
quantumzeitgeist.com·2d·
Discuss: Hacker News
🧮Programming Language Theory
Trustworthy Reasoning: Evaluating and Enhancing Factual Accuracy in LLM Intermediate Thought Processes
arxiv.org·1d
🧩Theorem Proving
Show HN: Formalizing Strong Goldbach for AI Reasoning in HOL(Standard Semantics)
medium.com·2d·
Discuss: Hacker News
🧮Programming Language Theory
The Math Is Haunted
overreacted.io·3d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming
🧩Theorem Proving
Machine Learning Fundamentals: loss function
dev.to·19h·
Discuss: DEV
🎲Probabilistic Programming
News for July 2025
ptreview.sublinear.info·12h
⚖Algorithmic Game Theory
Forget the complexity: AI all boils down to drawing the right lines
sgnt.ai·2h
🧮Programming Language Theory
The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)
arxiv.org·3d
🧩Theorem Proving
“Opponent shaping” as a model for manipulation and cooperation
lesswrong.com·1d
🧮Programming Language Theory
I built an interactive, museum‑style web experience exploring the decline of polymaths.
ezzio.vercel.app·4h·
Discuss: r/InternetIsBeautiful
🧮Programming Language Theory
Lobsters Interview with Icefox
lobste.rs·19h·
Discuss: Lobsters
🔧Compiler Design
How to Write Inductive Invariants
quint-lang.org·21h·
Discuss: Lobsters, Hacker News, r/programming
🤝Protocol Design
Symbolic-numeric programming in scientific computing
dspace.mit.edu·3d
⚙Functional Programming
Mastering NLP with spaCy – Part 2
towardsdatascience.com·17h
🔗Parser Combinators
From Astrophysics to Applied Artificial Intelligence, Hilary Egan Charts a Creative Path Through Science
cleantechnica.com·1d
🤖Sci-Fi
Large language model-driven medical knowledge retrieval and QA system: A new framework | Newswise - Newswise
news.google.com·1d
🗄️Database Theory
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun·3d·
Discuss: Hacker News
🧩Theorem Proving
Speak, Don't Type
typeless.com·9h·
Discuss: Hacker News
🧮Programming Language Theory