🦀 Rust Macros

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

Issue 718
iosdevweekly.com·17h
🔌Interface Evolution
Go at american express today
americanexpress.io·1d
🔌Interface Evolution
Open Sesame: Poems with Entropy
benwr.net·1d·
Discuss: Lobsters, Hacker News
🔓Password Cracking
Working through 'Writing A C Compiler'
jollygoodsw.wordpress.com·6d·
Discuss: Lobsters, Hacker News, r/programming
📝Compiler Design
Re-implementing the Nix protocol in Rust
tweag.io·4d·
Discuss: Hacker News
🔒Linear Types
Zig's new Writer
openmymind.net·1d·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
Agents Built from Alloys
xbow.com·1d·
Discuss: Hacker News
⚡Proof Automation
Building Robust Filesystem Interactions in Rust
tangramvision.com·2d·
Discuss: Hacker News
📂Directory Synchronization
A code quality battle between 6 AI agents
sourcery.ai·3d·
Discuss: Hacker News
📏Code Metrics
How AI Detects Cancer in Whole Slide Images
hackernoon.com·1d
🧠Machine Learning
Idea: "codetochat.com"–An AI tool to help developers understand legacy codebases
news.ycombinator.com·1h·
Discuss: Hacker News
📏Code Metrics
How to actually use Model Context Protocol
seangoedecke.com·1d·
Discuss: Hacker News
⚡Proof Automation
GoLang 101: Getting Started with Go
dev.to·2d·
Discuss: DEV
🧠Lisp Dialects
An AI Skeptic Uses AI for a Week
keithjgrant.com·2d·
Discuss: Hacker News
✨Effect Handlers
Janet Feature Demos
github.com·2d·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
SIEVE: Effective Filtered Vector Search with Collection of Indexes
arxiv.org·1d
🗂️Vector Databases
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.to·2d·
Discuss: DEV
📝Concrete Syntax
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·1d·
Discuss: Hacker News
🤝Distributed Consensus
Machine Learning Fundamentals: dropout project
dev.to·1h·
Discuss: DEV
🌊Stream Processing
Refining Coarse-Grained Molecular Topologies: A Bayesian Optimization Approach
arxiv.org·13h
🌐Computational Topology