git.iko.soy/urbit.org
on master help sign in
thanks jen
10a53a5Galen Wolfe-Pauly
main/posts/overview.md+1−2
compare with master
unifiedsplit
@@ -50,8 +50,7 @@ never shows you ads. Or loses your data. Or updates without
50your consent.
50your consent.
51
51
52Technically, Urbit is a new kind of OS that has a precise formal
52Technically, Urbit is a new kind of OS that has a precise formal
53−definition. (Urbit is actually a [single mathematical function](CS
53+definition. (Urbit is actually a [single mathematical function](http://media.urbit.org/whitepaper.pdf).) One advantage of a math-based OS is that Urbit is perfectly
54−paper).) One advantage of a math-based OS is that Urbit is perfectly
55portable. It can't tell whether it's in a cloud data center or on
54portable. It can't tell whether it's in a cloud data center or on
56your home PC.
55your home PC.
57
56
main/posts/roadmap.md+3−3
@@ -61,9 +61,9 @@ Urbit is very far from being a mere esoteric curiosity.
61The first challenge we face is making sure Urbit is properly
61The first challenge we face is making sure Urbit is properly
62documented. (See below.) We'll also be:
62documented. (See below.) We'll also be:
63
63
64−- holding weekly public meetings / office hours maintaining public
64+- holding weekly public meetings / office hours
65+- maintaining public developer blogs
65−- developer blogs (probably) running open contests with address-space
66+- (probably) running open contests with address-space prizes
66−- prizes
67
67
68## Maturity
68## Maturity
69
69