Notices by John Regehr (regehr@mastodon.social)

@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...

@cr1901 @dalias @kevinmehall I've not figured out how to do this either

@cr1901 find and xargs are so incredibly useful and have such terrible interfaces. definitely ripe for "rewrite it in Rust, but good this time"

in the desert you run into quicksand pretty often, and it's generally kind of fun, but apparently not always

https://www.reddit.com/r/CampingandHiking/comments/1pgxvt5/quicksand_trapped_me_on_the_hayduke_in_arches_np/

I would be remiss to not show this graph when mentioning quicksand

@whitequark narrator: "jensen is technically correct, his company is not called enron"

@whitequark @guenther I shouldn't be, but I'm always surprised at how many details of PL design and deployment I don't know

@whitequark it is an "identifier with special meaning"

https://en.cppreference.com/w/cpp/keywords.html