Optimal Caverna Gameplay via Formal Methods (via ehamberg) — discussion

#formalmethods

JavaScript DRMs are Stupid and Useless (via zanlib) — discussion

#security #web

Jails for NetBSD (via jaypatelani) — discussion

#netbsd

FIPS: Free Internetworking Peering System (via fiatjaf) — discussion

#distributed #networking #rust

Bitflipped: Your computer is a cosmic ray detector (2018) (via gnyeki) — discussion

#c

ZSA: Andrew Smith (via alper) — discussion

#hardware

AI sandbox that runs on your homelab (by deevus) — discussion

#show #vibecoding

“Our programs are fun to use.” (via aashvik) — discussion

#culture #design #historical

Hardwood: A New Parser for Apache Parquet (via arcatan) — discussion

#databases #java

ASK: What are you doing this weekend? (by caius)

#ask #programming

Linux ID: Linux explores new way of authenticating developers and their code (via laktak) — discussion

#linux #security

Mothlamp Problems (by notjack) — discussion

#philosophy

Accidentally disabling SSH access via scp (by sny) — discussion

#linux

The Man Who Stole Infinity (via jo3_l) — discussion

#historical #math

Return of the Obra Dinn: spherical mapped dithering for a 1bpp 1st-person game (2017) (via fanf) — discussion

#graphics

How my side project got banned from the internet (via fanf) — discussion

#security

Lobsters Blog Carnival on April 1st - Submissions Open (via veqq) — discussion

#event

Will vibe coding end like the maker movement? (via asymmetric) — discussion

#vibecoding

Palm OS User Interface Guidelines [pdf, 2003] (via spiffytech) — discussion

#design #mobile #pdf

Introducing PgBeam, a globally distributed PostgreSQL proxy (via tsg) — discussion

#databases