Will Crichton
@tonofcrates
Cognitive engineer, assistant professor @BrownUniversity.
قد يعجبك
I'm starting a new group at Brown w/ @ShriramKMurthi and @KathiFisler called the Cognitive Engineering Lab. We build tools to make you smarter, grounded in cognitive science and programming language theory. And we're hiring PhD students! cel.cs.brown.edu
And, last but not least, highlight 4: "A Grounded Conceptual Model for Ownership Types in Rust" by @tonofcrates, Gavin Gray, and @ShriramKMurthi OOPSLA'23
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…
Are you a Ph.D. applicant interested in HCI? Consider applying to @PennHCI! 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!
Brown University's @tonofcrates 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
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)
Compilers was was known to be the hardest CS class at Cornell which was hard as it is. We were handed a 8-page PDF at the start of sem for a language spec we'd be implementing by the end of sem, split into 6 parts. On part 5, the median was a 0/100 and most the class failed.
If you're interested in programming languages and computing education, or programming language usability, I wonder where you should apply to graduate school. CC @tonofcrates @logicpreacher @KathiFisler
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!
Starting in <10min! Come ask me questions about cognition and programming!
Compilers was was known to be the hardest CS class at Cornell which was hard as it is. We were handed a 8-page PDF at the start of sem for a language spec we'd be implementing by the end of sem, split into 6 parts. On part 5, the median was a 0/100 and most the class failed.
I'm calling for regulatory action against emoji designers. This is an unacceptable level of variance
New paper from @kevin_x_li, @JacobKim489493, @neurocy (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
United States الاتجاهات
- 1. #twitchrecap 10.5K posts
- 2. Fulham 36.7K posts
- 3. Lewandowski 21.8K posts
- 4. #GivingTuesday 29.6K posts
- 5. Larry 55.4K posts
- 6. Slay 18.6K posts
- 7. #TADCFriend N/A
- 8. Olmo 13.7K posts
- 9. #FULMCI 4,978 posts
- 10. Trump Accounts 22.8K posts
- 11. Pedri 31.3K posts
- 12. Foden 20.3K posts
- 13. Cabinet 88K posts
- 14. Adam Thielen 2,421 posts
- 15. #AppleMusicReplay 11.3K posts
- 16. Susan Dell 10.2K posts
- 17. Sabrina Carpenter 38.1K posts
- 18. Sleepy Don 4,068 posts
- 19. $NXXT N/A
- 20. Giannis 12.4K posts
قد يعجبك
-
David Tolnay
@davidtolnay -
Jon Gjengset
@jonhoo -
rntz
@arntzenius -
Andrew Gallant
@burntsushi5 -
Talia Ringer 🕊
@TaliaRinger -
Sophia J. Turner 🏳️⚧️
@sophiajturner -
Tim McNamara
@timClicks -
Zekun Wang (ZenMoore) 🔥
@ZenMoore1 -
Alexis King
@lexi_lambda -
Luca Palmieri
@algo_luca -
UPenn NLP
@upennnlp -
Derek Dreyer
@HerrDreyer -
Shriram Krishnamurthi (primary: Bluesky)
@ShriramKMurthi -
neural oscillator of uncertain significance
@mycoliza -
Karsten Kreis @ NeurIPS'25
@karsten_kreis
Something went wrong.
Something went wrong.