🦞🌯 Lobster Roll

Stories by soareschen

A break from programming languages (lexi-lambda.github.io)
L 92 pts 23 comments by soareschen May 29, 2025 personplt Programming (General)Programming Languages / CS TheoryCulture / Philosophy / History / Reading thread
The Tree Borrows paper is finally published (ralfj.de)
L 72 pts 7 comments by soareschen Jul 9, 2025 formalmethodspltrust Systems / Low-Level / OSProgramming Languages / CS Theory thread
Frequent reauth doesn't make you more secure (tailscale.com)
L 53 pts 132 comments by soareschen Jun 12, 2025 security Security / Privacy thread
Parametricity, or Comptime is Bonkers (noelwelsh.com)
L 41 pts 34 comments by soareschen 12h ago haskellpltrustzig Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Reflections on Haskell and Rust (academy.fpblock.com)
L 33 pts 38 comments by soareschen Jul 1, 2025 haskellprogrammingrust Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Introducing facet: Reflection for Rust (youtu.be)
L 33 pts 11 comments by soareschen Jun 5, 2025 programmingrustvideo Systems / Low-Level / OSProgramming (General) thread
Hypershell: A Type-Level DSL for Shell-Scripting in Rust powered by Context-Generic Programming (contextgeneric.dev)
L 26 pts 10 comments by soareschen Jun 14, 2025 pltreleaserust Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Linearity and uniqueness (kcsrk.info)
L 21 pts 1 comments by soareschen Jun 5, 2025 plt Programming Languages / CS Theory thread
Oregon Programming Languages Summer School (OPLSS) 2025: Types, Logic, and Formal Methods (cs.uoregon.edu)
L 19 pts 3 comments by soareschen Jul 9, 2025 educationformalmethodspltvideo Programming (General)Programming Languages / CS Theory thread
Placing Arguments (blog.yoshuawuyts.com)
L 14 pts 13 comments by soareschen Aug 14, 2025 compilerspltrust Systems / Low-Level / OSProgramming Languages / CS Theory thread
You don't really need monads (muratkasimov.art)
L 13 pts 11 comments by soareschen Aug 7, 2025 plt Programming Languages / CS Theory thread
Growing the Java Language (youtube.com)
L 12 pts 2 comments by soareschen Aug 21, 2025 javapltvideo Programming (General)Programming Languages / CS Theory thread
The Design and Implementation of Extensible Records for Rust in CGP (contextgeneric.dev)
L 9 pts 6 comments by soareschen Jul 13, 2025 pltrust Systems / Low-Level / OSProgramming Languages / CS TheoryDesign / UX / Visualization thread
Supercharge Rust functions with implicit arguments using CGP v0.7.0 (contextgeneric.dev)
L 6 pts 12 comments by soareschen Mar 1, 2026 pltreleaserust Systems / Low-Level / OSProgramming Languages / CS Theory thread
Announcing cgp-serde: A modular serialization library for Serde powered by Context-Generic Programming (contextgeneric.dev)
L 6 pts 0 comments by soareschen Nov 3, 2025 pltprogrammingreleaserust Systems / Low-Level / OSProgramming (General)Programming Languages / CS TheoryCulture / Philosophy / History / Reading thread
Porting GPU shaders to Rust GPU 30x faster with AI (rust-gpu.github.io)
L 6 pts 2 comments by soareschen Jun 24, 2025 graphicsrustvibecoding AI / Machine LearningSystems / Low-Level / OS thread
How to stop fighting with coherence and start writing context-generic trait impls (contextgeneric.dev)
L 5 pts 2 comments by soareschen 5d ago pltrusttranscriptvideo Systems / Low-Level / OSProgramming Languages / CS Theory thread
Building Modular Interpreters and Visitors in Rust with Extensible Variants and CGP (contextgeneric.dev)
L 3 pts 1 comments by soareschen Jul 10, 2025 programmingrust Systems / Low-Level / OSProgramming (General) thread
Vibe coding complex changes in Rust (youtube.com)
L 2 pts 0 comments by soareschen Aug 5, 2025 rustvibecodingvideo AI / Machine LearningSystems / Low-Level / OSProgramming (General) thread
The Design and Implementation of Extensible Variants for Rust in CGP (contextgeneric.dev)
L 2 pts 1 comments by soareschen Jul 31, 2025 pltrust Systems / Low-Level / OSProgramming Languages / CS TheoryDesign / UX / Visualization thread
Programming Extensible Data Types in Rust with CGP - Part 1: Modular App Construction and Extensible Builders (contextgeneric.dev)
L 2 pts 1 comments by soareschen Jul 8, 2025 programmingrust Systems / Low-Level / OSProgramming (General) thread