トップ新着トレンドコメント過去質問紹介求人

danny00

no profile record

投稿

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

academic.oup.com

30 ポイント·投稿者 danny00·2 か月前·0 コメント

Haskell library for non-deterministic pattern matching

3 ポイント·投稿者 danny00·3 か月前·0 コメント

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

news.cornell.edu

3 ポイント·投稿者 danny00·5 か月前·0 コメント

Pre-balanced GPU workload distribution inspired by octopus neural coordination

1 ポイント·投稿者 danny00·6 か月前·0 コメント

Collatz-Weyl Generators: Pseudorandom Number Generators (2023)

59 ポイント·投稿者 danny00·9 か月前·1 コメント

Fast backtracking-resistant random generator

2 ポイント·投稿者 danny00·9 か月前·0 コメント

Semantic Dictionary Encoding

2 ポイント·投稿者 danny00·10 か月前·0 コメント

The Vale Programming Language

219 ポイント·投稿者 danny00·6 年前·171 コメント