Skip to content

Instantly share code, notes, and snippets.

View btford's full-sized avatar
🍊

Brian Ford btford

🍊
View GitHub Profile
module Main where
import Prelude
import Data.Exists (Exists, mkExists, runExists)
import Unsafe.Coerce (unsafeCoerce)
-- Leibniz equality:
-- Two things are equal if they are substitutable in all contexts.
type Leib a b = forall f. f a -> f b
__ __
(..\ /..)
ΛΛ \ / VV
\ \ / /
\ \ / /
\ \--=^^^^^^^^^^^^=--/ /
\ 1000 SIGNUPS /
|_|--------------|_|
@SlexAxton
SlexAxton / .zshrc
Last active April 25, 2023 03:57
My gif workflow
gifify() {
if [[ -n "$1" ]]; then
if [[ $2 == '--good' ]]; then
ffmpeg -i $1 -r 10 -vcodec png out-static-%05d.png
time convert -verbose +dither -layers Optimize -resize 600x600\> out-static*.png GIF:- | gifsicle --colors 128 --delay=5 --loop --optimize=3 --multifile - > $1.gif
rm out-static*.png
else
ffmpeg -i $1 -s 600x400 -pix_fmt rgb24 -r 10 -f gif - | gifsicle --optimize=3 --delay=3 > $1.gif
fi
else
@btford
btford / shoppingcat.sublime-snippet
Created October 9, 2012 20:47
snippet for header for angular+yeoman shopping demo
<snippet>
<content><![CDATA[[
{
id: 1,
name: 'Batarang',
img: 'http://25.media.tumblr.com/tumblr_l7s7b3PTAt1qzpwi0o1_500.jpg',
price: 80
},
{
id: 2,