Skip to content

Instantly share code, notes, and snippets.

View kennyrowe's full-sized avatar

Kenny Rowe kennyrowe

View GitHub Profile
@kennyrowe
kennyrowe / gist:6618828635f937792566
Last active August 29, 2015 14:08
My bitcoin auth
Verifying that +kennyrowe is my Bitcoin username. You can send me #bitcoin here: https://onename.io/kennyrowe

Keybase proof

I hereby claim:

  • I am kennyrowe on github.
  • I am kennyrowe (https://keybase.io/kennyrowe) on keybase.
  • I have a public key ASBRM4FtQ8jos2vUPLoqBf6eLxCU2nrDmsyR2Gg887xJ8Ao

To claim this, I am signing this object:

Verifying my Blockstack ID is secured with the address 1E4c9K5AkrRhNR1EyyCYYtJXdQ7r2HpGKX https://explorer.blockstack.org/address/1E4c9K5AkrRhNR1EyyCYYtJXdQ7r2HpGKX
@kennyrowe
kennyrowe / homework.scala
Last active June 19, 2018 22:51
Introduction to the Design of Computational Calculi
trait RhoProcess
case class stopped() extends RhoProcess
case class input(variable : RhoName , channel : RhoName , p : RhoProcess) extends RhoProcess
case class output(channel : RhoName , q : RhoProcess) extends RhoProcess
case class concurrent(p : RhoProcess , q : RhoProcess) extends RhoProcess
case class execute(code : RhoName) extends RhoProcess
trait RhoName
function run(chat){
function format(object){
items = [];
for (let each of object){
time = new Date(each.when);
let obj = {
when: each.when,
date: time.getFullYear() + "-" + (time.getMonth() + 1) + "-" + time.getDate() ,
author: each.author,
uid: each.uid
//Get managment seed and login code given a patp and master tikets
// -s ship_name -t ticket
// To-Do: Make installable by NPM add help
kg = require('urbit-key-generation');
ob = require('urbit-ob');
jssha256 = require('js-sha256');
var fs = require('fs')
NETWORK_KEY_CURVE_PARAMETER = '42';
var args = process.argv.slice(2);