@pervognsen a perfect metaphor

Anyway, I think “MLIR disease” can partially explain what has gone wrong with MLIR-for-ML, per Lattner’s retrospective here: execs believing that MLIR would magically compose lots of little dialects into something useful, and therefore underinvesting in the hard problems. https://www.modular.com/blog/democratizing-ai-compute-part-8-what-about-the-mlir-compiler-infrastructure

MLIR is great in many ways, but there is also an “MLIR disease”: the tendency for people who don’t know much about compilers to believe that MLIR solves the hard parts of compilers, when it in fact solves the easy parts.

@ricci at the risk of making obvious suggestions, the most "extra remarkable" audiobooks I've listened to are:

* _Lincoln in the Bardo_ by George Saunders. An indescribably wild novel, and a ridiculous audiobook recording with a 166-person cast led by Nick Offerman.
* _Love, Dishonor, Marry, Die, Cherish, Perish_, a novel by… David Rakoff. Entirely in verse, read by the author. Poignancy levels off the charts.

@krismicinski I know this is not an original thought, but they really do kick ass!

@krismicinski it’s wood-fired Ooni (which my PhD advisor got me for some reason)

if you make pizza, the law says you must toot it. sorry, but that’s the law. #breadposting

@thezoq2 noooooo, we like spade

so, uh, if you know someone with $1.5M to burn who wants to bootstrap an ecosystem of high-level languages that compile to hardware, hit up your boy

Totally unsurprised to have my NSF POSE about Calyx as an open-source ecosystem declined for a second time! I’m kinda proud of the proposal, though, so I guess I’m putting it here to save it from the void https://www.cs.cornell.edu/~asampson/media/calyx-pose-proposal.pdf

@whitequark

seedy #breadposting & eepy #caturday

My colleagues Owen Arden and Mohsen Lesani are organizing CSF 2025 (https://csf2025.ieee-security.org) here in Santa Cruz June 16-20, and they had an NSF grant come through at the last minute to support student travel. So, if you are or know a student at a US university (citizenship doesn't matter) who wants to attend a conference on the foundations of computer security: https://csf2025.ieee-security.org/student_travel_grant.html

(I'm not one of the organizers, just passing this along, so please direct questions to them -- thanks!)

@sainati conatural semantics

Told my roommate that I was debugging spaghetti code in Lean this summer and he sent me this 😭

@bhaktishh I know plenty of people who have done both! I think video-only mode is worthwhile. you could also pick and choose

@bhaktishh wahoo! I hope it's useful

A very nice “hands-on” intro to the Filament HDL as compared to Verilog, by Ethan (a recent undergrad graduate from our lab)! https://gabizon103.github.io/blog/intro-filament/

@cfbolz thanks!!

@krismicinski dang, you look ready for a full-on talk show. just need a house band