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
¡Day 1 of ICFP, almost as much fun had as at the amazing AA dance party on Day 0! #icfp2023
convencioneshispanasdeestado…
The universe (or at least the sidewalk) is aligned for functional programming in Seattle @icfp_conference #icfp23
huh, maybe you have to start over to see the change? Not sure. It is supposed to shows this, which reflects what it says on the "Refund Policy" links on the Fees page. Sorry for the confusion!
Looking forward to seeing lambda worshippers of all types (including no types!) in Seattle in September.
icfp23.sigplan.org/
