AI coding assistants destroy the virtue of laziness (and possibly impatience too) (via dz4k) — discussion

#vibecoding

What Happens If We Inline Everything? (via abhi9u) — discussion

#compilers

garlic: Java decompiler written in C (via linkdd) — discussion

#c #compilers #java

Interfacing MCP with Combinatorial, Convex, and SMT Solvers (by sdiehl) — discussion

#python #vibecoding

How to build a high-performance network fuzzer with LibAFL and libdesock (via freddyb) — discussion

#security

Vibe coding case study: ScubaDuck (by ezyang) — discussion

#vibecoding

Covert Web-to-App Tracking via Localhost on Android (via freddyb) — discussion

#privacy #security

Page Magic: A Chrome extension that uses AI to customize the appearance of any web page (by khaledh) — discussion

#ai #css

swift-cross-ui: A cross-platform declarative UI framework, inspired by SwiftUI (via mpweiher) — discussion

#swift

Example of Splitting a PR (via runxiyu) — discussion

#practices #vcs

tpde: A fast framework for writing baseline compiler back-ends in C++ (via MaskRay) — discussion

#compilers

Beachpatrol: CLI to automate your everyday web browser (by sebastiancarlos) — discussion

#browsers #javascript #nodejs #unix #web

What's higher-order about so-called higher-order references? (via asb) — discussion

#plt

Technical Guide To System Calls: Implementation And Signal Handling In Modern Operating systems (via serce) — discussion

#osdev #performance

GenAI is Our Polyester (via facundoolano) — discussion

#art #vibecoding

Swift at Apple: migrating the Password Monitoring service from Java (via vaguelytagged) — discussion

#swift

NLWeb: Protocol for AI-Powered Website Search (via alanmeira) — discussion

#ai

DPS8M Performance (by trn) — discussion

#historical #retrocomputing

My AI Skeptic Friends Are All Nuts (via jtdowney) — discussion

#ai #vibecoding

Conformance Checking at MongoDB: Testing That Our Code Matches Our TLA+ Specs | MongoDB Blog (by ajessejiryudavis) — discussion

#formalmethods