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 …
Visit willcrichton.net → On Hacker News Mar 2018 – Oct 2023
Software Engineering 7Programming Languages 3Systems & Performance 2Tools & Productivity 1Databases & Data 1
Jupyter presents a unique programming style where the programmer can change her code while it's running, reducing the cost of mistakes and improving the interactivity of the programming process. I discuss the benefits and limitations of this approach along with the related work.