skip to content

grep -l "#math" posts/*

#math

7 posts · all posts

2024-08-13BB(5): the busy beaver and a computer-checked proof
2023-04-11An aperiodic monotile, visually
2019-11-19Sum of three cubes
2019-01-22Backpropagation by hand
2017-12-19Linear regression from scratch in R
2016-05-17The 200-terabyte proof
2015-12-15Babai's graph isomorphism result, for programmers