"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

react-native-godot: React Native Godot - Embed Godot Engine in React Native apps (via Noghartt) — discussion

#games #mobile

Zapstore (via fiatjaf) — discussion

#android

Beautiful, concise explanation of why a cycle-accurate 6502 emulator is easier than not (via LenFalken) — discussion

#assembly #programming #retrocomputing

build system tradeoffs (via calvin) — discussion

#programming

A prison of my own making (via eduard) — discussion

#devops