5 ms·

We're planning on formally verifying the algorithm once it stabilizes.

• ggggtez 8y ago
  So... what was the purpose of me reading this non-announcement again?