Speedrunning an RL Environment
🧩Theorem Proving
Flag this post
My C++ lockless-ish task scheduler project ive been working on (first real project, also first time using threads) tell me what you think (BSD license) currentl...
🧩Theorem Proving
Flag this post
Weak-To-Strong Generalization
lesswrong.com·1d
🎲Probabilistic Programming
Flag this post
Protest: An ergonomic, powerful, and feature-rich property testing library with minimal boilerplate.
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·2d
🧮Programming Language Theory
Flag this post
thread on history of calculus, in this thread i will trace origin of calculus in most unbiased way possible
threadreaderapp.com·14h
🧮Programming Language Theory
Flag this post
Writing an Asciidoc Parser in Rust: Asciidocr
🦀Rust
Flag this post
The Best Steve Yegge Posts (2015)
sam-koblenski.blogspot.com·1h
🧮Programming Language Theory
Flag this post
De Bruijn Numerals
🔐Cryptography
Flag this post
What If "Maybe" Was A Core Data Type In ColdFusion
bennadel.com·5h
🧮Programming Language Theory
Flag this post
Best tool for measuring lots of source code
shape-of-code.com·5h
🔍Static Analysis
Flag this post
Ajla Tutorial
📝Lisp
Flag this post
Loading...Loading more...