Skip to content

Instantly share code, notes, and snippets.

A. W. Tozer - The Knowledge of the Holy (1961)
Abir Mukherjee - A Rising Man (2017)
Adele Abbott - Witch is When it All Began (2015)
Adrian Tchaikovsky - Children of Ruin (2019)
Adrian Tchaikovsky - Children of Time (2015)
Agatha Christie - And Then There Were None
Agatha Christie - Miss Marple 01 - Murder at the Vicarage
Agatha Christie - Miss Marple 03 - The Moving Finger
Agatha Christie - Miss Marple 04 - A Murder is Announced
Agatha Christie - Miss Marple 05 - They Do it With Mirrors
@roconnor
roconnor / NbE.v
Created May 19, 2024 20:56
Normalization by Evaluation of Simply Typed Lambda Calculus including Sum and Empty Types.
(* This Normalization by Evaluation is based on mietek's <https://research.mietek.io/A201801.FullIPLNormalisation.html>.
I've removed the continuations to give a purely tree-based implementation.
This is operationally less efficent than using continuations, but it is hopefully easier to understand and potentially easier to verify correct.
Checked with Coq 8.18.0
*)
Inductive Form :=
| Zero : Form
| One : Form
@joshbuchea
joshbuchea / semantic-commit-messages.md
Last active May 19, 2024 21:02
Semantic Commit Messages

Semantic Commit Messages

See how a minor change to your commit message style can make you a better programmer.

Format: <type>(<scope>): <subject>

<scope> is optional

Example

@Hazsi
Hazsi / VapeV4Wine.MD
Last active May 19, 2024 21:01
Guide to using Vape V4 on Linux/macOS under Wine.

Hello there! 👋

Despite the fact that many people on the forums have said it isn't possible, using the latest version of Vape V4 on Linux via Wine is very much possible, and I was able to do it in under an hour of trial and error. I'm using Pop OS, but you can likely get it to work with any version of Linux (and potentially macOS, although I haven't tried).

Of course, this is obviously not supported. If this doesn't work for you, I can try my best to help, but obviously Manthe/Vape support will not help you at all. Please do not bother them with this. Some features may be broken; I'm personally struggling to get profile saving to work correctly (I'm not sure why)

If you're looking for a crack or anything like that, you won't find that here. You obviously need to own Vape for this to work.

1. Installing Wine.

First things first, you need to install Wine. If you don't know, Wine is a free and open source program that attempts to allow Windows software to run on UNIX like operating systems (Linu

@krolow
krolow / gist:4529579ea0697a7e003bbe21a76ba8eb
Created May 5, 2024 15:35
Expo running on android emulator crashing when chrome was opening, the emulator was closing
Ubuntu 22.04.3
Expo running on android emulator crashing when chrome was opening, the emulator was closing
To solve added a file in ~/.android/advancedFeatures.ini
Vulkan = off
GLDirectMem = on
@SChinchi
SChinchi / RoR2AssetDump.cs
Last active May 19, 2024 20:51 — forked from yekoc/RoR2AssetDump.cs
Label game object children as `currentIndex / total`
Awake of your mod
RoR2Application.onLoad += Thing;
private static bool IsNetworkBaseType(Type type)
{
return type.BaseType != null && type.BaseType == typeof(UnityEngine.Networking.NetworkBehaviour);
}
private static bool HasValidBaseType(Type type)
@miodeqqq
miodeqqq / recaptcha_im_not_robot.py
Created December 8, 2017 18:36
Clicks "I'm not robot" when captcha occurs.
# -*- coding: utf-8 -*-
from selenium import webdriver
from selenium.webdriver import ActionChains
from selenium.webdriver.common.by import By
from selenium.webdriver.support import expected_conditions as ec
from selenium.webdriver.support.ui import WebDriverWait
driver = webdriver.Chrome()
@patmigliaccio
patmigliaccio / install-cf-gae-ssl.md
Last active May 19, 2024 20:50
Configuring Cloudflare SSL/TLS certificates on Google App Engine

Configuring Cloudflare SSL/TLS on Google App Engine

Implementing end-to-end HTTPS encryption with CloudFlare for Google App Engine applications.

Google App Engine - Custom Domains

Add Domains

Register the root domain with Google Cloud Platform at the following:

@codeinthehole
codeinthehole / osx_bootstrap.sh
Last active May 19, 2024 20:47
Script to install stuff I want on a new OSX machine
#!/usr/bin/env bash
#
# Bootstrap script for setting up a new OSX machine
#
# This should be idempotent so it can be run multiple times.
#
# Some apps don't have a cask and so still need to be installed by hand. These
# include:
#
# - Twitter (app store)
@Ravarcheon
Ravarcheon / spectralRotation.py
Last active May 19, 2024 20:40
rotates an audio file by 90 degrees in the spectrum while being a reversible process with minimal loss (only floating point errors which are like -150 dB but thats literally silence ahaha~)
import numpy as np
import soundfile as sf
from scipy.fftpack import fft, ifft
def rotateSignal(signal,flip):
if flip:
signal = signal[::-1]
x = np.concatenate((signal, signal[1:][::-1])) # concatenating the array with a reverse of itself makes it such that the fourier transform doesn't layer over a reversed version of itself in the inverse fft
rotSig = ifft(x)