beastaugh

<?php
/*
Plugin Name: Hide Author Names in Tarski
Plugin URI: http://tarskitheme.com/help/hooks/example-plugins/
Description: Hide post and page author names in the Tarski theme.
Author: Benedict Eastaugh
Version: 1.0
Author URI: http://extralogical.net/
*/

beastaugh

module Data.Logic.Propositional.Parser2 where

import Data.Logic.Propositional

import Text.Parsec.Prim ((<|>), (<?>), runPT)
import Text.Parsec.Char (char, letter, spaces, string)
import Text.Parsec.Expr

parseExpr' = runPT expr ()

beastaugh

<?php
/*
Plugin Name: Move Comment Link
Plugin URI: http://tarskitheme.com/help/hooks/example-plugins/
Description: Move the Tarski theme's comments link from the post metadata to the end of the post.
Author: Benedict Eastaugh
Version: 1.0
Author URI: http://extralogical.net/
*/

beastaugh

Q. What is the weakest system that proves Dedekind's categoricity theorem for second-order arithmetic?

In his classic essay 'Was sind und was sollen die Zahlen?', Dedekind proved the categoricity of the second-order Peano axioms, i.e. that all simply infinite systems---in modern terminology, models of those axioms---are isomorphic to one another. This proof was carried out in Dedekind's informal system of set theory.

Feferman and Hellman (1995) carried out a proof of this result in their system EFSC, the "Elementary theory of Finite Sets and Classes". This system has an

beastaugh

module Data.List.DropConsec
    ( dropConsec
    ) where

import Data.List (dropWhile)

dropConsec :: Eq a => [a] -> [a]
dropConsec []     = []
dropConsec (x:xs) = x : dropConsec (dropWhile (== x) xs)

beastaugh

Installing GHC 7.2 on Mac OS X

This is a brief and bare-bones guide to getting GHC 7.2 and the cabal-install tool (the two basic things you'll need to do Haskell development) up and running on a new Mac OS X 10.7 install.

The instructions given here worked for me, but YMMV.

beastaugh

#include <stdio.h>
#include <unistd.h>

int main(void) {
    if (pathconf("/", _PC_CASE_SENSITIVE)) {
        printf("The file system is case sensitive\n");
    } else {
        printf("The file system is case insensitive\n");
    }
    

beastaugh

#!/usr/bin/env ruby

file = ARGV.shift

contents = File.read(file, {:encoding => "ISO-8859-15", :mode => "rb"})

contents.encode!("UTF-8")

File.open(file, 'w') do |f|
  f.write(contents)

beastaugh

{-# LANGUAGE OverloadedStrings #-}
module Main (main) where

{-
    To use this script you need to extract your local Hackage index file. If
    your setup is anything like mine, you should be able to find a .tar file
    containing the listing somewhere like this:
    
         ~/.cabal/packages/hackage.haskell.org/00-index.tar.gz
    

beastaugh

diff -rN old-HDBC-mysql/Database/HDBC/MySQL/Connection.hsc new-HDBC-mysql/Database/HDBC/MySQL/Connection.hsc
2c2
< {-# OPTIONS -fglasgow-exts #-}
---
> {-# LANGUAGE ForeignFunctionInterface, ScopedTypeVariables, EmptyDataDecls #-}
125c125
<         mysql_autocommit mysql_ 0
---
>         _ <- mysql_autocommit mysql_ 0
674c674