Zig in 30 Minutes
🚪Function Prologues
Flag this post
10000
jro.sg·18h
📦Executable Size
Flag this post
Project goals update — October 2025
blog.rust-lang.org·4d
🔒Rust Borrowing
Flag this post
Automatic Syntax Error Recovery (2020)
🔧Error Recovery
Flag this post
A bit about traits in embedded Rust
🦀Rust Macros
Flag this post
Trying Out C++26 Executors
🔮Speculative Execution
Flag this post
Basic Rust FFI Tutorial
🦀Rust Macros
Flag this post
Rust Isn't the Future of Systems Programming – It's Just the Hype Cycle
🚂Cranelift Backend
Flag this post
What is the most modern way to implement traits/multiple dispatch/multiple inheritance?
🦀Rust Macros
Flag this post
<p>**Abstract:** This paper introduces a novel system for automating the formalization and verification of proofs within Homotopy Type Theory (HoTT). Leveraging...
freederia.com·22h
⚖️Inference Rules
Flag this post
The Easiest Way to Build a Type Checker
✅Type Checking
Flag this post
RUSTSEC-2025-0125: Vulnerability in thread-amount
rustsec.org·18h
🏷️Memory Tagging
Flag this post
The age of personalized software
discuss.samsaffron.com·1h
🎮Language Ergonomics
Flag this post
Loading...Loading more...