🦀 Rust Macros

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

Programming Extensible Data Types in Rust with CGP - Part 1: Modular App Construction and Extensible Builders
contextgeneric.dev·19h·
Discuss: Lobsters, Hacker News, r/programming
🔒Type Safety
Changelog #293
rust-analyzer.github.io·2d
🦀Rust Borrowing
Exploring ways to make async Rust easier
carllerche.com·11h·
Discuss: Hacker News
🦀Rust Borrowing
Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
arxiv.org·22h
🧮Algebraic Archives
Mutually Exclusive Traits in Rust – Geo's Notepad – Mostly Programming and Math
geo-ant.github.io·2d
🔒Type Safety
An open-source SDK for finding dead code
blog.sentry.io·1d·
Discuss: Hacker News
📏Code Metrics
guile lab notebook: on the move!
wingolog.org·12h
🧠Separation Logic
Why I Am Stupid
aartaka.me·12h
🔢Denotational Semantics
Building the Rust Compiler with GCC
fractalfir.github.io·2d·
Discuss: Lobsters, Hacker News
⚡Dependent Rust
Havoc – Heap Allocated Value Object Containers
github.com·1d·
Discuss: Hacker News
🔒Type Safety
LLM Failures
funcall.blogspot.com·3h·
Discuss: Hacker News
💻Programming languages
My first verified (imperative) program
markushimmel.de·1d·
Discuss: Lobsters, Hacker News, r/programming
⚔️Lean Tactics
From University Project to Paid API: How I Built and Shipped a Real AI Product in 3 Weeks
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
LLDB's TypeSystems Part 2: PDB
walnut356.github.io·1d·
Discuss: r/programming
⚡Dependent Rust
Inheritance and Polymorphism in Plain C
coz.is·13h·
Discuss: Hacker News, r/C_Programming, r/programming
🛠Language Design
Binary Search in Haskell and Rust
mmhaskell.com·1d
📐Interval Arithmetic
Babelscope
bbenchoff.github.io·2d
🖥Retro Computing
What's up Python? Mypy gets better, uv faster, FastApi easier, Emscripten formal...er
bitecode.dev·2d
💧Liquid Types
The REM-arkable Misadventures of LIST
masswerk.at·21h·
Discuss: Hacker News
📺VT100
GPUs go brrr with Mojo – Fundamentals
shubhamg.in·2d·
Discuss: Hacker News
📊RISC-V Vectors