🦀 Rust Borrowing

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

2025-07-16: Understanding Hallucination in Large Language Models: Challenges and Opportunities
ws-dl.blogspot.com·17h·
Discuss: ws-dl.blogspot.com
✨Effect Handlers
My (temp) budget homelab
reddit.com·8h·
Discuss: r/homelab
🏠HomeLab
Stackage Blog: LTS 24 release for ghc-9.10 and Nightly now on ghc-9.12
stackage.org·1d
🔗Functional Compilers
govalid - A compile-time validation library that's up to 45x faster than reflection-based validators
reddit.com·1d·
Discuss: r/golang
🦀Rust Verification
Automated Function ID Database Generation in Ghidra on Windows
blog.mantrainfosec.com·6h·
Discuss: Hacker News
🔓Decompilation
Solving the Context Rot Problem for Coding Agents
install.md·21h·
Discuss: Hacker News
🌳Incremental Parsing
Show HN: I built an SDK for building an AI RAG app with Supabase and pgvector
github.com·21h·
Discuss: Hacker News
🌀Brotli Internals
Connecting legibility to theory building in programming
ashwinsundar.com·2d·
Discuss: Hacker News
💻Programming languages
Green Tea GC: How Go Stopped Wasting 35% of Your CPU Cycles
siddharthav.medium.com·23h·
Discuss: Hacker News
🧠Memory Allocators
Introducing Amazon Bedrock AgentCore: Securely deploy and operate AI agents at any scale (preview)
aws.amazon.com·1d·
Discuss: Hacker News
🤖Network Automation
Code Execution Through Email: How I Used Claude to Hack Itself
pynt.io·11h·
Discuss: Hacker News
🔓Hacking
The power of the Unix philosophy for LLM agentic tools
blog.korny.info·4h·
Discuss: Hacker News
🐚Shell Calculus
I Spent 40 Hours Writing Tests That Broke in 2 Weeks — A Confession Story
dev.to·6h·
Discuss: DEV
🔍Concolic Testing
Google Wifi Pro: Glitching from Root to EL3: Part 1 - Characterization
raelize.com·1d·
Discuss: Lobsters, Hacker News
🛡️eBPF Security
Hazel: A live functional programming environment with typed holes
github.com·1d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
The Power of Building from Scratch
towardsdatascience.com·1d
🌍Cultural Algorithms
Future-Proof Programming Languages
log.schemescape.com·3d·
Discuss: Hacker News
💻programming languages
Agent Memory with Spring AI & Redis
dev.to·21h·
Discuss: DEV
⚡Redis Internals
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·1d·
Discuss: Hacker News
🎯Interactive Provers
Poor man's bitemporal data system in SQLite and Clojure
evalapply.org·3d·
Discuss: Lobsters, Hacker News, r/programming
🗄️Database Internals