Hacker News
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?

[–] throwaway2037 1 day ago
Here, "proven" can be read as a synonym for "demonstrated".
[–] _doctor_love 1 day ago
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. :)