📊 Static Analysis

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

Linters, Formatters, and Type-Checkers
playfulprogramming.com·1d
🎯Gradual Typing
AI Code Review: What to Look For in the Age of Copilots
dev.to·13h·
Discuss: DEV
📏Code Metrics
Type Inference for Decompiled Code: From Hidden Semantics to Structured Insights
binarly.io·2d
🔓Decompilation
The Less Humble Programmer (2023)
digitalhumanities.org·12h·
Discuss: Lobsters, Hacker News
📜Proof Carrying Code
Abstract Classes: A Software Engineering Concept Data Scientists Must Know To Succeed
towardsdatascience.com·2d
💧Liquid Types
And the other Big Red Logic Books?
logicmatters.net·15h
🔀Category Theory
Show HN: How to Read Code
codedump.info·4d·
Discuss: Hacker News
🔩Systems Programming
Rust Eats Python’s, Java’s Lunch in Data Engineering
thenewstack.io·12h
🔩Systems Programming
Struggling with Rust's module system - is it just me?
reddit.com·12h·
Discuss: r/rust
🦀Rust Macros
graven-image: Portability library for CL image in REPL
github.com·13h·
Discuss: Lobsters
🦀Rust Macros
cAST: Enhancing Code Retrieval-Augmented Generation with Structural Chunking via Abstract Syntax Tree
arxiv.org·1d
📝Compiler Design
Revisiting Knuth’s “Premature Optimization” Paper
probablydance.com·8h·
Discuss: Lobsters, Hacker News
🚀Compiler Optimizations
Breaking Down The Odin Project’s Ruby Curriculum—One Project at a Time
hackernoon.com·2d
🦀Rust Macros
Show HN: Turbine – 16-bit CPU Architecture and Emulator built in C
errorcodezero.dev·4h·
Discuss: Hacker News
🔩Systems Programming
The Power of Slice Patterns in Rust
dev.to·9h·
Discuss: DEV
🦀Rust Macros
Advanced Rust Programming Techniques • Florian Gilcher • GOTO 2024
youtube.com·1d
🦀Rust Borrowing
Perfect Consistency – Bad, Actually?
bystam.github.io·1d·
Discuss: Hacker News
💧Liquid Types
Getting Started with Dafny: A Guide
dafny.org·2d·
Discuss: Hacker News
🔗Lisp
The Dyad Language Toolchain
github.com·15h·
Discuss: Hacker News
🔗Topological Sorting
C++ in Jupyter — Interpreting C++ in the Web
blog.jupyter.org·16h·
Discuss: Hacker News
🔩Systems Programming