📊 Static Analysis

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

Radioscapes Symposium at the Noorderlicht Biennale, Groningen
criticalinfralab.net·2d
📼Cassette Culture
Commercial Offensive Cyber Capabilities: Red-Team Focus and What It Means for Digital Investigations
digitalforensicsmagazine.com·2d
🎯Threat Hunting
Driving AI adoption at Dropbox: a conversation with CTO Ali Dasdan
dropbox.tech·2d
🔄Language Evolution
Not all overvoltage tolerant GPIOs are the same
monthly-pulse.com·2d·
Discuss: Hacker News
🔧Hardware Verification
Birds Are Obeying a Secret Law of Human Language
popularmechanics.com·2d
🎵Music Universality
Show HN: Python file streaming 237MB/s on $8M droplet in 507 lines of stdlib
bellone.com·2d·
Discuss: Hacker News
🌊Streaming Systems
iOS 26: Reduce Transparency of Apple's Liquid Glass Design
macrumors.com·1h
🔌Operating system internals
Philosophical Thoughts on Kolmogorov-Arnold Networks
kindxiaoming.github.io·3d·
Discuss: Hacker News
🔲Cellular Automata
Tracking Errors in Absinthe for Elixir with AppSignal
blog.appsignal.com·2d·
Discuss: Hacker News
📦CBOR Extensions
Evaluating the Quality of Open Building Datasets for Mapping Urban Inequality: A Comparative Analysis Across 5 Cities
arxiv.org·2d
🔶Voronoi Diagrams
Krish Naik: Complete Detailed Roadmap To Learn AI In 2025 With Free Videos And Resources
dev.to·2d·
Discuss: DEV
🗺️Competency Maps
Fashionable Phishing Bait: GenAI on the Hook
unit42.paloaltonetworks.com·2d
🎫Kerberos History
Multiple Reachability in Linear Dynamical Systems
arxiv.org·6d
🔄Finite State Machines
Linux for a general use - it's ready
reddit.com·8h·
Discuss: r/linux
🔌Operating system internals
Entropy-Constrained Strategy Optimization in Urban Floods: A Multi-Agent Framework with LLM and Knowledge Graph Integration
arxiv.org·12h
🔲Cellular Automata
Datadog's Blowout-Yes, Its Quarter Was A Blowout, But No One Seems To Have Taken Note
seekingalpha.com·8h
📰Feed Readers
Ellington Credit: High Yield, Speculative CLO Fund
seekingalpha.com·4h
🔍BitFunnel
Horizon Kinetics Q2 2025 Commentary
seekingalpha.com·2h
🔍BitFunnel
Precision Anomaly Detection in Micro-Channel Electropolishing via Bayesian Neural Networks
dev.to·3d·
Discuss: DEV
⚙️Modern Assembly
Day 1 of experimenting with open source (and I'm already confused)
dev.to·3d·
Discuss: DEV
🌀Brotli Internals