🌀 Logic & Paradoxes - scribe · Scour

The Alice and Bob After Dinner Speech 📡Information Theory

hex.ooo·8h·Hacker News

Manhattan: distance and movement 🔭Greg Egan

lesswrong.com·3h

Liminal Minimal ⚔️Roguelikes

Country of Kaleidoscopes in a Datacenter 📝Note-Taking

unessays.substack.com·12h·Substack

Video Games that Secretly Teach Mathematics 🔢Recreational Math

brennan.day·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·19h·Hacker News, r/crypto

"Rat Run" Sudoku Series by Marty Sears 🔢Recreational Math

logic-masters.de·1d·Hacker News

Middle School Program 📐Mathematics

reasonandrationality.com·3h

Why I still reach for Lisp and Scheme instead of Haskell 🔢Type Theory

news.ycombinator.com·23h·Hacker News

Issue 649 🔢Type Theory

datascienceweekly.substack.com·5h·Substack

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·6h·Substack

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

Metaphysics of Thinging Machines Modeling 🔢Type Theory

philsci-archive.pitt.edu·10h

withDiscountingTermStructure (3) Linux Manual Page 🦀Rust

systutorials.com·3h

Mathematics and Empiricism ∑Math

lesswrong.com·6d

Puzzle: Random Blocks 🔢Recreational Math

denisegaskins.com·1d

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

frontiersin.org·20h

Log in to enable infinite scrolling