• 1 Post
  • 87 Comments
Joined 3 years ago
cake
Cake day: June 15th, 2023

help-circle


  • I grabbed a banglejs a while back for cheap embedded funzies, and it’s really stellar as a hackable companion device that you don’t use much, or at least in fairly passive or niche ways. Espruino is really cool though, and that’s the heart of the project.

    I wonder how this compares as a higher-end (maybe only other?) FOSS watch, mostly on the battery/power ratio. I actually don’t know much about the pebble design.



  • There’s a certain understanding of what is and isn’t decidable by means of Computation (capital C), and it’s fundamental to the formalized systems of logic that define computers.

    From what I can glean, they show that some modern theories in physics display logical properties that we know cannot arise from a formalized computational system.

    To be fair, I feel like that only means the universe can’t be described by internal computation, not that some hyper-logical model of computation couldn’t exist to drive it all from “above”… It’s fundamental, so not like a higher spatial dimension, but a sort of “conceptual” one we can’t re-articulate? 50% confused and 50% talking out of my ass tbh