🎯
Focusing
Highlights
- Pro
TLA+
tlaplus
TLA+ is a formal specification language developed to design, model, document, and verify reactive systems.
Martin Kleppmann
ept
Distributed systems + security protocols researcher at University of Cambridge; author of Designing Data-Intensive Applications; formerly Rapportive/LinkedIn
University of Cambridge Cambridge, UK
Model Context Protocol
modelcontextprotocol
An open protocol that enables seamless integration between LLM applications and external data sources and tools.
Ahmet Alp Balkan
ahmetb
Working on compute orchestration with Kubernetes at large fleets.
@linkedin Seattle, WA
Kardel Ruveyda
KardelRuveyda
Digital Cloud Solution Architect @microsoft | Mathematical Engineer | Speaker | Blogger | Founder&Organizer @thecoderverse
Microsoft Rivendell