Metaprogramming, Procedural Macros, Code Generation, Compile-time Computing

Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·1d·
🦀Rust Borrowing
Flag this post
My First Rust Project
binwang.me·3d
🦀Rust Borrowing
Flag this post
Rdza – Rust Programming, in Polish
github.com·3h·
Discuss: Hacker News
🌀Brotli Dictionary
Flag this post
Interfacing assembly with BASIC via DEFUSR, part 7
subethasoftware.com·20h
🔧RISC-V Assembler
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·9h
📝Log Parsing
Flag this post
GSoC '25: Parallel Macro Expansion
lorrens.me·5d·
Discuss: r/rust
🦀Rust Borrowing
Flag this post
Rust Hobby OS projects worth exploring
oshub.org·2h·
🦀Embedded Rust
Flag this post
Rust 1.91.0 released
lwn.net·16h
🦀Embedded Rust
Flag this post
Issue 496
haskellweekly.news·1d
🔗Functional Compilers
Flag this post
Ajla Tutorial
ajla-lang.cz·13h·
Discuss: Hacker News
💧Liquid Types
Flag this post
Recent Rust Changes
ncameron.org·3d·
🦀Rust Borrowing
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
github.com·19h·
Discuss: Hacker News
🦀Rust Verification
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·15h·
Discuss: Hacker News
🔗Functional Compilers
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·12h·
📏Code Metrics
Flag this post
Rust intern saved TikTok $300K
youtube.com·22h
🦀Rust Borrowing
Flag this post
Supercharge Your APIs: Building Blazing-Fast Backends with Rust
dev.to·1d·
Discuss: DEV
🦀Embedded Rust
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·2d·
λLambda Encodings
Flag this post
I built an faster Notion in Rust
imedadel.com·2d·
🦀Rust Borrowing
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·1d·
Discuss: Hacker News
📊Static Analysis
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·12h·
💧Liquid Types
Flag this post