Replying to
@dan@discuss.systems @dev@discuss.systems "goose was not valued" is what I'll mutter from now on when leaving faculty meetings
Remote
John Regehr
@regehr@mastodon.social
mastodon 4.8.0-nightly.2026-10-06he/him
0 Followers
0 Following
50 Posts
Joined May 24, 2017
professional interests:
compilers, software testing, fuzzing, formal verification, lowkey shitposting, mountains, deserts, cats
my page:
omg tell me I did *not* just push this to origin
alt: "git commit -a -m 'remove 2 redundant testes'" 😭
my good fellow human: Nothing is true, everything is permitted
Replying to
@aburka@hachyderm.io @SnoopJ@hachyderm.io @dan@discuss.systems @dev@discuss.systems I think it works same as tomatoes
"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/
Outer Banks
alt: a low sun behind light cloud cover above a calm ocean. two small beach gazebos atop a dune are in the foreground
well that's a really deep analysis. I wonder if any other airlines would like to know that every single person fucking hates them.
Replying to
@lindsey@recurse.social that is 💯 the best path for them, on some other paths cthulhu gets involved
I feel like there should be more CS blogs in this vein https://www.science.org/content/blog-post/things-i-won-t-work-hexanitrohexaazaisowurtzitane
yesterday’s hike was atop a long sandstone ridge, ending at this viewpoint where apparently some local bird likes to hang around
alt: view out over the red rock desert with a green canyon bottom off in the distance. in the foreground, a small dead tree with a lot of bird shit on and beneath it
Replying to
yum!
(I might have overdone the parsley and mint. the chili peppers are inauthentic-- one is an ancho and the other is a guajillo 😆)
Replying to
Replying to
@MaryAustinBooks@mstdn.social the last time I watched this movie it seemed that Lamarr was remarkably Trumplike
I think she liquified
alt: tabbycat draped over my outstretched legs, appearing boneless
RE: https://mastodon.social/@tonofcrates/116824302511635116
under what circumstances should a new project in 2026 be written in C? curious what people think.
hate it when that happens!
https://sg.finance.yahoo.com/news/openai-execs-panicking-154658562.html
Replying to
@shriramk@mastodon.social yeah, I thought this site was pretty chill until I did a few AI posts and got lectured from both sides
Replying to
@aburka@hachyderm.io @palvaro@discuss.systems in contrast I like to speak ill of the dead. not all dead, but you know the motherfuckers I'm talking about.
Replying to
@gwozniak @malwareminigun @jpetazzo @aburka we've only been doing this stuff for like 75 years, and a whole lot is from the last 25. we're just not very good at it so far.
Replying to
@jacobsa well, it certainly gives everyone the capacity to write a lot more software in a lot less time. like, in the class even the weaker students had a PyQT-based text editor up and running within days.
regarding making strong people stronger, yeah I don't. know! I know that it saves me time on some tasks, but overall??? jury seems to be out
Replying to
Replying to
@resistor@mastodon.online @whitequark@social.treehouse.systems @penguin42@mastodon.org.uk hahaha I think the most fun I've had programming in the last 3-4 years was implementing Neon in arm-tv. so I should know better.
Replying to
@resistor@mastodon.online @whitequark@social.treehouse.systems @penguin42@mastodon.org.uk we need to support scalable vectors in Alive2, then I can start supporting SVE, SVE2, and RVV
Replying to
Replying to
@resistor@mastodon.online @whitequark@social.treehouse.systems @penguin42@mastodon.org.uk I like it too! it's like 17x nicer than Intel's stuff
Replying to
@gwozniak@discuss.systems @malwareminigun@infosec.exchange @jpetazzo@hachyderm.io @aburka@hachyderm.io hahaha super on-brand
Replying to
@gwozniak@discuss.systems @malwareminigun@infosec.exchange @jpetazzo@hachyderm.io @aburka@hachyderm.io doesn't systemd have a crontab replacement? I feel like it must
Replying to
Replying to
@synlogic4242 maybe ish, but the spices are somewhat different, take a look at the recipe!
Replying to
Replying to