Skip to content

Instantly share code, notes, and snippets.

View spinda's full-sized avatar
🏳️‍🌈
♾️ 🐲 🦊 🖨️

Michael Smith spinda

🏳️‍🌈
♾️ 🐲 🦊 🖨️
View GitHub Profile
@spinda
spinda / PROMPT.txt
Created December 28, 2022 22:30
ChatGPT splitting the check
Here is OCR'd text from a receipt:
"Dine-In
#15
<restaurant name redacted>
<address redacted> Phone <phone redacted>
@spinda
spinda / 0 PROMPT.md
Last active December 30, 2022 05:14
React/Redux ChatGPT experiment - frontend generation

Give me JavaScript code implementing a React frontend for the app.

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() {
@spinda
spinda / filfre.xml
Last active February 21, 2017 02:37
<?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 March 15, 2017 21:50
js equality implementation (in spidermonkey)

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 January 24, 2016 05:44
Bootstrap Themes Issue

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 March 28, 2017 05:54
LiquidHaskell GSoC 2015 Proposal

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 August 29, 2015 14:18
Le Code Civil français, sous Git

(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.