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·il y a 2 mois·0 comments

Haskell library for non-deterministic pattern matching

github.com
3 points·by danny00·il y a 3 mois·0 comments

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

news.cornell.edu
3 points·by danny00·il y a 5 mois·0 comments

Pre-balanced GPU workload distribution inspired by octopus neural coordination

github.com
1 points·by danny00·il y a 6 mois·0 comments

Collatz-Weyl Generators: Pseudorandom Number Generators (2023)

arxiv.org
59 points·by danny00·il y a 9 mois·1 comments

Fast backtracking-resistant random generator

github.com
2 points·by danny00·il y a 9 mois·0 comments

Semantic Dictionary Encoding

falvotech.com
2 points·by danny00·il y a 10 mois·0 comments

The Vale Programming Language

vale.dev
219 points·by danny00·il y a 6 ans·171 comments