How I turned Zig into my favorite language to write network programs in (via andyferris) — discussion

#networking #zig

The Apple Compact Unwinding Format: Documented and Explained - Faultlore (via MaskRay) — discussion

#assembly

Token-Oriented Object Notation – JSON for LLMs at half the token cost (via a4rbay4mnv) — discussion

#vibecoding

Interactive Hiring Pipeline Calculator (by can) — discussion

#practices

Using Homebrew to Distribute Early Access Binaries from Private Github Repositories (by jeezy) — discussion

#devops #mac

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