🦀 Rust Macros

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

Go at american express today
americanexpress.io·1d
🔌Interface Evolution
Open Sesame: Poems with Entropy
benwr.net·23h·
Discuss: Lobsters, Hacker News
🔓Password Cracking
AwesomeAssertions/AwesomeAssertions
github.com·1d
✅Format Verification
Working through 'Writing A C Compiler'
jollygoodsw.wordpress.com·5d·
Discuss: Lobsters, Hacker News, r/programming
📝Compiler Design
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·15h·
Discuss: Hacker News
🤝Distributed Consensus
Zig's new Writer
openmymind.net·1d·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
AI That Thinks Offline, Skia Animations, and a Glimpse of the Future
thereactnativerewind.com·1d·
Discuss: Hacker News
🌀Brotli Internals
I Accidentaly Wrote a Compile-Time Executable State Machine (2020)
philippegroarke.com·4d·
Discuss: Hacker News
🔗Functional Compilers
MT4DP: Data Poisoning Attack Detection for DL-based Code Search Models via Metamorphic Testing
arxiv.org·2d
🧮Z3 Solver
Python Fundamentals: build
dev.to·2d·
Discuss: DEV
🔄Reproducible Builds
Using AI in the development of stdlib
dev.to·9h·
Discuss: DEV
📏Code Metrics
RustNext: A Web Framework That Brings Rust's Strengths to Full-Stack Development
dev.to·3d·
Discuss: DEV
🦀Rust Borrowing
oapi-codegen v2.5.0 is out
github.com·2d·
Discuss: r/golang
📜Proof Carrying Code
Google Wifi Pro: Glitching from Root to EL3: Part 1 - Characterization
raelize.com·2d·
Discuss: Lobsters, Hacker News
🛡️eBPF Security
Kiro and the future of AI spec-driven software development
kiro.dev·1d·
Discuss: Lobsters, Hacker News
🔌Interface Evolution
GoLang 101: Getting Started with Go
dev.to·1d·
Discuss: DEV
🧠Lisp Dialects
Agents Built from Alloys
xbow.com·12h·
Discuss: Hacker News
⚡Proof Automation
State of the Art of Prompt Engineering • Mike Taylor • GOTO 2025
youtube.com·16h
🖥️Terminal Renaissance
Row Polymorphic Programming
stranger.systems·3d·
Discuss: Lobsters, Hacker News, r/programming
🧮Algebraic Datatypes
Go Concurrent Programming: Real-World Lessons to Level Up Your Skills
dev.to·4h·
Discuss: DEV
🌊Stream Processing