📐 Mathematical Logic - bassam_exe · Scour

Gödel, Escher, Bach, Wallace: The "O's, D's and P's" in Infinite Jest 🧠Polymath

chiply.dev·5d·Hacker News

Why Math’s Final Axiom Proved So Controversial 📊Mathematics

quantamagazine.org·1d·Hacker News

Axiomism: A Developer's Perspective on the Foundation of Reality 🌐Complex Systems

github.com·19h·Hacker News

Wakil Ahmad Hakimi, The Impossibility of an Actually Infinite Future: Grounding, Traversal, and Temporal Structure 🌐Complex Systems

philarchive.org·2h·Hacker News

Every algorithm is a natural number. Hilbert's hotel has room for all of them 📊Mathematics

darkomulej.substack.com·18h·Substack

Hyperstatistics ⚛️Physics

arxiv.org·1d·Hacker News

The monstrous number sequences that break the rules of mathematics 📊Mathematics

newscientist.com·6d·Hacker News

Vector, the Journal of the British APL Association ⚛️Quantum Computing

web.archive.org·20h·Hacker News

Understanding systems 🌐Complex Systems

entropicthoughts.com·2d·Hacker News

Exp-Minus-Log made practical for RPN calculators ✅Formal Verification

tangentsoft.com·42m·Hacker News

Soundness Failures in LaBRADOR Implementations from NTT -Friendly Rings ✅Formal Verification

blog.zksecurity.xyz·7h·Hacker News

Country of Kaleidoscopes in a Datacenter ⚛️Quantum Computing

unessays.substack.com·1h·Substack

Why Law Is Law-Shaped 🔢Homomorphic Encryption

lawvm.org·1d·Hacker News

ArXivLean: How Well Can LLMs Formally Prove Research Math? ✅Formal Verification

matharena.ai·6d·Hacker News

Transcomputational Problem 🔢Homomorphic Encryption

en.wikipedia.org·14h·Hacker News

Table Oriented Programming (2002) ⚡Systems Programming

oocities.org·5h·Hacker News

From Convergence to Confidence: Push-Button Verification for RDTs ✅Formal Verification

kcsrk.info·1d·Hacker News, Hacker News

Show HN: I Built a Guide to the Manifold Shift in Mechanistic Interpretability 🌐Complex Systems

aithoughtsarenotalwaysstraightlines.vercel.app·19h·Hacker News

On Lisp: A review of Paul Graham's 1993 book ✅Formal Verification

alexvear.com·3d·Hacker News

CKKS — Polynomials, the Canonical Embedding, and Encoding 🔢Homomorphic Encryption

jeremykun.com·1d·Hacker News

Log in to enable infinite scrolling