reyjrar

(* 
 * New-iTerm-Window.scpt
 * 
 * Intended for use with QuickSilver
 *  I mapped option-y to running this script to create
 *  a new iTerm window on the current workspace
 *
 * Based on much Googling - very little "original" code here
 *   Comments/Suggestions to brad.lhotsky@gmail.com
 *)

michaelficarra

import Control.Applicative ((<*>))
import Control.Parallel (par)

class Comonad w where
  extend :: (w a -> b) -> w a -> w b
  duplicate :: w a -> w (w a)
  extract :: w a -> a

-- if monads are monoids on functions which produce side effects,
--

luite

{-# LANGUAGE ForeignFunctionInterface, QuasiQuotes #-}

module Main where

import Text.Blaze
import Text.Blaze.Renderer.String
import Text.Hamlet -- provided by hamlet package

foreign import ccall safe "sin" c_testImport :: Double -> IO Double

sjoerdvisscher

{-# LANGUAGE Rank2Types #-}

import Control.Applicative (Applicative(..), (<$>), Const(..))
import Control.Lens.Internal.Review (Reviewed(..))
import Control.Lens.Internal.Bazaar (Bazaar(..))
import Data.Monoid (Monoid(..), First(..))
import Data.Profunctor
import Data.Profunctor.Rep
import Data.Functor.Identity

worldsayshi

-----------------------------------------------------------------------------
-- | Example for loading Haskell source code dynamically using the GHC api
-- Tested on ghc 7.4.2
--
-- Useful links:
-- GHC api:
-- http://www.haskell.org/ghc/docs/latest/html/libraries/ghc/GHC.html
-- Wiki:
-- http://www.haskell.org/haskellwiki/GHC/As_a_library
-----------------------------------------------------------------------------

noprompt

(ns foo.core
  (:refer-clojure :exclude [slurp]))

(defmacro slurp [file]
  (clojure.core/slurp file))

;; In CLJS

(ns bar.core
  (:require [foo.core :include-macros true :refer [slurp]]))

chenglou

Interesting part (unmounting & API) is at the end if you're not interested in the rest =).

Stress Tests

This animation proposal is just an attempt. In case it doesn't work out, I've gathered a few examples that can test the power of a future animation system.

1. Parent is an infinitely spinning ball, and has a child ball that is also spinning. Clicking on the parent causes child to reverse spinning direction. This tests the ability of the animation system to compose animation, not in the sense of applying multiple interpolations to one or more variables passed onto the child (this should be trivial), but in the sense that the parent's constantly updating at the same time as the child, and has to ensure that it passes the animation commands correctly to it. This also tests that we can still intercept these animations (the clicking) and immediately change their configuration instead of queueing them.

2. Typing letters and let them fly in concurrently. This tests concurrency, coordination of an array of ch

paulirish

Screencapture and animated gifs

I say "animated gif" but in reality I think it's irresponsible to be serving "real" GIF files to people now. You should be serving gfy's, gifv's, webm, mp4s, whatever. They're a fraction of the filesize making it easier for you to deliver high fidelity, full color animation very quickly, especially on bad mobile connections. (But I suppose if you're just doing this for small audiences (like bug reporting), then LICEcap is a good solution).

Capturing (Easy)

1. Launch quicktime player
2. do Screen recording

gallais

module reornament where

open import Data.Product
open import Data.Nat
open import Data.List

ListAlg : (A B : Set) → Set
ListAlg A B = B × (A → B → B)

data ListSpec (A : Set) {B : Set} (alg : ListAlg A B) : (b : B) → Set where

paf31

This blog post series has moved here.

You might also be interested in the 2016 version.