c4e434e · urbit.org · git.iko.soy

introduction.udon+1−2

compare with master

unifiedsplit

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

1:- :~ navhome/'/docs/'

2 sort/'1'

3 title/'Introduction'

4− type/'post'

5 ==

4 ==

6;>

5;>

7

6

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

27

26

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

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

29

28

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.

31

30

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

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

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

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

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

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

5# Arvo vs. Azimuth

6

7*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.

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.

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

10

9

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

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

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

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

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

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

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

13consensus 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.

16

15

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

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.

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.

22

17

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

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.

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

25−are owned by Ethereum addresses.

26

19

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

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.

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

learn.udon+8−1

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

6

7# Learn

8

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.

10

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 @@

5

6# Arvo

7

8−[PLACEHOLDER]

8+Arvo is the

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

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

2 navuptwo/'true'

3 next/'true'

4 sort/'5'

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

5+ title/'Messaging'

6 ==

7;>

8

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

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

2 navuptwo/'true'

3 next/'true'

4 sort/'21'

5− title/'1.1 Getting Started'

5+ title/'Getting Started'

6 ==

7;>

8

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

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

2 navuptwo/'true'

3 next/'true'

4 sort/'22'

5− title/'1.2 Nouns'

5+ title/'Nouns'

6 ==

7;>

8

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

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

2 navuptwo/'true'

3 next/'true'

4 sort/'23'

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

5+ title/'The Subject and Its Legs'

6 ==

7;>

8

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

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

2 navuptwo/'true'

3 next/'true'

4 sort/'24'

5− title/'1.4 Arms and Cores'

5+ title/'Arms and Cores'

6 ==

7;>

8

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

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

2 navuptwo/'true'

3 next/'true'

4 sort/'25'

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

5+ title/'Gates (Hoon Functions)'

6 ==

7;>

8

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

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

2 navuptwo/'true'

3 next/'true'

4 sort/'26'

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

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

6 ==

7;>

8

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

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

2 navuptwo/'true'

3 next/'true'

4 sort/'27'

5− title/'2.1 Hoon Programs'

5+ title/'Hoon Programs'

6 ==

7;>

8

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

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

2 navuptwo/'true'

3 next/'true'

4 sort/'36'

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

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

6 ==

7;>

8

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

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

2 navuptwo/'true'

3 next/'true'

4 sort/'37'

5− title/'2.11 Examples'

5+ title/'Examples'

6 ==

7;>

8

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

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

2 navuptwo/'true'

3 next/'true'

4 sort/'28'

5− title/'2.2 Hoon Syntax'

5+ title/'Hoon Syntax'

6 ==

7;>

8

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

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

2 navuptwo/'true'

3 next/'true'

4 sort/'29'

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

5+ title/'Simple One-Gate Programs'

6 ==

7;>

8

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

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

2 navuptwo/'true'

3 next/'true'

4 sort/'30'

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

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

6 ==

7;>

8

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

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

2 navuptwo/'true'

3 next/'true'

4 sort/'31'

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

5+ title/'Type Checking and Type Inference'

6 ==

7;>

8

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

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

2 navuptwo/'true'

3 next/'true'

4 sort/'32'

5− title/'2.6 Structures and Complex Types'

5+ title/'Structures and Complex Types'

6 ==

7;>

8

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

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

2 navuptwo/'true'

3 next/'true'

4 sort/'33'

5− title/'2.7 Cores'

5+ title/'Cores'

6 ==

7;>

8

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

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

2 navuptwo/'true'

3 next/'true'

4 sort/'34'

5− title/'2.8 Cores Again'

5+ title/'Cores Again'

6 ==

7;>

8

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

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

2 navuptwo/'true'

3 next/'true'

4 sort/'35'

5− title/'2.9 Standard Library: Lists'

5+ title/'Standard Library: Lists'

6 ==

7;>

8

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

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

1:- :~ navhome/'/docs/'

2 navuptwo/'true'

3 sort/'38'

4− title/'3.1 Type Polymorphism'

4+ title/'Type Polymorphism'

5 ==

6;>

7

reference/hoon-expressions/irregular.udon−2

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

8

9##### `~palfun-foslup`

10

11−;br;

12−

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

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

14

12

15##### Reading guide

13##### Reading guide

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

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

1:- :~ navhome/'/docs/'

2 sort/'42'

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

3+ title/'4o: Molds'

4 ==

5

6;>