omegalulw

38 ms·

451.
by omegalulw 5y ago
This is misleading. Formally verifying the behaviour of any large software is a really tall task, no matter what language they are written in.
452.
by omegalulw 5y ago
Except that the testing from regulatory authorities is to verify you are doing what you are supposed to be doing. It's not QA.
453.
by omegalulw 5y ago
The fundamental problem is that once your break/compartmentalize into layers it's harder apply global optimizations at local layers. You are trading off ease of implementation and compositionality for performance. You have to bub
454.
by omegalulw 5y ago
Your argument doesn't make sense, a triple speedup is still a LOT and should easily be noticeable.
455.
by omegalulw 5y ago
This. And I would go so far as to argue that the up from cost of adding types is not as big as people make it out to be. If I don't specify a type in the input, I have to check in the method body that what was passed in was something u
456.
by omegalulw 5y ago
Is this distinction even necessary to make here? For all practical database usages, I doubt you need enough precision to have to account for special and general relativity.
457.
by omegalulw 5y ago
> The majority of games now support Linux according to ProtonDB This is misleading IMO. The dashboard doesn't do a good job of letting me know what proportion of mainstream games (from Ubisoft, EA, etc) are supported. And what the p
458.
by omegalulw 5y ago
Can't you do this already with Python type annotations? I am a fan of typing in general (not just for data model as this seems to be) and using types everywhere saves a lot of debugging hassle and even allows for catching some bugs w
459.
by omegalulw 5y ago
I suppose they don't want to support legacy hardware. If they let it install, people will complain when something breaks.