← Feed

Posts

• View post

  "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/

• View post

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

• View post

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

• View post

  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

• View post

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

• View post

  omg tell me I did *not* just push this to origin alt: "git commit -a -m 'remove 2 redundant testes'" 😭

• View post

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

• View post

  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

• View post

  exhibits A and B

• View post

  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

• View post

  Yingwei'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's interpreter mode fast enough that this tool wasn'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

• View post

  I wasn'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/

• View post

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

• View post

  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

• View post

  "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" https://www.nature.com/articles/s44184-025-00171-5

• View post

  so close to being clever, but then they couldn't resist explaining it

• View post

  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/

• View post

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

• View post

  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'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/

• View post

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

• View post

  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

• View post

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

• View post

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

• View post

  @lcamtuf just don't take it to California

• View post

  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

• View post

  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

• View post

  @lcamtuf I'm crying now

• View post

  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 "ninja -j1" if needed. anyone know if this has been done?

• View post

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

• View post

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