Permalink
Browse files

Mr. Hyde developing some identity.

  • Loading branch information...
1 parent bb2b0bf commit de9d4ee0ea5a00070be6bf2d6c8be7b67a6fe51d @cgyarvin committed Mar 10, 2012
View
@@ -753,6 +753,24 @@ _rl_bloq_free(u2_ray ral_r,
}
}
+/* _rl_sloq_free(): wrapper for _rl_bloq_free(), disabling signals.
+*/
+static void
+_rl_sloq_free(u2_ray ral_r,
+ u2_ray box_r)
+{
+ return _rl_bloq_free(ral_r, box_r);
+}
+
+/* _rl_sloq_grab(): wrapper for _rl_bloq_grab(), disabling signals.
+*/
+static u2_ray
+_rl_sloq_grab(u2_ray ral_r,
+ c3_w len_w)
+{
+ return _rl_bloq_grab(ral_r, len_w);
+}
+
/* u2_rl_ralloc():
**
** Allocate `siz_w` words of raw ray storage.
View
@@ -1,12 +1,18 @@
::
=> |%
- ++ deed :: command-line action
- $^ :* p=gene
- q=vent :: data destination
- r=fuel :: data source
- ==
- ++ fuel (unit >[p=mode q=gene])
- ++ vent (unit >[p=mode q=gene])
+ ++ boom
+ $% [%hit p=mode q=barn r=*] :: save to disk
+ [%see p=@ q=tank] :: show at tab
+ ==
+ ++ loon
+ $% [%% p=gene] :: simple gene
+ [%dig p=loon] :: save a packet
+ [%fit p=mode q=barn] :: local file
+ [%quo p=vase] :: live data
+ [%ram p=loon q=loon] :: source to dest
+ [%typ p=loon] :: show type
+ [%var p=term q=loon] :: set a variable
+ ==
++ mode :: filesystem access mode
$| $? %atom :: file as flat atom
%blob :: map ext to length-atom
@@ -17,11 +23,6 @@
$% [%dlog p=mode] :: directory as list
[%dmap p=mode] :: directory as map
==
- ++ tube :: filesystem address
- $% [%here p=(list cask)] :: permanent internal
- [%unix p=tape] :: external unix path
- ==
- ++ file >[p=mode q=tube] :: filesystem key
++ shoe :: trace stack layer
$% [%bean p=*] :: raw noun
[%lose p=term] :: error message
@@ -30,21 +31,6 @@
[%spot p=spot] :: source position
==
--
-=> |%
- ++ loon
- $% [%% p=gene] :: simple gene
- [%dig p=loon] :: save a packet
- [%fit p=mode q=barn] :: local file
- [%quo p=vase] :: live data
- [%ram p=loon q=loon] :: source to dest
- [%typ p=loon] :: show type
- [%var p=term q=loon] :: set a variable
- ==
- ++ boom
- $% [%hit p=mode q=barn r=*] :: save to disk
- [%see p=@ q=tank] :: show at tab
- ==
- --
=> |%
++ x-goon
=+ vas=vast
@@ -100,28 +86,6 @@
==
==
--
-=> |%
- ++ x-deed ~+
- =+ vas=vast
- =+ pay=/.~/sys/[(rent %ud stub)]
- ;~(plug wide:vas(bug &, wer pay) x-fuel x-vent)
- ::
- ++ x-mode ~+
- ;~ pose
- (cold %atom pat)
- (cold %pill tar)
- ==
- ::
- ++ x-fuel
- ;~ pose
- (easy ~)
- ==
- ::
- ++ x-vent
- ;~ pose
- (easy ~)
- ==
- --
=+ [tic=@ud log=*(list >@uw)]
=+ wad=*(map term vase)
=+ cot=#/+cato
@@ -173,9 +137,6 @@
[~ ..live(wad (~(put in wad) p.lun bet))]
==
--
-++ scan
- |= cad=@ta ~| %scan ^- deed
- (rash cad x-deed)
::
++ slan
|= cad=@ta ~| %slan ^- loon
View
@@ -0,0 +1,190 @@
+::
+:: System tiles
+::
+=> |% ++ slim @uwH
+ ++ phat @uwI
+ ++ home @uwH
+ ++ bill ?(rock [rock rock])
+ ++ king @ud
+ ++ rock @uw
+ ++ step @ud
+ ++ tick @ud
+ ++ time @mc
+ --
+::
+:: Protocol tiles
+::
+=> |%
+ ++ fact >[p=barn q=note]
+ ++ brut :: protocol src
+ $% [%bu p=(list brut)] :: bundle
+ [%da p=barn q=note] :: end data
+ [%pc p=home q=nail] :: certificate
+ [%pg p=home q=brut] :: signed by
+ [%pl p=home q=brut] :: sealed to
+ [%ps p=home q=harp] :: credentials
+ [%sm p=home q=home r=brut] :: from to what
+ [%sp p=home q=home r=rock] :: register key
+ ==
+ ++ harp $|(~ $%([& p=ring] [| p=wand])) :: RSA data
+ ++ nail >[p=slim q=(list home)] :: regime core
+ ++ opal :: signed/sealed data
+ $: who=home :: identity
+ ver=king :: regime version
+ dat=?(@ [@ @]) :: direct/indirect
+ ==
+ ++ pipe :: one-way channel
+ $: src=home :: sender
+ ver=king :: sender version
+ dst=home :: receiver
+ end=time :: not valid after
+ key=phat :: symmetric key
+ ==
+ --
+::
+:: Internal tiles
+::
+=> |%
+ ++ card :: kernel query
+ $% :- %reg
+ :+ p=home
+ q=king
+ r=?(%gem %pub %pri %wil)
+ ==
+ ++ case :: per home
+ $: gem=slim :: fingerprint
+ pub=(unit ring) :: public key
+ sol=(unit soul) :: private state
+ ver=king :: regime version
+ wil=(list home) :: update control
+ ==
+ ++ soul :: private state
+ $: wad=wand :: private key
+ ==
+ --
+::
+:: Boot interface
+::
+|= $: pas=tape :: passphrase
+ now=time :: atomic not sidereal
+ pyl=(list rock) :: packet log
+ ==
+::
+::
+::
+=+ :* cod=*(map slim pipe) :: universal codebook
+ box=(map barn note) :: foreign facts
+ reg=*(map home case) :: regime state
+ ==
+::
+:: Brain
+::
+|%
+++ blow :: apply deed list
+ |= doy=(list gift) ^+ mind
+ ?~ doy
+ ..mind
+ ?. -.i.doy
+ $(doy t.doy)
+ $(..mind (i.doy mind), doy t.doy)
+::
+++ burp
+ =+ who=(set home)
+ |= peb=rock ^- (list gift)
+ =+ [mag=(end 3 2 peb) bod=(rsh 3 2 peb)]
+ ~| [%burp mag]
+ ?+ mag !!
+ ::
+ %bu
+ =+ may=((hard (list rock)) (cue bod))
+ |- ^- work
+ ?~(may ~ (weld $$(peb i.may) $(may t.may)))
+ ::
+ %da
+ =+ fay=((hard fact) (cue bod))
+ =+ con=?>(?=(^ p.fay) (need (slay i.p.fay)))
+ ?> ?& ?=([%% %h con])
+ (~(has in who) q.p.con)
+ !(~(has in box) p.fay)
+ ==
+ :~ :- %&
+ |+ dum=_mind => .(..mind dum)
+ ..mind(box (~(put in box) p.fay q.fay))
+ ==
+ ::
+ %pc
+ =+ luy=((hard >[p=home q=king r=nail]) (cue bod))
+ :~ :- %|
+ %+ wait
+ [%reg p.luy (dec q.luy) %wil]
+ |+ vig=(list home)
+ |- ^- work
+ ?~ vig
+ :~ :- %&
+ |+ dum=_mind => .(..mind dum)
+ %= ..mind
+ reg
+ %+ ~(put in reg)
+ p.luy
+ [p.r.luy ~ ~ q.luy q.r.luy]
+ ==
+ ==
+ ?>(&((~(has in who) i.vig) $(vig t.vig)))
+ ==
+ ::
+ %ps
+ =+ hay=((hard >[
+ ==
+::
+++ deed |+(dum=_mind mind)
+++ gift $%([& p=_deed] [| p=_task])
+++ know
+ |* ned=card
+ ~| [%know ned]
+ ?+ ned !!
+ [%reg *]
+ =+ cas=(~(get by reg) p.ned)
+ ?. =(ver.cas q.ned)
+ ?>((lth ver.cas q.ned) ~)
+ ?+ r.ned !!
+ %gem [~ u=gem.cas]
+ %pub pub.cas
+ %pri ?~(sol.cas ~ [~ u=wad.sol.cas])
+ %wil [~ u=wil.cas]
+ ==
+ ==
+::
+++ mind . :: live brain
+++ walk :: apply task list
+ |= doy=(list gift) ^- (list gift)
+ ?~ doy
+ ?: -.i.doy
+ $(doy t.doy)
+ (weld (i.doy ..mind) $(doy t.doy))
+::
+++ task |+(a=_mind *work) :: XX shouldnt need name
+++ then |=(gun=time ..mind(now gun))
+++ spin
+ |= peb=rock ^+ mind
+ =+ wax=(burp peb)
+ |- ^+ mind
+ ?~ wax
+ ..mind
+ => .(..mind (blow wax))
+ =+ woe=(walk wax)
+ ?: =(woe wax)
+ ~|(%spin-loop !!)
+ $(wax woe)
+::
+++ wait :: polling wait
+ |* [ned=card run=|+(p=* *(list gift))]
+ ^+ task
+ |+ dum=mind ^- work
+ => .(..mind dum)
+ =+ him=(know ned)
+ ?~ him
+ [[%| ^|(..$)] ~]
+ (run u.him)
+::
+++ work (list gift)
+--
View
Binary file not shown.
Oops, something went wrong.

0 comments on commit de9d4ee

Please sign in to comment.