Joined 4/24/2021, 6:56:04 PM has 502 karma
Do Clouds Mostly Form Above the Lakes?
How "Do Your Own Research" Became a Slogan for Epistemic Collapse
Theory of Stupidity [pdf]
Formalizing a Proof in Lean Using GitHub Copilot Only [video]
Writing N-body gravity simulations code in Python
Lectures on the Geometric Anatomy of Theoretical Physics
The Art of Scripting HTTP Requests Using Curl
Advanced Python Development Workflow in Emacs
Brewington Hardaway Becomes First U.S. Born Black Grandmaster
The Book Written by Tiny Paws
Yale prof solves part of math's 'Rosetta
When are two proofs of the same theorem different proofs
John J. Hopfield Talk, "Collective Properties of Neuronal Networks" [video]
A Guided Tour of Emacs
Why (Chess) Opening Statistics Are Wrong
An astrophysicist attempts to measure the physics of Outer Wilds
Investigating Cleo
Rosser's Theorem via Turing Machines (2011)
Programming with Lambda Calculus
What Justifies Dimensional Analysis?
Teaching Data Science with Literate Programming Tools
Agnikul Cosmos launches rocket powered by 3-D printed semi-cryo engine
Superconductive Witch Hunt
The Emacs Window Management Almanac
Data Science Cheat Sheets