Concept-Based Generic Programming -- Bjarne Stroustrup
isocpp.org·9h
🗂️Type Indexing
Flag this post
Building a High-Performance Live Network Sniffer in Rust (Without Kernel Drivers)
dev.to·11h·
Discuss: DEV
⚙️TOML Parsers
Flag this post
Package Hygiene in Alice, an experimental OCaml build system
alicecaml.org·1d·
Discuss: Hacker News
📦Package Managers
Flag this post
Rust Isn't the Future of Systems Programming – It's Just the Hype Cycle
freedium-mirror.cfd·2h·
Discuss: Hacker News
🚂Cranelift Backend
Flag this post
Show HN: Makefiles, Metalanguages, and Matrioshka Automata
robot-wranglers.github.io·1d·
Discuss: Hacker News
🔄Bootstrapping
Flag this post
Trying Out C++26 Executors
mropert.github.io·11h·
Discuss: Lobsters, Hacker News
🔮Speculative Execution
Flag this post
The Easiest Way to Build a Type Checker
jimmyhmiller.com·12h·
Discuss: Hacker News
✅Type Checking
Flag this post
A bit about traits in embedded Rust
blog.igamble.dev·3d·
Discuss: r/rust
🦀MIR Optimization
Flag this post
Web Developer Travis McCracken on Debugging Distributed Systems Like a Human
dev.to·18h·
Discuss: DEV
🔧API Design
Flag this post
Zig in 30 Minutes
gist.github.com·12h·
Discuss: Hacker News
🦀MIR Optimization
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·23h
⚖️Inference Rules
Flag this post
Rust Smart Pointers: Safe Memory Management Without Garbage Collection
dev.to·16h·
Discuss: DEV
🔒Rust Borrowing
Flag this post
On Cloudfare and Unwrap
reddit.com·1d·
Discuss: r/rust
⚙️TOML Parsers
Flag this post
10 Essential Java Libraries - How Essential Are They Really?
hackernoon.com·1d
🔧API Design
Flag this post
Challenges compiling old C++ code on modern Linux
smalldatum.blogspot.com·14h·
Discuss: smalldatum.blogspot.com
🗃️Query Compilation
Flag this post
Dingo: A Meta-Language for Go
github.com·5h·
Discuss: Lobsters, Hacker News
🤖Embedded Go
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
pseudorun.tech·14h·
Discuss: Hacker News
🌱Minimal Interpreters
Flag this post
Why your SDK Breaks in Cursor
sourcewizard.ai·2d·
Discuss: r/programming
🎮Language Ergonomics
Flag this post
Basic Rust FFI Tutorial
bhh32.com·3d·
Discuss: r/programming, r/rust
🦀Rust Macros
Flag this post
What is the most modern way to implement traits/multiple dispatch/multiple inheritance?
reddit.com·1d·
Discuss: r/cpp
🦀Rust Macros
Flag this post