furcyd

8 ms·

1. 91.▲
   Amid Sextortion’s Rise, Computer Scientists Tap A.I. To Identify Risky Apps(nytimes.com)

   1 points by furcyd 3y ago|0 comments
2. 92.▲
   When is a computer proof a proof?(lawrencecpaulson.github.io)

   2 points by furcyd 3y ago|0 comments
3. 93.▲
   Active Introduction to Discrete Mathematics and Algorithms [pdf](cusack.hope.edu)

   3 points by furcyd 3y ago|0 comments
4. 94.▲
   Ian Hacking has died(nytimes.com)

   121 points by furcyd 3y ago|8 comments
5. 95.▲
   Morris Tanenbaum, inventor of the silicon transistor, has died(spectrum.ieee.org)

   470 points by furcyd 3y ago|100 comments
6. 96.▲
   What Makes Mathematicians Believe Unproved Mathematical Statements? [pdf](mxphi.com)

   2 points by furcyd 4y ago|0 comments
7. 97.▲
   Remembering Data Compression Pioneer Jacob Ziv(spectrum.ieee.org)

   3 points by furcyd 4y ago|0 comments
8. 98.▲
   Gordon E. Moore, the Intel Co-Founder Behind Moore’s Law, Dies at 94(nytimes.com)

   3 points by furcyd 4y ago|0 comments
9. 99.▲
   William A. Wulf, Pioneering Computer Scientist, Dies at 83(nytimes.com)

   4 points by furcyd 4y ago|1 comments
10. 100.▲
    Making Deepfakes Gets Cheaper and Easier Thanks to A.I(nytimes.com)

    2 points by furcyd 4y ago|1 comments
11. 101.▲
    IT’s lovefest with GPT-3 needs to meet reality now(computerworld.com)

    3 points by furcyd 4y ago|2 comments
12. 102.▲
    What We Talk About When We Talk About Mathematics (2022) [pdf](philsci-archive.pitt.edu)

    60 points by furcyd 4y ago|10 comments
13. 103.▲
    The Imminent Danger of A.I. Is One We’re Not Talking About(nytimes.com)

    6 points by furcyd 4y ago|2 comments
14. 104.▲
    Why do A.I. chatbots tell lies and act weird? Look in the mirror(nytimes.com)

    13 points by furcyd 4y ago|7 comments
15. 105.▲
    Does mathematics need a philosophy?(logicmatters.net)

    102 points by furcyd 4y ago|162 comments
16. 106.▲
    Novel Proofs of the Infinitude of Primes(rjlipton.wpcomstaging.com)

    2 points by furcyd 4y ago|0 comments
17. 107.▲
    Duolingo’s AI learns what you need to learn(spectrum.ieee.org)

    57 points by furcyd 4y ago|43 comments
18. 108.▲
    Artificial intelligence just lost a leader(rjlipton.wpcomstaging.com)

    152 points by furcyd 4y ago|34 comments
19. 109.▲
    Newly Discovered Asteroid to Pass Close to Earth Tonight(nytimes.com)

    2 points by furcyd 4y ago|0 comments
20. 110.▲
    Why Study Logic?(rjlipton.wpcomstaging.com)

    3 points by furcyd 4y ago|0 comments
21. 111.▲
    ChatGPT tried to write an obit for Martin Davis. What it got right, wrong(blog.computationalcomplexity.org)

    1 points by furcyd 4y ago|0 comments
22. 112.▲
    ChatGPT for Educators(docs.google.com)

    1 points by furcyd 4y ago|0 comments
23. 113.▲
    Memories: Artificial Intelligence at Stanford in the 70s(lawrencecpaulson.github.io)

    72 points by furcyd 4y ago|14 comments
24. 114.▲
    Last year marked the end of an era in spaceflight–here’s what we’re watching(arstechnica.com)

    2 points by furcyd 4y ago|0 comments
25. 115.▲
    Martin Davis Passed Away on Jan 1, 2023(blog.computationalcomplexity.org)

    2 points by furcyd 4y ago|0 comments
26. 116.▲
    What's Next for Quantum Computing(technologyreview.com)

    1 points by furcyd 4y ago|0 comments
27. 117.▲
    Cargo Cult Quantum Factoring(scottaaronson.blog)

    17 points by furcyd 4y ago|0 comments
28. 118.▲
    Video Game Workers Get a Union Foothold at Microsoft(nytimes.com)

    3 points by furcyd 4y ago|0 comments
29. 119.▲
    A.I. Will Change Education. Don’t Let It Worsen Inequality(nytimes.com)

    3 points by furcyd 4y ago|3 comments
30. 120.▲
    A pattern for responsive canvas illustrations(jgibson.id.au)

    2 points by furcyd 4y ago|0 comments