📊 Static Analysis

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

My first homelab project!
i.redd.it·1d·
Discuss: r/homelab
🏠Homelab
rust-lang/rustfmt
github.com·1d
🦀Rust Macros
Boosting Unit Test Automation at Audible with Amazon Q Developer
aws.amazon.com·13h
🔄Reproducible Builds
Show HN: I've built C# source code generator Fluent API library
github.com·1d·
Discuss: Hacker News
🦀Rust Macros
Love C, Hate C: Web Framework Memory Problems
alew.is·1d·
Discuss: Hacker News
🔩Systems Programming
Programmer in Wonderland
binaryigor.com·1d·
Discuss: Hacker News
🔩Systems Programming
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·18h·
Discuss: Hacker News
🌐Protocol Synthesis
Faking a Rational Design Process in the AI Era: Why Documentation Matters
albertsikkema.com·1d·
Discuss: Hacker News
⚙️Proof Engineering
Effective Web Scraping with Python: Building a Robust Data Pipeline for Price Monitoring
dev.to·23h·
Discuss: DEV
🕵️Feed Discovery
AAS: The Metric for Monitoring DB Performance
kylehailey.com·5h·
Discuss: Hacker News
🗄️Database Internals
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·1d·
Discuss: Hacker News, r/programming
🌳Incremental Parsing
Every Line of Code Is a Philosophy in Disguise
dev.to·1d·
Discuss: DEV
⚖️Emulation Ethics
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·1d
🔗Graph Isomorphism
The Programmer Identity Crisis
hojberg.xyz·2d·
Discuss: Lobsters, Hacker News
🔩Systems Programming
Padding
reddit.com·4h·
Discuss: r/golang
🔧KAITAI
Code Tours as Code
dundalek.com·1d·
Discuss: Hacker News
⚙️Build Archaeology
Statistics in the Era of AI
scienceforeveryone.science·1d·
Discuss: Hacker News
🎓Academic Torrents
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com·1d·
Discuss: Lobsters, Hacker News
🧮Algebraic Datatypes
Can an LLM Be a Black-Box Optimizer?
posgeo.wordpress.com·39m·
Discuss: Hacker News
🧮Kolmogorov Bounds
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·5d·
Discuss: DEV
📏Code Metrics