1CSCI 1377: Tools For Thought (Spring 2026) (opens in new tab)(cel.cs.brown.edu)2wcrichton29d ago0Save
3Evaluating Human Factors Beyond Lines of Code (opens in new tab)(blog.sigplan.org)1wcrichton1y ago0Save
5Tyrade: A pure functional language for type-level programming in Rust (opens in new tab)(github.com)GitHub3wcrichton5y ago0Save
6Tyrade: A pure functional language for type-level programming in Rust (opens in new tab)(github.com)GitHub2wcrichton6y ago0Save
10Types over Strings: Extensible Architectures in Rust (opens in new tab)(willcrichton.net)5wcrichton6y ago0Save
11The Last Decade of Programming, According to Google Trends (opens in new tab)(willcrichton.net)3wcrichton6y ago0Save
12Probabilistic Programming with Variational Inference: Under the Hood (opens in new tab)(willcrichton.net)4wcrichton7y ago0Save
13What Makes a Graphics Systems Paper Beautiful (opens in new tab)(graphics.stanford.edu)147wcrichton7y ago6Save
14Compiling Knowledge into Probabilistic Models (opens in new tab)(willcrichton.net)68wcrichton7y ago9Save
