📊 Static Analysis

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

Kids and Cleaning
jefftk.com·3d
⭐Awesome lists
Windows 95 released August 24, 1995
dfarq.homeip.net·1d
🕸️WASM Archives
‘Ten Martini’ Proof Uses Number Theory to Explain Quantum Fractals
quantamagazine.org·1d·
Discuss: Hacker News
📐Mathematical Art
How the double strike on Gaza's Nasser Hospital unfolded
bbc.com·57m
🎞️MKV Internals
Neural Dust and Biosensors Could Redefine Medicine or Turn the Body into Data
clickworlddaily.com·1d·
Discuss: Hacker News
📼Cassette Technology
postMessaged and Compromised
msrc.microsoft.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🎯NTLM Attacks
Why do software developers love complexity?
kyrylo.org·5d·
Discuss: Lobsters, Hacker News
⚙️Proof Engineering
A Magnetized Needle and a Steady Hand (2016)
nullprogram.com·6d·
Discuss: Hacker News
🔧RISC-V Assembler
After Trump’s DOGE action, 300 million people’s Social Security data is at risk, whistleblower says
mercurynews.com·2h
⚖️Legal Compliance
AI working with Infra? Sounds like a terrible idea but we made it work
blog.railway.com·6d·
Discuss: Hacker News
🎬AV1 Encoding
Yottar wants to help energy users find capacity on the electrical grid
techcrunch.com·1d
🖥️Modern Terminals
IBM and NASA Develop a Digital Twin of the Sun to Predict Future Solar Storms
wired.com·1d·
Discuss: r/space, r/technews
👁️Observatory Systems
A pseudolocalization developer experience tool
github.com·3d·
Discuss: Hacker News
🔄Migration Tools
Denormalization: Making Your Database Faster (and Why It’s a Trade-Off) day 35 of system design basics
dev.to·3d·
Discuss: DEV
🗄️Database Internals
Research roadmap update, August 2025
stackoverflow.blog·5d·
Discuss: Hacker News
📊Feed Optimization
Why I'm Now Running Enterprise AI on My Laptop (Without Internet)
medium.com·1d·
Discuss: Hacker News
🌀Brotli Internals
I quit my first job out of college at PwC after a year. Working at the Big Four has pros — but one con was a dealbreaker.
businessinsider.com·8h
🌱Personal Wikis
Wifi in new home
reddit.com·2d·
Discuss: r/homelab
🏠Home Automation
Angular Goes AI-Native: Building Smarter Dev Workflows
dev.to·5d·
Discuss: DEV
🔄Language Evolution
MBOX: Lackluster Distribution Growth Is Worrisome
seekingalpha.com·1d
📡RSS