Systems Programming, Ownership, Borrow Checker, Safe Concurrency

News for October 2025
ptreview.sublinear.info·1d
Property Testing
Flag this post
Crushing ML Latency: The (Un)Official Best Practices for Systems Optimisation
pub.towardsai.net·15h
🚀Performance
Flag this post
Catalog of reliability properties for blockchains (Antithesis)
antithesis.com·2d·
Discuss: Hacker News
🤝Paxos
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·3d·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Cycle-accurate 6502 emulator as coroutine in Rust
github.com·4d·
🖥️Emulation
Flag this post
How to use the matches! Macro Pattern Matching
dev.to·1d·
Discuss: DEV
📦Serde
Flag this post
GitHub Copilot tutorial: How to build, test, review, and ship code faster (with real prompts)
github.blog·3h
🤖Automation
Flag this post
Free Functions Don't Change Performance (Much)
16bpp.net·2d·
Discuss: Hacker News, r/cpp
📊Profiling Tools
Flag this post
How Hidden Code Decides Who's in Charge: The Silent Governance of AI Through Function-Calling Schemas
dev.to·6h·
Discuss: DEV
🎭Program Synthesis
Flag this post
[Tool] RE-Architect: Automated binary analysis with multiple decompilers + AI explanations
github.com·20h·
Discuss: r/programming
🔍Reverse Engineering
Flag this post
TypeScript Rewrote Itself in Go?! What That “10x Faster” Hype Really Means
dev.to·14h·
Discuss: DEV
🦕Deno
Flag this post
Web Developer Travis McCracken on Async Queues in Rust vs Python
dev.to·4d·
Discuss: DEV
🦀Rust Async
Flag this post
Building Trinity Protocol v3.1: A Deep Dive into 2-of-3 Multi-Chain Consensus
dev.to·2d·
Discuss: DEV
🤝Paxos
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·15h
🧮SMT Solvers
Flag this post
I Published My First NPM Package: create-pwa-boilerplate 🚀
npmjs.com·10h·
Discuss: DEV
🕸️WebAssembly
Flag this post
Why We Migrated from Python to Node.js
blog.yakkomajuri.com·2d·
FastAPI
Flag this post
We built a collaboration platform on Claude Code. Here's what we learned.
gbase.ai·20h·
Discuss: r/ClaudeAI
🤖Automation
Flag this post
Pragma Unroll
sandordargo.com·10h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Changelog #300
rust-analyzer.github.io·2d·
Discuss: r/rust
🦀Rust Macros
Flag this post
Reforging the ReScript Build System
rescript-lang.org·1d·
🔨Incremental Compilation
Flag this post