• 0 Posts
  • 34 Comments
Joined 2 years ago
cake
Cake day: June 13th, 2023

help-circle
  • A good tool/exercise for analyzing your (and other’s) beliefs is logic trees, with the goal of taking any complex belief and determined what your core axioms are, being on the lookout for tautologies (God is real -> because the Bible says so -> because God is real…) and axioms that don’t hold up to scrutiny.

    If you do the exercise correctly then you should find that most of those “beliefs that can’t be objectively proven or disproven” have belief dependencies that can be objectively (and often easily) proven/disproven.



  • The context for the DEFUSE program is that SARS-cov-1 was of pretty significant concern that it could mutate into a global pandemic similar to the Cov-2 pandemic that actually happened. The program was funded to investigate, learn and prepare for what were predicted to be some of the more dangerous possible mutations.

    The “smoking gun” here is all correlation. Saying “they predicted correctly what was dangerous and were proactively studying it” is not a good argument for causation.

    However, the theory that I haven’t seen well debunked/studied is that improper handling/disposal of dead viruses/plasmids/etc. increased the risk of/allowed for recombinants with the endemic Cov strain resulting in those mutations of greatest concern… Have you come across anything on that?



  • I mean, let’s assume that we somehow regulate AI so that people have to pay to use copyrighted works for training (as absurd as that is).

    ISBNDB approximates there to be 158,464,880 published books in existence.

    Meta’s annual income was ~156 billion last year.

    Assuming a one time purchase scenario and a $20 average cost that’s ~3.2 billion dollars. ~2% of their annual revenue.

    Or you could assume assuming a $0.2 annual license (similar to a lot of technology licenses), or a 0.002 per “stream” (which I. This instance would be ‘use of data to train model’)

    I agree with most of what you said, but if you buy into a lot of the economic paradigms your arguments are based on you must also realize that those require the copyrighted works must be paid for and it’s not unreasonable to do so.














  • Tbh a little bit outside my wheelhouse but Lance Fortnow had a proof showing that all the implementations of quantum computing could be modelled using a Quantum Turing machine and are more complex forms of probabalistic automata. It’s technically not, because a finite state machine can also be called a deterministic finite automata where a probabalistic automata is a Nondeterministic finite automata.

    So no… But also mostly the same principle just with fuzzy logic.


  • Depends how far you stretch the definition. Those listed are a subset of RASP machine models, which are a subset of turing machines, which is a subset of finite state machines, but as far as “general purpose computing architectures” that’s about it as far as I’m aware… Unless you get into weird application specific stuff like differentiable neural computers.

    You could also go the other way and look at how the basic principles of those architectures get expanded on IE Von Neumann -> ARM -> Advanced Microcontroller Bus Architecture (AMBA) -> Advanced eXtensible Interface (AXI) -> etc.