📊 Static Analysis

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

Writing an LLM from scratch - Tutorial series
gilesthomas.com·1d
💻Local LLMs
CodeSOD: Raise VibeError
thedailywtf.com·2d
✅Format Verification
This Week in Security: The AI Hacker, FortMajeure, and Project Zero
hackaday.com·2h
🔓Hacking
Beyond `?`: Why Rust Needs `try` for Composable Effects
reddit.com·1d·
Discuss: r/rust
🐚Shell Monads
On Accessibility Conformance, Design Systems, and CSS “Base” Units
css-tricks.com·1d
🎨Swedish Design Philosophy
Book Review: The Math Academy Way
ijfen.substack.com·1d·
Discuss: Substack
📚Proof Pedagogy
Plain Text Tools
plain-text.app·23h·
Discuss: Hacker News
📝Text Compression
GSlip – GNU SLIP (Symmetric LIst Processor) in C++
gnu.org·1d·
Discuss: Hacker News
✅Format Verification
Go Interfaces - Beyond the Basics
dev.to·2d·
Discuss: DEV
💧Liquid Types
Efficiently Verifiable Proofs of Data Attribution
arxiv.org·12h
🛡️Proof-Carrying Data
Geeks for Geeks articles are just worse for learning?
geeksforgeeks.org·9h
🖥️Hardware Architecture
Static vs. Runtime Reachability: Insights from Latio’s On the Record Podcast
socket.dev·2d·
Discuss: Hacker News
👁️System Observability
Enhanced Ferrite Core Performance Prediction via Multi-Modal Data Fusion and Bayesian Optimization
dev.to·4h·
Discuss: DEV
📊Feed Optimization
Yet another algorithmic bias: A Discursive Analysis of Large Language Models Reinforcing Dominant Discourses on Gender and Race
arxiv.org·12h
🏛Digital humanities
SonarSource Surfaces Multiple Caveats When Relying on LLMs to Write Code
devops.com·2d
📏Code Metrics
Reflections on LeetCode and LSAT in my 30s
andreagao.com·1d·
Discuss: Hacker News
⚡Proof Automation
Smooth Minimum for Signed Distance Fields (2013)
iquilezles.org·18h·
Discuss: Hacker News
🌀Differential Geometry
Reducing Time to Value for Data Science Projects: Part 4
towardsdatascience.com·2d
🔄Reproducible Builds
How we use a 3-stage, human-in-the-loop AI workflow to overhaul rsyslog's docs
rsyslog.com·1d·
Discuss: Hacker News
⚡Proof Automation
Anaphoric Macros
letoverlambda.com·7h·
Discuss: Lobsters
🧠Lisp Dialects