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·vor 2 Monaten·0 comments

Haskell library for non-deterministic pattern matching

github.com
3 points·by danny00·vor 3 Monaten·0 comments

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

news.cornell.edu
3 points·by danny00·vor 5 Monaten·0 comments

Pre-balanced GPU workload distribution inspired by octopus neural coordination

github.com
1 points·by danny00·vor 6 Monaten·0 comments

Collatz-Weyl Generators: Pseudorandom Number Generators (2023)

arxiv.org
59 points·by danny00·vor 9 Monaten·1 comments

Fast backtracking-resistant random generator

github.com
2 points·by danny00·vor 9 Monaten·0 comments

Semantic Dictionary Encoding

falvotech.com
2 points·by danny00·vor 10 Monaten·0 comments

The Vale Programming Language

vale.dev
219 points·by danny00·vor 6 Jahren·171 comments