📐 Mathematical Logic - bassam_exe · Scour

The fall of the theorem economy (David Bessis) 📊Mathematics

lesswrong.com·1d

What Can We Gain by Losing Infinity? 📊Mathematics

quantamagazine.org·1d·Hacker News

Realism 🧠Polymath

plato.stanford.edu·3d

Metaphysics of Thinging Machines Modeling 🌐Complex Systems

philsci-archive.pitt.edu·12h

Why Law Is Law-Shaped 🔢Homomorphic Encryption

lawvm.org·1d·Hacker News

Tries for Polynomials 🔢Homomorphic Encryption

doisinkidney.com·3d·Lobsters

Why I still reach for Lisp and Scheme instead of Haskell 🔢Homomorphic Encryption

news.ycombinator.com·1d·Hacker News

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

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

ML Systems Textbook 🤖Machine Learning

mlsysbook.ai·4d

En Route to a Standard QMA1 vs. QCMA Oracle Separation ⚛️Quantum Computing

What are covering spaces in algebraic geometry? (Pt II: Finite etale covering spaces) 🔢Homomorphic Encryption

ayoucis.wordpress.com·4d

Foundational Texts: Forks and Branches 🤔Philosophy

dansinker.com·1d

Video Games that Secretly Teach Mathematics 📊Mathematics

brennan.day·1d

On This Day in Math 📊Mathematics

pballew.blogspot.com·5d·Blogger

Double Maths First Thing: Issue 56 📊Mathematics

aperiodical.com·1d

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

jeremykun.com·1d·Hacker News

Holon (philosophy) ⚛️Physics

en.wikipedia.org·3d

New Techniques for Communication-Efficient Secure Comparison Protocols 🔢Homomorphic Encryption

eprint.iacr.org·6d

lacan's development of non-metaphorical topology 🌐Complex Systems

notes.pinboard.in·3d

Action-guiding counterfactuals 🎯Game Theory

alexanderpruss.blogspot.com·3d·Blogger

Sign up or log in to see more results

Log in to enable infinite scrolling