notes
notes copied to clipboard
void4
Notes, Questions, Ideas
https://esolangs.org/wiki/RarVM https://github.com/void4/notes/issues/41 ("Unlocking the future") - metered, secure resource sharing between devices - deterministic, resource metered execution supports replicated state machines/consensus objects/blockchains - genetic programming - with a limited communication...
["Money creation in the modern economy"](https://www.bankofengland.co.uk/-/media/boe/files/quarterly-bulletin/2014/money-creation-in-the-modern-economy.pdf) by the Bank of England tl;dr: When banks lend money, they don't use existing customer deposits for this or loan money from the central...
Explanation of properties: Persistence: (Parts of) the system can be serialized. Detachable: Smallest independent unit Distribution: Level to which a composable system can be safely distributed Universality: Usefulness as a...
https://wikiscape.org (currently offline, big picture here: https://ibb.co/mJN3DM5) https://github.com/void4/wikiscape --- I really like https://paperscape.org So far, I've tried 3 times to use their code to layout and graph the entire Wikipedia....
Now live at **https://rlc-chess.com** ! It would be nice if there existed a crossover of [demoscene competitions](http://www.pouet.net/prodlist.php) or [Dwitter](https://www.dwitter.net/) (which focus on achieving the maximum effect with minimum resources) and...
- executables, (.exes, .coms, .wasm binaries) - network packets (tcp packets etc.) - image file formats (png, jpg, webp...) - ... There's probably an exact way to calculate this, but...
A system that lets anyone set bounties on conjectures and automatically rewards their proof. ## Background There are several reasons why I'm very interested in this kind of survey/system specifically:...
Given a [rewriting system](https://en.wikipedia.org/wiki/Rewriting), in which circumstances can properties of derivations/proofs be estimated in advance, before knowing anything else about the derivation? Derivations are of a specific length, some derivations...