| <!DOCTYPE html> | |
| <html> | |
| <head> | |
| <meta charset="utf-8" /> | |
| <title>setImmediate + jQuery Deferred</title> | |
| <script src="http://code.jquery.com/jquery.min.js" type="text/javascript"></script> | |
| <script type="text/javascript"> | |
| (function() { | |
| function wrapSetImmediate(work, time) { | |
| var def = $.Deferred(); |
| import System.Directory | |
| import System.Environment | |
| import System.FilePath | |
| import Control.Applicative ((<$>)) | |
| import Control.Arrow (first, second) | |
| import Control.Monad (void) | |
| import Data.Either (rights) | |
| import Data.List (isSuffixOf) | |
| import Data.Set (Set, (\\), empty, fromList, insert, singleton, toList, union) | |
| import Text.Parsec |
| import os | |
| import ycm_core | |
| from clang_helpers import PrepareClangFlags | |
| # Set this to the absolute path to the folder (NOT the file!) containing the | |
| # compile_commands.json file to use that instead of 'flags'. See here for | |
| # more details: http://clang.llvm.org/docs/JSONCompilationDatabase.html | |
| # Most projects will NOT need to set this to anything; you can just change the | |
| # 'flags' list of compilation flags. Notice that YCM itself uses that approach. | |
| compilation_database_folder = '' |
| #!/bin/sh | |
| help () { | |
| log "Usage: `basename $0` [-h] [-n] [-a] [-u] [-s hh:mm:ss] [-d ss] [-w px] [-f n] [-S n] [-b n] [-t subtitle.sub] [-c default | basic | fontsize | fontstyle | full] <filename> [result.gif] | |
| -h show this help | |
| -n turn off subtitles | |
| -a don't open directory with frames in filemanager | |
| -u update this script from gist. Create .gifupd file in the script's directory to automatically check for updates once per day or put the number of seconds in the file to check with that period. | |
| -s start time in seconds or as hours:minutes:seconds, default: 0 |
"Interview with a Human" (2015) by Diana Thayer
Who are you?
The last human, as far as the market is concerned, though I wouldn't expect you to recognize it. I haven't worn flesh since we mined the sun.
Why not?
Flesh has a price, and I have no means to pay. I leased my consciousness to a corporation without a name. I sold the skin and organs my parents gave me to a recycling firm to pay the deposit.
| #!/usr/bin/env python | |
| from __future__ import print_function | |
| import base64 | |
| import sys | |
| PEM = ("""-----BEGIN RSA PRIVATE KEY----- | |
| MIIEogIBAAKCAQEAgK1Q6Ydi8UUheJLvnTYJE65NOZtAtjDdDSxS+6b4x9EakjIylljSzs5uLEJn |
| #! /usr/bin/python | |
| from logging import getLogger | |
| from logging.config import dictConfig | |
| LOGGING = { | |
| 'version': 1, | |
| 'disable_existing_loggers': False, | |
| 'formatters': |
| import Control.Monad | |
| import Data.Char | |
| import System.IO | |
| import Network | |
| import Data.Time.LocalTime | |
| data RequestType = GET | POST deriving (Show) | |
| data Request = Request { rtype :: RequestType, path :: String, options :: [(String,String)] } | |
| data Response = Response { version :: String, statuscode :: Int } |
| module Main | |
| {- Divide x by y, as long as there is a proof that y is non-zero. The | |
| 'auto' keyword on the 'p' argument means that when safe_div is called, | |
| Idris will search for a proof. Either y will be statically known, in | |
| which case this is easy, otherwise there must be a proof in the context. | |
| 'so : Bool -> Type' is a predicate on booleans which only holds if the | |
| boolean is true. Essentially, we are making it a requirement in the type | |
| that a necessary dynamic type is done before we call the function -} |
This gist demonstrates a trick I came up with which is defining
IsString for Q (TExp a), where a is lift-able. This allows you
to write $$("...") and have the string parsed at compile-time.
On GHC 9, you are able to write $$"..." instead.
This offers a light-weight way to enforce compile-time constraints. It's
basically OverloadedStrings with static checks. The inferred return type
