🦞🌯 Lobster Roll

Stories by brendan

A New Medium for Communicating Research on Programming Languages (willcrichton.net)
L 12 pts 1 comments by brendan Sep 29, 2021 plt Programming (General)Programming Languages / CS Theory thread
Parametric Subtyping for Structural Parametric Polymorphism (blog.sigplan.org)
L 11 pts 3 comments by brendan Jan 29, 2025 plt Programming Languages / CS Theory thread
Apollo Era Personal Computers (youtube.com)
L 11 pts 1 comments by brendan May 1, 2021 historicalmathvideo Science / Math / PhysicsCulture / Philosophy / History / Reading thread
Chris Smith: CodeWorld - Teaching Haskell to Children (youtube.com)
L 9 pts 1 comments by brendan Apr 23, 2017 educationhaskellprogrammingvideo Programming (General)Programming Languages / CS Theory thread
Verification = TCB/PB Reduction (blog.compiler.ai)
L 7 pts 1 comments by brendan May 11, 2021 formalmethods Programming Languages / CS Theory thread
Verified Programming with Project Everest (youtube.com)
L 7 pts 0 comments by brendan Jun 26, 2020 formalmethodspltvideo Programming (General)Programming Languages / CS Theory thread
Effects for Less (youtube.com)
L 7 pts 0 comments by brendan Jun 15, 2020 haskellperformancevideo Programming Languages / CS TheoryData / Databases / Infrastructure thread
What's Your Computer Actually Doing? (youtube.com)
L 7 pts 1 comments by brendan Jul 29, 2019 assemblyprogrammingvideo Systems / Low-Level / OSProgramming (General) thread
YOW! Conference 2017 - Ken Scambler - Adopting FP: A Human-First Approach (youtube.com)
L 7 pts 2 comments by brendan Mar 11, 2018 practicesprogrammingvideo Programming (General)Productivity / Career / Business thread
Type-guided development and garden paths (frasertweedale.github.io)
L 6 pts 0 comments by brendan May 12, 2021 haskelltesting Programming (General)Programming Languages / CS Theory thread
Effective Programming: Adding an Effect System to OCaml (youtube.com)
L 6 pts 0 comments by brendan Apr 6, 2018 mlpltprogrammingvideo Programming (General)Programming Languages / CS Theory thread
Servo Architecture: Safety and Performance (youtube.com)
L 6 pts 1 comments by brendan Feb 7, 2017 browsersprogrammingrustvideo Web DevelopmentSystems / Low-Level / OSProgramming (General) thread
Friendship ended with Monads: Testing out Algebraic effects in OCaml for Animations (gopiandcode.uk)
L 5 pts 0 comments by brendan Jan 8, 2021 mlplt Programming Languages / CS Theory thread
x86 mov insns & short history of the most popular CPU architecture (youtube.com)
L 5 pts 0 comments by brendan Nov 24, 2019 assemblyhardwarevideo Systems / Low-Level / OSMaker / DIY / HardwareCulture / Philosophy / History / Reading thread
The organized chaos of programming language design (medium.com)
L 5 pts 1 comments by brendan Aug 25, 2019 pltprogramming Programming (General)Programming Languages / CS TheoryDesign / UX / Visualization thread
Resources for Teaching with Formal Methods (avigad.github.io)
L 5 pts 0 comments by brendan Jan 20, 2019 educationformalmethodsmathpltprogramming Programming (General)Programming Languages / CS TheoryScience / Math / Physics thread
Seven Sketches in Compositionality: An Invitation to Applied Category Theory (arxiv.org)
L 5 pts 0 comments by brendan Mar 18, 2018 bookmathpdf Science / Math / PhysicsCulture / Philosophy / History / Reading thread
Computing with metavalues (fredrikj.net)
L 4 pts 0 comments by brendan Feb 24, 2021 formalmethodsmath Programming Languages / CS TheoryScience / Math / Physics thread