🦞🌯 Lobster Roll

Stories by soareschen

A break from programming languages (lexi-lambda.github.io)
The Tree Borrows paper is finally published (ralfj.de)
Frequent reauth doesn't make you more secure (tailscale.com)
Parametricity, or Comptime is Bonkers (noelwelsh.com)
Reflections on Haskell and Rust (academy.fpblock.com)
Introducing facet: Reflection for Rust (youtu.be)
Hypershell: A Type-Level DSL for Shell-Scripting in Rust powered by Context-Generic Programming (contextgeneric.dev)
Linearity and uniqueness (kcsrk.info)
Oregon Programming Languages Summer School (OPLSS) 2025: Types, Logic, and Formal Methods (cs.uoregon.edu)
Placing Arguments (blog.yoshuawuyts.com)
You don't really need monads (muratkasimov.art)
Growing the Java Language (youtube.com)
The Design and Implementation of Extensible Records for Rust in CGP (contextgeneric.dev)
Supercharge Rust functions with implicit arguments using CGP v0.7.0 (contextgeneric.dev)
Announcing cgp-serde: A modular serialization library for Serde powered by Context-Generic Programming (contextgeneric.dev)
Porting GPU shaders to Rust GPU 30x faster with AI (rust-gpu.github.io)
How to stop fighting with coherence and start writing context-generic trait impls (contextgeneric.dev)
Building Modular Interpreters and Visitors in Rust with Extensible Variants and CGP (contextgeneric.dev)
Vibe coding complex changes in Rust (youtube.com)
The Design and Implementation of Extensible Variants for Rust in CGP (contextgeneric.dev)
Programming Extensible Data Types in Rust with CGP - Part 1: Modular App Construction and Extensible Builders (contextgeneric.dev)