c4e434e · urbit.org · git.iko.soy

git.iko.soy/urbit.org

work in progress

commitc4e434eb0ef8dfe7b17aae56f7294ff472176355 authorMorgan Sutherland <morgan@morgansutherland.com> dateMon 14 Jan 2019, 13:41 (8 years ago) parenta7e9c84

25 files changed+35−41

compare with master

unifiedsplit

introduction.udon+1−2

@@ -1,7 +1,6 @@

11:- :~ navhome/'/docs/'

22 sort/'1'

33 title/'Introduction'

4− type/'post'

54 ==

65;>

@@ -27,7 +26,7 @@ If you'd like to install Arvo, get an Azimuth point, and/or get on the Urbit net

2726

2827## [Learn](/docs/learn)

2928

30−If you're interested in contributing to the Urbit project, building applications, or understanding the system technically, find tutorials and explanations of all the compontents of the system.

29+If you're interested in contributing to the Urbit project, building applications, or understanding the system technically, find tutorials and explanations of all the components of the system.

3130

3231- If you want to dive into learning Urbit, we recommend starting with the [Hoon Tutorial](/docs/learn/arvo/hoon).

3332- For Arvo internals, start at [Arvo](/docs/learn/arvo).

introduction/arvo-vs-azimuth.udon+5−15

@@ -5,26 +5,16 @@

55# Arvo vs. Azimuth

77*Arvo* is the Urbit operating system. *Azimuth* is the decentralized ledger

8−that keeps track of identities that are required to use the Arvo network.

9−*Urbit* is the holistic system composed of both Arvo and Azimuth.

8+that keeps track of identities that are required to use the Arvo network. *Urbit* is the holistic system composed of both Arvo and Azimuth.

109

1110The Arvo network is composed of virtual machines running our software stack.

1211Using a blockchain for this kind of computing is impossible: there's far too

1312much data involved in an operating system to run on top of a distributed

1413consensus mechanism. And you don't want your private information on a public

15−ledger. The Arvo network is not on a blockchain.

14+ledger. The Arvo network is not a blockchain.

1615

17−But, being a decentralized system, we need some way to cryptographically secure

18−and authenticate your identity on the Arvo network. What keeps track of who

19−owns any given identity? Well, simply matching something to an address is a

20−small piece of computing, and a blockchain are wonderful for such a purpose.

21−That's where the Azimuth comes in.

16+However, being a decentralized system, we need some way to cryptographically secure and authenticate your identity on the Arvo network. What keeps track of who owns any given identity? Well, simply matching something to an address is a small piece of computing, and a blockchain are wonderful for such a purpose. That's where the Azimuth comes in.

2217

23−We chose to build Azimuth on the Ethereum blockchain because smart contracts are

24−well-suited for the peculiarities of the identities. Urbit identities

25−are owned by Ethereum addresses.

18+We chose to build Azimuth on the Ethereum blockchain because smart contracts are well-suited for the peculiarities of the identities. Urbit identities are owned by Ethereum addresses.

2619

27−Azimuth and the Arvo network are parallel systems. Azimuth isn't necessarily

28−Arvo-related; it can be used as a generalized identity system for other

29−projects. Azimuth is the equivalent of a bank vault that storess sthe deed to your

30−house. The Arvo network is the neighborhood that you live in.

20+Azimuth and the Arvo network are parallel systems. Azimuth isn't necessarily Arvo-related; it can be used as a generalized identity system for other projects. Azimuth is the equivalent of a bank vault that storess sthe deed to your house. The Arvo network is the neighborhood that you live in.

learn.udon+8−1

@@ -6,5 +6,12 @@

77# Learn

9−Whether you want to learn to program in Hoon, walk through the Nock spec, or learn how to use Hoon to interact with Arvo, this is your destination.

9+Tutorials and explanations of all the components of Urbit.

1010

11+## [Arvo](docs/learn/arvo)

12+

13+In-depth documentation on Arvo internals, Hoon, Nock, and Vere, as well as a Hoon tutorial.

14+

15+## [Azimuth](docs/learn/azimuth)

16+

17+Azimuth documentation is in progress, but you can find descriptions of of the Urbit HD Wallet and an explanation of why Urbit needs a blockchain.

learn/arvo.udon+1−1

@@ -5,4 +5,4 @@

66# Arvo

8−[PLACEHOLDER]

8+Arvo is the

learn/arvo/arvo internals/messaging.udon+1−1

@@ -2,7 +2,7 @@

22 navuptwo/'true'

33 next/'true'

44 sort/'5'

5− title/'Messaging (Talk and Hall)'

5+ title/'Messaging'

66 ==

77;>

learn/arvo/hoon/hoon-ch1-1.udon+1−1

@@ -2,7 +2,7 @@

22 navuptwo/'true'

33 next/'true'

44 sort/'21'

5− title/'1.1 Getting Started'

5+ title/'Getting Started'

66 ==

77;>

learn/arvo/hoon/hoon-ch1-2.udon+1−1

@@ -2,7 +2,7 @@

22 navuptwo/'true'

33 next/'true'

44 sort/'22'

5− title/'1.2 Nouns'

5+ title/'Nouns'

66 ==

77;>

learn/arvo/hoon/hoon-ch1-3.udon+1−1

@@ -2,7 +2,7 @@

