🦞🌯 Lobster Roll

Sorted Collections in Rebellion by Jacqueline Firth at the (fourteenth RacketCon) is now available at https://youtu.be/-eLw9vpcKI8

First class Prompt Engineering with llm lang! (This is a bad idea.) by William Bowman at the (fourteenth RacketCon) is now available at https://youtu.be/ueGC3xVcDlc

Type Tailoring Teach an Old Type Checker New Tricks by Ashton Wiersdorf at the (fourteenth RacketCon) is now available at https://youtu.be/rmPCstrSQOA

> Separation logic adds two connectives to assertion languages: separating conjunction `*` ("star") and its adjoint, separating implication `-*` ("magic wand"). Comparatively, separating implication is less widely used. > > This paper demonstrates that by using magic wand to express frames that r...

Trouble with Typed Racket? Try Contract Profile! by Nathaniel Hejduk at the (fourteenth RacketCon) is now available at https://youtu.be/FeDVjomZgmE

Mutation Testing Better Than Coverage by Charlie Ray at (fourteenth RacketCon) is now available at https://youtu.be/Ed6Ocs3U1v4

'Frosthaven Manager - Built by the Community' by Ben Knoble at (fourteenth RacketCon) is now available at https://youtu.be/O33NK52ZmUk [(fourteenth RacketCon) playlist](https://youtube.com/playlist?list=PLXr4KViVC0qKNvsSH9nmZlm_YwvX_TXRW&si=qI7ZawbkdTBaQ_8H)

The Keynote presentation by Hal Abelson and Gerald Sussman at the fourteenth RacketCon is now available at https://youtu.be/_2qXIDO-cWw

The authors of another [paper](https://lobste.rs/s/vwbhve/paper_feminism_programming_language) mentioned the connection between knitting and programming languages which reminded me that compilers for knitting machines are a thing, which blew my mind when I first learned about it. Here's the first pa...