News for October 2025
ptreview.sublinear.info·2d
✅Property Testing
Flag this post
Tool Expressions: The Next Evolution in Agent Intelligence
blog.nishantjosh.dev·1d·
Discuss: r/programming
🎭Program Synthesis
Flag this post
My little string library
github.com·3d·
Discuss: r/Zig
⚙️Zig
Flag this post
Automation via UEFI
vahidhashemi.com·16h·
Discuss: Hacker News
🐧Linux Kernel
Flag this post
OpenAI Model Spec
model-spec.openai.com·3h·
Discuss: Hacker News
🛡️AI Security
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·3d·
Discuss: Hacker News
🔗Dependent Types
Flag this post
The Complexity Cliff: Why Reasoning Models Work Right Up Until They Don't
rewire.it·11h·
Discuss: Hacker News
💬Prompt Engineering
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.sk·6d·
Discuss: Lobsters, Hacker News
🔁Async Runtimes
Flag this post
Building Custom Components in Langflow 🛠️
dev.to·1d·
Discuss: DEV
💎Refinement Types
Flag this post
Implementing JWT Authentication in Rust using Axum
dev.to·2d·
Discuss: DEV
🌐Axum
Flag this post
Rust's std and parking_lot mutexes – who wins?
blog.cuongle.dev·6d·
Discuss: Hacker News
🔒Futex
Flag this post
🧠 I built a full system monitor in Bash — and fought awk along the way 💀
dev.to·1d·
Discuss: DEV
🐚Shell Scripting
Flag this post
A new language for COBOL workloads, built on GO!
dev.to·15h·
Discuss: DEV
🐹golang
Flag this post
Autark: Rethinking build systems – Integrate, Don't Outsource
blog.annapurna.cc·1d·
Discuss: Hacker News, r/programming
🏗️Build Systems
Flag this post
NocoBase Weekly Updates: Optimization and Bug Fixes
dev.to·7h·
Discuss: DEV
🌱BonsaiDb
Flag this post
Web Developer Travis McCracken on Async Queues in Rust vs Python
dev.to·4d·
Discuss: DEV
🦀Rust Async
Flag this post
I've created a leetcode for system design
reddit.com·22h·
Discuss: r/programming
🎨Design Systems
Flag this post
Integrity Under Siege: A Rogue gNodeB's Manipulation of 5G Network Slice Allocation
arxiv.org·6h
📦Protocol Buffers
Flag this post
Ethereum Gas Fees Near 2 Cents, JPYC Gasless UX in Japan, Fusaka’s PeerDAS Cuts L2 Costs
dev.to·1h·
Discuss: DEV
🔐ChaCha20
Flag this post
Writing Your First Compiler - Part 1: Introduction
dev.to·3d·
Discuss: DEV
λFunctional Programming
Flag this post