📊 Static Analysis

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

Machine learning by satisfiability solving
johndcook.com·1d
🎯Performance Proofs
NEWS ROUNDUP – 1st August 2025
digitalforensicsmagazine.com·3h
🛡Cybersecurity
I Configure BorgBackup and Borgmatic
justus.pw·9h·
Discuss: Hacker News
🍎Apple Archive
GitHub - stelcodes/multiterm-astro: A coder-ready Astro blog theme with 60 of
github.com·22h
🌀Brotli Internals
BitVMX New Open Source Components: Key Management, Storage, and Configuration
bitvmx.org·1d·
Discuss: Hacker News
📦CBOR Extensions
Week 30 Status
blogs.gnome.org·3d
⚡Proof Automation
How to Name Files
github.com·20h·
Discuss: Hacker News
📄file formats
Agents: An Optimistic Painting
abrowne.xyz·1d·
Discuss: Hacker News
🔐Capability Systems
How Nexo Is Building Institutional-Grade Confidence in Crypto
hackernoon.com·3h
🔗Hash Chains
You, Your Tools, and Your Team of AI Agents – By Owen Zanzal
medium.com·20h·
Discuss: Hacker News
🔄Archival Workflows
Smart Segments: Krita plugin that adds Segment Anything object selection using
github.com·2d·
Discuss: Hacker News
⟷Bidirectional Programming
Efficient Selection of Informative Alternative Relational Query Plans for Database Education
arxiv.org·2d
🧠Query Planners
Python source code analyzer based on distrust
github.com·4d·
Discuss: Hacker News
📟Terminal Forensics
I Got Claude to Write Code I Could Ship
graphite.dev·4d·
Discuss: Hacker News
🦀Rust Macros
🔥 Claude Code pattern that saves 5-minute daily:
dev.to·4d·
Discuss: DEV
🌳Incremental Parsing
I built a Go CLI to automate my development workflow. Seeking feedback on its direction.
reddit.com·20h·
Discuss: r/golang
🔓Open Source Software
Why You Should Learn Python Today
dev.to·15h·
Discuss: DEV
📝Concrete Syntax
Gemini Embedding: Powering RAG and context engineering
developers.googleblog.com·1d·
Discuss: Hacker News
🌀Brotli Internals
Investigating the Invertibility of Multimodal Latent Spaces: Limitations of Optimization-Based Methods
arxiv.org·13h
🧠Machine Learning
Cactus Language • Pragmatics 4
inquiryintoinquiry.com·4d
📐Format Grammars