Skip to content
View Async.js
import React, {PropTypes} from 'react';
import {Link} from 'react-router';
import {connect} from 'react-redux';
import ws from './WebSocket';
import {setUsername, socketConnectInit, socketOnOpen} from './actions/index';
class Landing extends React.Component {
constructor(props, context) {
super(props, context);
View DiamonKata.v
Require Import CpdtTactics Ascii String List Arith Omega.
Require Coq.Vectors.Fin.
(* Needed for quoted character literals *)
Local Open Scope char_scope.
Local Open Scope string_scope.
Definition letter := Fin.t 26.
Fixpoint nat_of_letter {x} (l : Fin.t x) : nat :=
View openpanzer-save.json
{"scenario":{"name":"Crossing Kiev","maxTurns":23,"date":"1943-11-02T23:00:00.000Z","atmosferic":1,"latitude":3,"ground":0,"turnsPerDay":0,"dayTurn":0,"reinforcements":{"3":[{"row":28,"col":12,"unit":{"eqid":876,"id":-1,"owner":0,"hasMoved":false,"hasFired":false,"hasResupplied":false,"isMounted":false,"isSurprised":false,"isDeployed":false,"isCore":false,"tempSpotted":false,"strength":10,"facing":8,"flag":20,"destroyed":false,"player":null,"transport":null,"carrier":0,"moveLeft":3,"ammo":7,"fuel":0,"hasAnimation":false,"hits":0,"experience":390,"entrenchment":0,"entrenchTicks":0,"leader":-1},"turn":3,"id":1}],"4":[{"row":28,"col":2,"unit":{"eqid":876,"id":-1,"owner":0,"hasMoved":false,"hasFired":false,"hasResupplied":false,"isMounted":false,"isSurprised":false,"isDeployed":false,"isCore":false,"tempSpotted":false,"strength":10,"facing":8,"flag":20,"destroyed":false,"player":null,"transport":null,"carrier":0,"moveLeft":3,"ammo":7,"fuel":0,"hasAnimation":false,"hits":0,"experience":490,"entrenchment":0,"entren
View typescript-notes
types:
boolean, number, string, number[], [string, number], enum, any, void
cast:
<string>val or (val as string).length
declarations:
var, let, const
destructuring:
View TOC.md
View reddit-filepicker_middleware.public.py
import json
from pprint import pprint
import urllib
import re
from mimetypes import MimeTypes
import copy
import os
from bs4 import BeautifulSoup
from flask import Flask, request, Response
View .bash_profile.sh
#Alias/shortcut commands
alias src="source ~/.bash_profile"
alias sre="vim ~/.bash_profile"
#TODO make an alias to amend to bash profile so it is easier to add
#alias amd=""
#alias to add all files to git, give comit message? and push (with setting upstream)
#alias to do a no edit amend to git repo
View 0_reuse_code.js
// Use Gists to store code you would like to remember later on
console.log(window); // log the "window" object to the console
Something went wrong with that request. Please try again.