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
| faster(X,Y) :- faster(X,Z), faster(Z,Y). | |
| eat(X,Y) :- faster(X,Y), carnivore(X). | |
| eat(lion, zebra). | |
| faster(zebra, dog). | |
| carnivore(dog). | |
| % then I try | |
| eat(lion, X). % and I only get zebra |
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
| function BF (code, get, print) { | |
| eval("var i=0,d={0:0};"+code.replace(/[^\[\]\-\+\,\.\<\>]/g, "").replace(/\]/g, "}").replace(/\[/g, "while(d[i]) {").replace(/\-/g, "d[i]--;").replace(/\+/g, "d[i]++;").replace(/\</g, "i--;d[i]=d[i]?d[i]:0;").replace(/\>/g, "i++;d[i]=d[i]?d[i]:0;").replace(/\,/g, "d[i]=get();").replace(/\./g, "print(d[i]);")); | |
| } |
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 urllib | |
| import re | |
| import os | |
| path = "./" | |
| i = 1 | |
| content = True | |
| while content: | |
| dir = os.listdir(path) | |
| for file in dir: |
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
| <html> | |
| <head> | |
| <title>Chat</title> | |
| <script src="http://ajax.googleapis.com/ajax/libs/jquery/1.4.4/jquery.min.js"></script> | |
| <script> | |
| $(function () { | |
| function check () { | |
| $("#output").load('/update', function () { | |
| setTimeout(check, 1); | |
| }); |
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
| function async (fun, args) { | |
| if(!fun.length) return; | |
| args = args || []; | |
| var call=fun.shift(); | |
| if(typeof call == "function") call = [ call ]; | |
| var count=call.length; | |
| var n=0; | |
| var ret=[]; | |
| while(call.length) { | |
| call.shift().apply((function (num){ |
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
| for a in /Applications/*; do | |
| base=`echo $a | sed 's/\/Applications\/\(.*\)\.app/\1/'` | |
| if [ $base != $a ]; then | |
| name=`echo ${base:l} | sed 's/[^a-z0-9_]/\-/g'` | |
| alias $name="\"/Applications/$base.app/Contents/MacOS/$base\"" | |
| fi | |
| done |
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
| for a in /Applications/*; do | |
| base=`echo $a | sed 's/\/Applications\/\(.*\)\.app/\1/'` | |
| if [ $base != $a ]; then | |
| name=`echo ${base:l} | sed 's/[^a-z0-9_]/\-/g'` | |
| alias $name="open -a \"$base\" --args" | |
| fi | |
| done |
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
| npm.load({}, function (err) { | |
| //npm.commands.build = console.log; // failed because no setter was set | |
| //npm.commands['run-script'] = console.log; | |
| //Object.defineProperty(npm.commands, "build", { get: function () { return console.log; }}); // could not redefine the property | |
| //Object.defineProperty(npm.commands, "run-script", { value: console.log }); | |
| // seems to work, but crashes after some point in the process | |
| var original_npm = npm.commands; | |
| npm.commands = {}; // more hacks, to make npm safe | |
| for(var c in original_npm) { | |
| (function (c) { |
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 processing.serial.*; | |
| Serial cmucam; | |
| void setup () { | |
| cmucam = new Serial(this, "/dev/tty.usbserial-A400C1Q8", 115200); | |
| size(200, 200); | |
| delay(1500); | |
| cmucam.write("RS\r"); | |
| delay(150); |
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
| Latex = $(wildcard **/*.tex) $(wildcard *.tex) | |
| Pdfs = $(Latex:.tex=.pdf) | |
| all: $(Pdfs) | |
| %.pdf: %.tex | |
| rm -f $@ | |
| latex --output-format=pdf -output-directory=$(dir $@) $< | |
| p: |