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·2 個月前·0 comments

Haskell library for non-deterministic pattern matching

github.com
3 points·by danny00·3 個月前·0 comments

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

news.cornell.edu
3 points·by danny00·5 個月前·0 comments

Pre-balanced GPU workload distribution inspired by octopus neural coordination

github.com
1 points·by danny00·6 個月前·0 comments

Collatz-Weyl Generators: Pseudorandom Number Generators (2023)

arxiv.org
59 points·by danny00·9 個月前·1 comments

Fast backtracking-resistant random generator

github.com
2 points·by danny00·9 個月前·0 comments

Semantic Dictionary Encoding

falvotech.com
2 points·by danny00·10 個月前·0 comments

The Vale Programming Language

vale.dev
219 points·by danny00·6 年前·171 comments