📊 Static Analysis

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

Python Fundamentals: code coverage
dev.to·12h·
Discuss: DEV
📏Code Metrics
Programming Language Escape Hatches
buttondown.com·1d·
Discuss: Hacker News
🦀Rust Macros
Comparing Pattern-Matching Across Different Languages: Java, Scala, and More
hackernoon.com·11h
🧮Algebraic Datatypes
AraTable: Benchmarking LLMs' Reasoning and Understanding of Arabic Tabular Data
arxiv.org·20h
🌳Context free grammars
Show HN: O3 beats Sonnet 4 at coding (in our codebase, wrt our preferences)
news.ycombinator.com·6h·
Discuss: Hacker News
📏Code Metrics
Debugging the Tradecraft Garden
rastamouse.me·13h
🔍RISC-V Debug
Inlining in the Glasgow Haskell Compiler:Empirical Investigation and Improvement
era.ed.ac.uk·3d·
Discuss: Hacker News
🔗Functional Compilers
XOR Crack Kit
kobolt.website·1d
🔐Cryptographic Archaeology
Codeminer42 Dev Weekly #71
blog.codeminer42.com·7h
🌀Brotli Internals
Writing experience: My decade with Org
lmno.lol·1d
🦋Format Metamorphosis
More sizzle than steak? Using an LLM to produce verified bug fixes (new preprint)
bertrandmeyer.com·1d
⚡Proof Automation
How to draw lambda diagrams (2020)
risingentropy.com·11h·
Discuss: Hacker News
λLambda Formalization
On "local" and "global" errors in mathematical papers, and how to detect them
terrytao.wordpress.com·4h·
Discuss: Hacker News
🏛️Isabelle HOL
10 Myths of Scalable Parallel Languages, Part 4: Syntax Matters
chapel-lang.org·1h·
Discuss: Hacker News
📝Concrete Syntax
Zig Wants to Replace Go and Rust. Does It Have What It Takes?
dev.to·14h·
Discuss: DEV
🦀Rust Borrowing
How complicated is the code of the borrow checker?
reddit.com·2d·
Discuss: r/rust
🦀Rust Borrowing
Exploiting the Overlooked: From Regex Bypasses to Full Source Code Leaks
infosecwriteups.com·1d
💣ZIP Vulnerabilities
Pointers Are Complicated, Or: What's in a Byte?
ralfj.de·18h·
Discuss: Hacker News
🦀Embedded Rust
Choosing the rijght .NET container image for your workload
medium.com·2d·
Discuss: Hacker News
📦Container Security
More Than Code
deadprogrammersociety.com·1d·
Discuss: Hacker News
💻Programming languages