Skip to content

Instantly share code, notes, and snippets.

@ostollmann
ostollmann / 0_reuse_code.js
Last active August 29, 2015 14:10
Here are some things you can do with Gists in GistBox.
// Use Gists to store code you would like to remember later on
console.log(window); // log the "window" object to the console
@ostollmann
ostollmann / either.cxx
Last active August 29, 2015 14:06
Either monad in C++
#include <iostream>
#include <string>
#include <functional>
#include "either.hxx"
using std::cout;
using std::endl;
using std::string;
@ostollmann
ostollmann / propositional
Created August 5, 2014 16:15
Propositional Logic
import Data.Maybe
import qualified Data.HashMap as HM
import Control.Monad
import Test.QuickCheck
--------------------------------------------------------------------------------------------------------------
-- Propositional calculus
data Formula = T
| F
import time
import multiprocessing
from multiprocessing import Queue
q = Queue()
class Worker(multiprocessing.Process):
def __init__(self,uid,workQueue):
multiprocessing.Process.__init__(self)
{-# LANGUAGE OverloadedStrings #-}
{-# OPTIONS_GHC -XTypeSynonymInstances #-}
{-|
This is where all the routes and handlers are defined for your site. The
'app' function is the initializer that combines everything together and
is exported by this module.
-}