Skip to content

Instantly share code, notes, and snippets.

@teh
teh / sudoku.py
Last active Jan 31, 2020
Solve sudoku with a SAT solver.
View sudoku.py
import pycosat
import numpy
import itertools
WORLDS_HARDEST_RIDDLE_ACCORDING_TO_TELEGRAPH = """\
8........
..36.....
.7..9.2..
.5...7...
....457..
View avahi_publish.py
#! /usr/bin/env python
# avahi-alias.py
import avahi, dbus
from encodings.idna import ToASCII
import logging
# Got these from /usr/include/avahi-common/defs.h
CLASS_IN = 0x01
TYPE_CNAME = 0x05
View bi-tempered.py
# source: https://google.github.io/bi-tempered-loss/
# apache 2 licensed
import torch
def logT(u, t):
if t == 1:
return torch.log(u)
else:
return (torch.pow(u, 1.0 - t) - 1.0) / (1.0 - t)
@teh
teh / shutdown_example.py
Created Aug 4, 2011
Proper shut down in-flight requests for eventlet's wsgi server
View shutdown_example.py
import daemon, lockfile, signal, logging
import eventlet
from eventlet import wsgi, timeout
worker_pool = eventlet.GreenPool(20)
sock = eventlet.listen(('', 8000))
def proper_shutdown():
worker_pool.resize(0)
@teh
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 kde5.l10n.it.qt4 -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