HN Explorer

empath75

↗ HN profile [ 68.5 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Show HN: A lean formalization of From Linearity to Borrowing (github.com)

    This is a full proof of the From Linearity to Borrowing paper in Lean https://dl.acm.org/doi/10.1145/3764117 The work was almost entirely done by Claude over the course of 3-4 weeks. It follows the paper and technical…

    1 points 0
  2. I'm Upping My P(Doom) [video] (youtube.com)
    2 points 2
  3. The Message from Deep Space (store.steampowered.com)
    2 points 1
  4. After 40 Years New Mario Glitch Discovered [video] (youtube.com)
    1 points 1
  5. Show HN: Reverse Turing Test (convince an LLM that you are an LLM) (github.com)

    I often see people throw out the idea that a Turing Test is a way to determine if an AI has general intelligence, but a lot of people don't consider that the situation is symmetrical. It is quite possible to run the…

    3 points 0
  6. Welcome to the American Winter (theatlantic.com)
    8 points 1
  7. Destructive Testing of a Chair-Lift (1990) [video] (youtube.com)
    2 points 0
  8. Verizon doesn't know the difference between dollars and cents (2006) [video] (youtube.com)
    3 points 2
  9. The Anti-Snarf Manifesto (buzzfeed.com)
    4 points 0
  10. What P vs. NP is about [video] (youtube.com)
    1 points 0
  11. AI can't cross this line and we don't know why [video] (youtube.com)
    13 points 1
  12. ChatGPT's new voice mode can bark like a dog or laugh like a human (the-decoder.com)
    2 points 0
  13. America's Best Decade, According to Data (washingtonpost.com)
    3 points 1
  14. Aldous Huxley wrote a script for Disney’s Alice in Wonderland (2014) (openculture.com)
    1 points 0
  15. Facebook Groups and YouTube Enabled Viral Spread of ‘Plandemic’ Misinformation (onezero.medium.com)
    2 points 0
  16. Slack as a Message Queue (github.com)
    1 points 0
  17. The Paranoid Style in American Politics (1964) (harpers.org)
    2 points 0
  18. The Roaring Zeros (1999) (wired.com)
    1 points 0
  19. Over 100 Militant Groups Have Been Promoting Second Civil War on Facebook (gizmodo.com)
    2 points 0
  20. How Covid-19 is wreaking havoc on our ability to make things (fivethirtyeight.com)
    1 points 0
  21. Far right extremists helped create Clearview AI (m.huffpost.com)
    1 points 0
  22. Picketty Takes on the Ideology of Inequality (bostonreview.net)
    4 points 1
  23. Rust Async and the Terrible, Horrible, Bad Day (medium.com)
    8 points 0
  24. The Pope’s Astronomer (youtu.be)
    1 points 0
  25. Heisenberg – The debate between Democritus and Plato (1955) (github.com)
    4 points 0