Stories by dargscisyhp

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

Rosser's Theorem via Turing Machines

What Justifies Dimensional Analysis?

Teaching Data Science with Literate Programming Tools

1
2