A ZSH theme optimized for people who use:
- Solarized
- Git
- Unicode-compatible fonts and terminals (I use iTerm2 + Menlo)
# Test BaseEventLoop.getaddrinfo performance, before and after my commit 39c135b | |
# Try a variety of getaddrinfo parameters and log the duration of 10k calls | |
import socket | |
import time | |
from asyncio import get_event_loop | |
try: | |
from asyncio.base_events import _ipaddr_info | |
except ImportError: |
#!/usr/bin/env python3 | |
import sys | |
import asyncio | |
import json | |
import websockets | |
async def hello(): | |
uri = "ws://localhost:8888" |
f@omoikane:~$ scala | |
Welcome to Scala version 2.9.1.final (Java HotSpot(TM) 64-Bit Server VM, Java 1.6.0_31). | |
Type in expressions to have them evaluated. | |
Type :help for more information. | |
scala> :load Workshop/mine/scala-misc/voldemort.scala | |
Loading Workshop/mine/scala-misc/voldemort.scala... | |
defined module Dungeon | |
scala> val nemesis = Dungeon curse "fedesilva" |
map.on('click', function(event){ | |
var x1_wgs; | |
var y1_wgs; | |
async function ajax(x,y){ | |
const data = $.ajax({ | |
url:'/geocoding/egsa_2_wgs.php?x='+x+'&y='+y, | |
async:true, | |
type:'GET', |
FROM selenium/node-base:3.4.0-dysprosium | |
USER root | |
ARG CHROME_VERSION="google-chrome-beta" | |
RUN wget -q -O - https://dl-ssl.google.com/linux/linux_signing_key.pub | apt-key add - \ | |
&& echo "deb http://dl.google.com/linux/chrome/deb/ stable main" >> /etc/apt/sources.list.d/google-chrome.list \ | |
&& apt-get update -qqy \ | |
&& apt-get -qqy install \ |
$FILES="*.rs" | |
$REGEX="s#(.*)\n(.*)/\2\n\1/" | |
find . -name "$FILES" | xargs perl -0777 -pi -e '$REGEX' | |
# flag: -0777 tells perl to read the file as a whole | |
# replace '-pi' with '-pi.bak' to create backups |
import JsEither._ | |
case class Page(id: Int, name: String, screen_name: String, is_closed: Int, photo_50: String, photo_100: String, photo_200: String) | |
object Page { | |
implicit val format = Json.format[Page] | |
} | |
case class Profile(id: Int, first_name: String, last_name: String) | |
object Profile { | |
implicit val format = Json.format[Profile] |
/** | |
* Sample of serverside generation of Highcharts using an extension to jsdom in node.js. | |
* | |
* Usage: | |
* npm install jsdom | |
* npm install highcharts | |
* node highcharts-jsdom | |
*/ | |
/* eslint-env node */ |
function dataURItoBlob(dataURI) { | |
// convert base64 to raw binary data held in a string | |
var byteString = atob(dataURI.split(',')[1]); | |
// separate out the mime component | |
var mimeString = dataURI.split(',')[0].split(':')[1].split(';')[0]; | |
// write the bytes of the string to an ArrayBuffer | |
var arrayBuffer = new ArrayBuffer(byteString.length); | |
var _ia = new Uint8Array(arrayBuffer); |