Optimizing ClickHouse for Intel's 280 core processors
clickhouse.com·15h·
Discuss: Lobsters, Hacker News, r/programming
💨Cache Analysis
The Ternary Manifesto
homepage.cs.uiowa.edu·1d
📝Concrete Syntax
GTA -- An ATSP Method: Shifting the Bottleneck from Algorithm to RAM
arxiv.org·6h
🚀SIMD Text Processing
Advent of Code: Libraries
elly.town·1d
🔒Type Safety
Modern memory is still vulnerable to Rowhammer vulnerabilities — Phoenix root privilege escalation attack proves that Rowhammer still smashes DDR5 security to b...
tomshardware.com·18h
🧠Memory Forensics
Supporting our AI overlords: Redesigning data systems to be Agent-first
muratbuffalo.blogspot.com·17h·
Discuss: www.blogger.com
🗄️Database Internals
Underrated Postgres: Build Multi-Tenancy with Row-Level Security
simplyblock.io·1h·
Discuss: Hacker News
🔐CBOR
Reworking Memory Management in CRuby
railsatscale.com·1d·
Discuss: Hacker News
🧠Memory Allocators
Safepoints and Fil-C
fil-c.org·2d·
Discuss: Hacker News
🧠Separation Logic
Very necessary update to a liquid cooled SilverStone RM61-312 Epyc 9654 on ASRockRack GENOAD8X-2T/BCM
reddit.com·1d·
Discuss: r/homelab
🧲RISC-V Archaeology
Erase and Rewind: Precise LLM Memory Manipulation for Safer AI by Arvind Sundararajan
dev.to·2d·
Discuss: DEV
💻Local LLMs
We have outgrown the Process model
sidhion.com·5h·
Discuss: Lobsters, Hacker News, r/programming
⚙️Operating System Design
Unusual Memory Bit Patterns | Software Verify
softwareverify.com·3h
🧠Separation Logic
haskell/mtl
github.com·9h
🔗Functional Compilers
How to implement the Outbox pattern in Go and Postgres
medium.com·1d·
Discuss: Lobsters
🔐CBOR
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·1d
⚔️Lean Tactics
Swift 6.2 advances the language meaningfully
victorwynne.com·1d·
Discuss: Hacker News, r/programming
🔗Functional Compilers
How InfluxDB 3 Brings Processing Directly Into the Database
thenewstack.io·17h
🌊Stream Processing
I uncovered an ACPI bug in my Dell Inspiron 5567. It was plaguing me for 8 years.
triangulatedexistence.mataroa.blog·5h·
Discuss: r/programming
🧪Hardware Fuzzing
System Instruction Fixed Point
funcall.blogspot.com·1d·
Discuss: www.blogger.com
⚡Proof Automation