Skip to content

Instantly share code, notes, and snippets.

Avatar

Michael Smith spinda

View GitHub Profile
View resources.txt
addthis.com/addthis_widget_rewritten.js 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="http://www.w3.org/2005/Atom" xmlns:content="http://purl.org/rss/1.0/modules/content/" version="2.0"><channel><title>The Digital Antiquarian</title><link>http://www.filfre.net</link><description>A history of computer entertainment by Jimmy Maher</description><docs>http://www.rssboard.org/rss-specification</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>http://www.filfre.net/2011/03/introducing-a-new-blog/</link><guid isPermaLink="false">http://www.filfre.net/2011/03/introducing-a-new-blog/</guid></item><item><title>Filfre version 1.00</title><link>http://www.filfre.net/2011/03/filfre-version-1-00/</link><guid isPermaLink="false">http://www.filfre.net/2011/03/filfre-version-1-00/</guid></item><item><title>The Madness Spreads…</title><link>http://www.filfre.net/2011/03/the-madness-spreads/</link><guid isPermaLink="false">http://w
@spinda
spinda / jsequalityimpl.md
Last active Mar 15, 2017
js equality implementation (in spidermonkey)
View jsequalityimpl.md

explanation of https://twitter.com/getify/status/780249160662605824 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
spinda / issue.md
Last active Jan 24, 2016
Bootstrap Themes Issue
View issue.md
View keybase.md

Keybase proof

I hereby claim:

  • I am spinda on github.
  • I am spinda (https://keybase.io/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
spinda / gsoc_2015_proposal.md
Last active Mar 28, 2017
LiquidHaskell GSoC 2015 Proposal
View gsoc_2015_proposal.md

Native Haskell Type Encoding for LiquidHaskell

Abstract

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.

Questions

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

@spinda
spinda / README.md
Last active Aug 29, 2015
Le Code Civil français, sous Git
View README.md

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

The French Civil Code, in Git

Introduction

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.

You can’t perform that action at this time.