📊 Static Analysis

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

Big Leech
languagelog.ldc.upenn.edu·5h
📡DNS Archaeology
Good Justifications Write Themselves
oblique.security·3d·
Discuss: Hacker News
🔐Capability Systems
Teenage Engineering’s new PC case is plastic and free
theverge.com·1d
⚙️DIY Electronics
Anthropic brings Claude's learning mode to regular users and devs
engadget.com·1d
🤖Grammar Induction
Microsoft Vulnerabilities Exposed by Check Point Research
blog.checkpoint.com·3d
🔓Hacking
For Americans Only: Estimating Celsius and Other Mental Metrics
hackaday.com·1d
📐Arithmetic Precision
Go Coding with Asparagos: Will Graph Cycles Spoil the Salsa Festival?
dev.to·1d·
Discuss: DEV
🧮Z3 Solver
Game-Changer Alert: Why I'm Obsessed with Network Logging in Selenium 4
dev.to·1d·
Discuss: DEV
👁️System Observability
Few-Shot Learning for Edge Device Semantic Segmentation via Adaptive Meta-Graph Pruning
dev.to·1d·
Discuss: DEV
📊Learned Metrics
Most AI Fails Quietly. Graph Thinking Doesn’t.
dev.to·10h·
Discuss: DEV
🧮Datalog Systems
How I Cut AWS Compute Costs by 70% with a Multi-Arch EKS Cluster and Karpenter
hackernoon.com·11h
🏠Homelab Orchestration
🚀 How I Built an AI Agent That Generates Structured Test Cases in Minutes
dev.to·3d·
Discuss: DEV
⚡Proof Automation
Unlocking the Magic of Models: Customizing Use Cases with Retrieval-Augmented Generation (RAG)
dev.to·2d·
Discuss: DEV
📊Feed Optimization
Topos Causal Models
arxiv.org·2d
🕸️Algebraic Topology
Adaptive Real-Time Aerosol Concentration Mapping for Optimized Clean Agent Dispersion in Enclosed Spaces
dev.to·1d·
Discuss: DEV
🌊Stream Processing
The Memory Architects - Chapter 11: The Infinite Garden
dev.to·17h·
Discuss: DEV
⏰Time Crystals
Learning More by Seeing Less: Line Drawing Pretraining for Efficient, Transferable, and Human-Aligned Vision
arxiv.org·3d
📊Learned Metrics
Evaluating Large Language Models as Expert Annotators
arxiv.org·3d
🤖Grammar Induction
LET-US: Long Event-Text Understanding of Scenes
arxiv.org·3d
🧮Kolmogorov Complexity
Can LLMs Detect Their Confabulations? Estimating Reliability in Uncertainty-Aware Language Models
arxiv.org·3d
💻Programming languages