4 ms·
The discourse reminds me of Urbit: https://github.com/urbit/urbit https://github.com/urbit/urbit Alien virtual machines and that kind of thing.
by guard-of-terra 10y ago
The discourse reminds me of Urbit:
https://github.com/urbit/urbit https://github.com/urbit/urbit
Alien virtual machines and that kind of thing.
- davidgerard 10y agoUrbit was my first thought too, at least in the ambition of starting afresh with alien assumptions. I can understand this a bit better and it doesn't trigger my "this is all batshit insane" detector. Also, decrement probably isn't O(n).
- setra 10y agodecrement is not O(n) in practice just as addition is not horribly slow when defined in idris
- rhaps0dy 10y agoI'm starting to suspect they have the same people behind them. Either that or Loper OS http://www.loper-os.org/ http://www.loper-os.org/
- farray 10y agoI have a chapter in preparation that addresses the comparison with Urbit.