📊 Static Analysis

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

[$] Libxml2's "no security embargoes" policy
lwn.net·3h
🔓Free and open source
Lab note #072 A language with affordances for vibe coding
interjectedfuture.com·2d
🔗Concatenative Programming
How much slower is random access, really?
samestep.com·2d·
Discuss: Hacker News
📼Tape Encoding
Field Sensitive Escape Analysis in Golang?
reddit.com·13h·
Discuss: r/golang
🧠Lisp Dialects
Rust: A language that grows with you, your career and your projects
kerkour.com·12h·
Discuss: Hacker News
🦀Rust Macros
Machine Learning Fundamentals: accuracy with python
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
Using PhantomData and Zero-Sized Types
dev.to·3h·
Discuss: DEV
🔒Type Safety
Portable Network Graphics (PNG) Specification (Third Edition)
w3.org·22h·
Discuss: Hacker News
🕸️WebP Analysis
Threaded Code
muforth.dev·7h·
Discuss: Hacker News
🦀Rust Macros
Modeling the World in 280 Characters
tympanus.net·2d·
Discuss: Lobsters, Hacker News
⟷Bidirectional Programming
Speculative Optimizations for WebAssembly using Deopts and Inlining
v8.dev·1d·
Discuss: Hacker News, r/javascript, r/webdev
🦀Rust Macros
Announcing crabstep: A pure Rust, cross-platform, zero-dependency Apple/NeXTSTEP typedstream deserializer
github.com·1h
🔒Linear Types
How to (Almost) solve cybersecurity once and for all
adaptive.live·22h·
Discuss: Hacker News
🔐Systems Hardening
Repeat Yourself
endler.dev·2d·
Discuss: Hacker News, Hacker News
📏Code Metrics
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·9h·
Discuss: Hacker News
🌀Brotli Internals
Proficient Python: A free interactive online course
blog.pamelafox.org·1d·
Discuss: www.blogger.com, Hacker News
🔗Concatenative Programming
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·22h·
Discuss: DEV
🦀Rust Borrowing
Deep Dive into Databend UDF, implementing your data solutions with Python, WASM
databend.com·4h·
Discuss: Hacker News
📋DFDL
PATCH! {P}sychometrics-{A}ssis{T}ed Ben{CH}marking of Large Language Models against Human Populations: A Case Study of Proficiency in 8th Grade Mathematics
arxiv.org·14h
🧠Intelligence Compression
LLMs bring new nature of abstraction
martinfowler.com·1d·
Discuss: Hacker News
💻Programming languages