🦀 Rust Borrowing

Memory Safety, Ownership Models, Systems Programming, Compile-time Verification

Bending Emacs – Episode 2
irreal.org·2d
🦀Rust Macros
Cactus Language • Semantics 3
inquiryintoinquiry.com·1d
🔢Denotational Semantics
Toy Binary Decision Diagrams
philipzucker.com·6d
🧮Algebraic Datatypes
Better vector search with graphs and spectral indexing
tuned.org.uk·14h·
Discuss: Hacker News
🗂️Vector Databases
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·2d·
Discuss: Hacker News
🔢Reed-Solomon Math
Dev Services for Spring Boot Using Arconia
thomasvitale.com·16h·
Discuss: Hacker News
🔌Archive APIs
Hacking a Game Boy Emulator to Output MIDI to Multiple Hardware Synths
dr-schlange.github.io·12h·
Discuss: Hacker News
🎮Gameboy Emulation
Does Go have types?
youtube.com·1d·
Discuss: r/golang
🔒Linear Types
Tools Amplify Culture – Platform Engineering
platformengineering.org·10h·
Discuss: Hacker News
❄️Nix Adoption
C++ Reflection and Qt MOC
wiki.qt.io·3d·
Discuss: Hacker News
🧩WASM Modules
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·2d·
Discuss: Hacker News, r/programming
✅Format Verification
Show HN: I built a SaaS in 8 weeks, solo, using our own AI platform
zine.ai·1d·
Discuss: Hacker News
🚀Indie Hacking
Building a Universal Webhook Adapter in Go: Introducing WHOOK
dev.to·1d·
Discuss: DEV
🌐WASI
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·2d
⛪Church Encoding
Memory fragmentation? leak? in Rust/Axum backend
reddit.com·3d·
Discuss: r/rust
🏷️Memory Tagging
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
⚙️Proof Engineering
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·1d·
Discuss: DEV
📊Multi-vector RAG
You Can't Mock Reality: Testing a 3D Rendering Pipeline in Blender
medium.com·2d·
Discuss: Hacker News
🎯Emulator Accuracy
What's new in Python 3.14
docs.python.org·4d·
Discuss: Hacker News, Hacker News
🌳Incremental Parsing
Community: The 100% Open-Source AI Stack That Automates My Business, and Tricks for Troubleshooting It
dev.to·3d·
Discuss: DEV
🏠Homelab Orchestration