nialv7

47 ms·

1. 661.▲
   by nialv7 10y ago

   This is not true. You can have oracles for uncomputable problems, like oracle for the halting problem.
2. 662.▲
   by nialv7 10y ago

   Off topic question: If I was to find a job right now, what's the best "engineering company" I can work for?
3. 663.▲
   by nialv7 10y ago

   What you are doing and claiming is ridiculous. For one, how are you doing to deal with stale records?
4. 664.▲
   by nialv7 10y ago

   I'm happy that we have EFF fighting on our side. But this looks like a war us consumers are losing...
5. 665.▲
   by nialv7 10y ago

   I was one as well. But my case is probably not as convincing. It was ~2 weeks ago, I ate a bar at ~11am (which tasted the same as any other bar), then I ate lunch at ~1pm. By 4pm I started feeling nauseous. But luckily I was able to get to
6. 666.▲
   by nialv7 10y ago

   Or the realmode x86 emulator in Xorg server.
7. 667.▲
   by nialv7 10y ago

   You are misunderstanding. WebRTC itself already needs a central server. Also, what you described is certainly a good thing. But I'm pretty sure it doesn't _have to_ be done in a browser.
8. 668.▲
   by nialv7 10y ago

   LDC got mentioned out of nowhere. Looks like D is gaining some traction recently :)
9. 669.▲
   by nialv7 10y ago

   'delete' is in the process of being deprecated: https://dlang.org/deprecate.html#delete
10. 670.▲
    by nialv7 10y ago

    Can you going into some details about this? Like proofs?
11. 671.▲
    by nialv7 10y ago

    Have email on you own domain is risky unless you active manage it. Otherwise forget to renew your domain once, all your credentials are gone...
12. 672.▲
    by nialv7 10y ago

    Not if they have circular references... (I agree that Rust makes it difficult to do this accidentally) Also, remember mem::forget() is not unsafe I'm pointing this out because I don't want people to have wrong expectation of Rust.
13. 673.▲
    by nialv7 10y ago

    I don't understand your complain... I can boot a current day kernel with init=/bin/sh just fine.
14. 674.▲
    by nialv7 10y ago

    Nit: Rust doesn't prevent memory leak.
15. 675.▲
    by nialv7 10y ago

    I thought there would be some Ian Banks on the list, given Elon named the drone ships after his work.
16. 676.▲
    by nialv7 10y ago

    Uhm, how do one compute the cubic root of x^3 modulo N?
17. 677.▲
    by nialv7 10y ago

    And that's why D has the 'inout' qualifier
18. 678.▲
    by nialv7 10y ago

    The kernel driver for newer AMD cards is developed and open sources by AMD itself . For the user land, you have choice between the open source driver, Mesa, or the proprietary one, AMDGPU-PRO. If you want to follow the advancement of Linux
19. 679.▲
    by nialv7 10y ago

    Someone found a hammer, and now everything looks like thumbs
20. 680.▲
    by nialv7 10y ago

    Don't get me wrong, I'm not against disruption at all. It's just there're cases where doing this doesn't make sense. Write a new text editor, invent a new programming language, sure. But writing a new cryptography
21. 681.▲
    by nialv7 10y ago

    Memory safety issues are not the only vulnerabilities in a cryptography library. A simple example would be timing attacks. Writing a cryptography library from scratch because the old one has too many security holes? Your implementation is l
22. 682.▲
    by nialv7 10y ago

    Rustls use ring for crypto, and it seems most of the crypto algorithm code of ring is written in C/assembly. Kind of destroy the purpose?
23. 683.▲
    by nialv7 10y ago

    And Google Trend already let you differentiate between Go the game and Go programming language (just input the terms and it will show those options). I hope they will offer the same on their web search
24. 684.▲
    by nialv7 10y ago

    What I found to be worrying is that the researchers seems to be unclear about how MSC is causing the improvements. Also the improvements continues after the stem cells have disappeared. This seems to suggest the effect doesn't come fro
25. 685.▲
    by nialv7 10y ago

    I wish GDB is modular, and language supports are just plugins. This way adding language support doesn't have to go through upstream GDB developers
26. 686.▲
    by nialv7 10y ago

    I believe await uses generators instead of CPS
27. 687.▲
    by nialv7 10y ago

    I think by 'lock-free' this author means 'deadlock free'
28. 688.▲
    by nialv7 10y ago

    Because what they want to achieve is fundamentally impossible, and have to be done in a security-through-obscurity way.
29. 689.▲
    by nialv7 11y ago

    I can't find ARA in the schedule :(
30. 690.▲
    by nialv7 11y ago

    Elon Musk always states the mission of SpaceX is to "make human a multiplanet species". This makes me always see the advancement of SpaceX advancement of humanity, not just a single country. But judging from the U-S-A chanting, no