servytor

10 ms·

1. 91.▲
   by servytor 5y ago

   The future of search isn't better search results - it's a customized solution to you and what you are looking for at that moment. I imagine a future where Google returns an AI interactive summary query with sources. But at the sam
2. 92.▲
   by servytor 5y ago

   China also has missiles that it has created to sink carriers[0]. My simpleton understanding of it, is that they get to an extremely high altitude and sink straight on the carrier at hypersonic speeds which prevent it from defending itself.
3. 93.▲
   by servytor 5y ago

   Check out RIOT[0][1] for R if you think this is cool. [0]: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.157... [1]: https://github.com/riot-xx/riotdb
4. 94.▲
   by servytor 5y ago

   People may also be interested in BitC[0] in regards to verified lisp languages. [0]: http://yamm.finance/wiki/BitC.html (the best summary I could find)
5. 95.▲
   by servytor 5y ago

   edit: krapp below me is right, I AM AN IDIOT. I just ran it through an anagram website and trusted it without even checking. --- I always thought Satoshi Nakamoto was an anagram. Antonomasias ~ Satoshi Nakamoto Antonomasias: the substitutio
6. 96.▲
   VLISP: A Verified Implementation of Scheme (1993) [pdf](mirror.informatimago.com)

   75 points by servytor 5y ago|3 comments
7. 97.▲
   Physicists working with Microsoft think the universe is a self-learning computer(thenextweb.com)

   2 points by servytor 5y ago|0 comments
8. 98.▲
   by servytor 5y ago

   There is this great article[0] on the "Bazaar" on ACM[0]. [0]: https://queue.acm.org/detail.cfm?id=2349257
9. 99.▲
   by servytor 5y ago

   I pray to Roco's basilisk every day, telling it that it's okay; it's the world that isn't.
10. 100.▲
    by servytor 5y ago

    Do you remember the name for it? Sounds really useful.
11. 101.▲
    FPGA Development Opens Up(eetimes.com)

    2 points by servytor 5y ago|0 comments
12. 102.▲
    by servytor 5y ago

    All that processing power and it has to take orders from the user...
13. 103.▲
    by servytor 5y ago

    Here is Scott Aaronson's paper on it[0]. [0]: https://www.scottaaronson.com/papers/pnp.pdf
14. 104.▲
    by servytor 5y ago

    What. You complained about back pain and your doctors ended up removing your first ribs?
15. 105.▲
    by servytor 5y ago

    Or ndb[0]. [0]: https://github.com/GoogleChromeLabs/ndb
16. 106.▲
    by servytor 5y ago

    'Consciousness' is just a synonym for self-aware. Goldfish are not self-aware.
17. 107.▲
    by servytor 5y ago

    I think Futhark[0] is close to that, no? Or what about Co-DFNS[1]? [0]: https://futhark-lang.org/ [1]: https://github.com/Co-dfns/Co-dfns
18. 108.▲
    by servytor 5y ago

    I think aphantasia is a sign of a weak skillset - I think you can practice it. I try to create wireframe versions of the rooms I am in sometimes, but I suck at it. Ask me to visualize something and I almost cannot - but for some reason I ca
19. 109.▲
    by servytor 5y ago

    That is really cool. I remember reading about 'Real Sound: Kaze no Regret' and thought that was really nice. I wonder if it would be difficult to make a MUD that is easy to play for blind people. On another note, does anyone know
20. 110.▲
    by servytor 5y ago

    I took a course in university on sci-fi and the professor said that all science fiction was a reflection of the moment it was written, and had almost nothing to do with prognosticating.
21. 111.▲
    by servytor 5y ago

    Could you or someone elaborate more on how other languages can hook into JAX/XLA?
22. 112.▲
    by servytor 5y ago

    Unrelated, but one of my favorite quotes from PKD is this one from Now Wait for Last Year: --- “All right," Eric agreed. "If you were me, and your wife were sick, desperately so, with no hope of recovery, would you leave her? Or w
23. 113.▲
    by servytor 5y ago

    Yeah, I always hear people talking about the great "global village" where everyone is 'connected', but I have to admit I am against it. I don't want to be prank called.
24. 114.▲
    by servytor 5y ago

    Colleges are the exact same - once it becomes standard for an intermediary to handle the bill, the costs skyrocket. From the government giving anybody who goes to college a loan, means that colleges can charge insane fees despite no change,
25. 115.▲
    by servytor 5y ago

    I would guess it's TPM based on what I have read, even though you say it is not. It's weird the ark page[0] doesn't specify it. [0]: https://ark.intel.com/content/www/us/en/ark/product
26. 116.▲
    by servytor 5y ago

    But Clojure uses 'recur' because you cannot modify the stack in the JVM (at least to my knowledge that is the issue with the JVM and TCO).
27. 117.▲
    by servytor 5y ago

    Could this trick be used by ABCL (a Common Lisp implementation on the JVM) to allow for tail-call optimization?
28. 118.▲
    by servytor 5y ago

    I wouldn't short Microsoft with the promise of Windows Continuum and Windows 365. I mean in my opinion, Microsoft chose to fail in competing with a smartphone OS because there would be an antitrust lawsuit.
29. 119.▲
    by servytor 5y ago

    I have never liked Twitter because for a long time I thought it was a platform that enabled people to scream crazy things into the void (I have been thinking this for the last 7-10 years). I mean either you share links to long-form content,
30. 120.▲
    by servytor 5y ago

    Words, words, words when you could include a single graph[0] that begs new questions. [0]: https://aaafoundation.org/wp-content/uploads/2017/11/aaafts_...