krisleech

Renew GPG key

Given that your key has expired.

$ gpg --list-keys
$ gpg --edit-key KEYID

Use the expire command to set a new expire date:

tomschr

#!/usr/bin/env python3

import argparse
import logging
from logging.config import dictConfig
import sys

__version__ = "0.2.0"
__author__ = "Tux Penguin <[email protected]>"

sourceperl

#!/usr/bin/env python
# ping a list of host with threads for increase speed
# use standard linux /bin/ping utility

from threading import Thread
import subprocess
try:
    import queue
except ImportError:
    import Queue as queue

kevincennis

function Pluck( ctx ) {
  this.sr = ctx.sampleRate;
  this.pro = ctx.createScriptProcessor( 512, 0, 1 );
  this.pro.connect( ctx.destination );
}

Pluck.prototype.play = function( freq ) {
  var N = Math.round( this.sr / freq ),
    impulse = this.sr / 1000,
    y = new Float32Array( N ),

Ocramius

<?php

use Doctrine\ORM\Mapping as ORM;
use Doctrine\Common\Collections\ArrayCollection;

/**
 * @ORM\Entity()
 * @ORM\Table(name="user")
 */
class User