🔍 Type Checkers - miterion · Scour

Typify: A Lightweight Usage-driven Static Analyzer for Precise Python Type Inference 🐕Ruff

arxiv.org·1d

Dynamic Languages Faster and Cheaper in 13-Language Claude Code Benchmark 🚀Compiler Optimization

infoq.com·3d

astral-sh/ruff 0.15.10 🐕Ruff

github.com·4h

IDA Plugin Updates on 2026-04-07 📦uv

williballenthin.com·2d

YASA: Scalable Multi-Language Taint Analysis on the Unified AST at Ant Group 🔬Static Analysis

lemmy.ml·5d

Beyond Static Analysis: Proving Automotive Cybersecurity and Functional Safety 🔬Static Analysis

embedded.com·1d

🐍 When Static Analysis Turns Dangerous: Command Injection in NASA’s Cobra Tool 🔬Static Analysis

medium.com·3d

Some sober thinking about Mythos (full version with links at my newsletter): ⚡Flash Attention

twitter.macworks.dev

·1d

Meet Vespasian. It Sees What Static Analysis Can’t. 🐕Ruff

praetorian.com·6d

Supply Chain Attacks Surge in March 2026 📦uv

malware.news·5d

Guiding Symbolic Execution with Static Analysis and LLMs for Vulnerability Discovery 🔬Static Analysis

arxiv.org·15h

astral-sh/ruff-vscode 2026.40.0 🐕Ruff

github.com

·4h

The 6 Big Ideas of Typescript 🔬Static Analysis

sitr.us·58m·r/programming

Lindy Ruff shakes things up as Sabres attempt to end playoff drought: Notebook 🐕Ruff

nytimes.com

·5d

Master C and C++ with our new Testing Handbook chapter 🐕Ruff

blog.trailofbits.com·8h

8. Compound statements 🚀Compiler Optimization

docs.python.org·8h·r/learnpython

The Roc Programming Language 🔬Static Analysis

roc-lang.org·1d·Hacker News

The Python Testing Toolkit: 4 Drop-In Files for Production pytest 🐕Ruff

kazdispatch.gumroad.com·5h·DEV

HarshithReddy01/redos-analyzer: Static analysis tool that detects and automatically fixes ReDoS vulnerabilities in Python using sre_parse AST analysis. 🐕Ruff

github.com·1d·Hacker News

How to Build a Cost-Efficient AI Agent with Tiered Model Routing ⚡ONNX Runtime

freecodecamp.org·20h

Loading more...