A Soiree into Symbols in Ruby (by stonecharioteer) — discussion

#programming #ruby

Writing an Asciidoc Parser in Rust: Asciidocr (via mattrighetti) — discussion

#rust

Cure - Verification-First Programming for the BEAM (via hauleth) — discussion

#elixir #erlang #gleam

Absurd Workflows: Durable Execution With Just Postgres (via atharva) — discussion

#programming

The APM paradox: Too much data, too few answers (by joshuawood) — discussion

#devops

"Why don't you use dependent types?" (via indolering) — discussion

#formalmethods

Don't give Postgres too much memory (via sjamaan) — discussion

#databases #performance

Abstract Syntax Tree: An Example in C (via abhin4v) — discussion

#c #compilers

Setting up a very simple home router with OpenBSD (via zk) — discussion

#openbsd

Control structures in programming languages (via henrytill) — discussion

#education #ml

Software substrates: should there be only one? (via k-monk) — discussion

#osdev #philosophy #unix

"Monster Splash" a double-hires demo for Apple IIe (via classichasclass) — discussion

#retrocomputing

Using Assisted-by commit footers instead of banning AI tools (via spc476) — discussion

#vibecoding

I ****ing hate Science (via lr0) — discussion

#science

Homotopy Type Theory for Dummies (via janus) — discussion

#formalmethods #plt

Nostr is deceptively tricky to understand (via fiatjaf) — discussion

#distributed #web

You don't need anubis (via UkiahSmith) — discussion

#web

Skeena Indigenous Typeface (via silby) — discussion

#design

Making an Easy-to-Install Application in Python (by goedev) — discussion

#python

AWK technical notes (2023) (via gnyeki) — discussion

#plt