#SPLASH folks, check out our Distinguished Paper (!) talk this afternoon at 14:15 on "Incremental Bidirectional Typing via Order Maintenance". Thomas will tell you how to efficiently update type information (including error marks) in response to local edit actions. A small step *static* semantics!?

merged a sizeable PR to hazel dev today including stuff shown here on inline evaluation and playing cards. also: caret animation. you can play with these here: hazel.org/build/dev/; see Probes, Cards, and Projectors slides in docs. PR notes here: github.com/hazelgrove/h...

I am once more seeking participants for a user study. We'll be evaluating a prototype code editor that completes your text with placeholders for missing tokens expected by the language. Here's a short video of me motivating the editor and study.

Details in thread. Reskeets appreciated! 🙏

I'm honored to receive the 1938E Award, which honors "outstanding young faculty members who demonstrate excellence in teaching, mentoring, and contributing to the educational growth of the College". Working with budding PL nerds is a highlight of my job!

cse.engin.umich.edu/stories/cyru...

new tylr featuring inline obligations. press tab to jump to the next obligation, either a hole or a token-completion, or to accept the current completion.

(no language models were harmed in the making of this video)

more live value probing. now tracking which values are part of the same closure tree. (the inner function h is called twice inside function g, which is called twice at the top level. so each value inside g but not h has two associated values in h)

inline probe projector for live value display, now with hover that shows the values of variable references inside a probed expression

Thanks to @negabinary.bsky.social I will now be referring to rebasing as retconning and mainline commits as canon events.