MiniRust
github.comยท1dยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Outbox Done Right in Go: Building Resilient Event-Driven Systems with NATS and SQL
dev.toยท22hยท
Discuss: DEV
๐Ÿ“Database WAL
Benchmarking rust string crates: Are "small string" crates worth it?
reddit.comยท1dยท
Discuss: r/rust
๐Ÿ”’Type Safety
Choosing Rust for LLM-generated code
runmat.orgยท2dยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Disaggregated Inference at Scale with PyTorch and VLLM
pytorch.orgยท15hยท
Discuss: Hacker News
โšกLZ4 Streaming
Introducing gRPC-Rust - Cathy Zhao, Google & Doug Fawley, gRPC Maintainer
youtube.comยท1d
โšกgRPC
Eternal-Tux: Crafting a Linux Kernel KSMBD 0-Click RCE Exploit from N-Days
willsroot.ioยท11hยท
๐Ÿ›ก๏ธeBPF Security
The Capability-Tractability Tradeoff (2023)
buttondown.comยท1dยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Safe C++ proposal is not being continued
sibellavia.lolยท1dยท
๐Ÿ”’Type Safety
Sharing what I learned about Rust functions and closures
blog.cuongle.devยท4dยท
๐Ÿฆ€Rust Macros
One year of zizmor
blog.yossarian.netยท19h
๐Ÿ—œ๏ธZstandardized Archives
Coco โ€“ Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.deยท3dยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Death to Type Classes
jappie.meยท2dยท
Discuss: Hacker News
๐Ÿง Lisp Dialects
Program management update โ€” August 2025
blog.rust-lang.orgยท3dยท
๐Ÿฆ€Rust Macros
Haskell Interlude: 70: Phil Wadler
haskell.foundationยท12h
๐ŸงฌFunctional Programming
Faux Type Theory: three minimalist OCaml simple proof checker implementations
github.comยท1dยท
Discuss: Hacker News
๐Ÿ”คType Theory
how fast is go? simulating millions of particles on a smart tv
dgerrells.comยท19hยท
๐Ÿ–ฅ๏ธGame Emulation
The Data Backbone of LLM Systems
infoq.comยท3dยท
Discuss: Lobsters
๐Ÿ”—Constraint Handling
Show HN: ForkLaunch framework: Upgrading Express with a fully typed DSL
github.comยท3hยท
Discuss: Hacker News
๐Ÿ”ŒInterface Evolution
Another AI configuration nightmare
markjgsmith.comยท14h
๐Ÿ Homelab Pentesting