๊ฐ€์ž… ํ›„ ์ดˆ๋Œ€ ๋งํฌ๋ฅผ ๊ณต์œ ํ•˜๋ฉด ๋™์˜์ƒ ์žฌ์ƒ ๋ฐ ์ดˆ๋Œ€ ๋ณด์ƒ์„ ๋ฐ›์„ ์ˆ˜ ์žˆ์Šต๋‹ˆ๋‹ค.

Talia Ringer ๐Ÿ•Š๐Ÿชฌ
@TaliaRinger
Professor, @plfmse, @IllinoisCS! Interactive Proof. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/ื”ื™ื, ND, bi
๊ฐ€์ž… March 2016
6.8K ํŒ”๋กœ์ž‰ ์ค‘    34.2K ํŒฌ
I have plenty of worries, but the coolest thing by far about the LLM era for PL research has been the ease with which we can now make tools that are actually usable. Used to have no time for really nice VSCode plugins and whatnot, but that stuff is perfect for Claude Code
๋” ๋ณด๊ธฐ