Palmer Paul pzp1997
pzp1997
/ bookmarklets.js
Last active
July 22, 2020 19:48
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
| javascript:(function(){document.querySelector('video').playbackRate=parseFloat(prompt('Set the playback speed')||1)})() | |
| javascript:(function(){clearInterval(window.autoscrollerBookmarkTimerID);var s=parseFloat(prompt('Set the scroll frequency in ms'));if(s){window.autoscrollerBookmarkTimerID=setInterval(function(){window.scrollBy(0,1)},s)}})() | |
| javascript:(function(){document.head.appendChild(document.createElement("style")).innerText="html,img,video{-webkit-filter:invert(1)hue-rotate(180deg);filter:invert(1)hue-rotate(180deg)}body{background:#000}"})() | |
| javascript:(function(){if(window.debugBordersStyleNode){document.head.removeChild(window.debugBordersStyleNode);window.debugBordersStyleNode=undefined}else{window.debugBordersStyleNode=document.createElement("style");window.debugBordersStyleNode.innerText="*{border:1px solid red}";document.head.appendChild(window.debugBordersStyleNode)}})() | |
| javascript:!function(d)%7Bd.head.appendChild(d.createElement(%27style%27)).innerText%3D%27html,img,video%7B-webkit-filte |
pzp1997
/ link_filter.rb
Created
July 5, 2020 16:11
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 LinkFilter | |
| def gen_link(link) | |
| if link.start_with?('http://', 'https://', '#') | |
| link | |
| elsif link.start_with?('site.data.links.') | |
| desired_link = link.slice('site.data.links.'.length, link.length) | |
| @context.registers[:site].data['links'][desired_link] | |
| else | |
| baseurl = @context.registers[:site].baseurl | |
| jekyll_link = Jekyll::Tags::Link.send( |
pzp1997
/ Window.elm
Created
March 6, 2020 22:07
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 Main exposing (main) | |
| import Html | |
| windows : List a -> List ( a, a ) | |
| windows list = | |
| case list of | |
| x :: ((y :: _) as xs) -> | |
| ( x, y ) :: windows xs |
pzp1997
/ EuclidAlgo.jml
Created
February 24, 2020 14:38
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
| public class EuclidAglo { | |
| // cd(x, y, z) <==> (x % z == 0) && (y % z == 0) | |
| // gcd(x, y, z) <==> cd(x, y, z) && (\forall int k;; cd(x, y, k) ==> k <= z) | |
| //@ requires true; | |
| //@ ensures (x % \result == 0) && (y % \result == 0) && (\forall int k;; (x % k == 0) && (y % k == 0) ==> k <= \result); | |
| public static int run(int x, int y) { | |
| int n = x; | |
| int m = y; | |
| //@ maintaining (\forall int z;; ((x % z == 0) && (y % z == 0) && (\forall int k;; (x % k == 0) && (y % k == 0) ==> k <= z)) <==> ((n % z == 0) && (m % z == 0) && (\forall int k;; (n % k == 0) && (m % k == 0) ==> k <= z))); |
pzp1997
/ InliningRelevantTypes.hs
Last active
February 25, 2020 15:05
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
| data Can.Def | |
| = Def (A.Located Name) [Pattern] Can.Expr | |
| | TypedDef (A.Located Name) FreeVars [(Pattern, Type)] Can.Expr Type | |
| data Can.Decls | |
| = Declare Can.Def Can.Decls | |
| | DeclareRec Can.Def [Can.Def] Can.Decls | |
| | SaveTheEnvironment | |
| data ModuleName.Canonical = |
pzp1997
/ instrumentVdomSnippet.js
Created
October 17, 2019 12:22
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
| // COUNTERS FOR INSTRUMENTATION | |
| var refEqSkippedNodes, refEqSkippedDescendants; | |
| function _VirtualDom_diff(x, y) | |
| { | |
| var patches = []; | |
| refEqSkippedNodes = 0; | |
| refEqSkippedDescendants = 0; | |
| _VirtualDom_diffHelp(x, y, patches, 0); |
pzp1997
/ bubbleTrouble.js
Created
September 27, 2019 19:01
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
| var canvasWidth = 500; | |
| var canvasHeight = 500; | |
| var g = 0.04; | |
| var playerWidth = 30; | |
| var playerHeight = 50; | |
| var gameState = "start"; | |
| var playerX, projectile, balls, numArrowsUsed, startTime, timeElapsed; | |
| reset(); |
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
| <!DOCTYPE html> | |
| <html> | |
| <head> | |
| <meta charset="utf-8"> | |
| <meta name="viewport" content="width=device-width"> | |
| <title>JS Bin</title> | |
| <style id="jsbin-css"> | |
| /* Source: Bootstrap 4.2.1 */ | |
| /* BEGIN BOOTSTRAP */ | |
| body { |
pzp1997
/ tennis-experiment.py
Last active
March 14, 2019 12:35
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 | |
| import pandas as pd | |
| # Build data for experiment | |
| def make_experiment(batch_size, group_size): | |
| imgs = list(range(454, 920)) | |
| groups = [] | |
| for i in range(group_size, len(imgs)): | |
| group = imgs[i - group_size:i] |
pzp1997
/ mturk-order-images-template.js
Created
March 13, 2019 23:42
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
| <!-- You must include this JavaScript file --> | |
| <script src="https://assets.crowd.aws/crowd-html-elements.js"></script> | |
| <!-- For the full list of available Crowd HTML Elements and their input/output documentation, | |
| please refer to https://docs.aws.amazon.com/sagemaker/latest/dg/sms-ui-template-reference.html --> | |
| <!-- You must include crowd-form so that your task submits answers to MTurk --> | |
| <crowd-form answer-format="flatten-objects"> | |
| <style media="screen"> |
NewerOlder