swagmoney1606

10 ms·

1. 31.▲
   by swagmoney1606 3y ago

   lmaooooo
2. 32.▲
   by swagmoney1606 3y ago

   > Would you be able to spot a Ramanujan from the dross? Yes. We would do this by analyzing their arguments for logical errors, then testing their new theory, then hopefully proving their new theory. The difference between a crazy and gen
3. 33.▲
   by swagmoney1606 3y ago

   Same here, I've been doing chatGPT -> scad or blender scripts, but it ain't the same at all
4. 34.▲
   by swagmoney1606 3y ago

   Do you know if the low-level technical report is available? I love reverse engineering firmware, and this sounds like a holy grail. I mean a freaking train? Ugh someone should drop binaries.
5. 35.▲
   by swagmoney1606 3y ago

   Lean4 has been a pleasure to learn so far! Starting with the natural numbers game was great for me: https://adam.math.hhu.de/
6. 36.▲
   by swagmoney1606 3y ago

   I think about this story a lot. Is it bad it's nearly a price I'd pay? Is it dumb that I wish more than anything, that I could live forever? All I wish, is that I could learn all there is to learn, see all there is to see, and cre
7. 37.▲
   by swagmoney1606 3y ago

   THEY MADE PLEASE DRINK VERIFICATION CAN REAL? WHAT THE FUCK
8. 38.▲
   by swagmoney1606 3y ago

   Highly recommend the natural number game
9. 39.▲
   by swagmoney1606 3y ago

   I read a very interesting text that made the assertion that graph theory is one of the few domains of mathematics that cannot be reduced to set theory. The argument has something to do with pictorial representations of unlabeled graphs. I&#
10. 40.▲
    by swagmoney1606 3y ago

    IIS makes me want to explode and then die
11. 41.▲
    by swagmoney1606 3y ago

    This seems like the most likely path to me. I think Sam was getting them on the hook for a LOT of shit they didn't want to be on the hook for
12. 42.▲
    by swagmoney1606 3y ago

    Same with disk! I'm running Arch with i3wm. I didn't get ANY notification or helpful error message when I ran out! Instead, somehow, ghcup installed a corrupted version of cabal, that would segfault every time it was invoked. That
13. 43.▲
    by swagmoney1606 3y ago

    I've been re-watching the course taught by Gilbert Strang! I cannot overstate how good of a teacher he is. Things click into place while watching him teach.
14. 44.▲
    by swagmoney1606 3y ago

    Your comment posed a very interesting question to me, so I took the time to think of some other points in this multi-dimensional space of terrible software engineering. Here are some other terrible design systems: - Design by lottery (Singl
15. 45.▲
    by swagmoney1606 3y ago

    We'll probably know for sure within the month!
16. 46.▲
    by swagmoney1606 3y ago

    Video: https://www.youtube.com/watch?v=EtVjGWpbE7k I really need someone to bring me down a notch. This is too exciting!
17. 47.▲
    by swagmoney1606 3y ago

    Does anyone in the twin cities area want to pair up and try to make this? Might be a fun group project.
18. 48.▲
    by swagmoney1606 3y ago

    Still a step in the right direction.
19. 49.▲
    by swagmoney1606 3y ago

    I also spent quite a few years away from arch. Arch is also my home
20. 50.▲
    by swagmoney1606 3y ago

    I've found the tip of my tongue prompt to be one of the most useful prompts I've ever used, I've been using it since the Gpt-4 release. The ableton/music prod prompt is eh. I have to correct it and say things like: &quot
21. 51.▲
    Ask HN: What are some LLM prompts you've found useful?

    27 points by swagmoney1606 3y ago|5 comments
22. 52.▲
    by swagmoney1606 3y ago

    I know this isn't the most constructive comment ever, but I just want to vent. Windows is a piece of shit. It's honestly one of the worst pieces of software I have to use on a daily basis. I've always been some kind of a linu
23. 53.▲
    by swagmoney1606 3y ago

    Hey cool so some questions for you to consider: - Does our society have systemic biases in law enforcement and the judicial system? - Is it really sad that we are unable to, as a society, entertain conversations about genetically modifying
24. 54.▲
    by swagmoney1606 3y ago

    Just checking: Two of your sources are links to tweets of mobile screenshots of graphs/tables correct? Thanks in advance
25. 55.▲
    by swagmoney1606 3y ago

    I disagree. We should not be sterilizing people for their crimes. People have a right to decide on the number of children they want to have. Your proposition to select the gene pool of our society, based on one's measure treads in the
26. 56.▲
    by swagmoney1606 4y ago

    This is an EXTREMELY common pattern in the world of Windows... Especially with antivirus
27. 57.▲
    by swagmoney1606 4y ago

    Weaponizing their fertility? I'm not sure you could describe this as "weaponizing" anything at all. This is just people choosing what life they want for themselves.
28. 58.▲
    by swagmoney1606 4y ago

    Evolution is a process that works without an intelligent steward. In a way it's a brute force technique. Plus, nothing is optimizing for intelligence in evolution, it is merely a happy accident that humans ended up with the brains that
29. 59.▲
    by swagmoney1606 4y ago

    How hard would it be to write custom firmware for an M.2 SSD? I'm not even sure where to start
30. 60.▲
    by swagmoney1606 4y ago

    It seems like I've seen quite a bit of people claiming that testosterone levels have been dropping as of late. Can anyone tell me if that's true or not?