this one makes sense now

I think I have my head around this one now.

still working up to this one

C-H for pi calculus

whenever I want to use my tablet it's rarely charged there always wants lots of updates

on storage layer demo:

yay for successive elaboration presentation! I would like to see more of that in the docs.

data or continuation - good. ocap-happy

query for prolog terms...

• datalog? rules? (I didn't see rules)
• unification? or just matching?
  • yes, unification
    • occurs check? (not sure)

"API is database independent... mongo / lightning" they have different failure modes, no? hard to hide that in a higher level API, no?

specialK - still on my reading list

I have a bunch of junk tags from when I thought tags were separated by spaces; they keep popping up in the autocomplete list -- at the top, no less.

Sort autocomplete by most-used?

let me delete tags? (maybe I haven't looked hard enough?)

can't sort my profile by creation date?

The gives some helpful context around the weekly update hangout recordings.

hm. lots of moving parts. Doesn't give the minimal / orthogonal feel of kernel monte + safeScope. No Near / Far refs?

(describe any?) goes to stdout - ambient!

tried to test some AA batteries. is 1.3 good? the lights didn't light up. Are the batteries on the meter low?

extremely cool, but...

comparing with tahoe-lafs:

clearly separates writecap from readcap, but... does it grok readcap as separate from idcap?

client-side encryption?

n-of-k erasure encoding?

America, money is not speech and corporations are not person. We've done these experiments haven't we?

found i2p via foolscap / warner

spotter: NG

reminds me of the dbus clean-up

impressive results, but pretty opaque. Kinda surprising that the AAAI paper was accepted; there clearly isn't enough info to reproduce their results

used early in the beagleboard boot phase

ugh. here link