d12frosted

function f
  set -l glob name "hello"
  # for comment case
  if something_true
    do_the_thing
  end

  begin; do_not_ignore_inliners; end

  begin; echo "1"; end; begin; echo "2"; end

d12frosted

function __prompt_duration
  if test $CMD_DURATION
    if test $CMD_DURATION -ge 8000
      set_color white
      echo -esn '  ~> duration: '
      set_color yellow
      echo -es $CMD_DURATION ' ms'
      set_color normal
      if hash terminal-notifier ^ /dev/null
        echo -es 'Finished in ' $CMD_DURATION ' ms' | terminal-notifier

d12frosted

-- Exercise: prove Peirce’s law <=> law of excluded middle in Haskell

{-# LANGUAGE Rank2Types #-}

import Data.Void

type Not a = a -> Void

type Peirce = forall a b. ((a -> b) -> a) -> a
type LEM = forall a. Either (Not a) a

d12frosted

OS X Screencast to animated GIF

This gist shows how to create a GIF screencast using only free OS X tools: QuickTime, ffmpeg, and gifsicle.

Instructions

To capture the video (filesize: 19MB), using the free "QuickTime Player" application:

d12frosted

OS X Screencast to animated GIF

This gist shows how to create a GIF screencast using only free OS X tools: QuickTime, ffmpeg, and gifsicle.

Instructions

To capture the video (filesize: 19MB), using the free "QuickTime Player" application:

d12frosted

//  Copyright (c) 2012 Calvin Rien
//        http://the.darktable.com
// 
// This software is provided 'as-is', without any express or implied warranty. In
// no event will the authors be held liable for any damages arising from the use
// of this software.
// 
// Permission is granted to anyone to use this software for any purpose,
// including commercial applications, and to alter it and redistribute it freely,
// subject to the following restrictions: