thanks jen
commit10a53a5dc24d3d9bf482e3d0bdc36609a2ed86df
authorGalen Wolfe-Pauly <root@office-for.com>
dateFri 27 May 2016, 13:52 (10 years ago)
parentf9e9122
main/posts/overview.md+1−2
@@ -50,8 +50,7 @@ never shows you ads. Or loses your data. Or updates without
5050your consent.
5151
5252Technically, Urbit is a new kind of OS that has a precise formal
53−definition. (Urbit is actually a [single mathematical function](CS
54−paper).) One advantage of a math-based OS is that Urbit is perfectly
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
5554portable. It can't tell whether it's in a cloud data center or on
5655your home PC.
5756
main/posts/roadmap.md+3−3
@@ -61,9 +61,9 @@ Urbit is very far from being a mere esoteric curiosity.
6161The first challenge we face is making sure Urbit is properly
6262documented. (See below.) We'll also be:
6363
64−- holding weekly public meetings / office hours maintaining public
65−- developer blogs (probably) running open contests with address-space
66−- prizes
64+- holding weekly public meetings / office hours
65+- maintaining public developer blogs
66+- (probably) running open contests with address-space prizes
6767
6868## Maturity
6969