Skip to content

Instantly share code, notes, and snippets.

@xykj61
xykj61 / eyre.md
Last active March 9, 2023 12:18

Eyre

Overview

Eyre is Arvo's web server and one of Arvo's eight kernel modules (vanes). Eyre is responsible for handling inbound and outbound HTTP requests, parsing mark extensions and query strings in URLs, and sending respective moves based on the requests to the other Arvo vanes, like Clay, Ford and Gall.

Specification

This document is for the current iteration of Eyre, which has not yet been designed and implemented into its ideal state.

@xykj61
xykj61 / marzod-planets.txt
Last active December 12, 2018 19:39
Planets under the urbit.org star ~marzod.
~wicdev-wisryt
~panret-tocsel
~tomfur-figpur
~masrep-sanlyx
~locnyl-dacdel
~tocbel-habnyx
~wandeg-nildun
~toltud-pacryl
~dolnyd-pastyr
~sandul-matluc
@belisarius222
belisarius222 / differ.hoon
Last active January 1, 2019 01:10
auto-generated diffing using Hoon types
|%
:: +make-diff: create a noun representing the diff from :a to :b
::
++ make-diff
|= [a-vase=vase b-vase=vase]
^- vase
::
?> (~(nest ut p.a-vase) | p.b-vase)
?> (~(nest ut p.b-vase) | p.a-vase)
::
@belisarius222
belisarius222 / future-runes.hoon
Last active August 27, 2018 23:33
Ford runes as DSL for +schematic:ford
:: start with some data from the lexical subject
::
=/ a=@ 2
:: a ford rune produces a +schematic:ford
::
^- schematic:ford
:: /? produces a %reef at that version
::
/? 310
:: /+ prepend expression into subject (like =+ for ford)
@mattnewport
mattnewport / planetppm.hoon
Created August 29, 2019 03:54
Procedural Planet raytracer in Hoon
|= dim=@ud ^- (list @t)
=/ dx (div:rs .1 (sun:rs dim))
=/ white [.1 .1 .1]
=< (genppm dim)
|%
++ min
|= [x=@rs y=@rs] ^- @rs
?: (lth:rs x y) x y
++ max
|= [x=@rs y=@rs] ^- @rs
@belisarius222
belisarius222 / state-monad.hoon
Created February 25, 2020 09:27
state monad in hoon
=< (do-some-stack-ops ~[1 2 3])
|%
++ do-some-stack-ops
=/ liz (list @)
=/ st (stack @)
=/ m (stat liz @)
^- form:m
;< empty=? bind:m is-empty:st
?. empty
pop:st
@belisarius222
belisarius222 / monads.hoon
Created February 29, 2020 00:39
monads.hoon
|%
++ mebe
|* a=mold
|%
+$ form (unit a)
++ pure
|= arg=a
^- form
`u=arg
++ bind
/+ *chat-json
:- %say
|= [[now=@da eny=@uvJ bec=beak] ~ ~]
:- %json
(inbox-to-json .^(inbox %gx /(scot %p p.bec)/chat-store/(scot %da now)/all/noun))