Zig-style generics are not well-suited for most languages (via runxiyu) — discussion

#plt #zig

Why We’re Moving on From Nix (via uncenter) — discussion

#nix #scaling

CVE-2025-47934 - Spoofing OpenPGP.js signature verification (via freddyb) — discussion

#cryptography #security

Auto-Pentest-GPT-AI: LLM Powered Pentesting for your software (via abstract777) — discussion

#ai #security

Malleable software: Restoring user agency in a world of locked-down apps (via mpweiher) — discussion

#compsci

Passing of Jean-Raymond Abrial (via grayswandyr) — discussion

#formalmethods

A tale of two Claudes (by steveklabnik) — discussion

#vibecoding

News from WWDC25: WebKit in Safari 26 beta (via uncenter) — discussion

#browsers #web

Droneboy: Drone music application for Gameboy (via oleander) — discussion

#art #retrocomputing

IBM is now detailing what its first quantum compute system will look like (via snej) — discussion

#hardware

A history of the Internet, part 2: The high-tech gold rush begins (via snej) — discussion

#historical

Quarkdown - Markdown with superpowers (via gettalong) — discussion

#programming

AI-assisted coding for teams that can't get away with vibes (via mogambo1) — discussion

#vibecoding

Why agents are bad pair programmers (via runxiyu) — discussion

#vibecoding

Implementing DOES> in Forth, the entire reason I started this mess (by spc476) — discussion

#assembly #compilers #concatenative

12 Development Tools (by aanthonymax) — discussion

#web

The Gap Through Which We Praise the Machine (via patternist) — discussion

#ai

container: tool for creating and running Linux containers using lightweight virtual machines on a Mac (via hauleth) — discussion

#linux #mac #virtualization

Push Science (via MiraWelner) — discussion

#ai #pdf

Munal OS: A graphical experimental OS with WASM sandboxing (via technetium) — discussion

#osdev #wasm