📊 Static Analysis

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

category theory emergency? dial 00よ, now!
thalescircles.tumblr.com·2d
λLambda Formalization
Scale, Flow & Microservices • James Lewis • YOW! 2019
youtube.com·17h
🌊Streaming Systems
Why not Matrix (2023)
telegra.ph·9h·
Discuss: Hacker News
🌊Stream Ciphers
How to create an ACID compliant toy db in Rust
deebkit.com·2d·
Discuss: Hacker News
📝Database WAL
Num2words PyPI Package Compromised
stepsecurity.io·12h·
Discuss: Hacker News
📦Package Managers
How Rewriting Training Data Improved Kimi 2’s Performance
dbreunig.com·1d·
Discuss: Hacker News
🧠Intelligence Compression
Generative AI. "Slop Generators, are unsuitable for use [ ]"
asahilinux.org·20h·
Discuss: Hacker News
⚙️Parser Generators
Confessions of a static timing analysis tool
chipinsights.substack.com·4d·
Discuss: Substack
⚡Circuit Verification
The many, many, many JavaScript runtimes of the last decade
buttondown.com·1d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming
🔌Interface Evolution
DevLog 20250726: C# is the way, Python gets things done, JavaScript is convenient
dev.to·2d·
Discuss: DEV
🚀Indie Hacking
Machine Learning Fundamentals: hyperparameter tuning example
dev.to·2d·
Discuss: DEV
👁️Observatory Systems
Extreme value theory for singular subspace estimation in the matrix denoising model
arxiv.org·1h
📐Linear Algebra
Show HN: Whisper at 1.58 bits with custom kernels for edge inference
medium.com·16h·
Discuss: Hacker News
📊Quantization
Multi-Attention Stacked Ensemble for Lung Cancer Detection in CT Scans
arxiv.org·1h
🧠Machine Learning
How I Got My First Developer Job — And the One Tiny Habit That Helped Big Time
dev.to·1d·
Discuss: DEV
🔩Systems Programming
10 Open Source AI Tools Every Developer Should Know
dev.to·21h·
Discuss: DEV
🌀Brotli Internals
10 Open Source AI Tools Every Developer Should Know
dev.to·21h·
Discuss: DEV
🌀Brotli Internals
Ohm: A JavaScript library and PEG-based language for building parsers
github.com·2d·
Discuss: Hacker News
📝ABNF Parsing
LLMs-guided adaptive compensator: Bringing Adaptivity to Automatic Control Systems with Large Language Models
arxiv.org·1h
✨Effect Handlers
⚡ The morning practice that changed everything:
dev.to·8h·
Discuss: DEV
⚔️Lean Tactics