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

GSoC '25: Parallel Macro Expansion
lorrens.me·5d·
Discuss: r/rust
🦀Rust Borrowing
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.com·3h·
Discuss: Hacker News
🔒Linear Types
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·19h·
📏Code Metrics
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·3d·
🦀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
From Lossy to Lossless Reasoning
manidoraisamy.com·3h·
Discuss: Hacker News
🔨Compilers
Flag this post
Rust intern saved TikTok $300K
youtube.com·1d
🦀Rust Borrowing
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
github.com·3h·
Discuss: Hacker News
🧠Lisp Dialects
Flag this post
wastrel, a profligate implementation of webassembly
wingolog.org·22h·
🌐WASI
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·20h·
Discuss: Hacker News
🎯Gradual Typing
Flag this post
exploits.club Weekly Newsletter 91 - Patch-gapping Browsers, Ubuntu LPEs, Bluetooth Int Underflows, And More
blog.exploits.club·4h
🔓Hacking
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·20h·
💧Liquid Types
Flag this post
My Wishlist for PHP in 2026
stitcher.io·1d·
Discuss: Hacker News
📝Concrete Syntax
Flag this post
Ghosts in the Compilation
predr.ag·21h·
⚙️Build Archaeology
Flag this post
Show HN: GPU-accelerated sandboxes for running AI coding agents in parallel [video]
youtube.com·3h·
Discuss: Hacker News
Incremental Computation
Flag this post
Why Programming Languages Are Not 'Just Tools'
bloominlabs.substack.com·2d·
Discuss: Substack
💻Programming languages
Flag this post
Esp-hal 1.0.0 release announcement
developer.espressif.com·1d·
🦀Embedded Rust
Flag this post
Rust Coreutils 0.3.0: Up to 3.7x Faster Than GNU Tools
heise.de·4d
🦀Rust Verification
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·14h·
Discuss: Hacker News
λLambda Formalization
Flag this post