Pleased to announce shplait/liquid, a liquid-typed version of shplait, the language of my book PLAI. This version adds liquid-typing, a form of refinement types. It's primarily meant to be a small language for pedagogic purposes to induce people to try grown-up ones later. ↵

Show Post

I AM thankyouverymuch

Show Post

Sick of hearing about #AI #agents breaking containment? Want to apply formal methods to develop secure, verified sandbox tech atop #seL4? Want to work in beautiful Melbourne? Multiple #postdoc roles available at various levels. Apply now unimelb.wd105.myworkdayjobs.com/en-US/UOM_Ex...

Show Post

A youtuber puts out a video with craft supplies thrifting places in Oakland? In time for SPLASH? I wonder how much another suitcase costs 😅

Show Post

If @satnam6502.bsky.social ever gets the FP castle going in Scotland someone will have to make OchAyeML

Show Post