Personal Partial Evaluation: Clojure/Conj 2025
clojurecivitas.github.io·2d
🦀Rust
Flag this post
Hardcore function calling benchmark in backend coding agent.
reddit.com·1d·
Discuss: r/LocalLLaMA
📊Criterion.rs
Flag this post
October 2024 Progress in Guaranteed Safe AI
lesswrong.com·2d
🧮SMT Solvers
Flag this post
Is this the best way to write this code?
reddit.com·1d·
Discuss: r/C_Programming
🌈Nannou
Flag this post
Verifying and testing timeliness constraints of Haskell programs
well-typed.com·2d·
Discuss: Hacker News
🧵Loom
Flag this post
Railway Oriented Programming
fsharpforfunandprofit.com·3d·
Discuss: Hacker News
λFunctional Programming
Flag this post
Beyond the Hype: How to Use AI to Actually Increase Your Productivity as a Dev
docker.com·1d
🎭Program Synthesis
Flag this post
Perennial Technical Reading List
parallelprogrammer.substack.com·3d·
Discuss: Substack
🌲Splay Trees
Flag this post
Claude Loves a Challenge, Bonus Secret Menu Attached. (Ultimate Guide to Claude, from Claude, Saving Face and Rising to the Occasion).
api.anthropic.com·1d·
Discuss: r/ClaudeAI
💬Prompt Engineering
Flag this post
Show HN: Makefiles, Metalanguages, and Matrioshka Automata
robot-wranglers.github.io·1d·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Rust/Tokio vs. Go for a server side app that requires high performance/low latency.
reddit.com·10h·
Discuss: r/rust
🔄Glommio vs Tokio
Flag this post
This Ain't Yer Grandaddy's C (Tricks for Writing Gorgeous C)
spader.zone·3d·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Memchr: Optimized string search routines for Rust
github.com·3d·
Discuss: Hacker News
🔎Quickwit
Flag this post
Building an impossible Tic-Tac-Toe with Minimax and LemonadeJS
dev.to·14h·
Discuss: DEV
⚓Anchors
Flag this post
What Now? Handling Errors in Large Systems
brooker.co.za·3d·
Discuss: Hacker News
🛡️Error Handling
Flag this post
Introducing Qeltrix: A Content-Derived, Parallel Streaming Obfuscation Container
dev.to·46m·
Discuss: DEV
🔐ChaCha20
Flag this post
Thankful for Memory Managed Languages
mooreds.com·15h·
Discuss: Hacker News
⚙️Systems Programming
Flag this post
I Needed Date Math in Formulas, So I Built a Compiler (and Learned a Lot)
dev.to·3d·
Discuss: DEV
🦗Pest
Flag this post
The Rust Community Knew This Was Coming
lucisqr.substack.com·1d·
Discuss: Substack, r/cpp, r/programming
⚠️Rust Unsafe
Flag this post
Dingo: A Meta-Language for Go
github.com·8h·
Discuss: Lobsters, Hacker News, r/golang
🦕Deno
Flag this post