tsmithe

3 ms·

1. 1.▲
   by tsmithe 3y ago

   These general "multicomputational processes" are well known in computer science as nondeterministic transition systems, or coalgebras for the powerset functor. And in that setting there is a lot of work that has been done about th
2. 2.▲
   by tsmithe 4y ago

   I have one of their machines (a StarBook that I am typing this on), and it is excellent. It probably helps to have a $9m seed round -- certainly it means Framework can do much more marketing (including such as the Steam Deck stunt) and hire
3. 3.▲
   by tsmithe 4y ago

   I am typing this on their latest StarBook. It's a great machine. As for durability, it has an aluminium body and seems sturdily built. I expect it to last a good few years.
4. 4.▲
   by tsmithe 6y ago

   Hey, Eli :-) I'm working on it; I'll send you an e-mail. Things quickly turned out to be more general than I realized last year.
5. 5.▲
   by tsmithe 6y ago

   In fact, the compositional structure underlying that of predictive coding [0,1] is abstractly the same as that underlying backprop [2]. (Disclaimer: [0,1] are my own papers; I'm working on a more precise and extensive version of [1] ri
6. 6.▲
   by tsmithe 8y ago

   I found this, which seems to be a build of Okular for Windows: https://chocolatey.org/packages/okular (I haven't tested it -- happy Okular Linux user here. It was linked from the site you linked, though.)