Notices by John Regehr (regehr@mastodon.social)

"how can we avoid losing an entire generation of students to AI" is the question to be asking right now

https://mezha.net/eng/bukvy/ca117584_denmark_requires_oral/

RE: https://mastodon.social/@tonofcrates/116824302511635116

under what circumstances should a new project in 2026 be written in C? curious what people think.

@dalias @whitequark @steve what I’m using wasn’t remotely half a TB but vscode does seem to be the preferred environment for writing Lean

@whitequark @steve this new compiler is all in Lean 4, so maybe we can make something like this happen

@whitequark @steve none of this is a starter without guaranteed correctness!

I think I found the best youtube chef

alt: he is saying "ok for this recipe you need 5,642 pieces of black beans. no less and no more."

youtube peaked around 7 years ago and this is the actual pinnacle

https://www.youtube.com/watch?v=khOfSVULtsU

@shafik I repeat: fuck the browsers for making this possible

@dalias I don't pay that much attention to 3d printing but I've never seen anything like this. it was moving fast enough that I'd not have stood close by while it was printing!

@dalias I thought the video was sped up at first. I felt bad for those poor gears and servomotors.

won't say I'm totally proud of myself here, but once I saw that the Claude C compiler was super buggy according to YARPGen and Csmith, I had a hard time preventing myself from doing something about it

https://john.regehr.org/writing/claude_c_compiler.html

brb, shorting "cheesecake factory inc"

I guess people are just going to keep discovering that you can't really make a C compiler do constant time

https://www.theregister.com/2026/02/09/compilers_undermine_encryption/

more than 2000 ASCII art diagrams extracted from the source code for Chromium, Linux, Tensorflow, and LLVM 😍

https://asciidiagrams.github.io/

well, 2026 is going very well so far. by which I mean that I have not yet left the house, nor looked at any news.

#catmas

@dalias right, but this is unconvincing to random professors

if the subject comes up when talking to a professor, I advise people to avoid AI detectors for writing assignments, but I don't have great recent data backing this up.

anyone know of credible, recent studies on the efficacy of AI detectors for writing, preferably at the university level?

@whitequark wtf. is it done this way because copper is highly ductile?

@dalias @cr1901 @kevinmehall the few times I've tried to quote-boost here, the poster had disabled quote-boosts. so I stopped trying...