mikelehen

/**
 * Fancy ID generator that creates 20-character string identifiers with the following properties:
 *
 * 1. They're based on timestamp so that they sort *after* any existing ids.
 * 2. They contain 72-bits of random data after the timestamp so that IDs won't collide with other clients' IDs.
 * 3. They sort *lexicographically* (so the timestamp is converted to characters that will sort properly).
 * 4. They're monotonically increasing.  Even if you generate more than one in the same timestamp, the
 *    latter ones will sort after the former ones.  We do this by using the previous random bits
 *    but "incrementing" them by 1 (only in the case of a timestamp collision).
 */

fredbenenson

layout	title	description	tags
default	SQL Style Guide	A guide to writing clean, clear, and consistent SQL.	data process

Purpose

daveake

from microbit import spi, sleep, pin16
import array
import gc

class LoRa(object):
    """
    Radio - LoRa.  Single channel.
    """

    def __init__(self, Frequency=434.450, Mode=1):

jimmywarting

Exposed headers

Service	SSL	status	Response Type	Allowed methods	Allowed headers

mrbar42

running:

bash create-vod-hls.sh beach.mkv

will produce:

    beach/
      |- playlist.m3u8
 |- 360p.m3u8

alexxxdev

# Adjust the following variables as necessary
REMOTE=origin
BRANCH=$(git rev-parse --abbrev-ref HEAD)
BATCH_SIZE=500

# check if the branch exists on the remote
if git show-ref --quiet --verify refs/remotes/$REMOTE/$BRANCH; then
    # if so, only push the commits that are not on the remote already
    range=$REMOTE/$BRANCH..HEAD
else

gildas-lormeau

// ==UserScript==
// @name         Save page in reader mode
// @namespace    https://github.com/gildas-lormeau/SingleFile/
// @version      1.0
// @description  Save page in reader mode with SingleFile
// @author       Gildas Lormeau
// @match        *://*/*
// @grant        none
// ==/UserScript==