🦞🌯 Lobster Roll

Stories by brendan

Servo 2025 Stats (blogs.igalia.com)
L 85 pts 8 comments by brendan Jan 14, 2026 browsers Web Development thread
Turning the IDE Inside Out with Datalog (petevilter.me)
L 61 pts 13 comments by brendan Jul 17, 2020 databasesplt Programming Languages / CS TheoryData / Databases / Infrastructure thread
Introducing cap-std, a capability-based version of the Rust standard library (blog.sunfishcode.online)
L 58 pts 22 comments by brendan Jun 15, 2021 rustsecurity Systems / Low-Level / OSProgramming (General)Security / PrivacyCulture / Philosophy / History / Reading thread
retrobootstrapping rust for some reason (graydon2.dreamwidth.org)
L 56 pts 14 comments by brendan Jun 16, 2025 compilersrust Systems / Low-Level / OSProgramming Languages / CS Theory thread
Are arrays functions? (futhark-lang.org)
L 51 pts 31 comments by brendan Jan 19, 2026 plt Programming Languages / CS Theory thread
OCaml 5.4 Release: New Features, Fixes, and More (tarides.com)
L 36 pts 1 comments by brendan Oct 11, 2025 mlrelease Programming Languages / CS Theory thread
You Can't Prove Everything That's True (youtube.com)
L 34 pts 16 comments by brendan May 23, 2021 compscimathvideo Programming Languages / CS TheoryScience / Math / Physics thread
Query Engines: Push vs. Pull (justinjaffray.com)
L 34 pts 6 comments by brendan Apr 26, 2021 databases Data / Databases / Infrastructure thread
Penrose: from mathematical notation to beautiful diagrams (penrose.ink)
L 34 pts 10 comments by brendan Jun 2, 2020 graphicsmathpltprogramming Programming (General)Programming Languages / CS TheoryScience / Math / Physics thread
FP^2: Fully in-Place Functional Programming (microsoft.com)
L 32 pts 5 comments by brendan Jun 27, 2023 pdfplt Programming (General)Programming Languages / CS Theory thread
Monads are not like burritos (byorgey.github.io)
L 31 pts 5 comments by brendan Jun 17, 2025 historicalprogramming Programming (General)Programming Languages / CS TheoryCulture / Philosophy / History / Reading thread
SpecTec has been adopted (webassembly.org)
L 22 pts 8 comments by brendan Mar 28, 2025 pltwasm Web DevelopmentProgramming Languages / CS Theory thread
Our optimizers need a rethink (typesanitizer.com)
L 22 pts 1 comments by brendan Oct 23, 2024 compilersdatabases Systems / Low-Level / OSProgramming Languages / CS TheoryData / Databases / Infrastructure thread
Origins and developments (graydon2.dreamwidth.org)
L 21 pts 2 comments by brendan Jan 2, 2025 pltrust Systems / Low-Level / OSProgramming Languages / CS Theory thread
Sketch.systems (sketch.systems)
L 21 pts 8 comments by brendan May 31, 2018 designformalmethodstesting Programming (General)Programming Languages / CS TheoryDesign / UX / Visualization thread
Compiling C to printable x86, to make an executable research paper (youtube.com)
L 21 pts 2 comments by brendan Apr 1, 2017 assemblycompilerscompscivideo Systems / Low-Level / OSProgramming Languages / CS Theory thread
Rust Creator Graydon Hoare Talks About Security, History, and Rust (thenewstack.io)
L 20 pts 1 comments by brendan Jun 20, 2019 pltprogrammingrustsecurity Systems / Low-Level / OSProgramming (General)Programming Languages / CS TheorySecurity / PrivacyCulture / Philosophy / History / Reading thread
Forge: A Tool to Teach Formal Methods (blog.brownplt.org)
L 18 pts 1 comments by brendan Apr 21, 2024 formalmethods Programming Languages / CS Theory thread
Flattening ASTs (and Other Compiler Data Structures) (cs.cornell.edu)
L 17 pts 3 comments by brendan May 1, 2023 pltrust Systems / Low-Level / OSProgramming Languages / CS Theory thread
Safe Systems Programming in Rust (cacm.acm.org)
L 17 pts 0 comments by brendan Mar 23, 2021 pltrust Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Using Formal Methods to Eliminate Exploitable Bugs (youtube.com)
L 16 pts 5 comments by brendan Jun 2, 2020 formalmethodssecurityvideo Programming Languages / CS TheorySecurity / Privacy thread
KRust: A Formal Executable Semantics of Rust (arxiv.org)
L 16 pts 1 comments by brendan May 1, 2018 formalmethodspdfpltprogrammingrust Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Implicit functors (jobjo.github.io)
L 16 pts 3 comments by brendan Feb 6, 2018 mlplt Programming Languages / CS Theory thread
One-pass Compiler Primer (keleshev.com)
L 15 pts 1 comments by brendan May 21, 2020 compilersprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Diagrams for Composing Compilers (johnwickerson.wordpress.com)
L 15 pts 1 comments by brendan May 21, 2020 compilersprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Formally Verified Software in the Real World (cacm.acm.org)
L 15 pts 1 comments by brendan Jan 23, 2019 formalmethodsprogrammingsecurity Programming (General)Programming Languages / CS TheorySecurity / Privacy thread
"A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya Siram (youtube.com)
L 15 pts 2 comments by brendan Oct 1, 2017 formalmethodsprogrammingvideo Programming (General)Programming Languages / CS Theory thread
On relational compilation (people.csail.mit.edu)
L 14 pts 7 comments by brendan Nov 30, 2021 compilersformalmethodsplt Systems / Low-Level / OSProgramming Languages / CS Theory thread
You Already Know Formal Methods (galois.com)
L 14 pts 2 comments by brendan Oct 14, 2021 formalmethods Programming Languages / CS Theory thread
λ-2D: An Exploration of Drawing as Programming Language, Featuring Ideas from Lambda Calculus (media.mit.edu)
L 12 pts 0 comments by brendan Apr 4, 2022 artplt Programming (General)Programming Languages / CS TheoryScience / Math / PhysicsCulture / Philosophy / History / Reading thread