void4

- Mathematically: Structure, Quantity, Change, Space - In relation to other things - Logically - Emotionally - Utility 

Described here https://github.com/void4/notes/issues/5 **tl;dr: A VM for running untrusted mobile code** - untrusted: processes are limited by resource constraints set by parent virtual machine - mobile: processes are persistent and...


**tldr: P2P-hosted objects (e.g. websites) do not need to be governed/signed by a single party. Objects can integrate a description of future valid state changes and consensus thereof. This mechanism...

Does this concept exist? You have **Alice** generating a language interpreter **I** which signs the result of the computation combined with a timestamp **t** of the enclave generation and is...

Given a fully deterministic language with fully serializable runtimes, hash the snapshot of every (Nths) execution step, construct a merkle tree of this hashed list. This allows for efficient (even...

Consider a language in which program code, data and runtime state could be represented as a Directed Acyclic Graph (DAG). If that language was required to be deterministic, unique DAG...

http://de.metamath.org/index.html http://paperscape.org/ https://d3js.org/ Excerpt from a conversation with Norman Megill: > 1. Would an interactive visualization, possibly similar to > http://paperscape.org/ make sense? Off and on I've tried to imagine...

Better scientific paper typesetting and publishing

3

https://www.authorea.com/ http://hplgit.github.io/doconce/doc/pub/slides/scientific_writing-1.html http://amacfie.github.io/2015/09/22/github-publishing/

Looking at the [Nock spec](https://github.com/cgyarvin/urbit/blob/master/doc/book/1-nock.markdown) there might be some interesting changes to be made: - tree addressing (Nock uses infix numbering) - infix [a [0 b]] to prefix [0 [a...