Stories by danny00

The extended predicative Mahlo universe in Martin-Löf type theory (2023)

Haskell library for non-deterministic pattern matching

Physicist: After 33 billon years, universe 'will end in a big crunch'

Pre-balanced GPU workload distribution inspired by octopus neural coordination

Collatz-Weyl Generators: Pseudorandom Number Generators (2023)

Fast backtracking-resistant random generator

Semantic Dictionary Encoding

Build Your Own Htmx

Some arguments against a land value tax (2024)

Learning from the Amiga API/ABI

LzTurbo – Fastest Compressor

A Comprehensive List of Versioning Schemes in Open Source

The Lottery Problem: Tracing Stefan Mandel's Combinatorial Condensation

Computer-Optimized Floor Plans

Lev Foundation

New Molecule Mimics Exercise and Fasting Effects

A.I. Designs New Electric Motor [video]

Swift Regret: Tuples and Argument Lists

Scaling up worker cooperatives through the franchise model

Springs and Struts

1 2 3 4 5 6 7