📊 Static Analysis

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

When is a group not a group?
cameroncounts.wordpress.com·1d
🕸️Graph Algorithms
Should I tell anyone that I suspect misconduct in a paper I’m reviewing?
nature.com·23h
💧Manuscript Watermarks
Rerun 0.24 – Light Mode, Streaming Video, Tagged Components
rerun.io·1d·
Discuss: Hacker News
🧬Bitstream Evolution
Wikipedia: Signs of AI Writing
en.wikipedia.org·8h·
Discuss: Hacker News
🌍Cultural Algorithms
MCP with Postgres – Querying my data in plain English
punits.dev·1d·
Discuss: Hacker News
🔗Constraint Handling
Undone Computer Science
undonecs.org·1d·
Discuss: Hacker News, r/compsci
🌍Cultural Algorithms
I got tired of explaining my project to AI assistant so I gave it memory
codecontextpro.com·22h·
Discuss: Hacker News
🌳Incremental Parsing
Python Fundamentals: build
dev.to·3d·
Discuss: DEV
🔄Reproducible Builds
Usage Rules: Leveling the Playing Field for AI-Assisted Development
zachdaniel.dev·17h·
Discuss: Hacker News
⚡Proof Automation
Regex Is a 70-Year-Old Dinosaur—Here’s the Modern Alternative
hackernoon.com·2d
🔍RegEx Engines
Help me sell my team on Go
reddit.com·9h·
Discuss: r/golang
🔩Systems Programming
Migrating over 30 lambdas from Serverless Framework with LLMs
intmaker.com·2d·
Discuss: Hacker News
🦋Format Metamorphosis
On the Limitations of Large Language Models (LLMs): False Attribution
arxiv.org·1d
📝ABNF Extensions
Understanding Derivatives: The Slope of Change
dev.to·7h·
Discuss: DEV
🌀Differential Geometry
Cracking the Code: Practices That Transform Software Quality
dev.to·3d·
Discuss: DEV
📏Code Metrics
From chaos to clarity: Using GitHub Copilot agents to improve developer workflows
github.blog·3d
📜Proof Carrying Code
Using AI in the development of stdlib
dev.to·1d·
Discuss: DEV
📏Code Metrics
CodeJudgeBench: Benchmarking LLM-as-a-Judge for Coding Tasks
arxiv.org·4d
📏Code Metrics
Parsing Protobuf Like Never Before
mcyoung.xyz·3d·
Discuss: Lobsters, Hacker News, r/programming
🔧Binary Parsers
The Fault-Tolerant Job Queue You’ll Actually Understand – in Go
dev.to·1d·
Discuss: DEV
🌊Stream Processing