Skip to content

Instantly share code, notes, and snippets.

Thomas Schoffelen tschoffelen

Block or report user

Report or block tschoffelen

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
@felipetavares
felipetavares / simple_useful_slow.js
Last active Aug 12, 2019
Simple, Useful and Slow: Assorted Reference Statistics Functions (utf-8)
View simple_useful_slow.js
// Simple, Useful and Slow
// Assorted Reference Statistics Functions
// UTF-8 Edition
// Shorthands
pow = Math.pow
sqrt = Math.sqrt
pi = Math.PI
@mndrix
mndrix / sms.go
Last active Nov 5, 2018
SMS over IRC
View sms.go
// A proxy for sending/receiving SMS via IRC
//
// This code is part of our family IRC server whose code is available at
// https://gist.github.com/mndrix/7947009178e4a18c247b4bd25821661f
//
// This file won't compile by itself because it's only one file from
// my larger family server (movie hosting, Asterisk dialplan, Git
// hosting, personal assistant, etc).
//
// Copyright 2018 Michael Hendricks
@JoshOrndorff
JoshOrndorff / pi.k
Last active Jun 5, 2018
My work-in-progress pi-calculus in k framework
View pi.k
module PI-SYNTAX
imports DOMAINS
// Processes
syntax Proc ::= Norm // Normal processes are still processes
| Proc "|" Proc // Parallel
| "!" Proc // Replication
| "(" "v" Id ")" Proc // New name
| "(" Proc ")" // Allow parens for grouping
@so0k
so0k / alpine-curl.md
Created Mar 1, 2018
Alpine curl issues
View alpine-curl.md

To fix /usr/bin/curl: curl_mime_type: symbol not found Errors when trying to run curl in a running alpine pod.

Right solution: Update base alpine image because this is a bigger issue

Quick fix: run Alpine system upgrade (or upgrade libcurl package specifically):

apk update
apk upgrade
@gka
gka / plot.png
Last active Jan 31, 2019
visualize git logs accross multiple repositories
@davidnormo
davidnormo / npm-global-export-import.md
Last active Mar 31, 2016
npm global export import
View npm-global-export-import.md

The following command will give you a string of all the npm packages and their versions that are currenctly globally installed.
Note: that this ignores packages installed from directories and picks only those installed via the npm registry.

$ npm ls -g --depth 0 | sed -e '1d' -e 's/└── //g' -e 's/├── //g' -e '/^.*->.*$/d' -e '/^$/d' | tr '\n' ' '

If you copy this string, you can then append it to the end of npm install -g to install all of the packages.

@rauchg
rauchg / README.md
Last active Aug 16, 2019
require-from-twitter
View README.md
View PHP 7 - Installing imagick on Ubuntu 14.04.md

Guide

Note The extension Imagick is now included in Ondrej's PPA. All you need to do now is $ sudo apt-get install php-imagick, and you're done. I'll keep the guide here because a lot of it is still true for other extensions

======

I've installed PHP7 via Ondrej's PPA. He maintains these PPA's on his free time, consider donating

Install dependencies

@inversion
inversion / gist:60a96ea3294e4ce35615
Last active Nov 30, 2015
TfL Hex Line Colours JSON
View gist:60a96ea3294e4ce35615
{
"Bakerloo": "#B36305",
"Central": "#E32017",
"Circle": "#FFD300",
"District": "#00782A",
"DLR": "#00A4A7",
"Hammersmith and City": "#F3A9BB",
"Jubilee": "#A0A5A9",
"Metropolitan": "#9B0056",
"Northern": "#000000",
View reset.css
/* http://meyerweb.com/eric/tools/css/reset/
v2.0-modified | 20110126
License: none (public domain)
*/
html, body, div, span, applet, object, iframe,
h1, h2, h3, h4, h5, h6, p, blockquote, pre,
a, abbr, acronym, address, big, cite, code,
del, dfn, em, img, ins, kbd, q, s, samp,
small, strike, strong, sub, sup, tt, var,
You can’t perform that action at this time.