📊 Static Analysis

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

My first homelab: specs, project ideas and what I did so far
preview.redd.it·1d·
Discuss: r/homelab
🏠HomeLab
A pretty decent retry, and not a library
notes.billmill.org·3d
🌳Incremental Parsing
Community Products roadmap update, July 2025
stackoverflow.blog·1d
🌀Brotli Internals
AI Math Olympiad wins revive the debate over symbols, reasoning, and the nature of intelligence
the-decoder.com·4h
🧮Theorem Proving
Prove me wrong, earn money!
nintil.com·23h·
Discuss: Hacker News
👑Isabelle
TODOs aren’t for doing
sophiebits.com·1d·
Discuss: Lobsters, Hacker News
📜Proof Carrying Code
We Ran a Kaizen for Knowledge Work
jakeworth.com·1d·
Discuss: Hacker News, r/SoftwareEngineering
🔄Archival Workflows
Show HN: Ubik Studio – Cursor for Research
ubik.studio·4h·
Discuss: Hacker News
🎙️Whisper
PSA: Collision Detection is an optimization problem and GJK is Frank-Wolfe
cairno.substack.com·1d·
Discuss: Substack
🎯Performance Proofs
Unique, mathematical shortcuts language models use to predict dynamic scenarios
eecs.mit.edu·1d·
Discuss: Hacker News
💻Programming languages
How I keep up with AI research
thijsverreck.com·1d·
Discuss: Hacker News
🧭Content Discovery
Why Even Legendary Games Like Wesnoth Hide Bugs in Plain Sight
hackernoon.com·5d
📜Proof Carrying Code
Listing Directory Contents in Python
dev.to·11h·
Discuss: DEV
🪟Awesome windows command-line
Data Mixing Agent: Learning to Re-weight Domains for Continual Pre-training
arxiv.org·16h
🤖Grammar Induction
SDK for the tony 65c02-based portable game consoles
github.com·1d·
Discuss: Hacker News
🎮Gameboy Emulation
How to Build a Full AI Workflow Without Code or APIs
dev.to·9h·
Discuss: DEV
⚔️Lean Tactics
Decoding No-Code: When to Let Go of the Code
dev.to·2d·
Discuss: DEV
📏Code Metrics
Vector Databases for Data Scientists: What, Why, and When to Use Them
dev.to·2h·
Discuss: DEV
🗂️Vector Databases
Moonshot's Kimi K2 Is a Hefty Contender to Claude, GPT-4 & Even Gemini
hackernoon.com·1d
🎬WebCodecs
WebAssembly Component Model based REPL /w sandboxed multi-language plugin system
github.com·3d·
Discuss: Hacker News
🌐WASI