Elektrine lite

← Feed

John Regehr

regehr@mastodon.social

<p>he/him</p>

Posts

  • Post #4449054

    &quot;how can we avoid losing an entire generation of students to AI&quot; is the question to be asking right now https://mezha.net/eng/bukvy/ca117584_denmark_requires_oral/

  • Post #4306981

    my good fellow human: Nothing is true, everything is permitted

  • Post #4114205

    I think she liquified alt: tabbycat draped over my outstretched legs, appearing boneless

  • Post #3972200

    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

  • Post #3863349

    hate it when that happens! https://sg.finance.yahoo.com/news/openai-execs-panicking-154658562.html

  • Post #3567235

    omg tell me I did *not* just push this to origin alt: &quot;git commit -a -m &#39;remove 2 redundant testes&#39;&quot; 😭

  • Post #3436763

    RE: https://mastodon.social/@tonofcrates/116824302511635116 under what circumstances should a new project in 2026 be written in C? curious what people think.

  • Post #2388724

    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

  • Post #2296164

    exhibits A and B

  • Post #2194218

    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

  • Post #2161255

    Yingwei&amp;#39;s work on the LLVM undefined behavior aware interpreter proceeds! this is super good stuff. it would have been nice if we could have made Alive2&amp;#39;s interpreter mode fast enough that this tool wasn&amp;#39;t necessary, but oh well. hopefully someone will do some differential testing between this tool and Alive2. https://github.com/llvm/llvm-project/pull/195339

  • Post #2116908

    I wasn&amp;#39;t expecting a vegan main from the Balkans but this is on the menu for tonight at my house (this is perhaps simply a product of my ignorance of food from this region, which is substantial) https://bakinghermann.com/tavce-gravce-macedonian-baked-beans/

  • Post #2049604

    well that&amp;#39;s a really deep analysis. I wonder if any other airlines would like to know that every single person fucking hates them.

  • Post #2043711

    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

  • Post #2036809

    &amp;quot;We conducted a quasi-experimental field study on the Milan metro, observing 138 rides. In the control condition, a female experimenter, appearing pregnant, boarded the train with an observer. In the experimental condition, an additional experimenter dressed as Batman entered from another door. Passengers were significantly more likely to offer their seat when Batman was present&amp;quot; https://www.nature.com/articles/s44184-025-00171-5

  • Post #2034913

    so close to being clever, but then they couldn&amp;#39;t resist explaining it

  • Post #2001872

    instead of allowing these folks to raise 1.75 trillion dollars, how about we burn the company to the ground and salt the earth where their buildings had been located? just an idea https://www.reuters.com/world/spacex-warns-that-inquiries-into-sexually-abusive-ai-imagery-may-hurt-market-2026-04-23/

  • Post #1991136

    I spent this spring (co-)teaching a course on Vibe Coding, and I&amp;#39;ve been doing some of it myself. and this essay seems pretty much spot-on https://larsfaye.com/articles/agentic-coding-is-a-trap

  • Post #1983860

    maybe this could be avoided if academic papers came with some sort of short summary. if this were provided by the authors, then we wouldn&amp;#39;t need to rely on expensive and unreliable tools to generate them. think how convenient it would be if the authors put these summaries right near the start of the paper!! https://www.sigarch.org/the-role-of-llms-in-academic-reviewing/

  • Post #1677531

    what&amp;#39;s the largest collection of compiler engineers who have ever worked at the same place, at the same time? I&amp;#39;ve heard that IBM might have had hundreds at one point, and I&amp;#39;ve heard that Nvidia might have over 1000 right now. anyone else have good data points here?

  • Post #1546613

    cryptobiotic soil is one of my favorite things out in the desert https://en.wikipedia.org/wiki/Biological_soil_crust alt: camera slowly pans over a nearly black cryptobiotic crust

  • Post #1546612

    done teaching! now just need to submit grades 60 donuts were consumed by the class :)

  • Post #1546611

    got covid shot in one arm today and RSV in the other. might be going to bed early, ugh

  • Post #1546610

    @lcamtuf just don&amp;#39;t take it to California

  • Post #1172683

    this is a lovely post, where someone takes formally verified code, fuzzes it, and finds real problems. while reading the piece, I was thinking about my own very similar experience ~15 years ago fuzzing CompCert. and then the author makes this precise comparison :) https://kirancodes.me/posts/log-who-watches-the-watchers.html

  • Post #1151373

    software is amazing... my otherwise-idle 128 GB machine just started swapping and then invoked the OOM killer to nuke a Debug + code coverage LLVM build

  • Post #1151372

    @lcamtuf I&amp;#39;m crying now

  • Post #1151371

    RE: https://social.treehouse.systems/@whitequark/116401201394905560 idea here is that instead of avoiding OOM by limiting linker parallelism, have the build manager detect impending OOM, kill an expedient process, and then restart it later when conditions are more favorable, degenerating all the way to &amp;quot;ninja -j1&amp;quot; if needed. anyone know if this has been done?

  • Post #1151370

    The AI Incident Database https://incidentdatabase.ai/

  • Post #1145235

    youtube peaked around 7 years ago and this is the actual pinnacle https://www.youtube.com/watch?v=khOfSVULtsU