Skip to content

Instantly share code, notes, and snippets.

everything happens so much oh no

Quil robotlolita

everything happens so much oh no
View GitHub Profile


There are so many great GIFs out there and I want to have copies of them. Twitter makes that harder than it should be by converting them to MP4 and not providing access to the source material. To make it easier, I made a bash pipeline that takes a tweet URL and a filename, extracts the MP4 from that tweet and uses ffmpeg to convert back to GIF.


  • ffmpeg
    • macOS: brew install ffmpeg
    • Ubuntu/Debian: apt install ffmpeg

Racket #langs and the REPL

The Racket platform provides a robust set of tools for developing languages, mostly centered around the macro system and the #lang protocol, which allows providing arbitrary readers to convert text input to syntax objects representing Racket modules. The REPL is a bit more complicated, however, because it has different rules—each expression needs to be dynamically read, assigned lexical context, expanded, compiled, evaluated, and printed, all in real time. (In that sense, perhaps the phrase “REPL” oversimplifies what Racket is doing, but that’s a separate conversation.)

So how does Racket accommodate this in the face of completely arbitrary user-defined languages, some of which may not even support interactive evaluation in a traditional sense? Racket mostly solves this problem by having a related but distinct set of protocols for managing runtime interactions that operates alongside #lang.

Modules and the top level

Racket’s evaluation model divides pretty much ev


Nested asynchronous objects are a problem with Promises/A+, since you can't nest promises.

Compare Data.Task:

function AsyncMap() { = {}
// :: String, a -> Task<b, Unit>
AsyncMap.prototype.set = function(key, value) {
jlongster / console
Last active Jan 1, 2016
working debugger with pure JavaScript state machine transform
View console
# will suspend on every function call (very proof of concept,
# it will be really easy to get access to local variables, a
# full stack, and even live evaluate within any closure)
% node test.out.js
[suspended] foo()
> c
[suspended] bar(x)
> c
[suspended] bar(i - 1)
maxogden / index.js
Last active May 9, 2021
fast loading of a large dataset into leveldb
View index.js
// data comes from here
// download 1994.csv.bz2 and unpack by running: cat 1994.csv.bz2 | bzip2 -d > 1994.csv
// 1994.csv should be ~5.2 million lines and 500MB
// importing all rows into leveldb took ~50 seconds on my machine
// there are two main techniques at work here:
// 1: never create JS objects, leave the data as binary the entire time (binary-split does this)
// 2: group lines into 16 MB batches, to take advantage of leveldbs batch API (byte-stream does this)
var level = require('level')
Raynos /
Last active Mar 19, 2019
Delayed computation

Programming with delayed computation

A delayed computation is a function that will do some computation when called. Because of the delayed nature the computation may be asynchronous so the function takes a callback.

Note: the term "delayed computation" is just a temporary name so we can talk about this idea, I do not recommend using this name as it's a) confusing and b) this concept is hard to name.

twanvl / Sorting.agda
Created May 23, 2013
Correctness and runtime of mergesort, insertion sort and selection sort.
View Sorting.agda
module Sorting where
open import Level using () renaming (zero to ℓ₀;_⊔_ to lmax)
open import Data.List
open import Data.List.Properties
open import Data.Nat hiding (_≟_;_≤?_)
open import Data.Nat.Properties
open import Data.Product
open import Data.Sum
open import Relation.Nullary
robotlolita / gist:5630695
Last active Dec 17, 2015
Things I'd like to write about
View gist:5630695

Things I'll likely write about soon

  • On module systems in general, and AMD/CommonJS in particular: simplicity, community, etc.

  • On the performance implications of real-world applications with Promises/A+ for abstracting over asynchronous computations.

  • How command line interfaces usually suck beyond anything, and what we could do to get back the UNIX philosophy and more simplicity.

  • A short introduction to programming language theory and programming language design. Parsing, semantics, formal syntaxes, interpreters, optimizers and compilers.

robotlolita / alternative.egl
Last active Dec 16, 2015
Elegance. A pure, declarative language for writing documents (HTML/XML/etc.)
View alternative.egl
uses html;
uses prelude;
let style-sheets { |...xs|
map xs { |x| link href: x/url rel: x/kind type: "text/css" };
let search-panel {
uses jumper-skirt as jsk;