Programming Languages, Static Analysis, Lambda Calculus, Dependent Types
What I’ve been reading
marginalrevolution.com·1d
Loving Things Means Letting Go
taniyn.quest·1d
Movement signatures: How we move, gesture and use facial expressions could be as unique as a fingerprint
phys.org·16h
The long season of langdev
blog.fogus.me·6d
Lambda Builds AI Factories with Supermicro NVIDIA Blackwell GPU Server Clusters to Deliver Production-ready Next-Gen AI Infrastructure at Scale - Supermicro IR
news.google.com·18h
How to Win the Game of Life
psychologytoday.com·14h
Loading...Loading more...