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