📊 Static Analysis

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

2025-08-19: Paper Summary: Reproducibility Study on Network Deconvolution
ws-dl.blogspot.com·7h·
Discuss: ws-dl.blogspot.com
📊Learned Metrics
The Genius of Survival
dothemath.ucsd.edu·17h
🔲Cellular Automata
Enumerating AWS the quiet way: CloudTrail-free discovery with Resource Explorer
securitylabs.datadoghq.com·15h·
Discuss: Hacker News
🕵️Domain Enumeration
Our principles on AI
piccalil.li·1d
🎛️Feed Filtering
Smooth Minimum for Signed Distance Fields (2013)
iquilezles.org·5d·
Discuss: Hacker News
🌀Differential Geometry
Duct UI now comes with an MCP server
duct-ui.org·3h·
Discuss: Hacker News
🧩WASM Components
The Forgotten Meaning of "Jerk."
languagehat.com·9h·
Discuss: Hacker News
🗜️Zstandardized Archives
The popular A-level subject that the UK isn’t very good at
the-independent.com·21h
💻CS
AIxCC Final and Team Atlanta (first place, $4M)
team-atlanta.github.io·5d·
Discuss: Hacker News
🧪Binary Fuzzing
Our DevOps stack and recent improvements
ngrok.com·5d·
Discuss: Hacker News
❄️Nix Flakes
Cracking Abandonware DRM Like It’s 1999
hackaday.com·2d·
Discuss: Hacker News
🏺Gaming Archaeology
I wanted to take more pictures, so I vibecoded a portfolio
blog.etra0.cl·5d·
Discuss: Hacker News
🏛Digital humanities
Me And The Bean
tedium.co·15h
🔲Cellular Automata
Apple has just released an update to XProtect for all macOS
eclecticlight.co·13h
🍎XNU Internals
A Real-time Concrete Crack Detection and Segmentation Model Based on YOLOv11
arxiv.org·2d
🤖Advanced OCR
Apriel-Nemotron-15B-Thinker
arxiv.org·2d
💻Local LLMs
Retrieval-augmented reasoning with lean language models
arxiv.org·2d
🌀Brotli Internals
Kids need soft skills in the age of AI, but what does this mean for schools?
phys.org·1d
🔲Cellular Automata
Automated DOM-Based XSS Vulnerability Mitigation via Behavioral Anomaly Detection and Adaptive Patching
dev.to·5d·
Discuss: DEV
🛡️WASM Sandboxing
Day 66: When Your Coding Session Gets Hijacked by Real Life
dev.to·4d·
Discuss: DEV
📏Code Metrics