Thomascountz

#!/bin/bash

if ! command -v mp4extract >/dev/null 2>&1; then
  echo "Error: mp4extract is not installed or not in your PATH." >&2
  echo "Please install it and try again" >&2
  exit 1
fi

if ! command -v jq >/dev/null 2>&1; then
  echo "Error: jq is not installed or not in your PATH." >&2

nneonneo

#!python2
# -*- coding: utf-8 -*-
# 一个简单的 Socks5 代理服务器 , 只有 server 端 , 而且代码比较乱
# 不是很稳定 , 而且使用多线程并不是 select 模型
# Author : WangYihang <wangyihanger@gmail.com>


import socket
import threading
import sys

tkersey

Quick access

• The Dao of Functional Programming

2026

March

• Project Pterodactyl’s layered architecture

  1. PterodactylCore contains the core syntax, semantic domain, evaluator, and conversion checker. This library is completely indepenent from the rest of the system.
  2. PterodactylKernel contains the rules of Martin-Löf type theory, implemented as closure conditions on functions that produce core terms from an environment and a goal. I will discuss this more below. This depends only on PterodactylCore and is completely independent of concrete syntax. The kernel is trusted, and its outputs are (in LCF style) unforgeable. > 1. PterodactylSyntax contains the concrete syntax of the Pterodactyl, implemented with Roslyn-style homogeneous “green trees”. This library includes the layout lexer and the parser. This library is independent of the other parts of the sy

josephspurrier

// Source: http://nicolasmerouze.com/guide-routers-golang/

// Package httprouterwrapper allows the use of http.HandlerFunc compatible funcs with julienschmidt/httprouter
package httprouterwrapper

import (
	"net/http"

	"github.com/gorilla/context"
	"github.com/julienschmidt/httprouter"

vlucas

#!/bin/bash

# @link https://gist.github.com/mattscilipoti/8424018
#
# Called by "git push" after it has checked the remote status,
# but before anything has been pushed.
#
# If this script exits with a non-zero status nothing will be pushed.
#
# Steps to install, from the root directory of your repo...

dlo

function getpassword() {
  # Written for Mac OS X Keychain.
  SERVICE=$1
  ACCOUNT=$2
  security find-internet-password -s $SERVICE -a $ACCOUNT -w | tr -d '\n'
}

function update_github_issues() {
    read -p "Enter the repo owner: " OWNER
    read -p "Enter the repo name: " REPO

mekarpeles

mek@bigbertha:~/7-Projects$ python
Python 2.7.2+ (default, Oct  4 2011, 20:06:09) 
[GCC 4.6.1] on linux2
Type "help", "copyright", "credits" or "license" for more information.
>>> import time
>>> def test():
...     """Comapring concat. + vs list.extend"""
...     x = range(10000000)
...     y = range(10000000)
...     x0 = time.clock()

playpauseandstop

import datetime

from django.conf import settings
from django.contrib.auth import logout
from django.contrib.auth.models import User
from django.contrib.sessions.models import Session
from django.http import HttpRequest
from django.utils.importlib import import_module