This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// ==UserScript== | |
// @name Ctrl+E to End | |
// @version 1.0.0 | |
// @description Make Ctrl+E move the caret to the end of the line in input and textarea fields (Emacs-style) | |
// @match https://*.github.com/* | |
// @grant none | |
// @run-at document-start | |
// ==/UserScript== | |
(function () { |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// https://wavepot.com/ | |
const tau = 2*Math.PI; | |
const bpm = 132; | |
const bps = bpm / 60; | |
const spb = 1 / bps; | |
function pos(t) { | |
const beat = Math.floor(t / spb); | |
const frac = (t / spb) % 1.0; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import random | |
LONGEST_KEY = 2 | |
STROKE = "KWR*RBG" | |
def keysmash(alphabet, size): | |
smash = ["a"] * random.randint(0, 1) | |
queue = list(alphabet) | |
for _ in range(size): |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
from PIL import Image, ImageDraw | |
sprite_data = bytes.fromhex(''' | |
00 00 3c 06 1c 06 3c 00 00 7f c3 f9 e3 f9 c3 ff | |
00 00 68 2c 78 2c 34 00 00 fe ff ff ff ff ff ff | |
00 01 19 07 0f 1f 07 0f ff ff e7 fb fd fe ff ff | |
00 80 f0 e0 c0 f0 f8 f8 ff ff ff ff ff ff 7f 7f | |
0f 0e 0c 00 80 ff ff 7f ff ff ff ff 7f 00 00 00 | |
e8 e0 e0 60 01 ff ff fe 7f ff ff ff fe 00 00 00 | |
''') |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import data.nat.fib | |
import data.matrix.basic | |
import data.matrix.notation | |
import linear_algebra.matrix.determinant | |
theorem matrix.map_pow {m Ξ± Ξ² : Type*} [fintype m] [decidable_eq m] [semiring Ξ±] | |
{M : matrix m m Ξ±} {n : β} [semiring Ξ²] {f : Ξ± β+* Ξ²} : | |
(M ^ n).map βf = (M.map βf) ^ n := | |
begin | |
induction n, |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# Discord bot for playing ABC notation music. | |
# | |
# ### Installation | |
# - Get the dependencies: abc2midi, timidity, ffmpeg, and lame. | |
# - `pip install discord.py` | |
# - `ACCORD_TOKEN=(your bot token) python3 accord.py` | |
# | |
# ### Usage | |
# In any channel where the bot is, say: $play (abc notation) | |
# The input may be multiple lines long, and may be in a ```code block```. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module PrettyParseError ( | |
prettyParseError, | |
PrettyParseErrorOptions(PrettyParseErrorOptions), | |
prettyParseErrorDefaults | |
) where | |
import Data.List (intercalate, nub) | |
import Text.Parsec | |
import Text.Parsec.Error | |
import Text.Parsec.Pos |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
/// A "fractional part" function on f32s that does bitwise magic | |
/// on the representation of its argument. | |
pub fn frac(f: f32) -> f32 { | |
f32::from_bits(_frac(f.to_bits())) | |
} | |
/// A "fractional part" function that operates on a signed integer | |
/// representation of an IEEE single-precision floating point number. | |
fn _frac(i: u32) -> u32 { | |
// A floating point number consists of a sign bit, |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#include <stdint.h> | |
#include <stdio.h> | |
typedef float f32; | |
typedef int32_t i32; | |
f32 mod1(f32 f) { | |
i32 i = *(i32*)&f; | |
i32 e = (i >> 23) & 0xff; | |
i32 m = i & 0x7fffff; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
"Now I Am An Arsonist" | |
by Jonathan Coulton (feat. Suzanne Vega) | |
chords for soprano ukulele | |
Capo on 1st fret, or tune up a semitone to G# C# E# A#. | |
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββ | |
Pattern 1 (C lydian) | |
Aββββββββββββββββββ |
NewerOlder