on master help sign in
ok
commitcdf524fd855fca4b0a7283cbf80bb2cd02a95785 authorGalen Wolfe-Pauly <root@office-for.com> dateTue 28 Jun 2016, 11:11 (10 years ago) parent0f35027
1 file changed+9−7
main/posts/objections.md+9−7
main/posts/objections.md+9−7
@@ -1,11 +1,13 @@
11---
2−sort: 8
2+sort: 9
33type: post
44title: Common objections to Urbit
55author: Curtis Yarvin
6−preview: Some common objections to Urbit, refuted.
6+preview: Some common objections to Urbit, discussed.
7+image: http://media.urbit.org/site/blog-9.jpg
78layout: urbit,post
89footer: true
10+comments: true
911navmode: navbar
1012navdpad: false
1113navselect: posts
@@ -38,7 +40,7 @@ Here's our list right now:
3840*"We choose to go to the moon, not because it is easy, but because it is hard."*
3941— John F. Kennedy
4042
41−<h2 id="prime">Urbit is not ready for prime time.</h2>
43+<h2 id="prime">Urbit is not ready for prime time.</h2>
4244
4345**TLDR**: we agree.
4446
@@ -104,7 +106,7 @@ Two implementations are incompatible, but each swears it has the
104106right interpretation of the natural-language spec. This simply
105107cannot happen in the Nock world. If two implementations
106108disagree, at least one of them is incorrect. This puts us firmly
107−in "with enough eyeballs, all bugs are shallow" territory.
109+in "with enough eyeballs, all bugs are shallow" territory.
108110
109111The fact remains, however, that a Nock interpreter without jets
110112is completely useless. And there is not even an informal
@@ -125,7 +127,7 @@ against the efficient implementation?
125127
126128Compared to intrinsics, jets give you true separation between
127129mechanism and policy; only the interpreter, not the programmer
128−and not the compiler, needs to know what's accelerated.
130+and not the compiler, needs to know what's accelerated.
129131
130132Compared to an FFI, jets preclude I/O, so can be trivially
131133sandboxed. Except that the programmer needs to mark routines
@@ -159,7 +161,7 @@ state and the current event.
159161Urbit defines the semantics of a complete event log. It doesn't
160162and can't require an implementation to maintain the whole log.
161163It can maintain a checkpoint and the log since that checkpoint.
162−The current implementation of Urbit maintains
164+The current implementation of Urbit maintains
163165
164166However, any practical urbit maintains a periodically updated
165167checkpoint. Our present implementation doesn't provide a way to
@@ -658,7 +660,7 @@ integration, also integrated with a reactive web server, are
658660rarer.
659661
660662<h2 id="dictator">Urbit is a reactionary digital
661−dictatorship.</h2>
663+dictatorship.</h2>
662664
663665**TLDR**: Facebook is a digital dictatorship.
664666Urbit is a decentralized network with a republican constitution.