wcrichton

1,715 karmajoined March 28, 2014On HN

Assistant professor of computer science. Putting together programming language theory and human-computer interaction.

https://mastodon.social/@tonofcrates

http://willcrichton.net

will_crichton@brown.edu

Recent submissions

A Design Space Exploration of Async/Await cel.cs.brown.edu
306wcrichton2d80 comments
CSCI 1377: Tools For Thought (Spring 2026)cel.cs.brown.edu
2wcrichton3modiscuss
C++ to Rust Phrasebook cel.cs.brown.edu
221wcrichton1y78 comments
Evaluating Human Factors Beyond Lines of Code blog.sigplan.org
1wcrichton1ydiscuss
Quizicist: AI-Powered Quiz Generation quizici.st
2wcrichton3y1 comment
Tyrade: A pure functional language for type-level programming in Rust github.com/willcrichton
3wcrichton6ydiscuss
Tyrade: A pure functional language for type-level programming in Rust github.com/willcrichton
2wcrichton6ydiscuss
Type-Level Programming in Rust willcrichton.net
3wcrichton6ydiscuss
JQuery, but for Types willcrichton.net
3wcrichton6ydiscuss
Type-Level Programming in Rust willcrichton.net
3wcrichton6ydiscuss
Types over Strings: Extensible Architectures in Rust willcrichton.net
5wcrichton6ydiscuss
The Last Decade of Programming, According to Google Trends willcrichton.net
3wcrichton6ydiscuss
Probabilistic Programming with Variational Inference: Under the Hood willcrichton.net
4wcrichton7ydiscuss
What Makes a Graphics Systems Paper Beautiful graphics.stanford.edu
147wcrichton7y6 comments
Compiling Knowledge into Probabilistic Models willcrichton.net
68wcrichton7y9 comments

All submissions and comments on Hacker News.