@@ -112,6 +112,55 @@ It’s also worth noting that, while there are almost 8B people on Earth, there
113(For more background on why Urbit ID is the way it is, read [this](/understanding-urbit/urbit-id/).)
113(For more background on why Urbit ID is the way it is, read [this](/understanding-urbit/urbit-id/).)
117+### What is Urbit OS? {#what-is-arvo}
119+Urbit OS, also called [Arvo](/docs/glossary/arvo), is our functional and deterministic software stack. Arvo is written in [Hoon](/docs/glossary/hoon), our purely functional programming language, which compiles to [Nock](/docs/glossary/nock), a compact bytecode language.
121+Instances of Urbit OS, called '[ships](/docs/glossary/ship)', communicate as peers on what we refer to as “the [Ames](/docs/glossary/ames) network.” Using Urbit ID, Urbit OS ships can prove their identities to one another.
123+### What is unique about Urbit OS / Arvo? {#what-is-unique-about-arvo}
125+[Arvo](/docs/glossary/arvo) is different from other operating systems in many ways. One notable way is that it is completely deterministic. Processing in the system happens in a unique way: when an event happens, a transition function takes that event and the old state of Arvo, and produces an effect and a new state of Arvo. To visualize:
127+`[event, old state] -> [effects, new state]`
129+All events are logged to disk, so you can always restore the system to a previous point in time.
131+### How is Urbit OS / Arvo connected to Ethereum? {#arvo-ethereum}
133+When an [Arvo](/docs/glossary/arvo) ship (instance) is started for the first time you must use a "[keyfile](/docs/glossary/keyfile)" containing the private keys for your identity's networking keys. Urbit ID uses the Ethereum blockchain as its decentralized ledger.
135+See our [Getting Started](/getting-started/planet) guide to learn how to get your ship onto the Urbit OS / [Ames](/docs/glossary/ames) network.
137+### Will the Urbit OS network survive if Ethereum dies? {#if-ethereum-dies}
139+Yes. It would be annoying, but Urbit ID / [Azimuth](/docs/glossary/azimuth) could be ported to another decentralized ledger, or hosted on Urbit OS / [Arvo](/docs/glossary/arvo) itself.
141+### How do I install Urbit OS? {#install-urbit-os}
143+Check out our guides [here](/getting-started/).
145+### How do I use Urbit OS? {#use-urbit-os}
147+The [Using](/using/os/getting-started) section of the documentation will help you out.
149+### How do over-the-air updates work? {#over-the-air-updates}
151+Your sponsor, a star or galaxy that your ship is connected to, may send you new source code for your system. When you receive new source code from your sponsor, your system recompiles itself using that code, performs any necessary data migrations, and keeps running. Ideally this happens seamlessly without the user even noticing, although there is sometimes a slowdown while rebuilding the system from source.
153+### What is Landscape? {#what-is-landscape}
155+[Landscape](/docs/glossary/landscape) is an experimental Urbit OS web interface that includes social functions such as chat and publishing. You can access Landscape by navigating to `http://localhost:PORT`, where PORT is typically 80, 8080, or 8081 (check your boot messages).
157+### I have an Urbit ID, now what? {#now-what}
159+Follow our guide on how to boot a ship [here](/getting-started/planet).
161+Get on the [mailing list](https://urbit.us11.list-manage.com/subscribe/post?u=972a03db9e0c6c25bb58de8c8&id=be143888d2). Learn [Hoon](/docs/hoon/hoon-school/). Sign up for [Hooniversity](https://hooniversity.org/). [Make stuff](https://grants.urbit.org).
115## Urbit Security
164## Urbit Security
117### How secure is Urbit right now? {#how-secure-is-urbit}
166### How secure is Urbit right now? {#how-secure-is-urbit}
@@ -229,53 +278,6 @@ Linear release is the simplest: your stars will be released linearly over a peri
230Conditional release is a bit more complicated. If your stars are in conditional lockup, they're likely divided over three so-called tranches. Each of these unlocks only after a unique condition is met. Since it's difficult to verify things about the real world using smart contracts, the [Galactic Senate](/docs/glossary/senate) verifies that they've been met. Once the Senate marks a condition for a tranche as cleared, it starts releasing linearly over the period of a year.
279Conditional release is a bit more complicated. If your stars are in conditional lockup, they're likely divided over three so-called tranches. Each of these unlocks only after a unique condition is met. Since it's difficult to verify things about the real world using smart contracts, the [Galactic Senate](/docs/glossary/senate) verifies that they've been met. Once the Senate marks a condition for a tranche as cleared, it starts releasing linearly over the period of a year.
234−### What is Urbit OS? {#what-is-arvo}
236−Urbit OS, also called [Arvo](/docs/glossary/arvo), is our functional and deterministic software stack. Arvo is written in [Hoon](/docs/glossary/hoon), our purely functional programming language, which compiles to [Nock](/docs/glossary/nock), a compact bytecode language.
238−Instances of Urbit OS, called '[ships](/docs/glossary/ship)', communicate as peers on what we refer to as “the [Ames](/docs/glossary/ames) network.” Using Urbit ID, Urbit OS ships can prove their identities to one another.
240−### What is unique about Urbit OS / Arvo? {#what-is-unique-about-arvo}
242−[Arvo](/docs/glossary/arvo) is different from other operating systems in many ways. One notable way is that it is completely deterministic. Processing in the system happens in a unique way: when an event happens, a transition function takes that event and the old state of Arvo, and produces an effect and a new state of Arvo. To visualize:
244−`[event, old state] -> [effects, new state]`
246−All events are logged to disk, so you can always restore the system to a previous point in time.
248−### How is Urbit OS / Arvo connected to Ethereum? {#arvo-ethereum}
250−When an [Arvo](/docs/glossary/arvo) ship (instance) is started for the first time you must use a "[keyfile](/docs/glossary/keyfile)" containing the private keys for your identity's networking keys. Urbit ID uses the Ethereum blockchain as its decentralized ledger.
252−See our [Getting Started](/getting-started/planet) guide to learn how to get your ship onto the Urbit OS / [Ames](/docs/glossary/ames) network.
254−### Will the Urbit OS network survive if Ethereum dies? {#if-ethereum-dies}
256−Yes. It would be annoying, but Urbit ID / [Azimuth](/docs/glossary/azimuth) could be ported to another decentralized ledger, or hosted on Urbit OS / [Arvo](/docs/glossary/arvo) itself.
258−### How do I install Urbit OS? {#install-urbit-os}
260−Check out our guides [here](/getting-started/).
262−### How do I use Urbit OS? {#use-urbit-os}
264−The [Using](/using/os/getting-started) section of the documentation will help you out.
266−### How do over-the-air updates work? {#over-the-air-updates}
268−Your sponsor, a star or galaxy that your ship is connected to, may send you new source code for your system. When you receive new source code from your sponsor, your system recompiles itself using that code, performs any necessary data migrations, and keeps running. Ideally this happens seamlessly without the user even noticing, although there is sometimes a slowdown while rebuilding the system from source.
270−### What is Landscape? {#what-is-landscape}
272−[Landscape](/docs/glossary/landscape) is an experimental Urbit OS web interface that includes social functions such as chat and publishing. You can access Landscape by navigating to `http://localhost:PORT`, where PORT is typically 80, 8080, or 8081 (check your boot messages).
274−### I have an Urbit ID, now what? {#now-what}
276−Follow our guide on how to boot a ship [here](/getting-started/planet).
278−Get on the [mailing list](https://urbit.us11.list-manage.com/subscribe/post?u=972a03db9e0c6c25bb58de8c8&id=be143888d2). Learn [Hoon](/docs/hoon/hoon-school/). Sign up for [Hooniversity](https://hooniversity.org/). [Make stuff](https://grants.urbit.org).
280## Urbit Grants
282## Urbit Grants