Preventing data races with Pony (via snej) — discussion

#plt #programming

Finally, a Replacement for BERT: Introducing ModernBERT (via pekkavaa) — discussion

#ai

Using ChatGPT is not bad for the environment (via Hail_Spacecake) — discussion

#ai

Woodpecker CI v3.0.0 release (via toast) — discussion

#release

A New Postgres Block Storage Layout for Full Text Search (via emschwartz) — discussion

#databases

Wasm GC isn’t ready for realtime graphics (via tumdum) — discussion

#graphics #lisp #wasm #web

2D Syntax (via veqq) — discussion

#lisp

Reverse-engineering a carry-lookahead adder in the Pentium (via calvin) — discussion

#hardware #historical #reversing

Git Trailers (via janus) — discussion

#devops #release #vcs

isd (interactive systemd) — a better way to work with systemd units (via ucirello) — discussion

#linux #python #systemd

Porting PFP from Haskell to OCaml (by lew) — discussion

#haskell #ml

Milestoner (via janus) — discussion

#devops #vcs

A Rust based ML model analyzer (via MiraWelner) — discussion

#ai #rust

WireGuard at Modal: Static IPs for Serverless Containers (via benl) — discussion

#distributed #networking

Podcast: Type Theory Forall (via yawaramin) — discussion

#ml #plt

Lessons From Red Teaming 100 Generative AI Products (via david_chisnall) — discussion

#ai #security

Comic Mono (via alper) — discussion

#editors

gittuf: A security layer for Git repositories (via tris) — discussion

#security #vcs

Thoughts On A Month With Devin (via kracekumar) — discussion

#ai

The Cursed Art of Streaming HTML (via crmsnbleyd) — discussion

#web