Will Crichton

@tonofcrates
1.2K Followers
54 Following
193 Posts
Cognitive engineer, assistant professor of computer science at Brown.
Websitehttps://willcrichton.net/
Research Labhttps://cel.cs.brown.edu/
New research thread:
1/ Error messages have always been designed, sometimes painstakingly, for humans. But now we have new "readers" for errors: agentic AI. Should this affect what PLs generate? Can we measure this experimentally? We have some preliminary results: ↵

RE: https://mastodon.social/@tonofcrates/116410246975776333

The course is done! I put up the slides and reading list for anyone who'd like a summer reading list on tools for thought. Topics include spaced repetition, information visualization, and the psychology of programming. PL nerds, don't miss the assignment where I have students use APL as a spreadsheet formula language.

Meeting up at the Crichton family reunion (Rust All Hands)

RE: https://mastodon.social/@tonofcrates/116601142050958775

Some clarifications: the good ACs/PCs of OOPSLA have been very responsive to my concerns, and are taking this issue seriously. ("Zero repercussions" is melodramatic, although I will stand by "trashing the commons".)

Also, the SIGPLAN EC is working on the issue of AI reviews as well. I believe a more explicit SIGPLAN-wide policy will be proposed soon.

Pretty heartened to see our community taking action on AI reviewing :-) and now back to *my* OOPSLA response...

Pretty disheartened after seeing (I believe) 4 AI reviews out of 7 papers I reviewed for OOPSLA. Just trashing the commons with zero repercussions.
The TFT curriculum can be found here, for the interested: https://cel.cs.brown.edu/csci-1377-s26/
CSCI 1377: Tools for Thought - S26

A course on the past, present, and future of software for augmenting intelligence at Brown University.

I'm going to be at CHI until Saturday! Say hi if you're around. I'll be talking about my new curriculum for an undergrad course on Tools for Thought:
https://ai-tools-for-thought.github.io/workshop/documents/chi26/Crichton_Curriculum_for_Tools_for_Thought_TfT_CHI26.pdf

And about some ideas for building better document infrastructure for augmented reading:
https://chi-star-workshop.github.io/src/assets/pdf/papers/DocumentInfrastructureForAugmentedReading%20-%20Will%20Crichton.pdf

This is NOT a formal job posting, just testing waters. I have a year of post-doc money. Esp. int'd in formal methods + applied cogsci + diagramming. If you do work tied to my research, reach out (see my page). Must have US work auth, sorry. Please feel free to share/boost!
Here's a couple I could scrape off arXiv at least.