Blogs / Personal blogs

I do research primarily between PL and HCI . I build systems like program slicers , document languages , and type system visualizers . I develop theories like working memory for programmers , psychometrics for programming language learning , and typed templating for System F . I work on systems languages like Rust …

Popular posts

7

Total points

1,265

HN comments

725

Rank

#1,581 personal

Visit willcrichton.net → On Hacker News Mar 2018 – Oct 2023

Software Engineering 7Programming Languages 3Systems & Performance 2Tools & Productivity 1Databases & Data 1