points by _doctor_love 2 days ago | 0 comments
> 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?
When you say you've proven, are you hinting at use of formal verification?
[–] throwaway2037 1 day ago
[–] _doctor_love 1 day ago