Identifying Divergences in HW Designs For High Performance Computing Workloads (LBNL et al.)
semiengineering.com·5h
⚡Performance
Cap'n Proto - structured data serialziation format
capnproto.org·3h
📦Message Serialization
Rowhammer: TRR on DDR5 DRAM has been broken
comsec.ethz.ch·4h·
Discuss: Hacker News
🏷️Memory Tagging
PostgreSQL partitioning, logical replication and other Q&A about PostgreSQL Superpowers
architecture-weekly.com·10h·
Discuss: r/programming
🌳B+ Trees
LLM Rerankers for RAG: A Practical Guide
fin.ai·23h·
Discuss: Hacker News, Hacker News
🪜Recursive Descent
A Kevin week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🧩Constraint Solvers
A formal proof of C∞ISRT
bsky.app·1d·
Discuss: r/LessCredibleDefence
♾️Codata Types
LLMs on a Shoestring: The Dynamic Cache Advantage by Arvind Sundararajan
dev.to·11h·
Discuss: DEV
💾Cache Algorithms
VoidCrawlers v0.2.0.25 to v0.2.0.33 Devlog
drjuicybear.itch.io·2h
🏗️Custom Allocators
What is Algebraic about Algebraic Effects?
interjectedfuture.com·5h
💫Effect Systems
Ubuntu Integrates Rust uutils to Replace GNU Coreutils for Memory Safety
webpronews.com·3h
🔒Rust Borrowing
Epoch Raises $1.2M for Building a Solver Coordination Layer
globenewswire.com·4h
📮Message Queues
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·1d·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers
Java 25’s new CPU-time profiler
osnews.com·14h
📊Memory Profilers
Explaining the LMAX Disruptor
lmax-exchange.github.io·5d·
Discuss: DEV
🎯Ring Buffers
Balance between refactoring and inheritance in your code
github.com·9h·
Discuss: Hacker News
🧪Compiler Testing
Data Engineering Core Concepts
dev.to·1d·
Discuss: DEV
🗄️Database Engines
Sept 2025 – MacAdmins Meeting
apple.lib.utah.edu·3h
📏Linear Memory
Solving LeetCode's "Add Two Numbers" Iteratively and Recursively - Part 1
leetcode.com·1d·
Discuss: DEV
🪢Rope Data Structures
Verlog: A Multi-turn RL framework for LLM agents
blog.ml.cmu.edu·6h
🎭Erlang OTP