All news

2 articles

Min score

blogMurat Demirbas (Metadata)·22 Oct 20264.5
HPTS 2026 (Day 1)
Notes from HPTS 2026 day 1, mostly on AI and the value of formal specifications.
Also in Murat Demirbas (Metadata)
llm-agents distributed-systems formal-verification
blogMurat Demirbas (Metadata)·23 Oct 20264.2
HPTS 2026 (Day 2 and Day 3)
Notes from HPTS 2026 days 2 and 3: hardware trends, object storage, failure handling, consensus and lakehouses.
Also in Murat Demirbas (Metadata)
database-internals distributed-systems object-storage Distributed Consensus