Skip to content

Instantly share code, notes, and snippets.

from typing import List, Dict
import random
import numpy as np
import sys
Actions = ['B', 'C'] # bet/call vs check/fold
class InformationSet():
def __init__(self):
self.cumulative_regrets = np.zeros(shape=len(Actions))
@Magic-Toolbox
Magic-Toolbox / magiczoomplus-video-gallery.html
Last active June 7, 2024 18:22
Magic Zoom Plus gallery combined with YouTube and Vimeo videos
@m4tthumphrey
m4tthumphrey / ConcatAudioFilter.php
Last active September 5, 2020 07:17
php-ffmpeg concat audio filter - an incredibly simple filter to concat multiple audio files together. Should be easily tweaked to allow for videos too.
<?php
use FFMpeg\Media\Audio;
use FFMpeg\Format\AudioInterface;
use FFMpeg\Filters\Audio\AudioFilterInterface;
class ConcatAudioFilter implements AudioFilterInterface
{
private $files;
private $priority;
@kengoldfarb
kengoldfarb / install_nginx_pagespeed_php.sh
Last active January 8, 2019 20:17
Nginx 1.6.0 - Pagespeed - PHP-FPM 5.5.x Installation
#!/bin/bash
## Author: Ken Goldfarb <[email protected]>
## https://github.com/kengoldfarb
##
## This script will install Nginx+Pagespeed with PHP-FPM 5.5.x
## It's testsed working on a stock AWS Ubuntu 14.04 image
##
## BONUS: Oh-my-zsh installation included!
#!/bin/bash
echo "This script will rebuild a Debian style package (deb) of latest stable"
echo "Nginx. The original deb is from nginx.org apt repository."
echo
echo "This will prompt you yes or no on a few changes to the build as well as"
echo "it will compile and package the latest Google NGX Pagespeed module."
echo
echo "This is built and tested on Ubuntu 12.04 LTS, fresh OS install."
echo "There are no guarantees, and I take no liability if it breaks, but it"
@gottaloveit
gottaloveit / rebuld_nginx_with_pagespeed.sh
Last active July 9, 2016 15:20
This is a script for Debian/ Ubuntu that will rebuild the latest Nginx deb package from nginx.org with Google Pagespeed. There are a couple other modules the script will prompt you to ask if you want to remove them. They are http-dav, http-flv, http-mp4, mail, mail_ssl. Will prompt to add http-geoip and ask if you want to change the nginx user t…
#!/bin/bash
echo "This script will rebuild a Debian style package (deb) of latest stable"
echo "Nginx. The original deb is from nginx.org apt repository."
echo
echo "This will prompt you yes or no on a few changes to the build as well as"
echo "it will compile and package the latest Google NGX Pagespeed module."
echo
echo "This is built and tested on Ubuntu 14.04 LTS, fresh OS install."
echo "There are no guarantees, and I take no liability if it breaks, but it"
@coderiot
coderiot / ngram.sh
Last active December 20, 2015 08:49
download and processing ngram dataset from http://books.google.com/ngrams by language and ngram length with gnu parallel.
#!/bin/bash
langs=('eng' 'eng-1M' 'eng-us' 'eng-gb' 'eng-fiction' 'chi-sim' 'fre' 'ger' 'heb' 'ita' 'rus' 'spa')
if [ $# -le 1 ]
then
echo "Usage: $0 [LANGUAGE] [N]" >&2
exit 1
fi
@BronsonQuick
BronsonQuick / populate_gravity_forms_pre_submission.php
Created May 30, 2012 06:39
Populate a hidden field in Gravity Forms before submission
<?php
/* gform_pre_submission will do all forms. gform_pre_submission_1 will do a form with an ID of 1
* Keep an eye on the priority of the filter. In this case I used 9 because the Salesforce plugin we used ran a presubmission filter at 10 so we needed this to happen before it
*/
add_filter( "gform_pre_submission_1", "add_salesforce_campaign_id_footer", 9 );
function add_salesforce_campaign_id_footer( $form ){
foreach($form["fields"] as &$field)
if($field["id"] == 2){
/* Set the variable you want here - in some cases you might need a switch based on the page ID.
* $page_id = get_the_ID();
@staydecent
staydecent / media_queries.css
Created June 12, 2011 17:46
Example of various media queries for responsive web design.
/* Media queries used on blog.staydecent.ca by Adrian Unger
check my full source at:
http://blog.staydecent.ca/static/css/style-0.1.6.css */
@media only screen and (min-width:768px) and (max-width:1269px) {
/* In my particular design, I used a fluid grid limited to a
max-width of 1140px, while (if there is enough room)
pushing the menu outside of layout, requiring a total
limit of at least 1270px.
So, this first query applies to any screen-width less