Comment by _doctor_love
11 hours ago
> 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?
11 hours ago
> 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?
Here, "proven" can be read as a synonym for "demonstrated".