Skip to content

Instantly share code, notes, and snippets.

View texodus's full-sized avatar

Andrew Stein texodus

164 followers · 19 following
View GitHub Profile
@texodus
texodus / gist:901595
Created April 4, 2011 13:03
--------------------------------------------------------------------------------
--
-- List
struct nil: List
struct cons: Z -> List -> List
head: List -> V
( nil() )= error
@texodus
texodus / gist:944051
Created April 27, 2011 10:46
npm info it worked if it ends with ok
npm info using [email protected]
npm info using [email protected]
npm info preinstall [email protected]
npm WARN bins installing to /Users/astein/bin, outside PATH
npm WARN man pages installing to /Users/astein/share/man, outside MANPATH
npm info rebuilding bundled dependencies [email protected]
npm ERR! install failed Error: ENOENT, No such file or directory
npm info install failed rollback
npm info uninstall [ '[email protected]' ]
@texodus
texodus / gist:1020802
Created June 11, 2011 18:06
var Hook = require('hook.io').Hook;
var myhook = new Hook({
'inputs.*': function(name, event, data){
this.emit('inputs.echo', name + event);
},
'inputs.hello': function(name, event, data){
this.emit('inputs.chello', data);
},
@texodus
texodus / gist:7252252
Created October 31, 2013 16:03
True: Bool
False: Bool
`if (a) then (b) else (c)` = match a with
True = b
False = c
`if (a) { (b) } else { (c) }` = if a then b else c
`if (a) { (b) } else (c)` = if a then b else c
@texodus
texodus / gist:90e1a437cebf0330178e
Created October 6, 2014 14:51
ISDA_PERMITTED_CHARS = '0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZ'
ISDA_PRIME = 59575553
def leiHash( lei, permittedChars = ISDA_PERMITTED_CHARS ):
""" Shorten 20 character alpha-numeric Legal Entity Identifier into 10 character alpha-numeric "short LEI" that
can be used as a Unique Trade Identifier (UTI) prefix. The algorithm is simply the modulo operation lifted from
integers to the space of alpha-numeric case-insensitive strings.
Argument
--------
@texodus
texodus / Icon
Created May 19, 2017 14:55
<html>
<head>
<script src="https://cdnjs.cloudflare.com/ajax/libs/three.js/49/Three.min.js"></script>
<script
src="https://code.jquery.com/jquery-1.12.4.min.js"
integrity="sha256-ZosEbRLbNQzLpnKIkEdrPv7lOy9C27hHQ+Xp8a4MxAQ="
crossorigin="anonymous"></script>
<script
src="https://code.jquery.com/ui/1.8.23/jquery-ui.min.js"
integrity="sha256-sEFM2aY87nr5kcE4F+RtMBkKxBqHEc2ueHGNptOA5XI="
@texodus
texodus / icon.json
Created May 19, 2017 14:56
{
"metadata" :
{
"formatVersion" : 3,
"generatedBy" : "Blender 2.63 Exporter",
"vertices" : 162,
"faces" : 76,
"normals" : 13,
"colors" : 0,
@texodus
texodus / .block
Last active July 15, 2019 17:27 — forked from JHawk/.block
Perspective Viewers Linked Through Click Events Example
license: apache-2.0
height: 1200
@texodus
texodus / .block
Last active July 15, 2019 17:30 — forked from JHawk/.block
Perspective Superstore Arrow Example
license: apache-2.0
@texodus
texodus / .block
Last active July 15, 2019 17:32 — forked from JHawk/.block
Perspective Olympics Example
license: apache-2.0