The End of Shouting: Prompts as Programs in GPT-5 (by youngbrioche) — discussion

#vibecoding

On Programming Languages as Languages (2014) (via rbr) — discussion

#programming

When 'perfect' code fails (by mrk) — discussion

#javascript #security #web

Index 1,600,000,000 Keys with Automata and Rust (via lorddimwit) — discussion

#compsci

Learning Regular Languages with RPNI Algorithm (by vrthra) — discussion

#compsci

Why Your social.org Files Can Have Millions of Lines Without Any Performance Issues (by andros) — discussion

#emacs

Simple Control Flow for Automatically Steering Agents (by MrFantastik) — discussion

#vibecoding

Distroless Containers for corporate use: Nix Flakes vs Fedora (via Verfeuil) — discussion

#devops #nix

Formal or not formal? That is the question in AI for theorem proving (via xcthulhu) — discussion

#formalmethods #vibecoding

Encryption using SSH Keys with age in Linux (by WorksOnMyMachine) — discussion

#cryptography #linux

You should feed the bots (via LolPython) — discussion

#programming

the bug that taught me more about PyTorch than years of using it (via knl) — discussion

#debugging

ASK: Tag proposal: typesetting (by runxiyu)

#meta

You already have a git server (via runxiyu) — discussion

#vcs

Let's Help NetBSD Cross the Finish Line Before 2025 Ends (via jaypatelani) — discussion

#netbsd

ASK: What are you reading this week? (by vlnn)

#ask #book #culture

We want to move Ruby forward (via bt) — discussion

#ruby

Property-Based Testing in Practice (via natfu) — discussion

#ml #pdf #testing

Sandbox Your Program Using FreeBSD's Capsicum (via mccd) — discussion

#freebsd #osdev #security #video

The Linux Boot Process: From Power Button to Kernel (via runxiyu) — discussion

#linux