q

• https://www.scottaaronson.com/writings/bignumbers.html "Humanity may never know the value of BB(6) for certain, let alone that of BB(7) or any higher number in the sequence." these numbers are too large to ever feasibly compute, and by a circuitous route through the halting problem there isn't a shortcut.

• https://scottaaronson.blog/?p=8088 2024-07-02, BB(5) == 47,176,870. Nice explanation of why this is difficult: > The real difficulty is, how do you prove that some given machine runs forever? If a Turing machine halts, you can prove that by simply running it on your laptop until halting (at least if it halts after a “mere” ~47 million steps, which is child’s-play). If, on the other hand, the machine runs forever, via some never-repeating infinite pattern rather than a simple infinite loop, then how do you prove that?

  Busy Beaver (BB) the longest running turing machine with N states that does halt.

• https://data.jigsaw.nl/Rado_1962_OnNonComputableFunctions_Remastered.pdf

• https://en.m.wikipedia.org/wiki/Busy_beaver
• https://www.sligocki.com/2021/03/06/beeping-busy-beaver/
• https://en.wikipedia.org/wiki/Critters_(cellular_automaton)
• https://users.math.yale.edu/public_html/People/frame/Fractals/
• https://archive.is/EcQfE - AI technology is transforming how we read, interpret, and manipulate text, similar to how the invention of photography revolutionized visual perception.
• https://github.com/paul-gauthier/aider pair programming with llm
• https://m.youtube.com/watch?v=w1-c6O_xAK0&pp=ygUMc3RlYW0gdHJhaW5z steam trains for Tommy 🚂
• https://www.scientificamerican.com/article/ai-will-become-mathematicians-co-pilot/
• https://terrytao.wordpress.com/2024/04/19/two-announcements-ai-for-math-resources-and-erdosproblems-com/
• https://m.youtube.com/@TractorsChemer 🚜
• https://www.quantamagazine.org/how-ai-revolutionized-protein-science-but-didnt-end-it-20240626/
• https://en.m.wikipedia.org/wiki/Moravec%27s_paradox Moravec wrote in 1988: "it is comparatively easy to make computers exhibit adult level performance on intelligence tests or playing checkers, and difficult or impossible to give them the skills of a one-year-old when it comes to perception and mobility".
• https://m.youtube.com/watch?v=Mp8IXI1kzvQ&pp=ygURRGlnZ2VycyBleGNhdmF0b3I%3D excavators and 🚛
• https://arxiv.org/pdf/2406.19108
• https://blog.gabornyeki.com/2024-07-my-python-code-is-a-neural-network/
• https://spectrum.ieee.org/detect-migrating-birds-with-sound
• https://www.youtube.com/watch?v=HY6q9hwYcoc
• https://www.altaonline.com/dispatches/a37396691/utah-uranium-king-charlie-steen/
• https://build123d.readthedocs.io