"Formal semantics for multi-language programs" by Amal Ahmed

[@capability-snob]

If, like me, you need more of this, Amal Ahmed gave a brilliant class at OPLSS that is on youtube. It's sublimely interesting and presented with the same degree of enthusiasm and power on display here, and presents some truly intriguing design decisions that can be made at this boundary. I've been meaning to catch up with what her group are working on, so stoked to see she's at strange loop!

[@IDisposable]

Absolutely the best talk this year. I learned so much.

[@Etudio]

Excellent presentation! Thank you Amal! Miss you much. God bless RichWASM.

[@valentinussofa4135]

Amazing👏She is a legend.

[@jimhrelb2135]

21:23 Jane Street just made this transition so so much better

[@Tony-dp1rl]

16:28 I was a C programmer professionally for years in the 90's, and I remember Zero as success, not an error, in every system and code base I can recall. How odd that she said Zero is an error in C.

[@naturallyinterested7569]

With integer-valued functions that's true, you usually return negative values on error (e.g. most of linux kernel functions), but for pointers it's usually NULL, and I'm guessing from her pov that's the more likely case, as you usually pass your data across language boundaries by heap pointer (because stack and registers very bad for language interop).