jupitr

3 ms·

1. 1.▲
   by jupitr 8mo ago

   this feels like excellent foundations for a board game. fascinating!
2. 2.▲
   by jupitr 9mo ago

   It's not necessary, but is significantly more radio-quiet than a lunar orbit. And secondly, though unfortunately not something we could really exploit this time, the stable temperatures of the lunar night greatly help with calibration
3. 3.▲
   by jupitr 9mo ago

   This is quite seriously missing the point: computational theorem-provers and contributions to mathlib (for Lean, anyway) allow for checking "correctness". The LLM is one of the many ways to search for tactics that help complete a
4. 4.▲
   by jupitr 10mo ago

   makes me wonder if a sufficiently large number of connected nodes can represent bits via their online/offline status, and their network graph representing "memory"
5. 5.▲
   by jupitr 1y ago

   How was the interactivity achieved? Could you maybe link to the source so I can learn? I have been trying to get something like this working with quarto, but it is getting way too complicated.
6. 6.▲
   The 2025 Guide to AI Agents(ibm.com)

   2 points by jupitr 1y ago|0 comments
7. 7.▲
   by jupitr 1y ago

   and also how to lie with visual proofs: https://www.youtube.com/watch?v=VYQVlVoWoPY