📊 Static Analysis

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

Practical Guide to Production-Grade Observability in the JS ecosystem
medium.com·8h
👁️System Observability
The Health Effects of Electromagnetic Radiation
huijzer.xyz·13h·
Discuss: Lobsters, Hacker News
📄PostScript
C++26: range support for std:optional
sandordargo.com·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
💧Liquid Types
Experiments With Sonnet 4.5's Fiction
lesswrong.com·9h·
Discuss: Hacker News
🔗Concatenative Languages
Organize automated tests without getting eaten by your devs
octomind.dev·2d·
Discuss: Hacker News
🔍Concolic Testing
Social Science PhD Tech Stack
kevinbryanecon.com·2d·
Discuss: Hacker News
🔄Archive Workflows
6 AI Models vs. 3 Advanced Security Vulnerabilities
codelens.ai·3h·
Discuss: r/programming
🏠Homelab Pentesting
The Library Method: Understanding @cache
dev.to·1d·
Discuss: DEV
⚡Cache Theory
Why Haskell is the perfect fit for renewable energy tech
mrcjkb.dev·3d·
Discuss: Hacker News
🧬Functional Programming
[R] How to retrieve instructions given to annotators - RLHF
reddit.com·1d·
Discuss: r/MachineLearning
📚Documentation Archaeology
Hacktoberfest Week 1
dev.to·1d·
Discuss: DEV
🔗Static Linking
No Bullshit Guide to Statistics prerelease
minireference.com·1d·
Discuss: Hacker News
🧮Kolmogorov Bounds
Software Architecture Horror Story
blog.mihaisafta.com·17h·
Discuss: Hacker News
🔌Interface Evolution
Show HN: I built a LSP with its own parser to learn Rust
github.com·20h·
Discuss: Hacker News
⚡Dependent Rust
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
⚙️Proof Engineering
IASC: Interactive Agentic System for ConLangs
arxiv.org·1d
🌳Context free grammars
Why People Say “F*** LeetCode”: Difficulty, Fairness, Real-World Value — and a Better Way
dev.to·2d·
Discuss: DEV
📏Code Metrics
CubicLog – A single-binary logging server with zero-config smart analytics
github.com·2d·
Discuss: Hacker News
📝Log Parsing
LLC Artificial Intelligence Trained to Lie by Omission
dev.to·10h·
Discuss: DEV
📏Code Metrics
SLip - An aspiring Common Lisp environment in the browser.
lisperator.net·1d·
Discuss: r/programming
🧠Lisp Dialects