| ▲ | _doctor_love 2 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? | ||
| ▲ | _doctor_love 2 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? | ||