📊 Static Analysis

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

Announcing the Binary Ninja Developer Portal
binary.ninja·2d
🧬Bitstream Evolution
Old alt text advice – HTML Accessibility
html5accessibility.com·2d
🖋Typography
Book Notes: The Dark Art of Linear Algebra by Seth Braver — Chapter 1 Review
ruslanspivak.com·4d
📐Mathematical Art
Microsoft Office is using an artificially complex XML schema as a lock-in tool
blog.documentfoundation.org·18h·
Discuss: Hacker News
💾Database Formats
Shift Left Meets Kafka: Testing Event-Driven Microservices (2024)
signadot.com·1d·
Discuss: Hacker News
🌊Streaming Systems
Two Simple Rules to Fix Code Reviews
serce.me·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
📏Code Metrics
Experimenting with SQL:2023 Property-Graph Queries in Postgres 18
gavinray97.github.io·9h·
Discuss: Hacker News
🧬PostgreSQL Forensics
Logical implication is a comparison operator
btdmaster.bearblog.dev·2d·
Discuss: Hacker News
🔲Proof Irrelevance
Hands-On Machine Learning with Scikit-Learn and PyTorch
oreilly.com·1d·
Discuss: Hacker News
🧠Machine Learning
Zig Interface Revisited
williamw520.github.io·3d·
Discuss: Hacker News
🧩WASM Components
Why I'm Betting Against AI Agents in 2025 (Despite Building Them)
utkarshkanwat.com·2h·
Discuss: r/programming
💾Persistence Strategies
How We Built Our Internal E-E-A-T Content Analyzer with Froala
dev.to·2d·
Discuss: DEV
🌳Incremental Parsing
Working with Rust is super fun coming from C++
reddit.com·5d·
Discuss: r/rust
🦀Rust Macros
After a Week of Work, My Programming Language Hulo Adds Bash Transpiler and Package Management Tool
dev.to·14h·
Discuss: DEV
🐚Shell Automation
Help me sell my team on Go
reddit.com·21h·
Discuss: r/golang
🔩Systems Programming
Usage Rules: Leveling the Playing Field for AI-Assisted Development
zachdaniel.dev·1d·
Discuss: Hacker News
⚡Proof Automation
Regex Is a 70-Year-Old Dinosaur—Here’s the Modern Alternative
hackernoon.com·2d
🔍RegEx Engines
Show HN: UView – A Tool to View and Modify Unity Packages Outside Unity
github.com·5h·
Discuss: Hacker News
⟷Bidirectional Programming
LLM Internals for Beginners
vivekkairi.com·1d·
Discuss: Hacker News
💻Local LLMs
Cracking the Code: Practices That Transform Software Quality
dev.to·3d·
Discuss: DEV
📏Code Metrics