📊 Static Analysis

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

The Otherworldly Ambitions of R. F. Kuang
newyorker.com·1d
🏛Digital humanities
Cloud Storage Myths Debunked, Part Two: Storage Isn’t a Big Enough Problem to Remediate
backblaze.com·16h
🏠Homelab Preservation
Terminal sessions you can bookmark: Building Zellij's web client
poor.dev·2d·
Discuss: Hacker News, r/programming
🛡️WASM Sandboxing
Book Review: The Math Academy Way
ijfen.substack.com·6d·
Discuss: Substack
📚Proof Pedagogy
I wanted to take more pictures, so I vibecoded a portfolio
blog.etra0.cl·5d·
Discuss: Hacker News
🏛Digital humanities
These scientists have a unique way of tackling video deepfakes - and all it takes is a burst of light
techradar.com·2d
💿Optical Forensics
Show HN: Stateful LLM inference (no cost for input tokens, not prompt-caching)
news.ycombinator.com·1d·
Discuss: Hacker News
💻Local LLMs
Conformal Prediction Meets Long-tail Classification
arxiv.org·2d
🧠Machine Learning
On Accessibility Conformance, Design Systems, and CSS “Base” Units
css-tricks.com·5d
🎨Swedish Design Philosophy
Data Diversity as Implicit Regularization: How Does Diversity Shape the Weight Space of Deep Neural Networks?
arxiv.org·2d
📊Learned Metrics
Microsoft Morphs Fusion Developers To Full Stack Builders
devops.com·1d
🔌Interface Evolution
Perfect Counterfactuals in Imperfect Worlds: Modelling Noisy Implementation of Actions in Sequential Algorithmic Recourse
arxiv.org·2d
📼Tape Combinators
ProPhase Labs, Inc. (PRPH) Q2 2025 Earnings Call Transcript
seekingalpha.com·2h
📋PREMIS Events
Automated Knowledge Graph Validation via Multi-Modal Deep Reasoning
dev.to·5d·
Discuss: DEV
🔗Constraint Handling
Automated Elderly Activity Pattern Extraction & Predictive Intervention using Multi-Modal Sensor Fusion
dev.to·1d·
Discuss: DEV
🎯Threat Hunting
Show HN: FilterQL – A tiny query language for filtering structured data
github.com·5d·
Discuss: Hacker News
✅Format Verification
Building Production RAG in 2024: Lessons from 50+ Deployments
dev.to·3d·
Discuss: DEV
✅Archive Validation
Cross-Cultural Negotiation Dynamics: Automated Sentiment-Aware Strategy Optimization via Bayesian Reinforcement Learning
dev.to·7h·
Discuss: DEV
🌍Cultural Algorithms
Revisiting Diffusion Q-Learning: From Iterative Denoising to One-Step Action Generation
arxiv.org·5h
🔲Cellular Automata
A Real-time Concrete Crack Detection and Segmentation Model Based on YOLOv11
arxiv.org·2d
🤖Advanced OCR