Skip to content

Instantly share code, notes, and snippets.


Michael Smith spinda

View GitHub Profile
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.


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 Jan 24, 2016
Bootstrap Themes Issue
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 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?

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() {