Stories by tzury

An interactive version of Byrne's The Elements of Euclid (1847)

We're helping preserve the genetic information of endangered species with AI

Use Claude Code the same way Claude Code team do

Semi-Autonomous Mathematics Discovery with Gemini: Erdős Problems Case Study

Once Thought to Support Neurons, Astrocytes Turn Out to Be in Charge

P vs. NP and the Difficulty of Computation: A ruliological approach

Richard Feynman Side Hustles

Lean 4.27.0

Atlas: Practical scaling laws for multilingual models

Monster Neutrino Could Be a Messenger of Ancient Black Holes

Two Twisty Shapes Resolve a Centuries-Old Topology Puzzle

Animals Build a Sense of Direction

Erdős Problem #347 Solved (AI assisted math)

L∃AN together – live stream schedule

Prep for the SAT with practice tests in Gemini

Two Twisty Shapes Resolve a Centuries-Old Topology Puzzle

Perelman's Proof of the Poincar E Conjecture: A Nonlinear PDE Perspective

In memory of Professor Emeritus Benedict Gross

From Seeing Why to Checking Everything

Rethinking Information for Computationally Bounded Intelligence

1 2 3 4 5 6 7 8 9 10