Lobster Roll

All Programming (General) 43089 Systems / Low-Level / OS 28739 Programming Languages / CS Theory 22273 Data / Databases / Infrastructure 16920 Web Development 14858 Security / Privacy 13153 Culture / Philosophy / History / Reading 13013 Productivity / Career / Business 9857 Maker / DIY / Hardware 7111 Science / Math / Physics 5321 AI / Machine Learning 5067 Design / UX / Visualization 4706 Gaming / Retro Computing 4160 Apple / macOS / iOS 3347 Internet / Digital Culture 1746 Crypto / Blockchain 492 Health / Fitness / Lifestyle 122

Programming Languages / CS Theory

OSS Friday Update - The Shape of Ruby I/O to Come (noteflakes.com)
The Path to Mojo 1.0 (modular.com)
Picking Optimal Token IDs (notes.hella.cheap)
S-Expression Array for Lightweight Immutable Representation (SealIR) (github.com)
Layoutz – Simple, beautiful CLI output for Haskell 🪶 (flora.pm)
Golang’s Big Miss on Memory Arenas (avittig.medium.com)
LISP Style & Design (archive.org)
dp_knapsack_sliding_hirschberg, a new activation memory budget solver for PyTorch (jedrzej.maczan.pl)
Ohlang (vms-has-a.great-site.net)
Stacktower: An Accidental Deep Dive (stacktower.io)
APL for Plan9 (apl.pmikkelsen.com)
Functional Quadtrees (lbjgruppen.com)
Adding Iongraph support to ZJIT (railsatscale.com)
A Brief, Incomplete, and Mostly Wrong History of Programming Languages (nerdware.org)
PGlite - Embeddable Postgres (pglite.dev)
If it ain’t broke, … (dra27.uk)
SWI-Prolog 10.0.0 released (swi-prolog.discourse.group)
Super-flat ASTs (jhwlr.io)
soma: System F-ω pure functional language with deterministic, GC-free memory via Interaction Nets and automatic parallelism (github.com)
Lambda Calculus in K (web.archive.org)
Trees - J Wiki (code.jsoftware.com)
No room for error - A case study of Gleam in production at Uncover (gleam.run)
Desugaring the Relationship Between Concrete and Abstract Syntax (thunderseethe.dev)
The dark side of RISC-V linker relaxation (maskray.me)
Zig's new plan for asynchronous programs (lwn.net)
Luarrow - True pipeline operators and elegant Haskell-style function composition for Lua (github.com)
Avoiding space leaks at all costs (2022) (chshersh.com)
Mechanisms as Types (spacechimplives.substack.com)
Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers (users.cs.utah.edu)
Composing capability security and conflict-free replicated data types (spritely.institute)