Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem t twitter.com 261 mean_mistreater 7 months ago 184 comments
Early 1980s Datsun/Nissan Voice Alert phonograph unit [video] y youtube.com 73 mean_mistreater 3 years ago 31 comments
The State of Global Learning Poverty: 2022 Update [pdf] u unicef.org 30 mean_mistreater 4 years ago 5 comments