Here's the post of Derek Dreyer's talk at Jane Street on RustBelt. Derek has a real knack for explaining complex things on a simple way. As a result, I almost feel like I understand separation logic now...


Sign in to participate in the conversation
Lesbiab Space

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!