📊 Static Analysis

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

My first homelab project!
i.redd.it·1d·
Discuss: r/homelab
🏠Homelab
Open Lineage
usenix.org·1d
🔌Interface Evolution
[R] How to retrieve instructions given to annotators - RLHF
reddit.com·1d·
Discuss: r/MachineLearning
📚Documentation Archaeology
Ship Broken Things
matmul.net·1d·
Discuss: Hacker News
🔗Topological Sorting
Show HN: I've built C# source code generator Fluent API library
github.com·1d·
Discuss: Hacker News
🦀Rust Macros
ASP.NET Core 9 Essentials • Albert Tanure & Rafael Herik de Carvalho • GOTO 2025
youtube.com·2d
🌐WASI
Python For Data Engineering
dev.to·1d·
Discuss: DEV
🌊Stream Processing
The Day I Hacked XCTrack
blog.syrac.org·1d·
Discuss: Hacker News
🔐PKI Archaeology
Stop Worrying and Love the Bomb
bitbytebit.substack.com·3h·
Discuss: Substack
⚙️Build Archaeology
Functional Programming Through the Lens of a Philosopher and Linguist
gotopia.tech·4d·
Discuss: Hacker News
🛠Language Design
C++ Reflection and Qt MOC
wiki.qt.io·2d·
Discuss: Hacker News
🧩WASM Modules
Why Your Resume Fails CI/CD: 10 Tools to Debug It for ATS Parsers
dev.to·1d·
Discuss: DEV
🤖Archive Automation
Haskell Weekly Issue 493
haskellweekly.news·2d·
Discuss: Hacker News
🧬Functional Programming
ALimiter
github.com·1d
🧠Memory Allocators
Rust vs C, C++, Java & Python — 5 Everyday Programs Compared
dev.to·3d·
Discuss: DEV
🦀Rust Macros
Hacktoberfest Week 1
dev.to·1d·
Discuss: DEV
🔗Static Linking
Padding
reddit.com·13h·
Discuss: r/golang
🔧KAITAI
A gentle introduction to Generative AI: Historical perspective
medium.com·16h·
Discuss: Hacker News
🧠Learned Codecs
Why Haskell is the perfect fit for renewable energy tech
mrcjkb.dev·3d·
Discuss: Hacker News
🧬Functional Programming
10 Data + AI Observations for Fall 2025
towardsdatascience.com·1d
🌊Stream Processing