:: :::: /hook/core/radio/app :: /? 314 /- *radio, *twitter /+ radio :: :::: :: !: => |% :: data structures ++ house ,[%1 house-1] :: full state ++ house-any :: app history $% [%1 house-1] :: 1: radio [%0 house-0] :: 0: initial version == :: ++ house-1 :: $: stories=(map span story) :: conversations general=(set bone) :: meta-subscribe outbox=(pair ,@ud (map ,@ud thought)) :: urbit outbox folks=(map ship human) :: human identities == :: ++ house-0 :: legacy state %+ map path :: ,[p=(list zong) q=(map ship ,?)] :: :: :: ++ zong :: legacy messages $% $: %mess p=@da q=ship :: $= r :: $% [%do p=@t] :: [%exp p=@t q=tank] :: [%say p=@t] :: == == == :: ++ story :: wire content $: count=@ud :: (lent grams) grams=(list telegram) :: all history locals=(map ship (pair ,@da status)) :: local presence remotes=(map partner atlas) :: remote presence sequence=(map partner ,@ud) :: partners heard shape=config :: configuration known=(map serial ,@ud) :: messages heard guests=(map bone river) :: message followers viewers=(set bone) :: presence followers owners=(set bone) :: config followers == :: ++ river (pair point point) :: stream definition ++ point :: stream endpoint $% [%ud p=@ud] :: by number [%da p=@da] :: by date == :: ++ gift :: result $% [%rush %radio-report report] :: refresh [%mean ares] :: cancel [%nice ~] :: accept == :: ++ sign :: response $% $: %e :: from %eyre $% [%thou p=httr] :: HTTP response == == :: $: %g :: application $% [%mean p=ares] :: cancel [%nice ~] :: acknowledge [%rush p=silt] :: subs data == == :: $: %t :: $% [%wake ~] :: timer wakeup == == == :: ++ silt $% [%radio-report p=report] :: refresh [%twit-stat p=twit-stat] :: tweet reciept [%twit-feed p=(list twit-stat)] :: tweet reciept == ++ move ,[p=bone q=(mold note gift)] :: all actions ++ hapt ,[p=ship q=path] :: app instance ++ note :: requests $% $: %c :: $% [%info p=@p q=@tas r=nori] :: == == :: $: %e :: through %eyre $% [%them p=(unit hiss)] :: HTTP request == == :: $: %g :: network $% [%mess p=hapt q=ship r=cage] :: message [%nuke p=hapt q=ship] :: cancel [%show p=hapt q=ship r=path] :: subscribe [%took p=hapt q=ship] :: acknowledge == == :: $: %t :: $% [%wait p=@da] :: == == == :: -- |_ [hid=hide house] ++ ra :: transaction core |_ [ost=bone moves=(list move)] ++ ra-abet :: resolve core ^- [(list move) _+>] [(flop moves) +>] :: ++ ra-emil :: ra-emit move list |= mol=(list move) %_(+> moves (welp (flop mol) moves)) :: ++ ra-emit :: emit a move |= mov=move %_(+> moves [mov moves]) :: ++ ra-ever :: emit success (ra-emit ost %give %nice ~) :: ++ ra-evil :: emit error |= msg=cord ~& [%ra-evil msg] (ra-emit ost %give %mean ~ msg ~) :: (ra-emit ost %give %nice ~) :: ++ ra-hiss :: emit http request |= [pax=path hiz=hiss] (ra-emit ost %pass pax %e %them ~ hiz) :: ++ ra-house :: emit partners |= ost=bone %+ ra-emit ost :^ %give %rush %radio-report :- %house %- ~(gas in *(map span (pair posture cord))) %+ turn (~(tap by stories)) |=([a=span b=story] [a p.cordon.shape.b caption.shape.b]) :: ++ ra-homes :: update partners =+ gel=general |- ^+ +> ?~ gel +> =. +> $(gel l.gel) =. +> $(gel r.gel) (ra-house n.gel) :: ++ ra-init :: initialize radio =+ sir=(sein our.hid) %+ ra-apply our.hid :+ %design (main our.hid) :- ~ :_ [%default ?:((gte our.hid 65.536) %brown %black) ~] ?:(=(sir our.hid) ~ [[%& sir (main sir)] ~ ~]) :: ++ ra-apply :: apply command |= [her=ship cod=command] ^+ +> ?- -.cod %design ?. =(her our.hid) (ra-evil %radio-no-owner) ?~ q.cod ?. (~(has by stories) p.cod) (ra-evil %radio-no-story) =. +>.$ (ra-config p.cod *config) ra-ever(stories (~(del by stories) p.cod)) =. +>.$ (ra-config p.cod u.q.cod) ra-ever :: %review ra-ever:(ra-think | her +.cod) %publish ra-ever:(ra-think & her +.cod) == :: ++ ra-config :: configure story |= [man=span con=config] ^+ +> =+ :- neu=(~(has by stories) man) pur=(fall (~(get by stories) man) *story) =. +>.$ pa-abet:(~(pa-reform pa man pur) con) ?:(neu +>.$ ra-homes) :: ++ ra-friend :: %friend response |= [man=span tay=partner sih=sign] ^+ +> =+ pur=(~(get by stories) man) ?~ pur ~& [%ra-friend-none man] +>.$ pa-abet:(~(pa-friend pa man u.pur) tay sih) :: ++ ra-twitter :: %twitter response |= [[num=@ud man=span] sih=sign] ^+ +> ?+ sih ~|([%radio-bad-twitter sih] !!) [%g ?(%nice %mean) ~] +> [%g %mean ^] (ra-repeat num [%| %twitter man] sih) [%g %rush %twit-stat *] (ra-repeat num [%| %twitter man] [%g %nice ~]) == :: ++ ra-repeat :: %repeat response |= [num=@ud pan=partner sih=sign] =+ oot=(~(get by q.outbox) num) ?~ oot ~& [%ra-repeat-none num] +>.$ =. q.outbox (~(del by q.outbox) num) =. q.u.oot =+ olg=(~(got by q.u.oot) pan) %+ ~(put by q.u.oot) pan :- -.olg ?+ sih !! [%g %mean *] ~&([%radio-repeat-rejected num pan sih] %rejected) [%g %nice ~] %received == (ra-think | our.hid u.oot ~) :: ++ ra-cancel :: drop a bone ^+ . =+ hep=(~(get by sup.hid) ost) ?~ hep + ?. ?=([@ @ *] q.u.hep) +(general (~(del in general) ost)) =* man i.t.q.u.hep =+ pur=(~(get by stories) man) ?~ pur +> pa-abet:(pa-notify:~(pa-cancel pa man u.pur) p.u.hep %gone *human) :: ++ ra-human :: look up person |= her=ship ^- [human _+>] =^ who folks =+ who=(~(get by folks) her) ?^ who [u.who folks] =+ who=`human`[~ `(scot %p her)] :: XX do right [who (~(put by folks) her who)] [who +>.$] :: ++ ra-subscribe :: listen to |= [her=ship pax=path] ^+ +> :: ~& [%ra-subscribe her pax] ?: ?=(~ pax) (ra-house(general (~(put in general) ost)) ost) ?. ?=([@ @ *] pax) (ra-evil %radio-bad-path) =+ ^= vab ^- (set ,@tas) =| vab=(set ,@tas) |- ^+ vab ?: =(0 i.pax) vab $(i.pax (rsh 3 1 i.pax), vab (~(put in vab) (end 3 1 i.pax))) =+ pur=(~(get by stories) i.t.pax) ?~ pur ~& [%bad-subscribe-story-c i.t.pax] (ra-evil %radio-no-story) =+ soy=~(. pa i.t.pax u.pur) =. soy ?.((~(has in vab) %a) soy (pa-watch:soy her)) =. soy ?.((~(has in vab) %x) soy (pa-master:soy her)) =. soy ?.((~(has in vab) %f) soy (pa-listen:soy her t.t.pax)) =^ who +>.$ (ra-human her) pa-abet:(pa-notify:soy her %hear who) :: ++ ra-think :: publish/review |= [pub=? her=ship tiz=(list thought)] ^+ +> ?~ tiz +> $(tiz t.tiz, +> (ra-consume pub her i.tiz)) :: ++ ra-consume :: consume thought |= [pub=? her=ship tip=thought] =+ aud=(~(tap by q.tip) ~) |- ^+ +>.^$ ?~ aud +>.^$ $(aud t.aud, +>.^$ (ra-conduct pub her p.i.aud tip)) :: ++ ra-conduct :: thought to partner |= [pub=? her=ship tay=partner tip=thought] ^+ +> :: ~& [%ra-conduct pub her tay] ?- -.tay %& ?: pub =. her our.hid :: XX security! ?: =(her p.p.tay) (ra-record q.p.tay p.p.tay tip) (ra-transmit p.tay tip) ?. =(our.hid p.p.tay) +> (ra-record q.p.tay her tip) %| ?. pub +> ?- -.p.tay %twitter (ra-tweet p.p.tay tip) == == :: ++ ra-record :: add to story |= [man=span gam=telegram] ^+ +> =+ pur=(~(get by stories) man) ?~ pur ~& [%no-story man] +>.$ pa-abet:(~(pa-learn pa man u.pur) gam) :: ++ ra-transmit :: send to neighbor |= [cuz=station tip=thought] ^+ +> =. +> %+ ra-emit ost :* %pass /repeat/(scot %ud p.outbox)/(scot %p p.cuz)/[q.cuz] %g %mess [p.cuz /radio] our.hid [%radio-command !>(`command`[%review tip ~])] == +>(p.outbox +(p.outbox), q.outbox (~(put by q.outbox) p.outbox tip)) :: ++ ra-tweet :: send to /twit |= [man=span tip=thought] =* sta r.tip ?> ?=(%lin -.r.sta) =. q.outbox (~(put by q.outbox) p.outbox tip) %^ ra-emil(p.outbox +(p.outbox)) :* ost %pass /twitter/stat/(scot %ud p.outbox)/[man] %g %mess [our.hid /twit] our.hid [%twit-do !>(`twit-do`[man %post p.tip q.r.sta])] == :* ost %pass /twitter/stat/(scot %ud p.outbox)/[man] [%g %show [our.hid /twit] our.hid /post/(scot %uv p.tip)] == ~ ++ pa :: story core |_ $: man=span story == ++ pa-abet ^+ +> +>(stories (~(put by stories) man `story`+<+)) :: ++ pa-admire :: accept from |= her=ship ^- ? ::?- -.cordon.shape :: %& (~(has in p.cordon.shape) her) :: %| !(~(has in p.cordon.shape) her) ::== & :: ++ pa-watch :: watch presence |= her=ship ?. (pa-admire her) (pa-sauce ost [[%mean ~ %radio-watch-unauthorized ~] ~]) =. viewers (~(put in viewers) ost) (pa-display ost ~ ~) :: ++ pa-master :: hear config |= her=ship ?. (pa-admire her) (pa-sauce ost [[%mean ~ %radio-master-unauthorized ~] ~]) =. owners (~(put in owners) ost) :: ~& [%pa-master her man shape] (pa-sauce ost [[%rush %radio-report %config shape] ~]) :: ++ pa-display :: update presence |= vew=(set bone) =+ ^= reg :_ remotes |- ^- atlas ?~ locals ~ [[p.n.locals q.q.n.locals] $(locals l.locals) $(locals r.locals)] :: ~& [%pa-display man reg] |- ^+ +>.^$ ?~ vew +>.^$ =. +>.^$ $(vew l.vew) =. +>.^$ $(vew r.vew) (pa-sauce n.vew [[%rush %radio-report %group reg] ~]) :: ++ pa-monitor :: update config =+ owe=owners |- ^+ +> ?~ owe +> =. +> $(owe l.owe) =. +> $(owe r.owe) :: ~& [%pa-monitor man shape] (pa-sauce n.owe [[%rush %radio-report %config shape] ~]) :: ++ pa-friend :: subscribed update |= [tay=partner sih=sign] ^+ +> ?+ sih ~|([%radio-bad-friend sih] !!) [%g %nice ~] +>.$ :: [%g %mean *] ?~ +>.sih (pa-acquire [tay ~]) ~& [%pa-friend-mean +>.sih] pa-monitor(sources.shape (~(del in sources.shape) tay)) :: [%g %rush %twit-feed *] %- pa-lesson %+ turn p.p.sih |= twit-stat ^- telegram :^ our.hid :: XX inaccurate (shas %twit id) `audience`[[tay [& ~ tay] %received] `~] :: current party? ^- statement :+ now ~ :: XX hashtags [%lin & txt] :: [%g %rush %radio-report *] :: ~& [%pa-friend-report +>+.sih] ?> ?=(& -.tay) =. +> %+ pa-scrub ost :_ ~ :- /friend/show/[man]/(scot %p p.p.tay)/[q.p.tay] [%g %took [p.p.tay /radio] our.hid] ?+ -.p.p.sih ~|([%radio-odd-friend sih] !!) %config +>.$ %group (pa-remind tay +.p.p.sih) %grams (pa-lesson q.+.p.p.sih) == == :: ++ pa-scrub :: pass forward |= [ost=bone bub=(list (pair path note))] %_ +>.$ moves (welp (flop (turn bub |=(a=(pair path note) [ost %pass a]))) moves) == :: ++ pa-sauce :: send backward |= [ost=bone gub=(list gift)] %_ +>.$ moves (welp (flop (turn gub |=(a=gift [ost %give a]))) moves) == :: ++ pa-abjure :: unsubscribe move |= tal=(list partner) %+ pa-scrub 0 %- zing %+ turn tal |= tay=partner ?- -.tay %| ~& tweet-abjure/p.p.tay !! :: :~ :- /friend/nuke/[man]/twitter/[p.p.tay] :: [%g %nuke [our.hid /twit] our.hid] :: == :: %& ~& [%pa-abjure [our.hid man] [p.p.tay q.p.tay]] :~ :- /friend/nuke/[man]/(scot %p p.p.tay)/[q.p.tay] [%g %nuke [p.p.tay /radio] our.hid] == == :: ++ pa-acquire :: subscribe to |= tal=(list partner) %+ pa-scrub 0 %- zing %+ turn tal |= tay=partner ^- (list (pair path note)) =+ num=(fall (~(get by sequence) tay) 0) ?- -.tay %| ~& tweet-acquire/p.p.tay :~ :- /friend/show/[man]/twitter/[p.p.tay] [%g %show [our.hid /twit] our.hid /user/[p.p.tay]] == :: %& :: ~& [%pa-acquire [our.hid man] [p.p.tay q.p.tay]] :~ :- /friend/show/[man]/(scot %p p.p.tay)/[q.p.tay] [%g %show [p.p.tay /radio] our.hid /af/[q.p.tay]/(scot %ud num)] == == :: ++ pa-reform :: reconfigure, ugly |= cof=config =+ ^= dif ^- (pair (list partner) (list partner)) =+ old=`(list partner)`(~(tap in sources.shape) ~) =+ new=`(list partner)`(~(tap in sources.cof) ~) :- (skip new |=(a=partner (~(has in sources.shape) a))) (skip old |=(a=partner (~(has in sources.cof) a))) =. +>.$ (pa-acquire p.dif) =. +>.$ (pa-abjure q.dif) =. shape cof pa-monitor :: ++ pa-cancel :: unsubscribe from :: ~& [%pa-cancel ost] %_ . guests (~(del by guests) ost) viewers (~(del in viewers) ost) owners (~(del in owners) ost) == :: ++ pa-notify :: local presence |= [her=ship saz=status] ^+ +> =+ ^= nol ?: =(%gone p.saz) (~(del by locals) her) (~(put by locals) her lat.hid saz) ?: =(nol locals) +>.$ (pa-display(locals nol) viewers) :: ++ pa-remind :: remote presence |= [tay=partner loc=atlas rem=(map partner atlas)] =+ ^= buk =+ mer=(turn (~(tap by rem) ~) |=([* a=atlas] a)) |- ^- atlas ?~ mer loc =. loc $(mer t.mer) =+ dur=`(list (pair ship status))`(~(tap by i.mer) ~) |- ^- atlas ?~ dur loc =. loc $(dur t.dur) =+ fuy=(~(get by loc) p.i.dur) ?~ fuy (~(put by loc) p.i.dur q.i.dur) ?: =(`presence`p.q.i.dur `presence`p.u.fuy) loc ?- p.u.fuy %gone (~(del by loc) p.i.dur q.i.dur) %talk loc %hear (~(put by loc) p.i.dur q.i.dur) == =+ gub=(~(get by remotes) tay) :: ~& [%pa-remind tay gub buk] ?. |(?=(~ gub) !=(buk u.gub)) +>.$ =. remotes (~(put by remotes) tay buk) (pa-display viewers) :: ++ pa-start :: start stream |= riv=river ^+ +> =- :: ~& [%pa-start riv lab] =. +>.$ (pa-sauce ost [[%rush %radio-report %grams q.lab r.lab] ~]) ?: p.lab (pa-sauce ost [[%mean ~] ~]) +>.$(guests (~(put by guests) ost riv)) ^= lab =+ [end=count gaz=grams dun=| zeg=*(list telegram)] |- ^- (trel ,? ,@ud (list telegram)) ?~ gaz [dun end zeg] ?: ?- -.q.riv :: after the end %ud (lte p.q.riv end) %da (lte p.q.riv p.r.q.i.gaz) == $(end (dec end), gaz t.gaz) ?: ?- -.p.riv :: before the start %ud (lth end p.p.riv) %da (lth p.r.q.i.gaz p.p.riv) == [dun end zeg] $(end (dec end), gaz t.gaz, zeg [i.gaz zeg]) :: ++ pa-listen :: subscribe |= [her=ship pax=path] ^+ +> ?. (pa-admire her) (pa-sauce ost [[%mean ~ %radio-listen-unauthorized ~] ~]) =+ ^= ruv ^- (unit river) ?: ?=(~ pax) `[[%ud count] [%da (dec (bex 128))]] ?: ?=([@ ~] pax) =+ say=(slay i.pax) ?. ?=([~ %$ ?(%ud %da) @] say) ~ `[(point +>.say) [%da (dec (bex 128))]] ?. ?=([@ @ ~] pax) ~ =+ [say=(slay i.pax) den=(slay i.t.pax)] ?. ?=([~ %$ ?(%ud %da) @] say) ~ ?. ?=([~ %$ ?(%ud %da) @] den) ~ `[(point +>.say) (point +>.den)] :: ~& [%pa-listen her pax ruv] ?~ ruv (pa-sauce ost [[%mean ~ %radio-malformed ~] ~]) (pa-start u.ruv) :: ++ pa-refresh :: update stream |= [num=@ud gam=telegram] =+ ^= moy |- ^- (pair (list bone) (list move)) ?~ guests [~ ~] :: ~& [%pa-refresh num n.guests] =+ lef=$(guests l.guests) =+ rit=$(guests r.guests) =+ old=[p=(welp p.lef p.rit) q=(welp q.lef q.rit)] ?: ?- -.q.q.n.guests :: after the end %ud (lte p.q.q.n.guests num) %da (lte p.q.q.n.guests p.r.q.gam) == [[p.n.guests p.old] [[p.n.guests %give %mean ~] q.old]] ?: ?- -.p.q.n.guests :: before the start %ud (gth p.p.q.n.guests num) %da (gth p.p.q.n.guests p.r.q.gam) == old :- p.old [[p.n.guests %give %rush %radio-report %grams num gam ~] q.old] =. moves (welp q.moy moves) |- ^+ +>.^$ ?~ p.moy +>.^$ $(p.moy t.p.moy, guests (~(del by guests) i.p.moy)) :: ++ pa-lesson :: learn multiple |= gaz=(list telegram) ^+ +> ?~ gaz +> $(gaz t.gaz, +> (pa-learn i.gaz)) :: ++ pa-learn :: learn message |= gam=telegram ^+ +> ?. (pa-admire p.gam) ~& %pa-admire-rejected +>.$ =. q.q.gam =+ ole=(~(get by q.q.gam) [%& our.hid man]) ?~ ole q.q.gam (~(put by q.q.gam) [%& our.hid man] -.u.ole %received) =+ old=(~(get by known) p.q.gam) ?~ old (pa-append gam) (pa-revise u.old gam) :: ++ pa-append :: append new |= gam=telegram ^+ +> %+ %= pa-refresh grams [gam grams] count +(count) known (~(put by known) p.q.gam count) == count gam :: ++ pa-revise :: revise existing |= [num=@ud gam=telegram] =+ way=(sub count num) =. grams (welp (scag (dec way) grams) [gam (slag way grams)]) (pa-refresh num gam) -- -- ++ peer |= [ost=bone her=ship pax=path] ^- [(list move) _+>] :: ~& [%radio-peer ost her pax] ra-abet:(~(ra-subscribe ra ost ~) her pax) :: ++ poke-radio-command |= [ost=bone her=ship cod=command] ^- [(list move) _+>] :: ~& [%radio-poke-command her cod] =^ moz +>.$ ra-abet:(~(ra-apply ra ost ~) her cod) [moz +>.$] :: ++ pour |= [ost=bone pax=path sih=*] ^- [(list move) _+>] :: ~& sih=sih =+ sih=((hard sign) sih) :: ~& [%radio-pour ost pax sih] ?+ pax ~& [%radio-strange-path pax] !! :: [%twitter *] =- ra-abet:(~(ra-twitter ra ost ~) met sih) ^= met ?+ t.pax ~| [%radio-twitter-strange-path pax] !! :: [%mine @ @ ~] :: [i.t.pax i.t.t.t.pax] [%stat @ @ ~] [(slav %ud i.t.t.pax) i.t.t.t.pax] == :: [%friend *] ?> ?=([@ @ @ @ ~] t.pax) ?. =(%show i.t.pax) :: ~& [%pour-friend-nuke-nuke pax] [~ +>.$] =+ man=i.t.t.pax =+ ?: ?=(%twitter i.t.t.t.pax) tay=[%| i.t.t.t.pax i.t.t.t.t.pax] tay=[%& (slav %p i.t.t.t.pax) i.t.t.t.t.pax] ra-abet:(~(ra-friend ra ost ~) man tay sih) :: [%repeat *] ?> ?=([@ @ @ ~] t.pax) =+ [num her man]=[(slav %ud i.t.pax) (slav %p i.t.t.pax) i.t.t.t.pax] ra-abet:(~(ra-repeat ra ost ~) num [%& her man] sih) == :: ++ pull |= ost=bone ^- [(list move) _+>] :: ~& [%radio-pull `*`ost] ra-abet:ra-ever:~(ra-cancel ra ost ~) :: ++ poke-bit |= [ost=bone you=ship ~] ^- [(list move) _+>] :_ +>.$ =+ paf=/(scot %p our.hid)/try/(scot %da lat.hid)/radio/backlog/jam [ost %pass /jamfile %c %info our.hid (foal paf (jam +<+.+>.$))]~ :: ++ prep |= old=(unit (unit house-any)) ^- [(list move) _+>] ?> ?=(^ old) =| moz=(list move) |- ?~ u.old =+ paf=/(scot %p our.hid)/try/(scot %da lat.hid)/radio/backlog/jam ?. ?=([%0 %0 %0] [.^(%cy paf)]) ~& %radio-prep-restore $(u.old (some ((hard house-any) (cue ((hard ,@) .^(%cx paf)))))) ra-abet:~(ra-init ra 0 moz) :- moz |- ?- -.u.u.old %1 %_(+>.^^$ +<+ u.u.old) %0 $(u.u.old [%1 (house-0-to-house-1 +.u.u.old)]) == :: ++ house-0-to-house-1 |= vat=house-0 ^- house-1 =- :* stories=- general=~ outbox=[0 ~] folks=~ == ^- (map span story) =- %- ~(run by -) |= grams=(list telegram) ^- story :* count=(lent grams) grams=grams locals=~ remotes=~ sequence=~ shape=[.(cordon [%black ~])]:*config ^= known %- mo ^- (list ,[serial @]) =< + (roll grams |=([telegram a=@ b=(list ,[serial @])] [+(a) [a p.q] b])) guests=~ viewers=~ owners=~ == ^- (map span (list telegram)) %- mo %+ turn (~(tap by vat)) |= [a=path b=(list zong) c=(map ship ,?)] =+ ^= par ?: =(/ a) 'hub' =+ (turn a |=(d=span leaf/(trip d))) (crip ~(ram re %rose ["_" ~ ~] -)) :- par =+ aud=`audience`[[[%& our.hid par] *envelope %received] `~] =+ ^= spe |= r=_r:*zong ^- speech ?- -.r %say [%lin %& p.r] %do [%lin %| p.r] %exp [%fat [%tank q.r ~] [%exp p.r]] == %+ turn b |= d=zong ^- telegram [q.d (sham eny.hid d) aud p.d ~ (spe r.d)] --