Torsten Grust Teggy

## gist:1618
SELECT COUNT(*)
FROM   R
WHERE  NOT EXISTS (SELECT 1
                   FROM   S
                   WHERE  S.A = R.A)


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

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

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

/**
 * Hook up menu items.
 */

## Chocolat-1.3.2-crash-report
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)

## init.js
/*!
 * 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;

## keybase.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                Teggy
                / keybase.md
            
            
              Created
              September 23, 2014 08:11
            
          
    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:

  
## four-solutions-to-a-trivial-problem.hs
{-# 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

## regression.md.html
************
*      o   *
*     /    *
*    /     *
*   o      *
************

## diagram-vs-Unicode.md.html
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 *
*******

## tuppers-formula.sql
-- 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:
--
--          █                   █                █ ██ █     █                █  █ █     █    █ ██ █      █   █
--          █                   █ █      █       █  █ █     █                █  █ █     █    █  █ █      █   █
	SELECT COUNT(*)
	FROM R
	WHERE NOT EXISTS (SELECT 1
	FROM S
	WHERE S.A = R.A)
	/*!
	* Replace selection with current date
	* Copyright(c) 2012 Torsten Grust <torsten.grust@gmail.com>
	*/

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

	/**
	* Hook up menu items.
	*/
	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)
	/*!
	* 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;
	{-# 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
	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 *
	*******
	-- 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:
	--
	-- █ █ █ ██ █ █ █ █ █ █ █ ██ █ █ █
	-- █ █ █ █ █ █ █ █ █ █ █ █ █ █ █ █ █