SpacetimeDB: a short technical review