sanxiyn

1038 ms·

1. 2851.▲
   by sanxiyn 9y ago

   Fuchsia kernel RISC-V port: https://github.com/slavaim/riscv-magenta
2. 2852.▲
   by sanxiyn 9y ago

   By maturity I meant something like "continuous opeartion for a year with cryptographically signed live update (including cryptography themselves, implemented in VM)", which Urbit did. But okay, I am also interested in competing pr
3. 2853.▲
   by sanxiyn 9y ago

   I am very interested to hear about other competing P2P overlay network with embeddable VM of similar maturity.
4. 2854.▲
   by sanxiyn 9y ago

   Unlikely, since consortium includes Hynix. Hynix is #4 flash memory producer, Toshiba is #2. Hynix certainly has interest in actual business.
5. 2855.▲
   by sanxiyn 9y ago

   We really should work on making defensive publication easier and more recognized.
6. 2856.▲
   by sanxiyn 9y ago

   FYI, here is list of pgloader (direct) dependencies (35 of them): abnf, alexandria, asdf, asdf-finalizers, asdf-system-connections, bordeaux-threads, cffi, command-line-arguments, csv, db3, drakma, esrap, fad, flexi-streams, interpol, local
7. 2857.▲
   by sanxiyn 9y ago

   Why gratuitous name collision? Unicore is an instruction set architecture. Linux kernel port is upstream. https://en.wikipedia.org/wiki/Unicore
8. 2858.▲
   by sanxiyn 9y ago

   In "Adversarial Examples for Evaluating Reading Comprehension Systems" https://arxiv.org/abs/1707.07328 , it was found that adding a single distracting sentence can lower F1 score of BiDAF (which is used in de
9. 2859.▲
   by sanxiyn 9y ago

   This reminds me of TCCBOOT.
10. 2860.▲
    by sanxiyn 9y ago

    iPhone provides software update much longer (typically two times longer) than any Android phones in the market, so it actually has longer life. If you plan to use it for a long time, it makes sense. I agree if you plan to use iPhone for les
11. 2861.▲
    by sanxiyn 9y ago

    Well, there's also nonconvex optimization, which is not exactly easy. On the other hand, "just use Adam" mostly works...
12. 2862.▲
    by sanxiyn 9y ago

    And a fault was found! The original proof, as published, is incorrect. The error and the fix was published in "A revision of the proof of the Kepler conjecture" (2009). https://arxiv.org/abs/0902.0350 Note th
13. 2863.▲
    by sanxiyn 9y ago

    If you write a proof in sufficient detail (which nobody does but is manifestly possible), it can be verified with no understanding at all. Indeed, it can be verified by ~300 lines of Python: http://us.metamath.org/downloads&
14. 2864.▲
    by sanxiyn 9y ago

    Indeed. We now actually have some math results of interest for which we have only formal proofs and no human proofs. https://arxiv.org/abs/1509.05468 is an example.
15. 2865.▲
    by sanxiyn 9y ago

    Yes, I.F. is the one and the same.
16. 2866.▲
    by sanxiyn 9y ago

    It is realistic in the sense that it has already been done! But it's still laborious in the extreme. Kepler conjecture was stated in 1611 and had been unsolved since. Thomas Hales started a project to attack it in 1992. After six years
17. 2867.▲
    by sanxiyn 9y ago

    This is unrelated to the current administration. "No detectable change in storm" has been the finding for at least a decade. (I just checked AR4 published in 2007.) Your allegation of using more stringent test is also groundless.
18. 2868.▲
    by sanxiyn 9y ago

    The article gave an example of FARA. Do you think FARA cracks down on free speech?
19. 2869.▲
    by sanxiyn 9y ago

    Scientific consensus, as published by IPCC AR5, is that there was no clear change in floods, droughts, storms in the last century. People are often surprised to find this because of sensational media reports, but that's what we have.
20. 2870.▲
    by sanxiyn 9y ago

    I didn't know about FARA(Foreign Agent Registration Act), "that requires any individual acting on behalf of foreign interests to register as a foreign agent with the State Department", also "passed in 1938 to counter Ger
21. 2871.▲
    by sanxiyn 9y ago

    Now, it would be lovely if coremltools could support ONNX and convert ONNX model to CoreML.
22. 2872.▲
    by sanxiyn 9y ago

    Asian financial crisis of 1997 didn't affect China much.
23. 2873.▲
    by sanxiyn 9y ago

    I already agreed function name resolution isn't OOP. My argument was that it is "OOP", with quotes. My supporting evidence is that people consider C++ without any dynamic dispatch as "OOP", with quotes.
24. 2874.▲
    by sanxiyn 9y ago

    I actually think having syntactic methods is an important (if not the most important) part of "OOP". You compared x.foo() with foo(x), but that's the wrong comparison. The correct comparison is that when x if of type Tree, x.
25. 2875.▲
    by sanxiyn 9y ago

    Yes, but that doesn't help when T is not a reference type.
26. 2876.▲
    by sanxiyn 9y ago

    Well, "neural nets that come up with causal models" is a research problem and we don't know how to do so.
27. 2877.▲
    by sanxiyn 9y ago

    Detecting dimming is actually surprisingly difficult and currently partly done by humans using Mechanical Turk-like platform. https://www.planethunters.org/
28. 2878.▲
    by sanxiyn 9y ago

    Nope, Transformer is still trained with gradient descent.
29. 2879.▲
    by sanxiyn 9y ago

    https://arxiv.org/abs/astro-ph/0501331 includes a table (as far as I know, exhaustive) of historical Korean nova records.
30. 2880.▲
    by sanxiyn 9y ago

    Genome-wide association study identifies 74 loci associated with educational attainment https://www.nature.com/nature/journal/v533/n7604/full/nature... We are beginning to identify genes that determ