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

Rapid Team Transition to a Bevy-Based Engine (JP) (by extrawurst) — discussion

#event #rust #video

killing X11 (via jmtd) — discussion

#rant #unix

Lightweight Diagramming for Lightweight Formal Methods (via azhenley) — discussion

#formalmethods