Expert developer, Buddhist

  • 0 Posts
  • 123 Comments
Joined 2 years ago
cake
Cake day: June 21st, 2023

help-circle

  • People who are lucid dreaming simulate a full reality that’s nearly indistinguishable from the one they find themselves in during waking time. If your brain can’t tell the difference during this time, how can you be sure you’re not dreaming right now reading this?

    The scope of what a simulation is has always been limited by the technology we know. It is only a failing of imagination and knowledge to assume that algorithmic computation is the only valid form of simulation in the future, these have existed for barely 100 years, but even Plato’s cave was talking about the larger philosophical problem


  • This is such a boring take, I wonder how anyone gets funding or publication making a statement as useless as “see godels incompleteness theorem that proves that there’s more truth than what mathematics can prove, therefore reality is not a simulation”. Yes, we know, you don’t need a PhD to know the major theorem that took down the entire school of logical positivism. The fundamental philosophical error here is assuming that all forms of simulation are computational or mathematical. Counterexample: your dreams are a form of simulation (probably). So I can literally disprove this take in my sleep














  • The thing is that you have to break the law to be an effective and even safe driver. Going way under the limit or refusing to go into the opposite lane for a moment means that you cause traffic congestion and piss people off. Waymos definitely break laws at times, I’ve seen it personally. And other times waymos get too “safe” and end up locked in place for 30 min at a time. The real world is a chaotic place and there’s always been a discrepancy between what the laws are and how people actually drive. Lidar helps see things humans cant, but the main problem is the intelligence required, which may improve over time



  • Lung@lemmy.worldtoTechnology@lemmy.world*Permanently Deleted*
    link
    fedilink
    English
    arrow-up
    46
    ·
    edit-2
    5 months ago

    That’s so cool, maybe the first time in the history of humanity that we see open source tax software, that’s guaranteed to be accurate to the law. For one year at least

    It runs Scala / Java, and has docker configs, decent documentation. And an ominous message explaining that some parts were too secret to open source so they had to rewrite chunks of it. Overall, it seems like it was a big project just to get this published, and I am impressed they managed it, given the software team was comprised of 3 different agencies and several contractor firms