Scarblac

11 ms·

1. 211.▲
   by Scarblac 1y ago

   That's a number in R, obviously most of them are uncomputable (there is a countable number of Turing machines). But for every natural number n there is a trivial Turing machine that just prints n and then halts.
2. 212.▲
   by Scarblac 1y ago

   What happens if you take the larger of a and b and run all the Turing machines for that many steps?
3. 213.▲
   by Scarblac 1y ago

   I don't understand, surely if we assume ZFC is consistent then it's obvious that it won't halt? Even if its consistency can't be proven, neither can its inconsistency, so it won't halt. Or is that only provable ou
4. 214.▲
   by Scarblac 1y ago

   There is a finite number of Turing machines of size 748. The number of them that eventually halt is thus also finite, and BB(748) is the highest number of steps in the finite list of how many steps each took to halt. It has to be a number.
5. 215.▲
   by Scarblac 1y ago

   And also, if BB were computable, then it could be used to solve the halting problem: run the Turing machine of size n for BB(n) steps, and if it hasn't halted yet, it never will. So the BB function is clearly not computable. But to me
6. 216.▲
   by Scarblac 1y ago

   It's not.
7. 217.▲
   by Scarblac 1y ago

   Yes, that's only some normal number amount of orders of magnitude. Even 10,000,000^10,000,000 is already so large that it doesnt matter, let alone after exponentiating _the exponent_ nine times more.
8. 218.▲
   by Scarblac 1y ago

   It boggles my mind that a number (an uncomputable number, granted) like BB(748) can be "independent of ZFC". It feels like a category error or something.
9. 219.▲
   by Scarblac 1y ago

   But still, Google says there's about 30 million cruise passengers per year, or less than 0.4% of the world. Close.
10. 220.▲
    by Scarblac 1y ago

    Only the things that remain of you after death really matter, everything else will have gone completely then anyway.
11. 221.▲
    by Scarblac 1y ago

    Does anyone know a 3 sisters equivalent native to Eurasia?
12. 222.▲
    by Scarblac 1y ago

    But that's a bias, if circles are actually more likely to be fraudulant.
13. 223.▲
    by Scarblac 1y ago

    Wars are off topic for Hacker News, this is not a general news site. So they're probably being removed quickly.
14. 224.▲
    by Scarblac 1y ago

    Tasteless and useless speculation when the cause of the crash isn't even known yet.
15. 225.▲
    by Scarblac 1y ago

    According to the first Google hit, https://scitechdaily.com/nasas-parker-solar-probe-the-fastes... , the fastest we've made so far went 430k mph (falling towards the sun), or about 0.064% of c. Good guess.
16. 226.▲
    by Scarblac 1y ago

    But it's not really relevant for anything to be able to prove that you cannot prove the inconsistency.
17. 227.▲
    by Scarblac 1y ago

    I like Regolith ( https://regolith-desktop.com/ ), it's built on Gnome-session for its configuration screens, but otherwise runs a lightweight tiling window manager. For my windows I only use keyboard shortcuts (no mou
18. 228.▲
    by Scarblac 1y ago

    But proving in consistency can be done - show that a contradiction follows from the axioms.
19. 229.▲
    by Scarblac 1y ago

    We do end up with something we know for sure: the whole proposition "if we take these axioms as true, then these statements hold."
20. 230.▲
    by Scarblac 1y ago

    Which axioms you take as true is a free choice. They aren't true or false by themselves. What's irrefutably proven is that if you take this particular set of axioms, then these conclusions hold. But you are free to choose othe
21. 231.▲
    by Scarblac 1y ago

    Yes, so location is important. Of the entire company.
22. 232.▲
    by Scarblac 1y ago

    And we replaced it with imports from the US. And most oil is from the Middle East, of course. Being completely energy independent is easier said than done.
23. 233.▲
    by Scarblac 1y ago

    But just how seriously should we take Shawn Mendes' stand on the Kuril islands? How big of a hit was _Lost in Japan_?
24. 234.▲
    by Scarblac 1y ago

    7. These lists are meant to be for entertainment only
25. 235.▲
    by Scarblac 1y ago

    The only one I know is that ships can carry boats, not vice versa.
26. 236.▲
    by Scarblac 1y ago

    But it doesn't help much, as the surrogate only lives in your system. So now some information comes in from outside the system that something happened with a plane, and you still have to find which surrogate id that plane has in your s
27. 237.▲
    by Scarblac 1y ago

    ChatGPT is horrible at producing Dutch rhymes (for Sinterklaas poems) until you realize that the words it comes up with do rhyme when translated to English.
28. 238.▲
    by Scarblac 1y ago

    I looked into it recently. Apparently it has session based auth. I tried to figure out how to do the first thing that came to mind: on an incoming request, check that the user is authenticated, and if not redirect them to a login page with
29. 239.▲
    by Scarblac 1y ago

    It's two numbers. It's a constant increase, you can fit a line between them, but also a degree 10 polynomial or an exponential curve. Yes, it just means "a lot".
30. 240.▲
    by Scarblac 1y ago

    > A lot of the apps I work with have front-ends developed by one team, and those rely on back-ends developed by one or more teams I hope that one effect of AI assistance will be that we can go back to full stack teams again. It should be