📊 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: An Internship Experience With the Internet Archive as a Google Summer of Code Contributor
ws-dl.blogspot.com·1d·
Discuss: ws-dl.blogspot.com
🔓Open Source Software
Crafting a Full Exploit RCE from a Crash in Autodesk Revit RFA File Parsing
thezdi.com·3d
🧪Binary Fuzzing
Pokémon Color Palette Swapping
fanyangxyz.github.io·8h·
Discuss: Hacker News
🌈Color Science
What's new in Python 3.14
docs.python.org·4d·
Discuss: Hacker News, Hacker News
🌳Incremental Parsing
Running new applications on old glibc
lightofdawn.org·3d·
Discuss: Hacker News
🔗Static Linking
Sorting encrypted data without decryption: a practical trick
dev.to·1d·
Discuss: DEV
🔐Hash Functions
Generalized Orders of Magnitude (GOOMs)
github.com·17h·
Discuss: Hacker News
🕸️Tensor Networks
Stress-Testing Model Specs Reveals Character Differences among Language Models
arxiv.org·2d
📋Document Grammar
AI-Driven Ethical Risk Assessment & Mitigation in Supply Chain Compliance
dev.to·1d·
Discuss: DEV
🔗Supply Chain
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·4h·
Discuss: DEV
🎵Audio ML
Show HN: Realization Jsmn on a Pure Zig
github.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
You Can't Mock Reality: Testing a 3D Rendering Pipeline in Blender
medium.com·2d·
Discuss: Hacker News
🎯Emulator Accuracy
AI can help your DevSecOps pipeline
spiceworks.com·1d·
Discuss: Hacker News
🏠Homelab Pentesting
Show HN: Collaborate on Documents with Claude Code
github.com·1d·
Discuss: Hacker News
🦀Rust Macros
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org·3d
🔨Compilers
Patina project – a Rust implementation of UEFI firmware
github.com·2d·
Discuss: Hacker News, Hacker News
🦀Embedded Rust
Building on vibes: Lessons from three years with LLMs
world.hey.com·2d·
Discuss: Hacker News
🌀Brotli Internals
Angular Development & AI
dev.to·1d·
Discuss: DEV
🔄Language Evolution
Debugging Humidity: Lessons from deploying software in the physical world
physical-ai.ghost.io·1d·
Discuss: Hacker News
🛡️Error Boundaries