Finding forall-exists Hyperbugs using Symbolic Execution (via hwayne) — discussion

#formalmethods #pdf

Modern CSS Code Snippets (via chamlis) — discussion

#css #web

Rise of the Triforce (via FedericoSchonborn) — discussion

#games #retrocomputing

I joined the MariaDB Foundation (via eatonphil) — discussion

#databases

R.I.P. Rest In Prompt (by HugoDaniel) — discussion

#vibecoding

Let's practice! (bsd.rd) (by bsdj) — discussion

#openbsd

Type-based alias analysis in the Toy Optimizer (via asb) — discussion

#compilers

disko-zfs: Declaratively Managing ZFS Datasets (via ThinkChaos) — discussion

#nix #release

Building a FOSS live streaming camera (via achill) — discussion

#hardware

Carbon Dysphoria (via jamesnvc) — discussion

#culture

TIL: Docker log rotation (via polywolf) — discussion

#devops

Browse code by meaning (by Gabriella439) — discussion

#vibecoding

GGML GGUF File Format Vulnerabilities (via eatonphil) — discussion

#ai #c

Diagnostics Factory (via yashgarg) — discussion

#zig

I Sold Out for $20 a Month and All I Got Was This Perfectly Generated Terraform (via adamcstephens) — discussion

#practices #vibecoding

ASK: Please consider tagging a vibecoding griefpost or hypepost as a rant (by quad)

#meta

MessageFormat: Unicode standard for localizable message strings (via fanf) — discussion

#programming

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

#ask #programming

open-source-games: A list of open source games (via wink) — discussion

#games

A relationship between the Collatz conjecture and the Fibonacci numbers (by vrolfs) — discussion

#math