📊 Static Analysis

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

Lincoln Laboratory reports on airborne threat mitigation for the NYC subway
news.mit.edu·1d
📄Document Digitization
Roborock Test Mode: How to Run a Full Self-Test Diagnostic
shellhacks.com·1d
🔍FPGA Verification
[Guest post] Fight against online piracy: dynamic injunctions in Belgium
ipkitten.blogspot.com·2d·
Discuss: ipkitten.blogspot.com
🌐BGP Security
China's Great Firewall blocked all traffic to a common HTTPS port for over an hour — with no hint as to its intention
tomshardware.com·23h
🛣️BGP Hijacking
Show HN: LightSwitch: Multi-View Relighting with Material-Guided Diffusion
yehonathanlitman.github.io·1d·
Discuss: Hacker News
🌈Color Archaeology
Building a Carbon and Price-Aware Kubernetes Scheduler [audio]
kube.fm·1d·
Discuss: Hacker News
🌊Streaming Systems
Former YC product lead shares how she builds voice agents
aimodelbehavior.substack.com·2d·
Discuss: Substack
🎙️Whisper
Query Gone Wild: How I Turned a Forgotten GraphQL Endpoint into Full Account Access
infosecwriteups.com·1d
🌐WARC Forensics
Most known species evolved during 'explosions' of diversity, shows first analysis across 'tree of life'
phys.org·2d
🧬Bitstream Evolution
Bundesliga Odds: Latest 2025/26 Bundesliga Betting Odds
the-independent.com·1d
🔃Feed Algorithms
Commvault: High-risk gap allows malicious code to be injected
heise.de·1d
🔓Hacking
Letters: Bill for housing near transit further threatens neighborhoods
mercurynews.com·1d
💻Local first
Amazon Q Developer for VS Code Vulnerable to Invisible Prompt Injection
embracethered.com·1d·
Discuss: Hacker News
🔓Hacking
The Constraint Satisfaction Problem Over Multisorted Cores
arxiv.org·4d
🎨Graph Coloring
Discovery of a widespread chemical signalling pathway in the Bacteroidota
nature.com·1d
🧬Copy Number Variants
Multi-Robot Navigation in Social Mini-Games: Definitions, Taxonomy, and Algorithms
arxiv.org·2d
🎯Proof Tactics
Was AMD holding back on their fusion line?
forums.anandtech.com·2h
🖥️Modern CPU
Multi-Phase Automated Segmentation of Dental Structures in CBCT Using a Lightweight Auto3DSeg and SegResNet Implementation
arxiv.org·3d
🧠Machine Learning
Group Fair Matchings using Convex Cost Functions
arxiv.org·3d
🎯Performance Proofs
Robust Data Fusion via Subsampling
arxiv.org·3d
🧠Machine Learning