Notices by John Regehr (regehr@mastodon.social)

this is a favorite of ours, from Jacques Pepin’s _Fast Food My Way_

I think of this book, which we got about 20 years ago, as one of the main reasons I'm now a reasonably accomplished home cook, as opposed to whatever I was before -- dude who wanted to feed his family without going out to eat

@whitequark my view is that if you have to put "science" in the name, it probably isn't

@whitequark @harold @iximeow the Toms HW article doesn't seem to mention the noise, other than saying "loud." I wonder how they mitigate that?

@whitequark exactly. and are those things efficient or are they belching out high-temperature exhaust? you know the answer

@whitequark https://www.tomshardware.com/tech-industry/data-centers-turn-to-ex-airliner-engines-as-ai-power-crunch-bites

that's nice, we're putting jet engines in parking lots and draining reservoirs for this

https://www.wbaltv.com/article/student-handcuffed-ai-system-mistook-bag-chips-weapon/69114601

a neat example from @pinskia about how a mature optimizing compiler can just miss easy stuff!

https://github.com/llvm/llvm-project/issues/164748

cleaning up some old files and found a Csmith poster from 2011

cc @eeide

great job creating a Teaching Moment today, Amazon!!!

does anyone have experience with this kind of inexpensive microscope that transmits images to a phone or PC? or any specific recommendations?

https://cainda.com/cainda-4k-wifi-digital-microscope-x201-p00095p1.html

this afternoon I found myself trying to convince a friend that she should get her kid some sort of microscope this Christmas, and I realized that I hadn't played with a microscope for many years

til people used to sometimes refer to popcount as "the NSA instruction" 🤪

https://groups.google.com/g/comp.arch/c/UXEi7G6WHuU/m/Z2z7fC7Xhr8J

@whitequark @poppyhaze it does not, in fact, take all kinds. but we've got all kinds.

@dev my OOPSLA paper doesn't even start until page 2. I guess my fault for having "coauthors."

csrankings would give me roughly 5 nanocredits for this one -- if it ranked OOPSLA at all, hahaha

@whitequark @oshwassociation I don't need one of these but the design is so pleasing that I want one

@whitequark high level programming??? wait until I tell you about this great new thing called low level programming

long article about a nice GSoC project fixing some unsoundness in LLVM IR by introducing a new byte type

https://blog.llvm.org/posts/2025-08-29-gsoc-byte-type/

@rygorous @steve yep this is more or less how I teach this stuff

is this bullshit? or does ISA not really matter in some fictitious world where we can normalize for process and other factors?

https://www.techpowerup.com/340779/amd-claims-arm-isa-doesnt-offer-efficiency-advantage-over-x86

@rygorous @steve I've seen part of a convincing / complete formal spec for x86 and I would run away from any effort to validate an implementation of this

@rygorous @steve sure sure