Open post Sam Tobin-Hochstadt @samth@mastodon.social · 5mo ago Replying to @carloangiuli@mathstodon.xyz @csgordon @maxsnew Yes, this. "most of our students have been typing essays in a word processor for years before college" -- honestly I am really starting to wonder what it looks like when they type out an essay! @carloangiuli @csgordon @maxsnew where by "typing essays in a word processor" we mean "typing short responses on canvas on their phone", right?
Open post Sam Tobin-Hochstadt @samth@mastodon.social · 5mo ago Replying to @regehr@mastodon.social <p>I spent this spring (co-)teaching a course on Vibe Coding, and I've been doing some of it myself. and this essay seems pretty much spot-on</p><p><a href="https://larsfaye.com/articles/agentic-coding-is-a-trap" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">larsfaye.com/articles/agentic-</span><span class="invisible">coding-is-a-trap</span></a></p> @regehr good essay. I should pick your brain about the course; I'm teaching one like it this fall.
Open post Sam Tobin-Hochstadt @samth@mastodon.social · 38mo ago Replying to @clegoues@lebrady.net @TaliaRinger@mathstodon.xyz I just can't get over how grotesquely privileged such a stance is, to judge someone for interviewing for a stable, well-paying government job (in your field of study!) with benefits. In places like West Virginia, where the flagship state institution offers a lifeline out of a lifetime of at least precariousness if not outright poverty, defense jobs are an aspiration for many engineering students. @clegoues@lebrady.net @TaliaRinger@mathstodon.xyz I don't think banning Talia for this was the right thing to do but I also don't think that "privileged" is a good description of the position of the relevant people.
Open post Sam Tobin-Hochstadt @samth@mastodon.social · 38mo ago Replying to @clegoues@lebrady.net @samth@mastodon.social a person can absolutely hold a privileged stance/perspective on one matter, or embody privilege in one dimension, while not being privileged in another, no? @clegoues@lebrady.net certainly, but again I don't think that's an accurate description of this case.
Open post Sam Tobin-Hochstadt @samth@mastodon.social · 5mo ago Replying to @carloangiuli@mathstodon.xyz <p>Does anybody here have any opinions about the candidates in the ACM general election, vis-à-vis the Digital Library, ACM financials, or other hot-button issues?</p> @carloangiuli they did not seem to have statements up yet.
Open post Sam Tobin-Hochstadt @samth@mastodon.social · 5mo ago Replying to @regehr@mastodon.social @samth oof, yes, let's talk-- are you going to PLDI? @regehr sadly no but we should find a way to chat otherwise
Open post Sam Tobin-Hochstadt @samth@mastodon.social · 4mo ago Replying to @rntz@recurse.social looks like "no syntax highlighting without trust" is specific to Lean, not VSCode, because Lean has strong syntactic metaprogramming (hey, I like mixfix and syntax extensions!) but this means you have to run Lean code to parse Lean (eh, okay...) and Lean is also a general-purpose programming language (useful...) which can access your filesystem in arbitrary ways (uh oh) and it doesn't come with a sandbox so... yeah, you have to trust the project to syntax highlight it iiuc. argh. @rntz@recurse.social This is just fundamental to macros. If you want on-the-fly syntax errors you have to run code. There's not really a third option.