danny00

Joined 7 years ago

Karma

966

Submissions

188

Member since

Jul 28

View on Hacker News

Recent submissions

Unintentional Type Theory ncatlab.org

2 danny00 22 days ago 0 comments

New CRAM method offers giant boost to compressed memory reads tomshardware.com

61 danny00 24 days ago 25 comments

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

30 danny00 6 months ago 0 comments

Haskell library for non-deterministic pattern matching github.com

3 danny00 6 months ago 0 comments

Physicist: After 33 billon years, universe 'will end in a big crunch' news.cornell.edu

3 danny00 8 months ago 0 comments

Pre-balanced GPU workload distribution inspired by octopus neural coordination github.com

1 danny00 9 months ago 0 comments

Collatz-Weyl Generators: Pseudorandom Number Generators (2023) arxiv.org

59 danny00 1 year ago 1 comments

Fast backtracking-resistant random generator github.com

2 danny00 1 year ago 0 comments

Semantic Dictionary Encoding falvotech.com

2 danny00 1 year ago 0 comments

Build Your Own Htmx joshi.monster

4 danny00 1 year ago 1 comments

Some arguments against a land value tax (2024) lesswrong.com

80 danny00 1 year ago 237 comments

Learning from the Amiga API/ABI asm-basic-coder.neocities.org

56 danny00 1 year ago 49 comments

LzTurbo – Fastest Compressor sites.google.com

4 danny00 1 year ago 1 comments

A Comprehensive List of Versioning Schemes in Open Source nesbitt.io

1 danny00 1 year ago 1 comments

The Lottery Problem: Tracing Stefan Mandel's Combinatorial Condensation arxiv.org

1 danny00 1 year ago 0 comments