Murat Buffalo's blog provides insights into computer science research, machine learning, and artificial intelligence. Readers can explore articles covering topics such as algorithm design, data mining, and computational biology. Additionally, they can learn about machine learning algorithms, deep learning techniques, and applications of AI in various domains.

Metadata

TLA+ mental models

Break Paxos

Claude Code experiment: Visualizing Hybrid Logical Clocks

OSTEP Chapter 10: MultiProcessor Scheduling

Measuring Agents in Production

Modeling Token Buckets in PlusCal and TLA+

The Serial Safety Net: Efficient Concurrency Control on Modern Hardware

TLA+ as a Design Accelerator: Lessons from the Industry

Building a Database on S3

800th blog post: Write that Blog!