capri: Type-safe, atomic Gleam bindings for Khepri, the modern distributed database for the BEAM (by reesericci) — discussion

#databases #distributed #erlang #gleam #show

Extreme Programming: A Gentle Introduction (via regulator) — discussion

#practices

Introducing Microlighter (via carlana) — discussion

#javascript

SQLite for Everything (via ggpsv) — discussion

#databases

Opinions About Compiler Building (via surprisetalk) — discussion

#compilers #plt

Geolocating Random Islet Image Using Geometry & CUDA GPU Programming (via dhruvp) — discussion

#programming

The Data Copy That Lies (via fuzzy) — discussion

#freebsd

On the Capacity, Performance, and Reliability of microSD Cards (via darleaf) — discussion

#hardware

Why I still hand write my commit messages (by JamieTanna) — discussion

#practices #vcs

Aiki Alpha 2 Released (by decuser) — discussion

#go #plt #release

HTML Can Do That (via abhin4v) — discussion

#web

Who Are the Token Brokers? (via alemi) — discussion

#ai

Liquid Types as a behavioural sandbox for agents (by alcides) — discussion

#ai #plt

Solo: a .so loader for static Linux binaries (via linkdd) — discussion

#linux #programming

a filename when none exists (via lvmbdv) — discussion

#programming

Fargate Is Not Firecracker (2024) (via frogulis) — discussion

#devops #virtualization

Palomar – a registry of Lean verified mathematics (via darichey) — discussion

#formalmethods #math

Bun 1.4 Rust rewrite is not looking good (via robinheghan) — discussion

#vibecoding

Susan Kare: Designing Icons & Graphics For the Original Mac (via dhruvp) — discussion

#mac #video

Things I want in a modern relational query language (by calvin) — discussion

#databases #plt