LAVa: Layer-wise KV Cache Eviction with Dynamic Budget Allocation
arxiv.org·1d
🗺️Region Inference
Advancing Semiconductor Design: Intel’s Foveros 2.5D Packaging Technology
semiwiki.com·16h
🔧RISC-V
Symmetric MultiProcessing, Hyper-Threading and scheduling on Maestro
blog.lenot.re·21h
Instruction Fusion
Solving LeetCode's "Add Two Numbers" Iteratively and Recursively - Part 1
dev.to·1d·
Discuss: DEV
🔄Copy Propagation
Building a Simple Stack-Based Virtual Machine in Go
blog.phakorn.com·22h·
📚Stack Data Structures
Python Multiprocessing: Start Methods, Pools, and Communication
dev.to·1d·
Discuss: DEV
🔗Concurrency Primitives
Dolphin Progress Report: Release 2509
dolphin-emu.org·1h
🐹Minimal Go
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·10h·
Discuss: Hacker News
🔗Lexical Scoping
Arguzz: Testing zkVMs for Soundness and Completeness Bugs
arxiv.org·1h
🧪Testing Compilers
Condor Technology To Fly “Cuzco” RISC-V CPU Into The Datacenter
nextplatform.com·13h·
Discuss: Hacker News
🔧RISC-V
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·1d·
🌱Minimal ML
A Kevin week
blog.mitrichev.ch·1d·
🧩Constraint Solvers
Unlock 'Magic' Optimization: Smarter Search When Blindfolded by Arvind Sundararajan
dev.to·9h·
Discuss: DEV
🔍Fuzzy Indexing
Identifying Divergences in HW Designs For High Performance Computing Workloads (LBNL et al.)
semiengineering.com·12h
Performance
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·1d·
🧩Constraint Solvers
The Horton-Strahler number of butterfly trees
arxiv.org·1h
🧮Combinator Calculus
I tried Firecracker microVMs for self-hosted services, and it's surprisingly powerful
xda-developers.com·13h
🛡️Capability VMs
Is IP fragmentation still considered vulnerable?
blog.apnic.net·3h
📡Protocol Stacks
Why You Need to Know How a Database Works Internally?
dev.to·1d·
Discuss: DEV
🗄️Database Engines
Asynchronous Exceptions in Practice (2017)
simonmar.github.io·10h·
Discuss: Hacker News
🔗Concurrency Primitives