Your First AI Agent: A Clear, Practical Path
dev.to·7h·
Discuss: DEV
⚡Proof Automation
The Emacs thread-related code needs a maintainer
lists.gnu.org·12h·
Discuss: Hacker News
🦀Rust Macros
Guessing Game: Haskell Style
entropicthoughts.com·1d
👑Dependent Haskell
Agentic Metaflow
outerbounds.com·2h·
Discuss: Hacker News
🌊Streaming Systems
Thioester-mediated RNA aminoacylation and peptidyl-RNA synthesis in water
nature.com·5h
🧬Palindrome Codes
Building a Plugin System for Rust: Native Libraries vs Scripting Language vs WASM vs Rules Engine
kerkour.com·15h·
Discuss: Hacker News
🦀Rust Macros
On systematic construction of correct logic programs
arxiv.org·1d
⚖️Hoare Logic
Make and SQL: An old new way for Data Science workloads
vasvir.wordpress.com·1d·
Discuss: Hacker News
🦀Rust Macros
Implementing Forth in Go and C
eli.thegreenplace.net·17h·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔗Concatenative Programming
Reversing a (not-so-) Simple Rust Loader | cxiao.net
cxiao.net·1d
🦀Rust Macros
Dependent types I › Universes, or types of types
jonmsterling.com·14h·
Discuss: Hacker News
🔤Type Theory
Interesting Technique to Launch a Shellcode, (Wed, Aug 27th)
isc.sans.edu·15h
🛡️CLI Security
CLI Tools That Support Previews, Dry Runs or Non-Destructive Actions
nickjanetakis.com·1d
🛡️CLI Security
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·1d
🎯Gradual Typing
Over-Engineering Sleep
matt.blwt.io·3d
🐚Bash FP
Spectrum – catching clojure.spec conform errors at compile time
github.com·4h·
Discuss: Hacker News
🔗Functional Compilers
How to Slow Down a Program? And Why it Can Be Useful.
stefan-marr.de·10h·
Discuss: Lobsters, Hacker News, r/programming
🚀Compiler Optimizations
Satellites, Linux trays, and laundry: Hack Week 2025 at Tailscale
tailscale.com·5h
🖥️Modern Terminals
The Lobster Programming Language
strlen.com·2d·
Discuss: Hacker News
🔗Concatenative Programming
Generating C functions and prototypes using macros – part 2
subethasoftware.com·1d
🦀Rust Macros