📊 Static Analysis

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

Getting Grades
mikestone.me·2d
🔢Denotational Semantics
2025-10-10: My Summer of Code with the Internet Archive (as a Google Summer of Code Contributor)
ws-dl.blogspot.com·1d·
Discuss: ws-dl.blogspot.com
🔓Open Source Software
Test your Infrastructure with Game Days
blog.devops.dev·20h
👁️System Observability
Practical Guide to Production-Grade Observability in the JS ecosystem
medium.com·14h
👁️System Observability
Getting a Hypergraph of Functions to a Browser
systeminit.com·2d·
Discuss: Hacker News
📐E-graphs
I Built the Perfect Workflow and attracted some friends in the process
graemefawcett.ca·1d·
Discuss: Hacker News
⚡Proof Automation
Mastering Zod Validation Mastering Data Validation and Error Handling in TypeScript with Zod
blog.codeminer42.com·4d
✅Format Validation
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·5d
💻Programming languages
End-to-end testing of Gen AI Apps
dev.to·17h·
Discuss: DEV
🔍Concolic Testing
Getting Started with Object-Oriented Programming in Python
dev.to·2d·
Discuss: DEV
🔢Denotational Semantics
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.to·1d·
Discuss: DEV
🔍Concolic Testing
Automated Anomaly Detection in Time-Series Statistical Spreadsheets via Hyperdimensional Vector Similarity
dev.to·1d·
Discuss: DEV
🔤Character Classification
An enough week
blog.mitrichev.ch·2d·
Discuss: blog.mitrichev.ch
📈Linear programming
Sorting encrypted data without decryption: a practical trick
dev.to·1d·
Discuss: DEV
🔐Hash Functions
Tying It All Together: Your Map to Better Go Architecture
dev.to·2d·
Discuss: DEV
📊Dependency Graphs
Angular Development & AI
dev.to·21h·
Discuss: DEV
🔄Language Evolution
OSD600: Lab 5
dev.to·1d·
Discuss: DEV
❄️Nix Flakes
Generalized Orders of Magnitude (GOOMs)
github.com·14h·
Discuss: Hacker News
🕸️Tensor Networks
Stress-Testing Model Specs Reveals Character Differences among Language Models
arxiv.org·2d
📋Document Grammar
Tool or Agent? The impact of AI in your code and in your wallet It all boils down to math again!
blog.codeminer42.com·2d
⚡Proof Automation