Skip to content

Instantly share code, notes, and snippets.

@teh
teh / autogluon.nix
Created October 1, 2023 09:48
autogluon nixpkgs
{ lib
, buildPythonPackage
, fetchFromGitHub
, networkx
, tqdm
, scipy
, pandas
, lightgbm
, catboost
, xgboost
@teh
teh / sudoku.py
Last active January 31, 2020 17:43
Solve sudoku with a SAT solver.
import pycosat
import numpy
import itertools
WORLDS_HARDEST_RIDDLE_ACCORDING_TO_TELEGRAPH = """\
8........
..36.....
.7..9.2..
.5...7...
....457..
@teh
teh / avahi_publish.py
Created June 8, 2012 08:41
avahi publish
#! /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
# 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 August 4, 2011 21:13
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():
worker_pool.resize(0)
@teh
teh / manifest
Last active October 17, 2017 14:55
Create a an ACI image with tar, then run it with rkt.
{
"acKind": "ImageManifest",
"acVersion": "0.7.0",
"name": "my-app",
"labels": [
{"name": "os", "value": "linux"},
{"name": "arch", "value": "amd64"}
],
"app": {
"exec": [
@teh
teh / Main.hs
Last active August 2, 2017 21:05
module Main where
main = print "hi"
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE TypeOperators #-}
import GHC.Base (Type)
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
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”)