🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

I would hate it if everyone read my dissertation. I bet you would find soooo many issues if you read it cover-to-cover and grappled with all the ideas. God forbid that people find the convenient link on my website: willcrichton.net/assets/pdf/dis…

New paper from Kevin Li, Jacob Kim, Cyrus Omar (now mainly on bsky) (and me!) appearing at OOPSLA2024. TL;DR: We use cursor-local type & binding info from the Hazel language server to shape codegen prompts & stem hallucination, with supporting experiments for TypeScript (more in thread)

★ Dynamicland's new website documents ten years of progress toward a humane dynamic medium. dynamicland.org

I'm calling for regulatory action against emoji designers. This is an unacceptable level of variance

Starting in <10min! Come ask me questions about cognition and programming!

Nobody panics when you cargo install a binary that could rm -rf your filesystem... but when you start calling it an "app", every OS loses its mind!

If you're interested in programming languages and computing education, or programming language usability, I wonder where you should apply to graduate school. CC Will Crichton Tim Nelson Kathi Fisler

As the author of this PDF, it's been interesting seeing people guess at the rationale behind its design. However, the rationale had nothing to do with theory vs practice, and everything to do with pragmatically coping with an unaccommodated disability in academia. (1/16)

Brown University's Will Crichton optimized a #Python data analytics pipeline to make it 180,000x faster using #Rustlang. Join Will's #P99CONF talk in 5 minutes to look into this speedup that spanned the gamut of performance techniques. ow.ly/VKJ050TR0KJ #ScyllaDB

Are you a Ph.D. applicant interested in HCI? Consider applying to Penn HCI! This year, my group will have openings that could be great for those interested in HCI/Programming Languages or AI-augmented documents. DMs are welcome!

Max Willsey Chandrakana Nandi Oliver Flatt Pavel Panchekha Zachary Tatlock Denis Merigoux Jonathan Protzenko Umang Mathur And, last but not least, highlight 4: "A Grounded Conceptual Model for Ownership Types in Rust" by Will Crichton, Gavin Gray, and Shriram Krishnamurthi (primary: Bluesky) OOPSLA'23