git.iko.soy/urbit.org
on master help sign in
convert http links to https
ab3a6deMorgan Sutherland
content/docs+1−1
compare with master
unifiedsplit

Submodule changed.

content/posts/an-urbit-overview.md+3−3
@@ -6,7 +6,7 @@ description = "A high-level overview of Urbit."
6[taxonomies]
6[taxonomies]
7posts = ["Essays"]
7posts = ["Essays"]
8+++
8+++
9−![](http://media.urbit.org/site/blog-0.jpg)
9+![](https://media.urbit.org/site/blog-0.jpg)
10
10
11## What Urbit is
11## What Urbit is
12
12
@@ -42,7 +42,7 @@ never shows you ads. Or loses your data. Or updates without
42your consent.
42your consent.
43
43
44Technically, Urbit is a new kind of OS that has a precise formal
44Technically, Urbit is a new kind of OS that has a precise formal
45−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
45+definition. (Urbit is actually a [single mathematical function](https://media.urbit.org/whitepaper.pdf).) One advantage of a math-based OS is that Urbit is perfectly
46portable. It can't tell whether it's in a cloud data center or on
46portable. It can't tell whether it's in a cloud data center or on
47your home PC.
47your home PC.
48
48
@@ -205,4 +205,4 @@ evaluate Urbit's [beliefs and principles](../beliefs-and-principles) or its
205[interim constitution](../interim-constitution).
205[interim constitution](../interim-constitution).
206
206
207(For technical readers, check out our [documentation](https://urbit.org/docs/) or
207(For technical readers, check out our [documentation](https://urbit.org/docs/) or
208−the [whitepaper](http://media.urbit.org/whitepaper.pdf)).
208+the [whitepaper](https://media.urbit.org/whitepaper.pdf)).
content/posts/beliefs-and-principles.md+1−1
@@ -6,7 +6,7 @@ description = "We believe."
6[taxonomies]
6[taxonomies]
7posts = ["Essays"]
7posts = ["Essays"]
8+++
8+++
9−![](http://media.urbit.org/site/blog-2.jpg)
9+![](https://media.urbit.org/site/blog-2.jpg)
10
10
11## Beliefs
11## Beliefs
12
12
content/posts/common-objections-to-urbit.md+1−1
@@ -6,7 +6,7 @@ description = "Some common objections to Urbit, discussed."
6[taxonomies]
6[taxonomies]
7posts = ["Essays"]
7posts = ["Essays"]
8+++
8+++
9−![](http://media.urbit.org/site/blog-9.jpg)
9+![](https://media.urbit.org/site/blog-9.jpg)
10
10
11We love crowdsourced criticism. We've heard a lot of great
11We love crowdsourced criticism. We've heard a lot of great
12objections to Urbit. Surely there's more out there! If so,
12objections to Urbit. Surely there's more out there! If so,
content/posts/interim-constitution.md+1−1
@@ -6,7 +6,7 @@ description = "The governing rules for the early days of the Urbit network."
6[taxonomies]
6[taxonomies]
7posts = ["Essays"]
7posts = ["Essays"]
8+++
8+++
9−![](http://media.urbit.org/site/blog-7.jpg)
9+![](https://media.urbit.org/site/blog-7.jpg)
10
10
11## Declaration of purpose
11## Declaration of purpose
12
12
content/posts/magic.md+1−1
@@ -6,7 +6,7 @@ description = "A thought-experiment to explain the Urbit user experience."
6[taxonomies]
6[taxonomies]
7posts = ["Essays"]
7posts = ["Essays"]
8+++
8+++
9−![](http://media.urbit.org/site/blog-7.jpg)
9+![](https://media.urbit.org/site/blog-7.jpg)
10
10
11It's easy to get too obsessed with Urbit's alien technology. We
11It's easy to get too obsessed with Urbit's alien technology. We
12didn't build Urbit for its tech. We built it for people to use.
12didn't build Urbit for its tech. We built it for people to use.
content/posts/the-urbit-address-space.md+2−2
@@ -6,7 +6,7 @@ description = "An overview of Urbit's cryptographic address space."
6[taxonomies]
6[taxonomies]
7posts = ["Essays"]
7posts = ["Essays"]
8+++
8+++
9−![](http://media.urbit.org/site/blog-3.jpg)
9+![](https://media.urbit.org/site/blog-3.jpg)
10
10
11## Basics
11## Basics
12
12
@@ -63,7 +63,7 @@ It does need governance; but it governs itself as a digital republic.
63
63
64As an Urbit user, these basics are all you need to know. As a
64As an Urbit user, these basics are all you need to know. As a
65developer, a few more details might interest you. (An even more
65developer, a few more details might interest you. (An even more
66−comprehensive treatment is in the [whitepaper](http://media.urbit.org/whitepaper.pdf)).
66+comprehensive treatment is in the [whitepaper](https://media.urbit.org/whitepaper.pdf)).
67
67
68### Design goals
68### Design goals
69
69
content/posts/urbit-and-the-blockchain.md+1−1
@@ -6,7 +6,7 @@ description = "A bit about the 'idea maze' of choosing to bootstrap from Ethereu
6[taxonomies]
6[taxonomies]
7posts = ["Essays"]
7posts = ["Essays"]
8+++
8+++
9−![](http://media.urbit.org/site/blog-1.jpg)
9+![](https://media.urbit.org/site/blog-1.jpg)
10
10
11One core principle of the Urbit network is that *Urbit doesn't take sides*.
11One core principle of the Urbit network is that *Urbit doesn't take sides*.
12This is true in all kinds of conflicts -- and especially blockchain wars.
12This is true in all kinds of conflicts -- and especially blockchain wars.
content/posts/what-is-urbit-for.md+1−1
@@ -6,7 +6,7 @@ description = "A vision of the Urbit-powered future."
6[taxonomies]
6[taxonomies]
7posts = ["Essays"]
7posts = ["Essays"]
8+++
8+++
9−![](http://media.urbit.org/site/blog-1.jpg)
9+![](https://media.urbit.org/site/blog-1.jpg)
10
10
11Open platforms don't beat closed systems just because they're open.
11Open platforms don't beat closed systems just because they're open.
12They win because you can do more exciting things with them. We
12They win because you can do more exciting things with them. We
content/posts/why-urbit-probably-does-not-need-a-blockchain.md+1−1
@@ -6,7 +6,7 @@ description = "Urbit (probably) doesn't need a blockchain, because the Urbit add
6[taxonomies]
6[taxonomies]
7posts = ["Essays"]
7posts = ["Essays"]
8+++
8+++
9−![](http://media.urbit.org/site/blog-1.jpg)
9+![](https://media.urbit.org/site/blog-1.jpg)
10
10
11TLDR: Urbit (probably) doesn't need a blockchain, because the Urbit
11TLDR: Urbit (probably) doesn't need a blockchain, because the Urbit
12address-space PKI is a special case of a consensus ledger (itself a
12address-space PKI is a special case of a consensus ledger (itself a
templates/primer.html+1−1
@@ -565,7 +565,7 @@
565 <p>Clay, our filesystem, is a reactive, <i>typed</i>, distributed revision-control store that defines an authenticated global immutable namespace. </p>
565 <p>Clay, our filesystem, is a reactive, <i>typed</i>, distributed revision-control store that defines an authenticated global immutable namespace. </p>
566 <p>Ford, our functional build system, can auto-update a page in your browser when someone checks in a change to a math function in a back-end rendering library. </p>
566 <p>Ford, our functional build system, can auto-update a page in your browser when someone checks in a change to a math function in a back-end rendering library. </p>
567 <p>With compiler, libraries, Arvo and modules, the whole OS is ~30,000 lines of code. </p>
567 <p>With compiler, libraries, Arvo and modules, the whole OS is ~30,000 lines of code. </p>
568− <p>Urbit is also a nontrivial list of other features and components. You can read more in our long, peculiar, mildly outdated <a href="http://media.urbit.org/whitepaper.pdf">whitepaper</a>. <i>Caveat lector</i>, it&#39;s a tad academic. </p>
568+ <p>Urbit is also a nontrivial list of other features and components. You can read more in our long, peculiar, mildly outdated <a href="https://media.urbit.org/whitepaper.pdf">whitepaper</a>. <i>Caveat lector</i>, it&#39;s a tad academic. </p>
569 <p>Today, Urbit is a stable testnet. Urbit hosts its own site, forum, and federated chat. Its last unplanned breach (global hard fork) was in 2016. </p>
569 <p>Today, Urbit is a stable testnet. Urbit hosts its own site, forum, and federated chat. Its last unplanned breach (global hard fork) was in 2016. </p>
570 <p>Urbit now has a practical clean-room Vere alternative, Jaque, built on Graal/Truffle. Jaque can boot a ship and join the network. It still has some stack issues. </p>
570 <p>Urbit now has a practical clean-room Vere alternative, Jaque, built on Graal/Truffle. Jaque can boot a ship and join the network. It still has some stack issues. </p>
571 <p>Urbit is not done. It needs optimization, documentation, a lot of polish and even a bit of architecture. But it certainly does work! </p>
571 <p>Urbit is not done. It needs optimization, documentation, a lot of polish and even a bit of architecture. But it certainly does work! </p>