Matt Keenan

for legal reasons, I will never specify which direction I meant

There's lots of questions Claude could ask me! Ask me how I want to handle the edge cases! Ask me where we should put the new code! - we might actually get stuff done faster if you ask me more.

I'm feeling highly understimulated just watching Claude and clicking yes, I want to be part of the process. My system 2 doesn't engage when I'm just reading, you've got to ask me something subsantial.

Is anyone working on an LLM agent interface that'll force me to understand everything that's going on? When Copilot/Claude/Cursor tell me what they're doing, I want to spend exactly as much time reading it as I'd spend on a website's terms of service before accepting.

I’m looking for participants for a paid user study on a prototype system for tabular programming (programming with tables / data frames).
2 hours • $50 Visa prepaid card
Hoping to finish sessions by March 13.
Details + sign up in 🧵
Reposts appreciated! 🙏

A screenshot of FormalZ which looks like a tower defence game, but with extra "pre" and "post" condition panels at the bottom.

I love this idea for a tower defence game where the enemies are bad programs and the towers use pre/post-conditions to filter them out.

github.com/FormalZ/form...

#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! 🙏

Cyrus Omar receives 1938E Award He has been recognized for innovative teaching, mentorship, and dedication to undergraduate research.

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)

Counting Sandwiches This survey is about ground-breaking research into the effects of division and construction of bread on the frequency of sandwiches. If you object to them being called sandwiches (e.g. "These are sol...

Have I ever gotten you to complete my sandwich survey? forms.gle/7HUn6vCb72CF...

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.