Call for Testing: Speeding up compilation with `hint-mostly-unused`
blog.rust-lang.org·19h·
Discuss: Hacker News
🦀Rust
Adding lookbehinds to rust-lang/regex
systemf.epfl.ch·21h·
Discuss: Lobsters, Hacker News
🔍RegEx Engines
A Rust Shaped Hole
mnvr.in·7h·
Discuss: Hacker News
🦀Rust
Working with Rust is super fun coming from C++
reddit.com·20h·
Discuss: r/rust
🦀Rust
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·4h·
Discuss: Hacker News, r/programming
🧠Memory Allocators
Principles for Picking Practical Interpretability Projects
lesswrong.com·1h
🔍AI Interpretability
Functional Abstract Interpretation
simon.peytonjones.org·19h·
Discuss: Hacker News
💻Programming languages
From chaos to clarity: Using GitHub Copilot agents to improve developer workflows
github.blog·3h
🔧Developer tools
Compiler Bootstrapping in Nixpkgs
blog.obsidian.systems·3h·
Discuss: Hacker News
🏗️Build Systems
launchbadge/sqlx
github.com·17h
💾Databases
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·4h
🕳LLM Vulnerabilities
Analysis of RISC-V CPU Fuzzers via Automatic Bug Injection (ETH Zurich)
semiengineering.com·12h
⚙️Mechanical Sympathy
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·20h·
Discuss: Hacker News
💾Persistence Strategies
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·19h·
Discuss: Hacker News
💻Programming languages
CodeJudgeBench: Benchmarking LLM-as-a-Judge for Coding Tasks
arxiv.org·15h
🏆LLM Benchmarking
oapi-codegen v2.5.0 is out
github.com·1h·
Discuss: r/golang
🔧Developer tools
How to enable real time semantic search and RAG applications with Dataflow ML
cloud.google.com·3h
🎯Qdrant
TAI #161: Grok 4’s Benchmark Dominance vs. METR’s Sobering Reality Check on AI for Code
pub.towardsai.net·3h
🆕New AI
Connecting legibility to theory building in programming
ashwinsundar.com·2h·
Discuss: Hacker News
💻Programming languages
[$] Enforcement (or not) for module-specific exported symbols
lwn.net·5h
👨‍💻Software development practices