📊 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
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com·1d·
Discuss: Lobsters, Hacker News
🧮Algebraic Datatypes
Can an LLM Be a Black-Box Optimizer?
posgeo.wordpress.com·5h·
Discuss: Hacker News
🧮Kolmogorov Bounds
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·5d·
Discuss: DEV
📏Code Metrics
The artificial complexity of OOXML files (the PPTX case)
blog.documentfoundation.org·20h·
Discuss: Hacker News
📟Terminal Typography
The Trillion Dollar AI Software Development Stack
a16z.com·15h·
Discuss: Hacker News
⚡Proof Automation
BQN "Macros" with •Decompose (2023)
saltysylvi.github.io·15h·
Discuss: Hacker News
🦀Rust Macros
The Linus Method: How we simiplifed RFC reviews
devashish.me·20h·
Discuss: Hacker News
⚙️Proof Engineering
Building an AI Internal Linking Plugin for WordPress
dev.to·2h·
Discuss: DEV
🌀Brotli Internals
Replacing the Type Checker for the Swift Compiler
forums.swift.org·2d·
Discuss: Hacker News
💧Liquid Types
Contrastive Weak-to-strong Generalization
arxiv.org·1d
⧗Information Bottleneck
Refactoring My Own Code: A Tale of Code Crumbles
dev.to·1d·
Discuss: DEV
🦀Rust Macros
Ship Broken Things
matmul.net·1d·
Discuss: Hacker News
🔗Topological Sorting
Hacktoberfest Week 1
dev.to·1d·
Discuss: DEV
🔗Static Linking
[R] How to retrieve instructions given to annotators - RLHF
reddit.com·1d·
Discuss: r/MachineLearning
📚Documentation Archaeology
CubicLog – A single-binary logging server with zero-config smart analytics
github.com·1d·
Discuss: Hacker News
📝Log Parsing
The Day I Hacked XCTrack
blog.syrac.org·22h·
Discuss: Hacker News
🔐PKI Archaeology
Functional Programming Through the Lens of a Philosopher and Linguist
gotopia.tech·4d·
Discuss: Hacker News
🛠Language Design
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