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

Bending Emacs – Episode 2
irreal.org·2d
🦀Rust Macros
When AI Remembers Too Much – Persistent Behaviors in Agents’ Memory
unit42.paloaltonetworks.com·2d
🔲Cellular Automata
Open Lineage
usenix.org·1d
🔌Interface Evolution
Better vector search with graphs and spectral indexing
tuned.org.uk·8h·
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·
🔄Sync Engine
Moving on from XML? A teaser for a possible alternative
genodians.org·11h·
Discuss: Hacker News
📝Concrete Syntax
Trusted Execution Environments? More Like "Trust Us, Bro" Environments
libroot.org·1d·
Discuss: Hacker News
🛡️RISC-V Security
The Handle trait
smallcultfollowing.com·5d·
🦀Rust Macros
2025-10-10 # LLMs Are Transpilers
alloc.dev·2d·
Discuss: Hacker News
🔄Language Evolution
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·2d·
Format Verification
Four years, Five failures, One compiler
daymare.net·6d·
🏗️Compiler Archaeology
The Porcelain to Come
stackdiver.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Injecting Hallucinations in Autonomous Vehicles: A Component-Agnostic Safety Evaluation Framework
arxiv.org·1d
Effect Handlers
HLA-A*31:01-Associated Drug-Induced Stevens-Johnson Syndrome Prediction via Multi-Modal Federated Learning
dev.to·1h·
Discuss: DEV
📈Mutual Information
Refactoring My Own Code: A Tale of Code Crumbles
dev.to·2d·
Discuss: DEV
🦀Rust Macros
Loyca.ai – An open-source, local-first AI assistant with contextual awareness
github.com·9h·
Discuss: Hacker News
🌀Brotli Internals
Which Heads Matter for Reasoning? RL-Guided KV Cache Compression
arxiv.org·1d
📼Cassette Combinators
The Bit Shift Paradox: How "Optimizing" Can Make Code 6× Slower
hackernoon.com·3d
🧮Compute Optimization
100 Poisoned Examples Can Hijack Any AI Model (Even GPT-4-Scale LLMs)
dev.to·2d·
Discuss: DEV
Proof Automation