📊 Static Analysis

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

Free Things Are Complicated (Especially the Sphere Spectrum!)
grossack.site·3d
🧮Algebraic Archives
Anything Goes Style
theprogrammersparadox.blogspot.com·4d·
Discuss: theprogrammersparadox.blogspot.com
🔓Hacking
Applying the Six Thinking Hats Framework to Personal Data Security Analysis
guptadeepak.com·1d·
Discuss: Hacker News
🎯Threat Hunting
Media Tracker with Astro and Turso
goulven-clech.dev·1d·
Discuss: Hacker News
🌀Brotli Internals
We built audio/video RAG
ragie.ai·23h·
Discuss: Hacker News
💿FLAC Archaeology
Unexpected inconsistency in records
codeblog.jonskeet.uk·4d·
Discuss: Hacker News, r/programming
🛡️Proof-Carrying Archives
Devlog: Blogging Tools — Category Fixer
lmika.org·3d
📰RSS Feed Discovery
Principles of Using AI Professionally
dominiek.substack.com·2h·
Discuss: Substack
💻Local LLMs
Designing The Conveyor CI Pipeline Engine
blog.devops.dev·19h
🌊Stream Processing
We're building cross-functional AI-native teams (Would love your feedback)
medium.com·1d·
Discuss: Hacker News
🔄Language Evolution
Quoting Daniel Litt
simonwillison.net·1d
🧮SMT Solvers
Predictive Representativity: Uncovering Racial Bias in AI-based Skin Cancer Detection
arxiv.org·1d
🧠Machine Learning
Language Generation in the Limit: Noise, Loss, and Feedback
arxiv.org·1d
💻Programming languages
Signs of the Past, Patterns of the Present: On the Automatic Classification of Old Babylonian Cuneiform Signs
arxiv.org·2d
🤖Paleographic ML
🌱 Building Roots: Voice-First School System with ElevenLabs
dev.to·9h·
Discuss: DEV
🌀Brotli Internals
A vibe coding horror story: Started as 'a pure dopamine hit' ended a nightmare
zdnet.com·22h·
Discuss: Hacker News
🚀Indie Hacking
How AI screws our projects
dev.to·3h·
Discuss: DEV
🧮Z3 Solver
MultiTaskDeltaNet: Change Detection-based Image Segmentation for Operando ETEM with Application to Carbon Gasification Kinetics
arxiv.org·10h
📄Document Digitization
🧬 The Operating System Is Web3’s Final Frontier — Why Only AI-Native Can Unlock the Full Stack
dev.to·7h·
Discuss: DEV
🌍Cultural Algorithms
Prompt Engineering for Developers: A Practical Guide
dev.to·1d·
Discuss: DEV
⚡Proof Automation