A Rust Shaped Hole
mnvr.in·12h·
Discuss: Hacker News
🦀Rust Macros
🔐 Introducing EMCL – A Secure Protocol for AI Agents to Call Tools
dev.to·8h·
Discuss: DEV
🌐NetworkProtocols
Re-implementing the Nix protocol in Rust
tweag.io·1d·
Discuss: Hacker News
📋Format Specification
Cactus Language • Stylistics 4
inquiryintoinquiry.com·8h
🌳Context free grammars
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·23h·
Discuss: Hacker News
🔍Type Inference
Dynamic ClassFile Generation To Save 15.5 Nanoseconds
github.com·1d·
Discuss: r/programming
✅Format Verification
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·9h
🦀Rust Verification
Functional Abstract Interpretation
simon.peytonjones.org·23h·
Discuss: Hacker News
🔗Functional Compilers
Working with Rust is super fun coming from C++
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
A distributed systems reliability glossary
antithesis.com·8h·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
Adding lookbehinds to rust-lang/regex
systemf.epfl.ch·1d·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines
Building Robust Filesystem Interactions in Rust
tangramvision.com·3h·
Discuss: Hacker News
📂Directory Synchronization
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·6h
🎯Gradual Typing
Dry Run: Your Kubernetes network policies with Calico staged network policies
tigera.io·9h
📦Container Security
Compiler Bootstrapping in Nixpkgs
blog.obsidian.systems·8h·
Discuss: Lobsters, Hacker News
❄️Nixpkgs
RFC 7711 - PKIX over Secure HTTP (POSH)
datatracker.ietf.org·2d
🌐DNS Security
Show HN: From Zod schema to agent-ready MCP server – minimal, typed, deployable
github.com·9h·
Discuss: Hacker News
🔐CBOR
Students, here are 5 key things to know when learning how to train large language models
techradar.com·6h
💻Local LLMs
FSM Library for Embedded C Projects
hackster.io·1d
🦀Embedded Rust
The Best C++ Library
mcyoung.xyz·1d·
Discuss: Lobsters, Hacker News, r/cpp
🦀Rust Borrowing