Computational Complexity and Explanations in Physics
gilkalai.wordpress.com·5h
🔐Cryptography
Flag this post
Issue 496
haskellweekly.news·3d
⚙Functional Programming
Flag this post
GraphMD – LLMs Powered Literate Programming Environment for Markdown Documents
🧩Theorem Proving
Flag this post
The Best Steve Yegge Posts (2015)
sam-koblenski.blogspot.com·1h
🧮Programming Language Theory
Flag this post
Quantum-Resistant Federated Learning with Homomorphic Encryption for Medical Imaging Diagnostics
🔐Cryptography
Flag this post
Weak-To-Strong Generalization
lesswrong.com·1d
🎲Probabilistic Programming
Flag this post
Patterns for Defensive Programming in Rust
🦀Rust
Flag this post
Attention Illuminates LLM Reasoning: The Preplan-and-Anchor Rhythm EnablesFine-Grained Policy Optimization
🎲Probabilistic Programming
Flag this post
Project Banana
404wolf.com·4h
🌍Distributed Systems
Flag this post
Entropy in algorithm analysis
11011110.github.io·1d
📈Complexity Theory
Flag this post
Writing an Asciidoc Parser in Rust: Asciidocr
🦀Rust
Flag this post
Reflections on Trusting Trust (1984)
🤝Protocol Design
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
Best tool for measuring lots of source code
shape-of-code.com·5h
🔍Static Analysis
Flag this post
TikTok’s payment service struggled at 100,000 queries per second until engineers rewrote critical APIs in Rust
lord.technology·5h
🦀Rust
Flag this post
Loading...Loading more...