Home | Notifications | New Note | Local | Federated | Search | Logout

John Regehr@regehr@mastodon.social

he/him

professional interests: compilers, software testing, fuzzing, formal verification, lowkey shitposting, mountains, deserts, cats
my page: https://john.regehr.org/
Joined: 2026-09-08 07:15:47
3 notes, 0 following, 0 followers

John Regehr@regehr@mastodon.social (2026-10-15 06:45:26)
to the folks who suggested visiting a Lakritsroten in Stockholm, a million thanks, what a cool store!

however, with their help I may have finally found a licorice that is at my limit
---Attachments---
image: https://files.mastodon.social/media_attachments/files/117/441/450/687/459/127/original/25454628094874df.jpg

John Regehr@regehr@mastodon.social (2026-10-07 22:07:48)
a trusting trust attack based not on the compiler, but on the "strip" utility 🤯 

https://arxiv.org/pdf/2607.24888

John Regehr@regehr@mastodon.social (2026-09-08 04:06:44)
3-address code for Intel processors, 32 registers, instructions that don't set the flags, it's funny to be reading this

using a recent LLVM: "clang -O3 -march=diamondrapids -mapxf -c sqlite3.c"
---Attachments---
image: https://files.mastodon.social/media_attachments/files/117/231/318/272/212/365/original/d6b2758cbc929c2d.jpeg