alt Hacker News> 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?
> 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".