🔍 Type Checkers - miterion · Scour

docs.modular.com·18h

🔬Static Analysis

AI-SLOP Detector v2.7.0 — Why We Built a Linter We Actually Use

dev.to·14h·

Discuss: DEV

🤖AI Coding Tools

Bringing a jewel-encrusted warhammer to a knife fight

reorchestrate.com·12h·

Discuss: Hacker News, r/rust

📜TorchScript

python-validators/validators: Python Data Validation for Humans™.

github.com·10h

Python's Dynamic Typing Problem

whileforloop.com·1d·

Discuss: Hacker News, r/programming

Announcing TypeScript 6.0 Beta

devblogs.microsoft.com·14h·

Discuss: Hacker News, r/javascript, r/programming, r/typescript

Proof-oriented Programming in F*

fstar-lang.org·4h·

Discuss: Lobsters

🔬Static Analysis

Functional Programming in an LLM World

notes.druchan.com·1d

N-Grams and Other Experiments

dotterrer.bearblog.dev·15h

📊Gradient Accumulation

Python Morsels: Need switch-case in Python? It's not match-case!

pythonmorsels.com·1d

CapSoftware/globlin: A high-performance glob pattern matcher for Node.js, built in Rust.

github.com·12h·

Discuss: Hacker News

Better Python tests with inline-snapshot

pydantic.dev·2d·

Discuss: Lobsters, Hacker News, Hacker News, r/opensource

Rust Standard Library Challenges

rustfinity.com·19h·

Discuss: r/rust

Issue #721: Classification With zstd, Callables, Gemini, and More (Feb. 10, 2026)

pycoders.com·1d

Sneaky quokka: Testing and debugging with LLMs

honnibal.dev·2d

🔬Static Analysis

[TUHS] bare m4 (was BTL summmer employees)

tuhs.org·17h·

Discuss: Lobsters

🚀Compiler Optimization

Typeflow: Write like a native in any language with one shortcut

producthunt.com·1d

D Programming Language

dlang.org·3h·

Discuss: Hacker News

🔬Static Analysis

🛌 Beginner-Friendly Guide 'Longest Balanced Substring I' - Leetcode Problem 3713 (C++, Python, JavaScript)

dev.to·5h·

Discuss: DEV

🔬Static Analysis

PyBites: The Vibe Coding trap

pybit.es·9h

🤖AI Coding Tools

Loading more...