Skip to content

Instantly share code, notes, and snippets.


Michael Smith spinda

View GitHub Profile
View resources.txt application/javascript
const $___stub_b2b8ba4a533aaeb8 = {};
(exports => {
'use strict';
const dataSymbol = Symbol('data');
const keysSymbol = Symbol('keys');
let canConstructStorage = true;
class Storage {
constructor() {
View filfre.xml
<?xml version='1.0' encoding='UTF-8'?>
<rss xmlns:atom="" xmlns:content="" version="2.0"><channel><title>The Digital Antiquarian</title><link></link><description>A history of computer entertainment by Jimmy Maher</description><docs></docs><generator>python-feedgen</generator><language>en</language><lastBuildDate>Tue, 21 Feb 2017 02:35:24 +0000</lastBuildDate><item><title>Introducing a new blog…</title><link></link><guid isPermaLink="false"></guid></item><item><title>Filfre version 1.00</title><link></link><guid isPermaLink="false"></guid></item><item><title>The Madness Spreads…</title><link></link><guid isPermaLink="false">http://w
spinda /
Last active Mar 15, 2017
js equality implementation (in spidermonkey)

explanation of in terms of SpiderMonkey (Firefox) internals

edit: The tweet linked above has since been deleted, but the original code read something like:

' \t\n\r\u000c\u000b\uFEFF\u0020' == 0 // true
  1. The script is parsed and compiled to bytecode.
spinda /
Last active Jan 24, 2016
Bootstrap Themes Issue

Keybase proof

I hereby claim:

  • I am spinda on github.
  • I am spinda ( on keybase.
  • I have a public key whose fingerprint is 2400 F3E1 4EFC F00C 6487 CF9B 9AAE FBB8 E1D5 0026

To claim this, I am signing this object:

spinda /
Last active Mar 28, 2017
LiquidHaskell GSoC 2015 Proposal

Native Haskell Type Encoding for LiquidHaskell


LiquidHaskell is a correctness-checking system that brings refinement types to Haskell. The current implementation parses type signatures and other specifications from special comments in Haskell source code. The majority of user issues - crashes and unclear error messages - trace back to this portion of the codebase, hampering widespread adoption. I propose to replace this with a system that encodes refinement types in Haskell's type system, achieving code reuse and deeper integration with GHC.


What is the goal of the project you propose to do?

spinda /
Last active Aug 29, 2015
Le Code Civil français, sous Git

(English translation of Le Code Civil français, sous Git)

The French Civil Code, in Git


Here is a little hack, the result of an afternoon of code: the Civil Code in Git.

If one considers the law as a set of texts modified by the various assemblies of the state, one can consider them as a set of text files created collaboratively.