The extended predicative Mahlo universe in Martin-Löf type theory (2023)
academic.oup.com30 points·by danny00··0 comments
Haskell library for non-deterministic pattern matching
github.com3 points·by danny00··0 comments
Physicist: After 33 billon years, universe 'will end in a big crunch'
news.cornell.edu3 points·by danny00··0 comments
Pre-balanced GPU workload distribution inspired by octopus neural coordination
github.com1 points·by danny00··0 comments
Collatz-Weyl Generators: Pseudorandom Number Generators (2023)
arxiv.org59 points·by danny00··1 comments
Fast backtracking-resistant random generator
github.com2 points·by danny00··0 comments
Semantic Dictionary Encoding
falvotech.com2 points·by danny00··0 comments
Build Your Own Htmx
joshi.monster4 points·by danny00··1 comments
Some arguments against a land value tax (2024)
lesswrong.com80 points·by danny00··237 comments
Learning from the Amiga API/ABI
asm-basic-coder.neocities.org56 points·by danny00··49 comments
LzTurbo – Fastest Compressor
sites.google.com4 points·by danny00··1 comments
A Comprehensive List of Versioning Schemes in Open Source
nesbitt.io1 points·by danny00··1 comments
The Lottery Problem: Tracing Stefan Mandel's Combinatorial Condensation
arxiv.org1 points·by danny00··0 comments
Computer-Optimized Floor Plans
kottke.org1 points·by danny00··0 comments
Lev Foundation
levf.org2 points·by danny00··0 comments
New Molecule Mimics Exercise and Fasting Effects
neurosciencenews.com5 points·by danny00··0 comments
A.I. Designs New Electric Motor [video]
youtube.com6 points·by danny00··0 comments
Swift Regret: Tuples and Argument Lists
belkadan.com3 points·by danny00··0 comments
Scaling up worker cooperatives through the franchise model
ilo.org1 points·by danny00··0 comments
Springs and Struts
wiki.c2.com4 points·by danny00··0 comments