n nill0 Joined 1 year ago Karma 1,512 Submissions 319 Member since Feb 13 Curiosity is all we need! View on Hacker News
MSC 2020 - Mathematics Subject Classification System [pdf] m msc2020.org 2 nill0 23 days ago 0 comments
Los Alamos bets on ENIAC: Nuclear Monte Carlo simulations, 1947–1948 (2014) [pdf] t tomandmaria.com 60 nill0 1 month ago 2 comments
Lean formalization of the Hamilton-Perelman proof of the Poincaré conjecture g github.com 1 nill0 1 month ago 1 comments
Categorization and Representation Physics Problems by Experts and Novice(1981) [pdf] m matt.colorado.edu 1 nill0 1 month ago 0 comments