Isabelle/HOL, Lean, Automated Reasoning, Proof Assistants
These are extremely good textbooks.
threadreaderapp.com·3d
Lost in the Zone: How Flow Supercharges Your Brain
psychologytoday.com·20h
Your weekly reading from Web Directions
webdirections.org·3d
Collaborative-Online-Learning-Enabled Distributionally Robust Motion Control for Multi-Robot Systems
arxiv.org·2d
I Taught Claude Every’s Standards. It Taught Me Mine.
kill-the-newsletter.com·2d
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·4d
Loading...Loading more...