Announcing <code>rv</code> 0.2
andre.arko.net·10h
🧲RISC-V Preservation
When AI Remembers Too Much – Persistent Behaviors in Agents’ Memory
unit42.paloaltonetworks.com·1d
🔲Cellular Automata
Easy Cloud Storage Solution for Individuals? – Try MeshDrive
news.ycombinator.com·1d·
Discuss: Hacker News
🏠Personal Archives
GaloisInc/parameterized-utils
github.com·3d
🧮Algebraic Datatypes
Let’s talk about LLM guardrails
blog.adnansiddiqi.me·9h·
Discuss: Hacker News
🎯Proof Tactics
Which Heads Matter for Reasoning? RL-Guided KV Cache Compression
arxiv.org·1d
📼Cassette Combinators
Context Engineering for Coding Agents
hackernoon.com·16h
🌳Incremental Parsing
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·5d·
Discuss: Hacker News
💻Local LLMs
The Alien Artifact: DSPy and the Cargo Cult of LLM Optimization
data-monger.com·1h·
Discuss: Hacker News
🔍Vector Forensics
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·1d·
Discuss: Hacker News
🌐Protocol Synthesis
Upgrade/consolidation for 2 Servers
reddit.com·6h·
Discuss: r/homelab
💿Proxmox HA
The Tech Stack That's Dying in 2025 (Stop Wasting Time on It)
dev.to·47m·
Discuss: DEV
🦋Format Evolution
Is GRPO Broken?
neelsomaniblog.com·18h·
Discuss: Hacker News
🧮Kolmogorov Bounds
Show HN: TinqerJS – LINQ Inspired ORM for TypeScript Supporting Postgres, SQLite
tinqerjs.org·5d·
🧩SQLite Extensions
Generalized Orders of Magnitude (GOOMs)
github.com·4h·
Discuss: Hacker News
🕸️Tensor Networks
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·20h·
Discuss: Hacker News
Bidirectional Typing
Tiga: Accelerating Geo-Distributed Transactions with Synchronized Clocks
muratbuffalo.blogspot.com·3d·
Discuss: Hacker News
🤝Distributed Consensus
Static Bundle Object: Modernizing Static Linking
medium.com·4d·
🔗Static Linking
Can AI Co-Design Distributed Systems? Scaling from 1 GPU to 1k
harvard-edge.github.io·21h·
Discuss: Hacker News
🎯Performance Proofs
timelinize/timelinize
github.com·1d
⏱️Interval Archives