🌀 Logic & Paradoxes - scribe · Scour

The Alice and Bob After Dinner Speech 📡Information Theory

hex.ooo·9h·Hacker News

Liminal Minimal ⚔️Roguelikes

Manhattan: distance and movement 🔭Greg Egan

lesswrong.com·4h

Thinking Thursday: Bus Puzzles 🔢Recreational Math

denisegaskins.com·14h

Time and the World: Every Thing and Then Some 🔢Type Theory

ndpr.nd.edu·1d

Seeking God in Science part 6: Systems and States 🔢Type Theory

blog.rongarret.info·5d·blog.rongarret.info

Soundness Failures in LaBRADOR Implementations from NTT -Friendly Rings ∑Math

blog.zksecurity.xyz·20h·Hacker News, r/crypto

Video Games that Secretly Teach Mathematics 🔢Recreational Math

brennan.day·1d

Middle School Program 📐Mathematics

reasonandrationality.com·4h

Improving algebraic understanding using history of mathematics: the case of structural reasoning in cubic equations ∑Math

frontiersin.org·21h

Explore 30,000+ Olympiad Math Problems 🔢Recreational Math

mathnet.mit.edu·1h

an education in argument 🔢Type Theory

modernagejournal.com

·2d

Action-guiding counterfactuals 🔢Type Theory

alexanderpruss.blogspot.com·3d·Blogger

Numbers No Machine Can Reach 🔢Recreational Math

darkomulej.substack.com·7h·Substack

Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers 🔢Type Theory

Metaphysics of Thinging Machines Modeling 🔢Type Theory

philsci-archive.pitt.edu·11h

withDiscountingTermStructure (3) Linux Manual Page 🦀Rust

systutorials.com·4h

Mathematics and Empiricism ∑Math

lesswrong.com·6d

Puzzle: Random Blocks 🔢Recreational Math

denisegaskins.com·1d

What Can We Gain by Losing Infinity? 🔢Recreational Math

longreads.com·9h

Log in to enable infinite scrolling