• 0 Posts
  • 12 Comments
Joined 1 year ago
cake
Cake day: June 13th, 2023

help-circle

  • Except that’s not even how most bus systems work because most of them are majority funded by taxes with fares originally meant to serve as a stopgap but then slowly converted into a profit engine (usually after privitization). Fares are a way to gatekeep a service which your taxes already pay for, which I would argue, is by itself a form of theft.

    As an example check out the latest MTA report only 26% of funding comes from fares, and that ones a bit in the higher end from what I’ve seen (NYC public transit, picked as the example a it’s recently been in the news for issues with fare evasion)

    All that aside, it’s also worth noting that fare increases are extremely unpopular and it’s not that easy to increase them without potential serious backlash (ie the mass protests in Chile a few years back that were in part set off by the fare hikes.)




  • 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.