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
John Regehr
@regehr@mastodon.social
he/him
0
Followers
0
Following
Joined May 24, 2017
professional interests:
compilers, software testing, fuzzing, formal verification, lowkey shitposting, mountains, deserts, cats
my page:
Posts
@regehr@mastodon.social
·
Mar 02, 2026
66
11
46
0
@regehr@mastodon.social
·
Feb 27, 2026
435
0
214
0
@regehr@mastodon.social
·
Feb 23, 2026
not very surprisingly, the vibed up C compiler miscompiles 14 out of 100 Csmith programs and 5 out of 100 YARPgen programs
55
0
25
0
@regehr@mastodon.social
·
Feb 14, 2026
media in the US displaying a continuing inability to learn some pretty easy lessons
https://karlbode.com/the-press-is-still-propping-up-elon-musks-supergenius-engineer-mythology/
9
0
2
0
@regehr@mastodon.social
·
Feb 14, 2026
13
0
1
0
@regehr@mastodon.social
·
Feb 14, 2026
16
0
0
0
@regehr@mastodon.social
·
Feb 13, 2026
35
0
5
0
@regehr@mastodon.social
·
Feb 10, 2026
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/
51
0
20
0
@regehr@mastodon.social
·
Feb 09, 2026
something I've been thinking about is how, when I teach a class, I tell the TAs to never, ever touch the keyboard when they're helping a student with an assignment. not even once! because as soon as someone else is driving, it becomes real easy for the student to stop thinking and just let things happen.
kind of like what happens when we use a coding assistant.
View on mastodon.social
357
0
190
0