adontz

27 ms·

1. 271.▲
   by adontz 7y ago

   Also, I'm not talking about theoretical proof of equivalence, I'm talking about simple test like assert func(params) == rewrite(func)(params) for some reasonable set of func and params. Totally enough to catch problems li
2. 272.▲
   by adontz 7y ago

   If we are talking about arithmetic operations, then I believe no.
3. 273.▲
   by adontz 7y ago

   I am pretty sure that if you rewrite code, you should test rewritten version for equivalence. GCC has about 300K tests for a reason. I would not say kernel is less important.
4. 274.▲
   by adontz 7y ago

   Looks like there are no unit tests in place? Sad.
5. 275.▲
   by adontz 7y ago

   I think what we really need, the enabler of migration is, and always was, decent collaborative office suite. Acceptable collaboration level evolves over time, that's true, but otherwise requirements are the same. There is no point is f
6. 276.▲
   by adontz 7y ago

   If we can't get precise time securely and do not have real-time clock, it does not mean, there are no options left. For instance, device may be booted for the first time in secure controlled environment and synchronize time fro trusted
7. 277.▲
   by adontz 7y ago

   Because some real life systems are unintentionally racist, provide more precise results for light skinned people.
8. 278.▲
   by adontz 7y ago

   How is that even possible? it's direct PCI DSS violation! Is not there any supervising body?
9. 279.▲
   by adontz 8y ago

   I really cannot get why reverting to JavaScript is better. I believe Mozilla people are professional and know what they do, but some explanation would be welcome.
10. 280.▲
    by adontz 8y ago

    I do not think imperative languages are better, because they suck at parallelization. And creating infrastructure elements in parallel is crucial. What I see as optimal is tool like make, which calls other command line tools. Resolves depen
11. 281.▲
    by adontz 8y ago

    Bookmarked in the name of science!
12. 282.▲
    by adontz 8y ago

    While i386 may be enough to run a plane, what other software or hardware of the same age is still in use?
13. 283.▲
    by adontz 8y ago

    And sometimes networks go down, but nobody dies.
14. 284.▲
    by adontz 8y ago

    WinBox is not that simple and cannot be replaced with SSH. WinBox works on Ethernet level, so one can connect to router by MAC address and recover when IP level configuration is invalid.
15. 285.▲
    by adontz 8y ago

    I'd like to download these CVs as PDF :-)
16. 286.▲
    by adontz 8y ago

    >> Perceived lower prices is good for Amazon.com. Exactly. For Amazon.
17. 287.▲
    by adontz 8y ago

    Never had 200ms lag on stock Windows. I'd suspect 3rd party antivirus or data loss prevention software to slow down everything except WSL console. Many AVs/DLPs still can't look into WSL. They are all piece of crap rendering
18. 288.▲
    by adontz 8y ago

    I had a conversation with Amazon manager two days ago, exactly about AmazonBasics and how unfair it is to competitor vendors. And his answers was "Our vision is that lower price is good for customer". To be honest, I don't bu
19. 289.▲
    by adontz 8y ago

    Pilot priorities are: aviate, navigate, communicate. If you listen to incident recordings often pilots tell tower to wait and do not respond immediately. So radio calls are always low priority compared to actual flying. But I agree with poi
20. 290.▲
    by adontz 8y ago

    Don’t worry too much about choosing a name and having a package with that name already take. If your project becomes more popular than the project that has taken the name already, the owner of the package will usually give you the package n
21. 291.▲
    by adontz 8y ago

    http://publication.pravo.gov.ru/Document/View/00012019031800... While it's not easy to read, because of overly complex sentence structure, it says "indecent form of disrespect". Anyway, I'm pre
22. 292.▲
    Ask HN: What are good bad HTTP clients you use?

    1 points by adontz 8y ago|1 comments
23. 293.▲
    by adontz 8y ago

    Not exactly. You say that tolerance was, let's say 20, and it was written on the box, but now it is 10, and it is written on the box too. I say that it should be "10 (but was 20 a year ago)" and no fine print allowed for seco
24. 294.▲
    by adontz 8y ago

    Not to say they did anything wrong, great work! But if facing the same problem, but for inhouse solution I'd consider using auth_requrest in the first place. https://nginx.org/en/docs/http/ngx_http_auth_r
25. 295.▲
    by adontz 8y ago

    I think if manufacturing process changes significantly (lord help laywers define "significantly") it should be considered a fraud to not notify customers in clear and explicit manner.
26. 296.▲
    by adontz 8y ago

    While it's not free, so IDK if it's acceptable to you, I highly recommend XShell and XFtp. They are so good, I even miss them under Lunux. To be more specific, some features I like most. 1) Rich window layout options, very importa
27. 297.▲
    by adontz 8y ago

    Cannot post link to https://www.timetoplayfair.com/ on Facebook. It says: Oops Something went wrong. We're working on getting it fixed as soon as we can.
28. 298.▲
    by adontz 8y ago

    Nothing special, just usual asyncio Protocol with uvloop policy.
29. 299.▲
    by adontz 8y ago

    With Python/uvloop I can easily get 10K-12K connections per second per core, so 36 cores will be fine with Python too.
30. 300.▲
    by adontz 8y ago

    No, because possession factors are not copyable, but files in laptop definitely are.