This file contains 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 brainfuck interpreter in haskell. woohoo. | |
-- | |
-- as a refresher: operators in brainfuck: | |
-- | |
-- > increment data pointer | |
-- | |
-- < decrement data pointer | |
-- | |
-- + increment the byte at the data pointer | |
-- |
This file contains 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
Require Import Omega. | |
Lemma lt_2xp1 : forall x i : nat, i < x -> 1 + 2 * i < x + x. | |
Proof. | |
intros; omega. | |
Qed. | |
Lemma lt_2xp : forall x i : nat, i < x -> 2 * i < x + x. | |
Proof. | |
intros; omega. | |
Qed. |
This file contains 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
no_parens: | |
== disasm: <RubyVM::InstructionSequence:block in <main>@weird.rb>======= | |
== catch table | |
| catch type: break st: 0004 ed: 0007 sp: 0000 cont: 0007 | |
| catch type: redo st: 0000 ed: 0009 sp: 0000 cont: 0000 | |
| catch type: next st: 0000 ed: 0009 sp: 0000 cont: 0009 | |
|------------------------------------------------------------------------ | |
0000 trace 256 ( 1) | |
0002 trace 1 | |
0004 putself |
This file contains 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 PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> | |
<!-- | |
. .o8 oooo | |
.o8 "888 `888 | |
.o888oo oooo oooo ooo. .oo. .oo. 888oooo. 888 oooo d8b | |
888 `888 `888 `888P"Y88bP"Y88b d88' `88b 888 `888""8P | |
888 888 888 888 888 888 888 888 888 888 | |
888 . 888 888 888 888 888 888 888 888 888 .o. | |
"888" `V88V"V8P' o888o o888o o888o `Y8bod8P' o888o d888b Y8P |
This file contains 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
/*********************************************** | |
* Floating image script- By Virtual_Max (http://www.geocities.com/siliconvalley/lakes/8620) | |
* Modified by Dynamic Drive for various improvements | |
* Visit Dynamic Drive at http://www.dynamicdrive.com/ for full source code | |
* Modified again by hackedy (hackedy.tumblr.com) to be less incredibly shitty | |
**********************************************/ | |
var vmin = 2; | |
var vmax = 5; | |
var vr = 2; |
This file contains 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
1337 |
This file contains 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
#define LENGTH 4096 | |
#include <stdlib.h> | |
void main(void) { | |
char *x = malloc(LENGTH); | |
x[LENGTH] = '\0'; | |
puts(x); | |
int i; | |
for (i = 0; i < LENGTH; i++) { | |
putchar((int)(x[i])); | |
} |
This file contains 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
% make | |
Waf: Entering directory `/home/ryan/d/code/node/build' | |
DEST_OS: linux | |
DEST_CPU: ia32 | |
Parallel Jobs: 1 | |
Product type: program | |
[ 1/33] copy: src/node_config.h.in -> build/default/src/node_config.h | |
[ 2/33] copy: tools/nodejs.pc.in -> build/default/tools/nodejs.pc | |
[ 3/33] cc: deps/http_parser/http_parser.c -> build/default/deps/http_parser/http_parser_3.o | |
/usr/bin/gcc -rdynamic -pthread -m32 -g -O3 -DHAVE_OPENSSL=1 -DHAVE_MONOTONIC_CLOCK=1 -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -DHAVE_FDATASYNC=1 -DARCH="ia32" -DPLATFORM="linux" -D__POSIX__=1 -Wno-unused-parameter -D_FORTIFY_SOURCE=2 -Idefault/deps/http_parser -I../deps/http_parser ../deps/http_parser/http_parser.c -c -o default/deps/http_parser/http_parser_3.o |
This file contains 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
#!/usr/bin/python | |
#Download all sluggy freelance images | |
import urllib | |
mage = int(raw_input('image to download: ')) | |
mage += 1 | |
lett = 'a' | |
imagetype = '.gif' | |
filename = "%s%s.gif" % (mage, lett) |
This file contains 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
url = "https://graph.facebook.com/search?q=%s&type=post&limit=25&access_token=%s" | |
url % (query.replace('_','%20'), settings.FACEBOOK_API_KEY) |
NewerOlder