Top New Trends Comments Past Ask Show Jobs

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

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

1 points·by danny00·6개월 전·0 comments

Collatz-Weyl Generators: Pseudorandom Number Generators (2023)

59 points·by danny00·9개월 전·1 comments

Fast backtracking-resistant random generator

2 points·by danny00·9개월 전·0 comments

Semantic Dictionary Encoding

2 points·by danny00·10개월 전·0 comments

The Vale Programming Language

219 points·by danny00·6년 전·171 comments