Pavel Tcholakov
@paveltcholakov
Turing machine tamer, also interoperates with human beings. Love hi-perf systems and teams! Working on @restatedev โ previously engineering @stedi, @awscloud.
ID: 14169243
http://pavel.tcholakov.net 18-03-2008 11:31:20
5,5K Tweet
938 Followers
1,1K Following
Today, Shreesha (Shreesha G Bhat) presented our work on Speclog at OSDI 25. Speclog is a new shared log that achieves low end-to-end latencies for real-time applications. (1/8)
I wrote a piece on building ๐๐๐ฟ๐ฎ๐ฏ๐น๐ฒ ๐๐ด๐ฒ๐ป๐๐ using durable execution, communication, and state in restate. It matches so well, it still sometimes feels too good. The approach works with popular frameworks like AI SDK and OpenAI Developers agent SDK, or even with
Today is the new semester for CMU Database Group's Intro to Database Systems! We're going harder into material than ever before. Projects are more challenging but you can use LLMs to help. We also have 10min talks each Wed from leading DB companies. Follow on YouTube: 15445.courses.cs.cmu.edu/fall2025
Weekend read: ๐๐ด๐ฒ๐ป๐๐ ๐๐ต๐ผ๐๐น๐ฑ ๐ฏ๐ฒ ๐ฆ๐ฒ๐ฟ๐๐ฒ๐ฟ๐น๐ฒ๐๐ (๐ฎ๐ป๐ฑ ๐๐๐ฟ๐ฎ๐ฏ๐น๐ฒ) Serverless platforms are amazing for many AI agents, especially if they do a lot of bursty work (chat sessions with long inactivity) or react to events (approvals). Two things are needed
๐ฅ Today weโre excited to announce new funding for `grep` (at a $1.3B valuation) to continue building the foundation of agent observability and text search infrastructure. grep began as a humble UNIX utility in 1973. Since then, itโs evolvedโthrough recursive innovation and the