Category Theory and Inclusivity

Six-decade math puzzle solved by Korean mathematician

The Universal Pattern Popping Up in Math, Physics and Biology (2013)

Nature-Inspired Computers Are Shockingly Good At Math

Using the same math employed by string theorists, network scientists discover that surface optimization governs the brain’s architecture — not length minimization.

You CAN Average Percentiles (2016)

GNU Units

Case study: Creative math – How AI fakes proofs

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

Space Math Academy

Braid Math Article

Math Solver

Why is math so often taught as a black box instead of being explained from first principles? This is a question for someone in theoretical computer science who hated math before studying discrete math,but now after discrete math I just started loving math so much so that I can finally enjoy Calculus

Litex: Formal math for everyone – set theory examples with Lean comparison

Faster practical modular inversion

Show HN: I made a spreadsheet where formulas also update backwards

String theory inspires a brilliant, baffling new math proof

Play the Monty Hall game

I built a tiny 2-qubit quantum simulator in Rust to learn the math

How does math affect my social life?

Logical gates on Floquet codes via folds and twists

More →