📊 Static Analysis

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

Intent, Not Tools, Defines the Discipline
brettshavers.com·9h
🕳️Information Leakage
Cactus Language • Stylistics 4
inquiryintoinquiry.com·1d
🌳Context free grammars
Introducing, my college dorm room setup
i.redd.it·4h·
Discuss: r/homelab
🏠Homelab
Advanced JIT Compilers for Ruby: TruffleRuby and JRuby
blog.appsignal.com·20h·
Discuss: Hacker News
💧Liquid Types
Python Fundamentals: cProfile
dev.to·17h·
Discuss: DEV
⚡Performance Tools
Google Wifi Pro: Glitching from Root to EL3: Part 1 - Characterization
raelize.com·1d·
Discuss: Lobsters, Hacker News
🛡️eBPF Security
3 Steps to Context Engineering a Crystal-Clear Project
towardsdatascience.com·11h
🔄Archival Workflows
Can We Predict Alignment Before Models Finish Thinking? Towards Monitoring Misaligned Reasoning Models
arxiv.org·2h
💻Local LLMs
Writing an IR from Scratch and survive to write a post
farena.in·6d·
Discuss: Lobsters
📝Compiler Design
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.to·17h·
Discuss: DEV
📝Concrete Syntax
.NET: From Zero to Hero
dotnetz2h.com·3d·
Discuss: Hacker News
🐚Nordic Shell
Building Robust Filesystem Interactions in Rust
tangramvision.com·1d·
Discuss: Hacker News
📂Directory Synchronization
Situated Software (2004)
web.archive.org·9h·
Discuss: Hacker News
🚀Indie Hacking
Zero-cost statics in C++
cofault.com·3d·
Discuss: Hacker News, Hacker News
🦀Rust Macros
Coming to ISO C++ 26 Standard: An AI Acceleration Edge
thenewstack.io·2d·
Discuss: Hacker News
🔩Systems Programming
I've been coding with AI for two years. Here is what I've learned
nathanpeck.com·3h·
Discuss: Hacker News
💾Persistence Strategies
Janet Feature Demos
github.com·23h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
How we automated GitHub Actions Runner updates with Claude
dev.to·5h·
Discuss: DEV
🧲RISC-V Preservation
ADHD Devs: Does Rust's structure help or hinder your brain?
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
My Participation in the METR AI Productivity Study
domenic.me·1d·
Discuss: Hacker News
👁️Observatory Systems