Hacker News new | past | comments | ask | show | jobs | submit
_doctor_love | on: Ghostty 1.4
> 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 | parent
Here, "proven" can be read as a synonym for "demonstrated".
_doctor_love | root | parent
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. :)