📊 Static Analysis

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

Simple blood cholesterol test may better predict coronary artery disease risk
medicalnewstoday.com·16h·
Discuss: Hacker News
🔗Data Provenance
Microsoft Might Be 'Fixing' Windows 11's Dark Mode
lifehacker.com·12h
🪟Awesome windows command-line
The Peculiar Case of Japanese Web Design
sabrinas.space·2d·
Discuss: Lobsters, r/programming
🇯🇵Japanese Computing
Lookup Table Madness (2004)
sqlservercentral.com·6d·
Discuss: Hacker News
🏺Database Archaeology
My AI-Driven Identity Crisis
dusty.phillips.codes·5d·
Discuss: Hacker News
λLambda Formalization
Evaluating Document Extraction Accuracy
runpulse.com·6d·
Discuss: Hacker News
📋Document Layout
We are gen Z – and AI is our future. Will that be good or bad?
theguardian.com·3d
🤖AI Curation
The Software of Science
mirawelner.com·5d·
Discuss: Hacker News
⚙️Proof Engineering
AI Is a Mass-Delusion Event
theatlantic.com·10h·
Discuss: Lobsters, Hacker News
🔲Cellular Automata
Predicting and Explaining Traffic Crash Severity Through Crash Feature Selection
arxiv.org·1d
🧠Machine Learning
Fern leaf pockets hide secrets of plant-microbe symbiosis
phys.org·12h
🦴Database Paleontology
The org-copy-visible Command
irreal.org·2d
🐧FOSS
BeyondWeb: Lessons from Scaling Synthetic Data for Trillion-scale Pretraining
arxiv.org·1d
📊Learned Metrics
Quantum Inertial Navigation with Atom Interferometry-Based Gradient Sensors
dev.to·7h·
Discuss: DEV
⚛️Quantum Tape
WeatherPaper
hackster.io·1d
⚙️DIY Electronics
Why Developers Still Choose Python, Even If It’s “Slow”
dev.to·3d·
Discuss: DEV
📏Code Metrics
AI-supported cyberattacks: experts observe increasing use of LLM
heise.de·21h
🎯Threat Hunting
AI Coding Assistants Made Me a Lazy Developer… And That’s Okay
dev.to·5d·
Discuss: DEV
📏Code Metrics
Aware First, Think Less: Dynamic Boundary Self-Awareness Drives Extreme Reasoning Efficiency in Large Language Models
arxiv.org·1d
💻Local LLMs
The U.S. is blocking state AI regulation. Here's what that means for every business
techradar.com·17h
🤖AI Curation