Current status: Fix typo in property (1 min) → rerun verification (50 min) → fix typo in property (3 min) → rerun verification (90 min) → fix typo in property (1 min) → rerun verification (45 min) → ⋯
-
I am always talking about importance of type safety and tooling support with real-time error highlight.. people call me mad and keep writing scripts :)
Not that kind of typos. Bitmaps with properties of physical memory regions and I kept setting the wrong bits..
-
-
I see... have you considered running large amount of parallel subtasks in e.g. AWS lambda if verification can be split?
-
This is one subtask of 79. I did re-run just the one task so I don't waste too much compute resources. (It's one of the easier task in the set. The whole thing takes about a day on an AWS c4.4xlarge instance.)
- Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.