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