Thomas Wood IgnoredAmbience
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/perl -p | |
| # Converts ml char-array constructions into strings | |
| # eg: ('a'::('b'::('c'::[]))) => "abc" | |
| # | |
| # Makes use of all the horrific Perl regular expression features I could find: | |
| # (?R) is the recursive subexpression pattern -- it recursively reuses the entire pattern as a sub-pattern. | |
| # However, this doesn't support retrieving the nested pattern captures, so we use | |
| # (?{ }) to execute the Perl expression $^R.($^N =~ s{^"}{\\"}r) which concatenates the last captured group (with " | |
| # substituted for \") onto the result of the previous execution of this expression. | |
| # $^R isn't cleared between regular expression matches, so we do this manually. |
IgnoredAmbience
/ gist:7991e9f13476f7673bd1
Created
June 25, 2015 16:46
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
| 2001:0630:0001::/48 JANET-SERV JANET(UK) | |
| 2001:0630:0008::/48 ANGLIA-V6 Anglia Ruskin University | |
| 2001:0630:0009::/48 LSE London School of Economics and Political Science | |
| 2001:0630:0010::/48 BRUNEL-IPV6 Brunel University IPv6 Network | |
| 2001:0630:0011::/48 QMUL-V6 Queen Mary and Westfield College | |
| 2001:0630:0012::/48 ICV6NET1 Imperial College London | |
| 2001:0630:0013::/48 UCL-6NET University College London | |
| 2001:0630:0014::/48 KENCHELNET-IPV6 Kensington and Chelsea College | |
| 2001:0630:0015::/48 BIRKBECK-IPv6 Birkbeck College | |
| 2001:0630:0016::/48 HACK-COM-COL Hackney Community College |
IgnoredAmbience
/ gist:b92646469d91c1e58aa9
Created
May 6, 2015 13:02
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
| <p begin="00:00:08.88" id="p0" end="00:00:11.36">BIRDSONG</p> | |
| <p begin="00:00:55.20" id="p1" end="00:00:58.00">ENGINE CHUGS</p> | |
| <p begin="00:01:55.68" id="p2" end="00:01:58.20">GATES THUD</p> | |
| <p begin="00:02:09.04" id="p3" end="00:02:12.60">WATER POURS</p> | |
| <p begin="00:02:52.20" id="p4" end="00:02:55.40">MACHINERY CRANKS</p> | |
| <p begin="00:03:26.44" id="p5" end="00:03:29.12">MACHINERY CRANKS</p> | |
| <p begin="00:05:35.92" id="p6" end="00:05:39.20">GATES CREAK</p> | |
| <p begin="00:05:51.08" id="p7" end="00:05:54.04">ENGINE CHUGS</p> | |
| <p begin="00:06:48.72" id="p8" end="00:06:51.40">DUCK QUACKS</p> | |
| <p begin="00:11:08.48" id="p9" end="00:11:11.56">BIRDS TWEET</p> |
IgnoredAmbience
/ JsCorrectness.xml
Last active
August 29, 2015 14:14
This file has been truncated, but you can view the full file.
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
| <?xml version="1.0" encoding="ISO-8859-1"?> | |
| <!DOCTYPE InductiveDefinition SYSTEM "http://mowgli.cs.unibo.it/dtd/cic.dtd"> | |
| <InductiveDefinition noParams="1" id="i1959" params=""> | |
| <InductiveType id="i0" name="runs_type_correct" inductive="true"> | |
| <arity> | |
| <PROD type="Type"> | |
| <decl id="i1953" type="Type" binder="runs"> | |
| <MUTIND uri="cic:/JsInterpreter/runs_type.ind" noType="0" id="i1955"/> |
IgnoredAmbience
/ deadbeef.wacc
Created
September 25, 2014 13:03
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
| begin | |
| int i = -2147483648; | |
| while i < 2147483647 do | |
| pair (int, int) px = newpair (-559038737, -559038737); | |
| i = i + 1 | |
| done; | |
| pair (int, int) pi = newpair (101, 102) ; | |
| pair (char, char) pc = newpair ('a', 'b'); | |
| pair (pair, pair) pp = newpair (pi, pc); | |
| pi = snd pp; |
IgnoredAmbience
/ apache-versions
Last active
August 29, 2015 13:58
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
| $ ls */core/pool/main/a/apache2/apache*bin*amd64.deb | |
| 10.04/core/pool/main/a/apache2/apache2.2-bin_2.2.14-5ubuntu8.10_amd64.deb lucid/core/pool/main/a/apache2/apache2.2-bin_2.2.14-5ubuntu8.10_amd64.deb | |
| 10.04/core/pool/main/a/apache2/apache2.2-bin_2.2.14-5ubuntu8.11_amd64.deb lucid/core/pool/main/a/apache2/apache2.2-bin_2.2.14-5ubuntu8.11_amd64.deb | |
| 10.04/core/pool/main/a/apache2/apache2.2-bin_2.2.14-5ubuntu8.12_amd64.deb lucid/core/pool/main/a/apache2/apache2.2-bin_2.2.14-5ubuntu8.12_amd64.deb | |
| 10.04/core/pool/main/a/apache2/apache2.2-bin_2.2.14-5ubuntu8.13_amd64.deb lucid/core/pool/main/a/apache2/apache2.2-bin_2.2.14-5ubuntu8.13_amd64.deb | |
| 10.04/core/pool/main/a/apache2/apache2.2-bin_2.2.14-5ubuntu8.4_amd64.deb lucid/core/pool/main/a/apache2/apache2.2-bin_2.2.14-5ubuntu8.4_amd64.deb | |
| 10.04/core/pool/main/a/apache2/apache2.2-bin_2.2.14-5ubuntu8.6_amd64.deb lucid/core/pool/main/a/apache2/apache2.2-bin_2.2.14-5ubuntu8.6_amd64.deb | |
| 10.04/core/pool/main/a/apache2/apache2.2-bin_2.2.14-5ubuntu8.7_amd64.deb luci |
IgnoredAmbience
/ index.html
Last active
August 29, 2015 13:57
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
| <html> | |
| <body> | |
| <script type="text/javascript" src="this.js"></script> | |
| </body> | |
| </html> |
IgnoredAmbience
/ gist:9624277
Last active
August 29, 2015 13:57
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
| * | |
| +*.ac.* | |
| +*.acm.org | |
| +*.amazonaws.com | |
| +*.ams.org | |
| +*.asn.au | |
| +*.cajadores.com | |
| +*.ctan.org | |
| +*.dagstuhl.de | |
| +*.de |
IgnoredAmbience
/ gist:8338840
Created
January 9, 2014 18:00
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
| diff --git a/src/core/trunk/Makefile b/src/core/trunk/Makefile | |
| index 53711c1..7df59f2 100644 | |
| --- a/src/core/trunk/Makefile | |
| +++ b/src/core/trunk/Makefile | |
| @@ -97,6 +97,7 @@ FAST_VO=$(FAST_SRC:.v=.vo) | |
| .PHONY: all report depend clean | |
| .SUFFIXES: .v .vo | |
| +.SECONDARY: | |
IgnoredAmbience
/ gist:8153776
Created
December 27, 2013 22:52
Results of "SELECT * FROM `tc_stations` WHERE is_lu =1 AND is_nr =1"
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
| |------ | |
| |id|name|zone|is_lu|is_nr|is_dlr|is_lo|is_tl|location_ns | |
| |------ | |
| |13|Amersham|9|1|1|0|0|0|N | |
| |24|Balham|3|1|1|0|0|0|S | |
| |28|Barking|4|1|1|0|1|0|N | |
| |50|Bethnal Green|2|1|1|0|0|0|N | |
| |55|Blackfriars|1|1|1|0|0|0|N | |
| |70|Brixton|2|1|1|0|0|0|S | |
| |90|Cannon Street|1|1|1|0|0|0|N |