📊 Static Analysis

Linting, Code Quality, Abstract Interpretation, Data Flow, Abstract Interpretation, Data Flow Analysis, Program Analysis, Verification

Radio dish on the move | Space photo of the day for Aug. 25, 2025
space.com·19h
⚙️Cassette Mechanics
Pelikan Twist: my new favourite fountain pen for shimmer ink
terriko.dreamwidth.org·17h
🖋Typography
Pentagon Document: U.S. Wants to “Suppress Dissenting Arguments” Using AI Propaganda
theintercept.com·1d
🔒WASM Capabilities
From best practices to sensible defaults
devtips.stribny.name·3d
🐚Nordic Shell
A handy little web tool for temporary emergency text and small file transfers
clipboard.run·3d·
Discuss: Hacker News
📄Document Streaming
The Blue OS Museum
blueosmuseum.com·1d·
Discuss: Hacker News
🕹️Retro Gaming
The ROI of exercise
nicolaiarocci.com·17h
🏠Personal Archives
Showing the Sketchbook
krishna.github.io·6d·
Discuss: Hacker News
📕Bookbinding
How SeatGeek eliminated flaky container builds with a custom Buildkit operator
chairnerd.seatgeek.com·3d·
Discuss: Hacker News
📦Container Security
This is the one travel app I can't afford to forget
techradar.com·1d
🏛Digital humanities
New Jersey prisoner laments reliance on floppy disks for appeals documents, limiting file sizes to 1.44 MB — prisoners allowed 20 floppy disks in cell, but USB ...
tomshardware.com·17h·
Discuss: Hacker News
💽Floppy disks
Shellshock: The Bash Bug That Shook the Internet
infosecwriteups.com·1d
✅Shell Verification
Container Use: A New Tool for Isolated, Parallel Coding Agents
infoq.com·3d·
Discuss: Hacker News
📦Container Security
Custom admin roles are now GA
about.gitlab.com·1d
🌳Git Internals
A Hundred Years of Cartoons, Part 2
newyorker.com·21h
🖋Typography
Introducing: VuIO - open source DLNA server
github.com·4d·
Discuss: Hacker News, r/homelab, r/opensource, r/rust, r/selfhosted
📊Homelab Monitoring
Automated Anomaly Detection in Carboxylic Acid Polymer Degradation via Spectral Deconvolution and Bayesian Inference
dev.to·4d·
Discuss: DEV
🌈Spectroscopy
Kane and Bayern lay down ominous title marker as Ten Hag suffers shock defeat | Andy Brassell
theguardian.com·18h
🔍eBPF
CUTE-MRI: Conformalized Uncertainty-based framework for Time-adaptivE MRI
arxiv.org·4d
💾Floppy Imaging
Asynchronous CLI Agents in GitHub Actions (Claude, Gemini, Opencode)
elite-ai-assisted-coding.dev·3d·
Discuss: Hacker News
🔓Open Source Software