General
The post argues that regular web components (with Shadow DOM) are not ideal for marketing sites and proposes CSS Web Components—CSS-only custom elements that avoid JavaScript. It explains HTML Web Com
Database
Extending MVCC to be serializable discusses how an MVCC-based isolation that yields snapshot isolation can be augmented to serializable. It covers anti-dependencies, pivot transactions, and the Cahill et al. approach, along with a TLA+ SSI module and model-checking refinements, including aborted reads and commits. The post also demonstrates verification via refinement mappings and offers reflections on extending existing specifications.