Visualizing Delaunay Triangulation (2022)

CSLib: A Focused Effort on Formalizing Computer Science in Lean

LLMs Are Currently Not Helpful at All for Math Research: Hamkins

3D printed origami

I published the book "The Math Behind Artificial Intelligence" for free on freeCodeCamp.

hn4/docs/math.md at main · hn4-dev/hn4

Slaughtering Competition Problems with Quantifier Elimination (2021)

Reverse math shows why hard problems are hard

Are two heads better than one?

“Are you the one?” is free money