The extended predicative Mahlo universe in Martin-Löf type theory (2023)academic.oup.com·30 pts·danny00·0
Physicist: After 33 billon years, universe 'will end in a big crunch'news.cornell.edu·3 pts·danny00·0
Pre-balanced GPU workload distribution inspired by octopus neural coordinationgithub.com·1 pts·danny00·0
A collection of compiler optimizations with brief descriptions and examplescompileroptimizations.com·27 pts·danny00·4