1The extended predicative Mahlo universe in Martin-Löf type theory (2023) (opens in new tab)(academic.oup.com)30danny007d ago0
2Haskell library for non-deterministic pattern matching (opens in new tab)(github.com)3danny0021d ago0
3Physicist: After 33 billon years, universe 'will end in a big crunch' (opens in new tab)(news.cornell.edu)3danny002mo ago0
4Pre-balanced GPU workload distribution inspired by octopus neural coordination (opens in new tab)(github.com)1danny003mo ago0
5Collatz-Weyl Generators: Pseudorandom Number Generators (2023) (opens in new tab)(arxiv.org)59danny006mo ago1
9Some arguments against a land value tax (2024) (opens in new tab)(lesswrong.com)80danny0010mo ago237
10Learning from the Amiga API/ABI (opens in new tab)(asm-basic-coder.neocities.org)56danny0011mo ago49
12A Comprehensive List of Versioning Schemes in Open Source (opens in new tab)(nesbitt.io)1danny001y ago1
13The Lottery Problem: Tracing Stefan Mandel's Combinatorial Condensation (opens in new tab)(arxiv.org)1danny001y ago0