HackerTrans
TopNewTrendsCommentsPastAskShowJobs

danny00

no profile record

Submissions

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

academic.oup.com
30 points·by danny00·há 2 meses·0 comments

Haskell library for non-deterministic pattern matching

github.com
3 points·by danny00·há 3 meses·0 comments

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

news.cornell.edu
3 points·by danny00·há 5 meses·0 comments

Pre-balanced GPU workload distribution inspired by octopus neural coordination

github.com
1 points·by danny00·há 6 meses·0 comments

Collatz-Weyl Generators: Pseudorandom Number Generators (2023)

arxiv.org
59 points·by danny00·há 9 meses·1 comments

Fast backtracking-resistant random generator

github.com
2 points·by danny00·há 9 meses·0 comments

Semantic Dictionary Encoding

falvotech.com
2 points·by danny00·há 10 meses·0 comments

The Vale Programming Language

vale.dev
219 points·by danny00·há 6 anos·171 comments