🦀 Rust Macros

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

How to actually use Model Context Protocol
seangoedecke.com·14h
⚡Proof Automation
Go at american express today
americanexpress.io·16h
🔌Interface Evolution
Exploring Prompt Learning: Using English Feedback to Optimize LLM Systems
towardsdatascience.com·16h
💻Local LLMs
Effective Practices for Coding with a Chat-Based AI
infoq.com·15h·
Discuss: Hacker News
🔄Language Evolution
AI whiplash, and Neovim in the age of AI
dlants.me·7h·
Discuss: Hacker News, r/neovim
✨Effect Handlers
Compressed data structures for Heegaard splittings
arxiv.org·1d
🕳️Persistent Homology
You Are in a Box
jyn.dev·2d·
Discuss: Lobsters, Hacker News
🐚Shell Calculus
From chaos to clarity: Using GitHub Copilot agents to improve developer workflows
github.blog·1d
📜Proof Carrying Code
Gradual negation types and the Python type system
jellezijlstra.github.io·7h·
Discuss: Hacker News
🔬Refinement Types
Parsing Protobuf Like Never Before
mcyoung.xyz·1d·
Discuss: Lobsters, Hacker News
🔧Binary Parsers
How we automated GitHub Actions Runner updates with Claude
dev.to·14h·
Discuss: DEV
🧲RISC-V Preservation
Future-Proof Programming Languages
log.schemescape.com·3d·
Discuss: Hacker News
💻programming languages
govalid - A compile-time validation library that's up to 45x faster than reflection-based validators
reddit.com·1d·
Discuss: r/golang
🦀Rust Verification
Show HN: Notsc – A CLI to Scaffold Node.js and TypeScript API Projects
npmjs.com·2d·
Discuss: Hacker News
🎯Gradual Typing
Boffins detail new algorithms to losslessly boost AI perf by up to 2.8x
theregister.com·4h·
Discuss: Hacker News
💻Local LLMs
Open Sesame: Poems with Entropy
benwr.net·9h·
Discuss: Lobsters, Hacker News
🔓Password Cracking
SmartDocs AI - Intelligent Documentation Search with Algolia MCP Server
dev.to·23h·
Discuss: DEV
🌀Brotli Internals
Why Hoon?
docs.urbit.org·3d·
Discuss: Hacker News
🐚Bash Monads
🛡️ Paladin-mini: Open-Source Grounding Model That Actually Works in Production
dev.to·4h·
Discuss: DEV
⚡Proof Automation
Show HN: Tanu – High-performance WebAPI testing framework for Rust
github.com·1d·
Discuss: Hacker News
🦀Rust Borrowing