热门最新趋势评论往期问答秀出招聘

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 评论