Teggy

SELECT COUNT(*)
FROM   R
WHERE  NOT EXISTS (SELECT 1
                   FROM   S
                   WHERE  S.A = R.A)

Teggy

select max(A)
from   R
where  R.B in (1,2,3,4,5,6,7,8,9,10)

Teggy

/*!
 * Replace selection with current date
 * Copyright(c) 2012 Torsten Grust <torsten.grust@gmail.com>
 */

var spawn = require('child_process').spawn;

/**
 * Hook up menu items.
 */

Teggy

Process:         Chocolat [21406]
Path:            /Applications/Chocolat.app/Contents/MacOS/Chocolat
Identifier:      com.chocolatapp.Chocolat
Version:         1.3.2 (1.3.2)
Code Type:       X86-64 (Native)
Parent Process:  launchd [154]
User ID:         501

Date/Time:       2012-10-09 11:42:33.565 +0200
OS Version:      Mac OS X 10.8.2 (12C60)

Teggy

/*!
 * Experimental Chocolat mixins
 * Copyright(c) 2012 Torsten Grust <torsten.grust@gmail.com>
 */

var fs = require('fs');
var path = require('path');
var spawn = require('child_process').spawn;

var flashLaTeX = require('./tex.js').flashLaTeX;

Teggy

Keybase proof

I hereby claim:

• I am Teggy on github.
• I am teggy (https://keybase.io/teggy) on keybase.
• I have a public key whose fingerprint is A3B0 BC48 CA26 C3C1 0666 2837 E60A A49E 46AF 1FDF

To claim this, I am signing this object:

Teggy

{-# LANGUAGE TypeSynonymInstances #-}

import Data.Monoid
import Data.Maybe

-- How much water does a "histogram" hold?
--
-- Inspired by Guy Steele's talk "Four Solutions to a Trivial Problem"
-- https://www.youtube.com/watch?v=ftcIcn8AmSY

Teggy

************
*      o   *
*     /    *
*    /     *
*   o      *
************

Teggy

The bold capital Sigma (U+1D6BA) in the diagram below will not
be rendered.  Since it occupies two indices in the extracted
diagram string, grid width computation is off by one (see the
spurious `*` rendered in the resulting document):

*******
* x𝚺x *
* xxx *
*******

Teggy

-- Tupper's self-referential formula
--
-- Plot points x ∈ [0,106), y ∈ [k, k+17) for which
-- ½ < ⌊mod(⌊y/17⌋ × 2^(-17 × ⌊x⌋ - mod(⌊y⌋, 17), 2)⌋
-- holds.
--
-- The plotted image contains a representation of the formula itself:
--
--          █                   █                █ ██ █     █                █  █ █     █    █ ██ █      █   █
--          █                   █ █      █       █  █ █     █                █  █ █     █    █  █ █      █   █