TigerBeetle's simulator VOPR was enhanced with a new 'liveness' mode to complement the existing 'safety' mode. Safety mode checks serializability under random faults, while liveness mode verifies that a quorum of replicas can maintain cluster availability by permanently freezing non-core replica failures after an initial fault injection phase. The new mode successfully discovered bugs including a resonance issue in the repair algorithm.
Linux2Win is a C++20 Windows utility that automatically detects Linux disks and USB drives, parses Ext2/3/4 filesystems, and projects Linux data partitions as native Windows folders via ProjFS while enforcing read-only access. It includes real-time hotplug monitoring, a system tray daemon, and a setup wizard for seamless integration.