🦀 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
Better vector search with graphs and spectral indexing
tuned.org.uk·11h·
Discuss: Hacker News
🗂️Vector Databases
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·2d·
Discuss: Hacker News
🔢Reed-Solomon Math
Tangled, a Git collaboration platform, built on atproto
blog.tangled.org·1d·
Discuss: Hacker News, r/programming
🔄Sync Engine
Does Go have types?
youtube.com·1d·
Discuss: r/golang
🔒Linear Types
Tools Amplify Culture – Platform Engineering
platformengineering.org·7h·
Discuss: Hacker News
❄️Nix Adoption
The Handle trait
smallcultfollowing.com·5d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming, r/rust
🦀Rust Macros
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·2d·
Discuss: Hacker News, r/programming
✅Format Verification
100 Poisoned Examples Can Hijack Any AI Model (Even GPT-4-Scale LLMs)
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·1d·
Discuss: DEV
📊Multi-vector RAG
The Trillion Dollar AI Software Development Stack
a16z.com·1d·
Discuss: Hacker News
⚡Proof Automation
resterm: terminal-first client for working HTTP, GraphQL, and gRPC
reddit.com·1d·
Discuss: r/golang
⚡gRPC
Show HN: I built a SaaS in 8 weeks, solo, using our own AI platform
zine.ai·1d·
Discuss: Hacker News
🚀Indie Hacking
RedTWIZ: Diverse LLM Red Teaming via Adaptive Attack Planning
arxiv.org·3d
⚔️Lean Tactics
IASC: Interactive Agentic System for ConLangs
arxiv.org·2d
🌳Context free grammars
Memory fragmentation? leak? in Rust/Axum backend
reddit.com·3d·
Discuss: r/rust
🏷️Memory Tagging
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
You Can't Mock Reality: Testing a 3D Rendering Pipeline in Blender
medium.com·2d·
Discuss: Hacker News
🎯Emulator Accuracy