🦀 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·1d·
Discuss: ws-dl.blogspot.com
✨Effect Handlers
Stackage Blog: LTS 24 release for ghc-9.10 and Nightly now on ghc-9.12
stackage.org·1d
🔗Functional Compilers
My (temp) budget homelab
reddit.com·17h·
Discuss: r/homelab
🏠HomeLab
Quadratic Forms Beyond Arithmetic
ams.org·1h·
Discuss: Hacker News
🔱Galois Theory
The Power of Building from Scratch
towardsdatascience.com·1d
🌍Cultural Algorithms
Green Tea GC: How Go Stopped Wasting 35% of Your CPU Cycles
siddharthav.medium.com·1d·
Discuss: Hacker News
🧠Memory Allocators
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·2d·
Discuss: Hacker News
🎯Interactive Provers
Poor man's bitemporal data system in SQLite and Clojure
evalapply.org·4d·
Discuss: Lobsters, Hacker News, r/programming
🗄️Database Internals
How Go 1.24 Swiss Tables saved us hundreds of gigabytes
datadoghq.com·6h·
Discuss: Hacker News
🧠Memory Allocators
Wrote a blog about using Dapr and mirrord together
metalbear.co·14h
📦Container Security
Effective Practices for Coding with a Chat-Based AI
infoq.com·1d·
Discuss: Hacker News
🔄Language Evolution
🛡️ Paladin-mini: Open-Source Grounding Model That Actually Works in Production
dev.to·15h·
Discuss: DEV
⚡Proof Automation
jank is C++
jank-lang.org·6d·
Discuss: Lobsters, Hacker News, r/programming
🐚Bash Monads
GORM Magic: Go Database Made Easy ⚡
dev.to·4h·
Discuss: DEV
⛏️SQL Archaeology
🔍 GitHub Profile Finder – Built with Bolt
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Hazel: A live functional programming environment with typed holes
github.com·2d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Sandcastles Made of Bits
jsfour.substack.com·1d·
Discuss: Substack
🧱Immutable Infrastructure
LLMs Are Bad at Being Forced
morphllm.com·14h·
Discuss: Hacker News
💻Local LLMs
Agents Built from Alloys
xbow.com·10h·
Discuss: Hacker News
⚡Proof Automation
How to actually use Model Context Protocol
seangoedecke.com·1d·
Discuss: Hacker News
⚡Proof Automation