Berlin-based startup Restate has closed a $20 million Series A round led by Singular, with participation from Redpoint Ventures and Capital One Ventures. The company, which builds infrastructure to make multi-step software workflows resilient to crashes and network failures, has recently signed several six- and seven-figure customer contracts, including with coding platform Replit. Restate built its own storage, replication and redundancy systems rather than relying on an external database, according to co-founder Stephen Ewen.
techcrunch.com
· 2026-09-30
Nature's Futures section has published a short science-fiction story titled 'The buck stops with me,' in which a narrator returns home to find notes apparently written by their future self urging a trip to a bar for 'darts' and warnings about disrupting causality. The narrator exchanges handwritten notes with this future self through hidden locations around the apartment, debating whether the messages are real time travel, a prank, or a hallucination.
nature.com
· 2026-09-30
An interactive tutorial walks through TLA+, a formal specification language used to describe transition systems and verify their properties. It illustrates core concepts like states, actions, safety and liveness properties using a leader-election example among three computers, showing how a model checker can explore all possible states and surface counterexamples when rules are violated.
reasonable.io
· 2026-09-27
A new project called Lossless-memory offers a long-term memory system for personal AI assistants that stores complete conversation logs rather than summarizing or embedding them for similarity search. Every record carries a timestamp, forming what the creator calls a 'Temporal Backbone,' enabling time-first queries like 'yesterday evening, about the budget.' The system has reportedly been running daily since July 2026 for a single user as the memory layer of an AI assistant.
github.com
· 2026-09-21
Workflow orchestration startup Temporal announced a $550M Series E funding round valuing the company at $12.55 billion. The round was co-led by Lightspeed, Wellington Management, Goldman Sachs Alternatives, and Tiger Global, with participation from T. Rowe Price, SV Angel, and returning backers including a16z, Sequoia, and Index. The company says the capital will help it support increasingly long-running AI agents and complex enterprise systems that require durable execution.
temporal.io
· 2026-09-14
GoKawiil