News for September 2025
ptreview.sublinear.info·2d
🎲Property Testing
Functional correctness -- Haskell-ing your way to reliable code (hackover2024)
cdn.media.ccc.de·57m
⚡functional programming
The little Random that could
blog.julik.nl·1d·
Discuss: Hacker News
🔢Bit Manipulation
TypeScript and the Illusion of Type-Safety
medium.com·3d·
Discuss: r/typescript
🔧API Design
Claude Code sucks but is still useful: experiences maintaining Julia’s SciML scientific computing infrastructure
stochasticlifestyle.com·15h
🌳Tree Shaking
# Building Production-Ready LLM Applications: Introducing llama-app-generator
dev.to·3h·
Discuss: DEV
📋Tablegen
AI has found 50 bugs in cURL. "AI-native SASTs work well"
etn.se·8h·
Discuss: Hacker News
🛡️Error Ergonomics
smartgo: I wish for a Go-like language with Rust-like pointers
iio.ie·18h
🔒Rust Borrowing
New comment by debugnik in "A comparison of Ada and Rust, using solutions to the Advent of Code"
news.ycombinator.com·1d·
Discuss: Hacker News
🔒Rust Borrowing
Automatic Building Code Review: A Case Study
arxiv.org·17h
📦Dependency Analysis
Seriously Testing LLMs
satisfice.com·19h
🎯Finite Automata
The Inverse Matrix problem
talesfrom.dev·21h
🚂Error Propagation
ECS Implementation
reddit.com·1d·
Discuss: r/cpp
🤖Embedded Go
GSoC 2025 - Support simple C++20 modules use from the Clang driver without a build system
blog.llvm.org·21h·
Discuss: r/cpp
🪆Embedded DSLs
What AI Can and Can't Reliably Do in Web Development
future.forem.com·14h·
Discuss: DEV
🎭Program Synthesis
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·3d·
Discuss: Lobsters, Hacker News
⚡functional programming
On The Fragility of Benchmark Contamination Detection in Reasoning Models
arxiv.org·17h
✅Type Checking
LLMs Are the Key to Mutation Testing and Better Compliance
engineering.fb.com·6d
🧪Compiler Testing
Performance Hurdles
timberwolfgames.itch.io·12h
⚡Performance
9 ReSharper Features Every .NET Developer Should Know
blog.jetbrains.com·6h
🎮Language Ergonomics