git.iko.soy/urbit.org
on master help sign in
content: remove <br/>s
ec1da52Matilde Park
content/blog/why-hoon.md+1−1
compare with master
unifiedsplit
@@ -145,7 +145,7 @@ Hoon and Nock have several unusual properties:
145 the runtime has a matching jet, it will use that instead of the Nock
145 the runtime has a matching jet, it will use that instead of the Nock
146 implementation. Nock isn't as slow as you might think, especially
146 implementation. Nock isn't as slow as you might think, especially
147 considering it's a minimal, dynamic, axiomatic language.
147 considering it's a minimal, dynamic, axiomatic language.
148− <br/><br/>
148+
149 This arrangement has the deeper implication that all code written in
149 This arrangement has the deeper implication that all code written in
150 Nock is best considered as a specification for a program, which can be
150 Nock is best considered as a specification for a program, which can be
151 executed directly but might never run at all due to being jetted.
151 executed directly but might never run at all due to being jetted.
content/docs/hoon/overview.md+2−4
@@ -20,6 +20,7 @@ sense.
20
20
21In particular, the problems Hoon solves that aren't solved by other
21In particular, the problems Hoon solves that aren't solved by other
22functional languages are:
22functional languages are:
23+
23- Compile and run other code in a typesafe manner at full speed,
24- Compile and run other code in a typesafe manner at full speed,
24- Typesafe metaprogramming, and
25- Typesafe metaprogramming, and
25- Hot code reload and online data migration.
26- Hot code reload and online data migration.
@@ -144,7 +145,7 @@ Hoon and Nock have several unusual properties:
144 the runtime has a matching jet, it will use that instead of the Nock
145 the runtime has a matching jet, it will use that instead of the Nock
145 implementation. Nock isn't as slow as you might think, especially
146 implementation. Nock isn't as slow as you might think, especially
146 considering it's a minimal, dynamic, axiomatic language.
147 considering it's a minimal, dynamic, axiomatic language.
147−<br/><br/>
148+
148 This arrangement has the deeper implication that all code written in
149 This arrangement has the deeper implication that all code written in
149 Nock is best considered as a specification for a program, which can be
150 Nock is best considered as a specification for a program, which can be
150 executed directly but might never run at all due to being jetted.
151 executed directly but might never run at all due to being jetted.
@@ -271,6 +272,3 @@ turn, we get an OS that provides far stronger guarantees than Unix with
271a thousand times less code. Given the complexity of modern software,
272a thousand times less code. Given the complexity of modern software,
272this is what's required to put personal computing back into the hands of
273this is what's required to put personal computing back into the hands of
273people.
274people.
274−
275−
276−
content/events/2020-10-09-urbit-hosting-launch-event.md+4−4
@@ -24,10 +24,10 @@ Join the waitlist for hosting here: <a href="https://tlon.io/" class="linkified"
24
24
25---
25---
26
26
27−Got a group of friends who want to use Urbit together? We periodically give away blocks of planets and help people get set up. Apply for a community grant:<br/><a href="https://urbit.org/community/community-grants/" class="linkified">https://urbit.org/community/community-grants/</a>
27+Got a group of friends who want to use Urbit together? We periodically give away blocks of planets and help people get set up. Apply for a community grant: <a href="https://urbit.org/community/community-grants/" class="linkified">https://urbit.org/community/community-grants/</a>
28
28
29−Interested developing on Urbit? Hoon School is a community-run program to teach you the basics of the language and system. Sign up here:<br/><a href="https://hooniversity.org" class="linkified">https://hooniversity.org</a>
29+Interested developing on Urbit? Hoon School is a community-run program to teach you the basics of the language and system. Sign up here: <a href="https://hooniversity.org" class="linkified">https://hooniversity.org</a>
30
30
31−Mostly, you can find us on Urbit in the Urbit Community group. But you can also follow along here:<br/><a href="https://urbit.org/blog/" class="linkified">https://urbit.org/blog/</a><br/><a href="https://twitter.com/urbit" class="linkified">https://twitter.com/urbit</a><br/><a href="https://github.com/urbit" class="linkified">https://github.com/urbit</a>
31+Mostly, you can find us on Urbit in the Urbit Community group. But you can also follow along here: <a href="https://urbit.org/blog/" class="linkified">https://urbit.org/blog/</a> <a href="https://twitter.com/urbit" class="linkified">https://twitter.com/urbit</a> <a href="https://github.com/urbit" class="linkified">https://github.com/urbit</a>
32
32
33−And if you're still confused about what Urbit is, try these:<br/><a href="https://urbit.org/understanding-urbit/" class="linkified">https://urbit.org/understanding-urbit/</a>
33+And if you're still confused about what Urbit is, try these: <a href="https://urbit.org/understanding-urbit/" class="linkified">https://urbit.org/understanding-urbit/</a>