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...
A Mastodon instance by and for lesbians 💜
See rules and guidelines for more informations.