youtu.be/0za3QkMqLkg?si=pZWm…
Great talk by @anishathalye, impressive end-to-end verification distilling the behavior of an HSM from application code to hardware in just a few lines of ideal functionality.
Excited to teach about Pulse at POPL! Been writing new chapters in the F* book. Come to our tutorial
popl24.sigplan.org/room/POPL…
Great talk by Sheera, super cool to see all these pieces fit together for an end-to-end theorem and a verified mark/sweep GC with performance comparable to other similar unverified GCs.
youtube.com/watch?v=ALXbsroN…
Great to learn about Cogent & Dargent from Christine Rizkallah. Linearly typed DSLs for systems programming & DSLs for data layout FTW!
@icfp_conference #icfp2023
Anders Hejlsberg's keynote demos TypeScript with unions, intersections, singletons, dependency ... impressive tooling to tame wild JS. @icfp_conference #icfp2023
Amazing, inspiring opening keynote by Anil Madhavapeddy, showing us how to program for the planet.
@icfp_conference #icfp2023
