Why open source may not survive the rise of generative AI (via Foxboron) — discussion

#culture #vibecoding

Why JPEG XL Ignoring Bit Depth Is Genius (And Why AVIF Can’t Pull It Off) (via ignaloidas) — discussion

#programming

Recreating Lions' commentary for teaching OS at MIT (via binjip978) — discussion

#osdev #video

WALI: A low-level virtualization interface for Linux-based systems using WebAssembly (via taras) — discussion

#linux #wasm

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