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

I’m editing/publishing this myself and I have no idea what I’m doing, so if you have comments about the production values, please send them to Aws https://discuss.systems/@sigplan/114614434408897736

@dev can confirm that it’s a bit crunchy up there!

can’t stop #breadposting

@natefoster aw man! to that I can only say: This Is Why We Can’t Have Nice Things

good news! I am so desperate for any scrap of good news! https://www.nytimes.com/2025/05/30/arts/music/taylor-swift-buys-masters.html

@wilbowma @lindsey @nick @krismicinski @jfdm a colleague here is on a campaign to convince everybody to switch from 3 to 2 letters for grad apps and I think that is just a lovely idea

@thezoq2 yeah, and for some reason I think compilers in particular seem especially pointless if kept in the dark? happily, all but 1 project group this year has open-source code

The final-project blog posts for my grad compilers course, #cs6120, are trickling out, and some of them are pretty fun! A couple of examples:

Simon Bertron turned quantifier elimination into a source-to-source optimization for Python programs with `any` and `all`: https://www.cs.cornell.edu/courses/cs6120/2025sp/blog/imperative-quantifier-elimination/

Ethan Uppal & Zihan Li got some speedups by parallelizing a dataflow solver: https://www.cs.cornell.edu/courses/cs6120/2025sp/blog/zihan-ethan-project/