🦞🌯 Lobster Roll

Stories by brendan

A New Medium for Communicating Research on Programming Languages (willcrichton.net)
Parametric Subtyping for Structural Parametric Polymorphism (blog.sigplan.org)
Apollo Era Personal Computers (youtube.com)
Chris Smith: CodeWorld - Teaching Haskell to Children (youtube.com)
Verification = TCB/PB Reduction (blog.compiler.ai)
Verified Programming with Project Everest (youtube.com)
Effects for Less (youtube.com)
What's Your Computer Actually Doing? (youtube.com)
YOW! Conference 2017 - Ken Scambler - Adopting FP: A Human-First Approach (youtube.com)
Type-guided development and garden paths (frasertweedale.github.io)
Effective Programming: Adding an Effect System to OCaml (youtube.com)
Servo Architecture: Safety and Performance (youtube.com)
Friendship ended with Monads: Testing out Algebraic effects in OCaml for Animations (gopiandcode.uk)
x86 mov insns & short history of the most popular CPU architecture (youtube.com)
The organized chaos of programming language design (medium.com)
Resources for Teaching with Formal Methods (avigad.github.io)
Seven Sketches in Compositionality: An Invitation to Applied Category Theory (arxiv.org)
Computing with metavalues (fredrikj.net)