Item

_doctor_love · 2026-10-27T23:24:28.000Z

> And at scale I've proven 10,000 active (input/output happening) terminals on a Linux server with 4 cores and 8 GB of RAM.

When you say you've proven, are you hinting at use of formal verification?

throwaway2037 · 2026-10-28T08:17:13.000Z

Here, "proven" can be read as a synonym for "demonstrated".

_doctor_love · 2026-10-28T16:09:24.000Z

Right, this was my assumption. I think my question got misinterpreted in terms of tone (viz the downvotes). But I was nurturing a hope that Mitchell might come back and say yes then share some wisdom. :)