On "local" and "global" errors in mathematical papers, and how to detect them
terrytao.wordpress.com·15h·
Discuss: Hacker News
🏛️Isabelle HOL
Well-Founded Coalgebras Meet K\"onig's Lemma
arxiv.org·1d
🧮Algebraic Archives
Value in Formal Theory Land
4gravitons.com·20h
🏗️Constructive Mathematics
Open problems in topos theory
ncatlab.org·2d
🕸️Algebraic Topology
Benchmarking Amazon Nova: A comprehensive analysis through MT-Bench and Arena-Hard-Auto
aws.amazon.com·1d
🎙️Whisper
Extensions and Shadows (7)
sites.psu.edu·4d
🧮Kolmogorov Complexity
What if Left-Right and Seq-Lock had a baby?
github.com·6h·
Discuss: Hacker News
🔒Type Safety
The Early Development of Set Theory (2024)
plato.stanford.edu·3d·
Discuss: Hacker News
🏗️Constructive Mathematics
Algebra Problems of the Day (Algebra Regents, June 2025 Part II)
mrburkemath.blogspot.com·20h·
Discuss: www.blogger.com
📐Linear Algebra
A deterministic π-driven algorithm for the Partition Problem (NP-complete)
osf.io·15h·
Discuss: Hacker News
🧮SMT Solvers
Implementing Merkle Trees in Go
vaktibabat.github.io·1d
🌳Archive Merkle Trees
Determinism
theprogrammersparadox.blogspot.com·18h·
Discuss: theprogrammersparadox.blogspot.com
🐚Shell Calculus
How to draw lambda diagrams (2020)
risingentropy.com·23h·
Discuss: Hacker News
λLambda Formalization
The Illusion of Thinking
mjtsai.com·20h
🧮SMT Solvers
Developer Walk-Through of Aider, an Open Source Agentic CLI
thenewstack.io·34m
👑Isabelle
10 Myths of Scalable Parallel Languages, Part 4: Syntax Matters
chapel-lang.org·13h·
Discuss: Hacker News
📝Concrete Syntax
Improved homomorphic evaluation for hash function based on TFHE (2024)
cybersecurity.springeropen.com·20h·
Discuss: Hacker News
🔐Homomorphic Encryption
Revisiting LLM Reasoning via Information Bottleneck
arxiv.org·1d
📏Linear Logic
Hardest Question From China’s University Entrance Exam
mindyourdecisions.com·3d
🧮SMT Solvers
Comparing Pattern-Matching Across Different Languages: Java, Scala, and More
hackernoon.com·23h
🧮Algebraic Datatypes