Skip to content

Instantly share code, notes, and snippets.

teh /
Last active Jan 31, 2020
Solve sudoku with a SAT solver.
import pycosat
import numpy
import itertools
#! /usr/bin/env python
import avahi, dbus
from encodings.idna import ToASCII
import logging
# Got these from /usr/include/avahi-common/defs.h
CLASS_IN = 0x01
# source:
# apache 2 licensed
import torch
def logT(u, t):
if t == 1:
return torch.log(u)
return (torch.pow(u, 1.0 - t) - 1.0) / (1.0 - t)
teh /
Created Aug 4, 2011
Proper shut down in-flight requests for eventlet's wsgi server
import daemon, lockfile, signal, logging
import eventlet
from eventlet import wsgi, timeout
worker_pool = eventlet.GreenPool(20)
sock = eventlet.listen(('', 8000))
def proper_shutdown():
teh / manifest
Last active Oct 17, 2017
Create a an ACI image with tar, then run it with rkt.
View manifest
"acKind": "ImageManifest",
"acVersion": "0.7.0",
"name": "my-app",
"labels": [
{"name": "os", "value": "linux"},
{"name": "arch", "value": "amd64"}
"app": {
"exec": [
View Main.hs
module Main where
main = print "hi"
View contrived.hs
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE TypeOperators #-}
import GHC.Base (Type)
View gist:d1d4fe3bcae794581abea0d6adbaf329
The invocation of "nix-build --keep-going -A python27Packages.sphinx-jinja -A python27Packages.anyjson -A qt5.qtwebchannel -A axis2 -A python35Packages.minimock -A kde4.semnotes -A faust2lv2gui -A python35Packages.actdiag -A xfce.xfce4_netload_plugin -A kde4.kremotecontrol -A skype_call_recorder -A prison -A mono46 -A python27Packages.traits -A kde5.kdenlive -A -A python35Packages.github3_py -A mfcj6510dw-cupswrapper -A python35Packages.oauthlib -A python35Packages.gst-python -A msilbc -A kde4.l10n.nds -A python35Packages.topydo -A kde4.zanshin -A kde5.l10n.wa.qt4 -A fcitx-engines.libpinyin -A mediastreamer-openh264 -A rili -A R -A xorg.xf86inputjoystick -A xpilot-ng -A atanks -A linuxPackages_chromiumos_3_18.nvidia_x11 -A kde4.kfourinline -A python35Packages.carrot -A python27Packages.pytest_xdist -A compton -A opkg -A kde4.kamera -A puddletag -A gnome3.networkmanager_openvpn -A python35Packages.pyramid_debugtoolbar -A glabels -A python27Packages.clepy -A plantuml -A SDL2_gfx -A python27Pack
View decoding-nested-json-fragment.purs
module X where
import Prelude
import Data.Foreign (F)
import Data.Foreign.Class (class IsForeign, readJSON, readProp)
import Data.Foreign.Index (prop)
import Control.Monad.Eff.Console (logShow)
import Data.Either (Either(..))
-- { repo(owner: “tom”, name: “holborn”)
View typeapp.hs
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE DataKinds, PolyKinds, TypeOperators #-}
{-# LANGUAGE TypeFamilies, FlexibleInstances #-}
{-# LANGUAGE InstanceSigs #-}
-- When do I need TypeApplication?
-- When I need some intermediate types that change how