Footnotes, Gödel exercises, Purcell
logicmatters.net·1d
🧮Programming Language Theory
Cactus Language • Pragmatics 7
inquiryintoinquiry.com·12h
🧮Programming Language Theory
Gödel: The Limits of Logic and the Foundations of Modern Mathematics
quantumzeitgeist.com·1d·
Discuss: Hacker News
🧮Programming Language Theory
Trustworthy Reasoning: Evaluating and Enhancing Factual Accuracy in LLM Intermediate Thought Processes
arxiv.org·20h
🧩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·6h·
Discuss: DEV
🎲Probabilistic Programming
News for July 2025
ptreview.sublinear.info·39m
⚖Algorithmic Game Theory
The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)
arxiv.org·2d
🧩Theorem Proving
“Opponent shaping” as a model for manipulation and cooperation
lesswrong.com·15h
🧮Programming Language Theory
Lobsters Interview with Icefox
lobste.rs·7h·
Discuss: Lobsters
🔧Compiler Design
How to Write Inductive Invariants
quint-lang.org·9h·
Discuss: Lobsters, Hacker News, r/programming
🤝Protocol Design
From Astrophysics to Applied Artificial Intelligence, Hilary Egan Charts a Creative Path Through Science
cleantechnica.com·20h
🤖Sci-Fi
Symbolic-numeric programming in scientific computing
dspace.mit.edu·2d
⚙Functional Programming
Mastering NLP with spaCy – Part 2
towardsdatascience.com·5h
🔗Parser Combinators
Rant
reddit.com·15h·
Discuss: r/Supplements
🧫Cellular Automata
Large language model-driven medical knowledge retrieval and QA system: A new framework | Newswise - Newswise
news.google.com·15h
🗄️Database Theory
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun·3d·
Discuss: Hacker News
🧩Theorem Proving
Hask Is Not a Category
math.andrej.com·2d·
Discuss: Hacker News
🔄Category Theory
Machine learning by satisfiability solving
johndcook.com·1d
📈Complexity Theory