Skip to content

Instantly share code, notes, and snippets.

View Jake-Gillberg's full-sized avatar

Jake Gillberg Jake-Gillberg

View GitHub Profile
We can make this file beautiful and searchable if this error is corrected: It looks like row 10 should actually have 10 columns, instead of 8. in line 9.
concept_id,concept_name,domain_id,vocabulary_id,concept_class_id,standard_concept,concept_code,valid_start_date,valid_end_date,invalid_reason
,Ethnicity,race/ethnicity,CDC_Race_Ethnicity_v1.2,[NULL],C,2133-7,03/31/2000,12/31/2099,[NULL]
38003563,Hispanic or Latino,race/ethnicity,CDC_Race_Ethnicity_v1.2,Ethnicity,S,2135-2,1/1/1970,12/31/2099,[NULL]
,Spaniard,race/ethnicity,CDC_Race_Ethnicity_v1.2,Ethnicity,S,2137-8,03/31/2000,12/31/2099,[NULL]
,Andalusian,race/ethnicity,CDC_Race_Ethnicity_v1.2,Ethnicity,S,2138-6,03/31/2000,12/31/2099,[NULL]
,Asturian,race/ethnicity,CDC_Race_Ethnicity_v1.2,Ethnicity,S,2139-4,03/31/2000,12/31/2099,[NULL]
,Castillian,race/ethnicity,CDC_Race_Ethnicity_v1.2,Ethnicity,S,2140-2,03/31/2000,12/31/2099,[NULL]
,Catalonian,race/ethnicity,CDC_Race_Ethnicity_v1.2,Ethnicity,S,2141-0,03/31/2000,12/31/2099,[NULL]
,Belearic Islander,race/ethnicity,CDC_Race_Ethnicity_v1.2,Ethnicity,S,2142-8,03/31/2000,12/31/2099,[NULL]
,Gallego,race/ethnicity,CDC_Race_Ethnicity_v1.2,Ethnicity,S,2143-6,03/31/2000
Defined by Kenny:
"Identification and selection of directors, officers, and other important roles in the Cooperative, subject to Board approval.
Oversee selection of Executive Committee general membership."
(https://github.com/rchain/bounties/issues/118#issuecomment-338691846)
(https://docs.google.com/document/d/10dOEW458zNCME8hArp-BHyXCUG9lAEjNB-cAf_k8s9c/edit)
REI:
The primary purposes of the Committee are to (i) assist the Board of Directors in identifying
individuals qualified to become members of the Board; (ii) recommend nominees for election to the
Board at each annual meeting; (iii) recommend nominees for the appointed Director positions
@Jake-Gillberg
Jake-Gillberg / Rho.scala
Created June 20, 2018 20:28
rho calculus equivalences and reductions
import collection.immutable.Map
import scala.annotation.tailrec
object Rho {
// Inputs is the type that defines all of our "listeners" in a process.
// They are uniquely identified by the Name being listened on, and a following process.
// There is no need to store the bound name here, as the bound name will be replaced by an identifier
// based on its position in a process. (Similar to a De Bruijn Index). Two inputs will be regarded as equivalent
// if they only differ in the bound names (are alpha equivalent).
@Jake-Gillberg
Jake-Gillberg / pi.k
Created June 15, 2018 16:36
pi calculus in kframework
module PI-SYNTAX
imports ID
syntax Name ::= Id
syntax Process ::= NormalProcess
| Process "|" Process [klabel(Par), left]
| "!" Process [klabel(Replication)]
| "(" "nu" Name ")" Process [klabel(New)]
| "(" Process ")" [bracket]
@Jake-Gillberg
Jake-Gillberg / Rho.scala
Last active June 21, 2018 14:26
Rho Calc Grammar in Scala
object Rho {
// Grammar Definition
sealed trait P
case class zero() extends P // 0
case class input( y: X, x: X, p: P ) extends P // for(y <- x) { p }
case class lift( x: X, q: P ) extends P // x!(q)
case class drop( x: X ) extends P // *x
case class parallel( p: P, q: P ) extends P // p | q
import LinkedList in {
contract makeGameBoard(return) {
new players in {
players!([]) |
contract registerPlayer(endorse) {
new friends, getFriends in {
@Jake-Gillberg
Jake-Gillberg / Usage.md
Created April 7, 2018 15:39
Use eth-dev-image
  1. Install docker
  2. Install docker-compose
  3. Create a new directory, and put docker-compose.yml inside
  4. Start the container docker-compose up -d
  5. Enter the container docker exec -it -u dev eth-dev /bin/bash --init-file /home/dev/.profile
[
{
"url": "https://api.github.com/repos/rchain/Members/issues/175",
"repository_url": "https://api.github.com/repos/rchain/Members",
"labels_url": "https://api.github.com/repos/rchain/Members/issues/175/labels{/name}",
"comments_url": "https://api.github.com/repos/rchain/Members/issues/175/comments",
"events_url": "https://api.github.com/repos/rchain/Members/issues/175/events",
"html_url": "https://github.com/rchain/Members/issues/175",
"id": 274385192,
"number": 175,
/**
* Retrieves all the rows in the active spreadsheet that contain data and logs the
* values for each row.
* For more information on using the Spreadsheet API, see
* https://developers.google.com/apps-script/service_spreadsheet
*/
function readRows() {
var sheet = SpreadsheetApp.getActiveSheet();
var rows = sheet.getDataRange();
var numRows = rows.getNumRows();