HN Explorer

danny00

↗ HN profile [ 90.8 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. The extended predicative Mahlo universe in Martin-Löf type theory (2023) (academic.oup.com)
    30 points 0
  2. Haskell library for non-deterministic pattern matching (github.com)
    3 points 0
  3. Physicist: After 33 billon years, universe 'will end in a big crunch' (news.cornell.edu)
    3 points 0
  4. Pre-balanced GPU workload distribution inspired by octopus neural coordination (github.com)
    1 points 0
  5. Collatz-Weyl Generators: Pseudorandom Number Generators (2023) (arxiv.org)
    59 points 1
  6. Fast backtracking-resistant random generator (github.com)
    2 points 0
  7. Semantic Dictionary Encoding (falvotech.com)
    2 points 0
  8. Build Your Own Htmx (joshi.monster)
    4 points 1
  9. Some arguments against a land value tax (2024) (lesswrong.com)
    80 points 30
  10. Learning from the Amiga API/ABI (asm-basic-coder.neocities.org)
    56 points 51
  11. LzTurbo – Fastest Compressor (sites.google.com)
    4 points 1
  12. A Comprehensive List of Versioning Schemes in Open Source (nesbitt.io)
    1 points 1
  13. The Lottery Problem: Tracing Stefan Mandel's Combinatorial Condensation (arxiv.org)
    1 points 0
  14. Computer-Optimized Floor Plans (kottke.org)
    1 points 0
  15. Lev Foundation (levf.org)
    2 points 1
  16. New Molecule Mimics Exercise and Fasting Effects (neurosciencenews.com)
    5 points 0
  17. A.I. Designs New Electric Motor [video] (youtube.com)
    6 points 0
  18. Swift Regret: Tuples and Argument Lists (belkadan.com)
    3 points 1
  19. Scaling up worker cooperatives through the franchise model (ilo.org)
    1 points 0
  20. Springs and Struts (wiki.c2.com)
    4 points 0
  21. The Power of Sponsorship at Gore (chieflearningofficer.com)
    1 points 1
  22. Fast, high quality, platform-independent hashing algorithm (github.com)
    1 points 0
  23. An icon taskbar for the Gnome Shell (github.com)
    37 points 68
  24. Overview Effect (en.wikipedia.org)
    2 points 0
  25. Reversible computing from a programming language perspective (sciencedirect.com)
    2 points 0