내가 좋아할 만한 콘텐츠
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. Cyber Monday 54.8K posts
- 2. Milagro 25.1K posts
- 3. Admiral Bradley 6,725 posts
- 4. TOP CALL 11.8K posts
- 5. MRIs 3,314 posts
- 6. #GivingTuesday 3,487 posts
- 7. MSTR 32.1K posts
- 8. Jason Lee 2,257 posts
- 9. Kalani 4,158 posts
- 10. Shakur 7,400 posts
- 11. Adam Thielen 3,072 posts
- 12. Hartline 3,357 posts
- 13. #jimromeonx N/A
- 14. Toosii 1,745 posts
- 15. #Rashmer 19.8K posts
- 16. Alina Habba 41.8K posts
- 17. Trump's MRI 15.8K posts
- 18. Check Analyze 1,048 posts
- 19. Token Signal 4,159 posts
- 20. Real ID 5,088 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.