51 Matching Annotations
  1. Mar 2018
    1. L. Gregory Meredith and Matthias Radestock. A reflective higher-order calculus. Electr. Notes Theor. Comput. Sci., 141(5):49–67, 2005. URL: http://dx.doi.org/10.1016/j.entcs.2005.05.016, doi:10.1016/j.entcs.2005.05.016.

      this one makes sense now

    2. Lucius Gregory Meredith, Mike Stay, and Sophia Drossopoulou. Policy as types. CoRR, 2013. URL: http://arxiv.org/abs/1307.7766.

      I think I have my head around this one now.

    3. Mike Stay and Lucius Gregory Meredith. Logic as a distributive law. CoRR, 2016. URL: http://arxiv.org/abs/1610.02247.

      still working up to this one

  2. Sep 2017
    1. whenever I want to use my tablet it's rarely charged there always wants lots of updates

    1. 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

    1. 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?)

    2. can't sort my profile by creation date?

    1. echo "deb https://dl.bintray.com/sbt/debian /" | sudo tee -a /etc/apt/sources.list.d/sbt.list sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv 2EE0EA64E40A89B84B2DF73499E82A75642AC823 sudo apt-get update sudo apt-get install sbt
    1. The gives some helpful context around the weekly update hangout recordings.

    1. 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!

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

    1. 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?

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

  3. Aug 2017
    1. Processes can register servers on the Switchboard, to which clients can connect.

      reminds me of the dbus clean-up

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

  4. Jul 2017
  5. Mar 2017