News for September 2025
ptreview.sublinear.info·19h
🧪Property-Based Testing
Primitive Overloading
mlochbaum.github.io·3d·
Discuss: Lobsters, Hacker News, r/programming
📊APL Heritage
Kubernetes Orchestration is More Than a Bag of YAML
yokecd.github.io·2d·
Discuss: r/golang, r/programming
🌊Streaming Systems
Red Stone One Carat — TryHackMe Challenge Write-up
infosecwriteups.com·18h
🛡️CLI Security
Turning Gemini CLI into a Multi-Agent System with Just Prompts
aipositive.substack.com·1d·
Discuss: Substack
🐚Shell Automation
Using Deno as my game engine
explodi.tubatuba.net·1d·
Discuss: Hacker News
🎮Game Decompilation
I Tested Claude 4.5 Against GPT-4 for 48 Hours. Here's What Nobody's Telling You.
dev.to·13h·
Discuss: DEV
🔍Concolic Testing
Sonnet 4.5 in Claude Code vs. GPT-5 High in Codex CLI: Why Speed Won for Me
coding-with-ai.dev·1d·
Discuss: Hacker News
🌳Incremental Parsing
Show HN: Radkit, A2A focused rust agents SDK
github.com·14h·
Discuss: Hacker News
🦀Embedded Rust
The First Programming Language: A Timeline
tuple.nl·1d·
Discuss: Hacker News
📊APL Heritage
Java Backend Coding Technology: Writing Code in the Era of AI
dev.to·1d·
Discuss: DEV
💻Programming languages
MoonScript, a language that compiles to Lua
moonscript.org·2d
🔗Concatenative Programming
Learning Ruby as a Pythonista
tech.stonecharioteer.com·20h·
Discuss: Hacker News
🦀Rust Macros
The Apology of MCP
aaazzam.substack.com·2d·
Discuss: Substack
🌐Protocol Synthesis
Title: Simplifying Code Execution on Multiple Integer Variables
dev.to·2d·
Discuss: DEV
🔗Concatenative Programming
Evaluating Coding Agents with Terminal-Bench 2.0
snorkel.ai·1d·
Discuss: Hacker News
🖥️Terminal Renaissance
How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.com·7h·
Discuss: Hacker News
🎯Interactive Provers
Whiteboarding with AI
jrfernandez.com·6h·
Discuss: Hacker News
✨Effect Handlers
A gentle introduction to GEMM using MMA tensor cores
am17an.bearblog.dev·2d·
Discuss: Hacker News
📊RISC-V Vectors
Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics
renaissancephilanthropy.org·1d·
Discuss: Hacker News
🔬Lean