Viewing profile — throwaway982736

throwaway982736

HN member

No profile information was provided.

comment
Comment #15691717
Does this help?: https://medium.com/@IsaacSimpson/urbit-and-the-not-so-dark-f...

Tue, Nov 14, 2017, 12:59 AM UTC
story
Galen Wolfe-Pauly on Internet Culture and Urbit's Future
Tue, Nov 07, 2017, 12:58 PM UTC
comment
Comment #15306062
"So it's not true that Tlon can't just say $user's compute node is hereby expelled?" Correct, this is untrue.

Thu, Sep 21, 2017, 6:16 PM UTC
comment
Comment #14038965
Representing "Con(T)" in a formal language with the Peano Axioms isn't all that long, relatively speaking. No diagonalization is needed. It's basically: ~(Ex)Proof(x, ~0=0) I.e., "…

Wed, Apr 05, 2017, 1:40 AM UTC