22 navuptwo/'true'

33 next/'true'

44 sort/'23'

5− title/'1.3 The Subject and Its Legs'

5+ title/'The Subject and Its Legs'

66 ==

77;>

learn/arvo/hoon/hoon-ch1-4.udon+1−1

@@ -2,7 +2,7 @@

22 navuptwo/'true'

33 next/'true'

44 sort/'24'

5− title/'1.4 Arms and Cores'

5+ title/'Arms and Cores'

66 ==

77;>

learn/arvo/hoon/hoon-ch1-5.udon+1−1

@@ -2,7 +2,7 @@

22 navuptwo/'true'

33 next/'true'

44 sort/'25'

5− title/'1.5 Gates (Hoon Functions)'

5+ title/'Gates (Hoon Functions)'

66 ==

77;>

learn/arvo/hoon/hoon-ch1-6.udon+1−1

@@ -2,7 +2,7 @@

22 navuptwo/'true'

33 next/'true'

44 sort/'26'

5− title/'1.6 Multi-gate Cores and Doors'

5+ title/'Multi-gate Cores and Doors'

66 ==

77;>

learn/arvo/hoon/hoon-ch2-1.udon+1−1

@@ -2,7 +2,7 @@

22 navuptwo/'true'

33 next/'true'

44 sort/'27'

5− title/'2.1 Hoon Programs'

5+ title/'Hoon Programs'

66 ==

77;>

learn/arvo/hoon/hoon-ch2-10.udon+1−1

@@ -2,7 +2,7 @@

22 navuptwo/'true'

33 next/'true'

44 sort/'36'

5− title/'2.10 Standard Library: Trees, Sets, and Maps'

5+ title/'Standard Library: Trees, Sets, and Maps'

66 ==

77;>

learn/arvo/hoon/hoon-ch2-11.udon+1−1

@@ -2,7 +2,7 @@

22 navuptwo/'true'

33 next/'true'

44 sort/'37'

5− title/'2.11 Examples'

5+ title/'Examples'

66 ==

77;>

learn/arvo/hoon/hoon-ch2-2.udon+1−1

@@ -2,7 +2,7 @@

22 navuptwo/'true'

33 next/'true'

44 sort/'28'

5− title/'2.2 Hoon Syntax'

5+ title/'Hoon Syntax'

66 ==

77;>

learn/arvo/hoon/hoon-ch2-3.udon+1−1

@@ -2,7 +2,7 @@

22 navuptwo/'true'

33 next/'true'

44 sort/'29'

5− title/'2.3 Simple One-Gate Programs'

5+ title/'Simple One-Gate Programs'

66 ==

77;>

learn/arvo/hoon/hoon-ch2-4.udon+1−1

@@ -2,7 +2,7 @@

22 navuptwo/'true'

33 next/'true'

44 sort/'30'

5− title/'2.4 Atoms, Auras, and Simple Cell Types'

5+ title/'Atoms, Auras, and Simple Cell Types'

66 ==

77;>

learn/arvo/hoon/hoon-ch2-5.udon+1−1

@@ -2,7 +2,7 @@

22 navuptwo/'true'

33 next/'true'

44 sort/'31'

5− title/'2.5 Type Checking and Type Inference'

5+ title/'Type Checking and Type Inference'

66 ==

77;>

learn/arvo/hoon/hoon-ch2-6.udon+1−1

@@ -2,7 +2,7 @@

22 navuptwo/'true'

33 next/'true'

44 sort/'32'

5− title/'2.6 Structures and Complex Types'

5+ title/'Structures and Complex Types'

66 ==

77;>

learn/arvo/hoon/hoon-ch2-7.udon+1−1

@@ -2,7 +2,7 @@

22 navuptwo/'true'

33 next/'true'

44 sort/'33'

5− title/'2.7 Cores'

5+ title/'Cores'

66 ==

77;>

learn/arvo/hoon/hoon-ch2-8.udon+1−1

@@ -2,7 +2,7 @@

22 navuptwo/'true'

33 next/'true'

44 sort/'34'

5− title/'2.8 Cores Again'

5+ title/'Cores Again'

66 ==

77;>

learn/arvo/hoon/hoon-ch2-9.udon+1−1

@@ -2,7 +2,7 @@

22 navuptwo/'true'

33 next/'true'

44 sort/'35'

5− title/'2.9 Standard Library: Lists'

5+ title/'Standard Library: Lists'

66 ==

77;>

learn/arvo/hoon/hoon-ch3-1.udon+1−1

@@ -1,7 +1,7 @@

11:- :~ navhome/'/docs/'

22 navuptwo/'true'

33 sort/'38'

4− title/'3.1 Type Polymorphism'

4+ title/'Type Polymorphism'

55 ==

66;>

reference/hoon-expressions/irregular.udon−2

@@ -8,8 +8,6 @@

99##### `~palfun-foslup`

1010

11−;br;

12−

1311*Original Fora post* [here](https://urbit.org/fora/posts/~2016.12.29..19.37.08..89d5~/).

1412

1513##### Reading guide

reference/library/4o.udon+1−1

@@ -1,6 +1,6 @@

11:- :~ navhome/'/docs/'

22 sort/'42'

3− title/'4o Molds and Mold-Builders'

3+ title/'4o: Molds'

44 ==

66;>