Item Patterns and Struct Await
noratrieb.dev·23h·
Discuss: Hacker News
🦀Rust
How I Built My Own Tool for Disk Space Cleanup
debamitro.github.io·7h
🔬Rust Profiling
(Forward) automatic implicit differentiation in Rust with num-dual 0.12.0
reddit.com·13h·
Discuss: r/rust
🎭Rust Macros
SLip - An aspiring Common Lisp environment in the browser.
lisperator.net·16h·
Discuss: r/programming
🌿Leptos
Assuring Agent Safety Evaluations By Analysing Transcripts
lesswrong.com·19h
🏆LLM Benchmarking
Let's Write a Macro in Rust
hackeryarn.com·13h·
Discuss: Hacker News
🎭Rust Macros
My First Week of Vibecoding
underreacted.leaflet.pub·2h·
Discuss: Hacker News
🔤Tokenization
Three ways formally verified code can go wrong in practice
buttondown.com·11h
💻Programming languages
Implementing ZADD If Key Exists
rozumem.xyz·23h·
Discuss: Hacker News
📌Pin/Unpin
Patina project – a Rust implementation of UEFI firmware
github.com·22h·
Discuss: Hacker News
📦Cargo
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·6h·
Discuss: Hacker News
💻Programming languages
Experimenting with ACL2 and Claude Code
mikedodds.org·16h·
Discuss: Hacker News
💻Programming languages
JVM stack is about to be massively modernized
medium.com·11h·
Discuss: Hacker News
🔧Developer tools
A Retrospective Survey of 2024/2025 Open Source Supply Chain Compromises
words.filippo.io·13h·
Discuss: Lobsters, Hacker News
🕳LLM Vulnerabilities
Most-watched Rust talks of 2025 (so far)
reddit.com·17h·
Discuss: r/rust
🦀Rust
Show HN: Realization Jsmn on a Pure Zig
github.com·19h·
Discuss: Hacker News
🔤Tokenization
The RAG Playbook: A Data Science Guide to Document Chunking
pub.towardsai.net·12h
🔄LLM RAG Pipelines
MultiPar 1.3.3.5 Beta / 1.3.2.9
majorgeeks.com·21h
📄File Formats
A window into modern loan origination
bitsaboutmoney.com·11h·
Discuss: Hacker News
👨‍💻Solo Dev
We built AI that auto-checks building plans
planchecksolver.com·12h·
Discuss: Hacker News
👨‍💻AI Coding