• Sign in
  • Sign up
Elektrine
EN
  • EN English
  • 中 中文
Log in Register
Modes
Overview Search Chat Timeline Communities Gallery Lists Friends Email Vault VPN
Back to Timeline
  • Open on mastodon.social

John Regehr

@regehr@mastodon.social
mastodon 4.6.0-nightly.2026-03-16

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:
https://john.regehr.org/

Posts

regehr
John Regehr
@regehr@mastodon.social

he/him

mastodon.social
John Regehr
John Regehr
@regehr@mastodon.social

he/him

mastodon.social
@regehr@mastodon.social · Mar 02, 2026

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

View on mastodon.social
66
11
46
0
Boosted by Greg Bell @ferrix@mastodon.online
regehr
John Regehr
@regehr@mastodon.social

he/him

mastodon.social
John Regehr
John Regehr
@regehr@mastodon.social

he/him

mastodon.social
@regehr@mastodon.social · Feb 27, 2026
today in "draw the rest of the fucking owl"
View on mastodon.social
435
0
214
0
regehr
John Regehr
@regehr@mastodon.social

he/him

mastodon.social
John Regehr
John Regehr
@regehr@mastodon.social

he/him

mastodon.social
@regehr@mastodon.social · Feb 23, 2026

RE: @ashguy@infosec.exchange

not very surprisingly, the vibed up C compiler miscompiles 14 out of 100 Csmith programs and 5 out of 100 YARPgen programs

View on mastodon.social
55
0
25
0
regehr
John Regehr
@regehr@mastodon.social

he/him

mastodon.social
John Regehr
John Regehr
@regehr@mastodon.social

he/him

mastodon.social
@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/

View on mastodon.social
9
0
2
0
regehr
John Regehr
@regehr@mastodon.social

he/him

mastodon.social
John Regehr
John Regehr
@regehr@mastodon.social

he/him

mastodon.social
@regehr@mastodon.social · Feb 14, 2026

amazing nominative determinism found in the wild

View on mastodon.social
13
0
1
0
regehr
John Regehr
@regehr@mastodon.social

he/him

mastodon.social
John Regehr
John Regehr
@regehr@mastodon.social

he/him

mastodon.social
@regehr@mastodon.social · Feb 14, 2026

brb, shorting "cheesecake factory inc"

View on mastodon.social
16
0
0
0
regehr
John Regehr
@regehr@mastodon.social

he/him

mastodon.social
John Regehr
John Regehr
@regehr@mastodon.social

he/him

mastodon.social
@regehr@mastodon.social · Feb 13, 2026

I'll miss this pompous hack like I miss an ingrown toenail

View on mastodon.social
35
0
5
0
regehr
John Regehr
@regehr@mastodon.social

he/him

mastodon.social
John Regehr
John Regehr
@regehr@mastodon.social

he/him

mastodon.social
@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/

View on mastodon.social
51
0
20
0
Boosted by Greg Bell @ferrix@mastodon.online
regehr
John Regehr
@regehr@mastodon.social

he/him

mastodon.social
John Regehr
John Regehr
@regehr@mastodon.social

he/him

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

Media

313k7r1n3

Company

  • About
  • Contact
  • FAQ

Legal

  • Terms of Service
  • Privacy Policy
  • VPN Policy

Email Settings

IMAP: imap.elektrine.com:993

POP3: pop.elektrine.com:995

SMTP: smtp.elektrine.com:465

SSL/TLS required

Support

  • support@elektrine.com
  • Report Security Issue

Connect

Tor Hidden Service

khav7sdajxu6om3arvglevskg2vwuy7luyjcwfwg6xnkd7qtskr2vhad.onion
© 2026 Elektrine. All rights reserved. • Server: 07:07:43 UTC