2003-12-29.txt:22:36:38: <lament> http://foldoc.doc.ic.ac.uk/foldoc/foldoc.cgi?query=machine&action=Search
2004-05-27.txt:22:29:38: <fizzie> like, uh, the stuff in http://www.doc.ic.ac.uk/~ih/doc/par/ 
2004-05-31.txt:23:13:16: <kosmikus> Toreun: http://foldoc.doc.ic.ac.uk/foldoc/foldoc.cgi?query=combinator&action=Search
2004-06-09.txt:22:58:59: <deltab> 215723Z #esp <sbp> http://www.ecs.soton.ac.uk/~sdh300/stuffage/bf.net/
2004-06-09.txt:22:58:59: <deltab> 215725Z #esp <supybot> Title: BrainFuck.Net (at www.ecs.soton.ac.uk)
2004-07-02.txt:06:23:53: <deltab> http://www.cs.nott.ac.uk/~gxk/courses/g5aiai/002history/eliza.htm
2004-12-11.txt:22:25:44: -!- ZeroOne changed the topic of #esoteric to: OK, here is a new topic: http://www-users.cs.york.ac.uk/~susan/joke/foot.htm
2005-05-31.txt:17:00:49: <pgimeno> http://web.mat.bham.ac.uk/R.W.Kaye/minesw/miesw.htm#infinite%20minesweeper
2005-05-31.txt:17:01:47: <pgimeno> http://web.mat.bham.ac.uk/R.W.Kaye/minesw/minesw.htm#infinite%20minesweeper
2006-01-18.txt:02:39:30: <SimonRC> Yay! My interpreter works!  http://compsoc.dur.ac.uk/~sc/Shakell.lhs
2006-01-18.txt:10:14:11: <SimonRC> http://compsoc.dur.ac.uk/~sc/Shakell/
2006-01-19.txt:00:12:47: <SimonRC> ihope: http://compsoc.dur.ac.uk/~sc/Shakell/
2006-01-19.txt:14:06:46: <SimonRC> http://compsoc.dur.ac.uk/~sc/BFS.lhs
2006-01-23.txt:16:37:07: <SimonRC> http://compsoc.dur.ac.uk/~sc/iobrush_mpeg_medium.mpg
2006-02-15.txt:13:13:55: <SimonRC> http://compsoc.dur.ac.uk/~sc/Shakell/
2006-02-18.txt:01:01:31: <SimonRC> ihope_:  http://compsoc.dur.ac.uk/~sc/Shakell
2006-03-05.txt:18:08:14: <ihope> http://newton.ex.ac.uk/research/qsystems/collabs/pi/pi6.txt
2006-03-05.txt:18:08:23: <ihope> !bf http://newton.ex.ac.uk/research/qsystems/collabs/pi/pi6.txt
2006-03-05.txt:18:09:38: <ihope> !bf_txtgen http://newton.ex.ac.uk/research/qsystems/collabs/pi/pi6.txt
2006-03-29.txt:07:26:41: <nooga> http://www.langcent.arts.gla.ac.uk/images/timesce.gif
2006-04-27.txt:00:17:26: <SimonRC> calamari: here it is, tell me when you've got it:   http://compsoc.dur.ac.uk/~sc/listing.txt
2006-05-09.txt:14:30:11: * SimonRC sings:  # Oh, the old sysadmin of .dur.ac.uk #  # Had 2^10 boxen. #  # He brought them up with a borX0red image, #  # So they went back down again. #
2006-05-13.txt:01:17:16: <SimonRC> http://compsoc.dur.ac.uk/~sc/mirror/Mandelbrot%20Set.mp3
2006-05-25.txt:18:07:12: * SimonRC grins at the URL:  http://aesica.dur.ac.uk/exampapers/CompSci/Computer%20Science%20exams%202004/Logic%20Grammer%20and%20Software%20Tools%2010215101.pdf
2006-05-25.txt:18:38:21: <SimonRC> see my presentation I gave:  http://compsoc.dur.ac.uk/~sc/quines.ppt
2006-05-25.txt:18:38:35: <SimonRC> you may also be interested in:  http://compsoc.dur.ac.uk/~sc/Esolangs.ppt
2006-05-31.txt:15:29:54: <SimonRC> http://www.staff.ncl.ac.uk/jon.dowland/web-2.0/  <-- hehe
2006-06-05.txt:22:29:59: <SimonRC> Argh!  My eyes!  http://www.dcs.gla.ac.uk/SF-Archives/Misc/Eye_Of_The_Argon
2006-06-07.txt:18:32:12: * SimonRC gets an email from his mother:  http://compsoc.dur.ac.uk/~sc/tmp/flags.txt
2006-06-20.txt:19:39:26: <SimonRC> "Dear ITS: In an HTML page, you don't need to wrap text manually using <BR>.  Web browsers can automatically wrap text within a paragraph, and this automatic wrapping may even interact badly with manual wrapping.  Yours, Simon (d41dp5)." --   http://www.dur.ac.uk/its/services/email/block/
2006-06-25.txt:23:22:50: <SimonRC> our Uni's web server admin is worried:    http://www.dur.ac.uk/spa/student/assessment/passlistdates/    :-D
2006-08-29.txt:01:49:35: <oerjanj> found a link: http://www.mcs.surrey.ac.uk/Personal/R.Knott/Fibonacci/fibrep.html
2006-10-22.txt:21:27:44: * Sgeo laffs at http://www.inference.phy.cam.ac.uk/mackay/itila/Potter.html
2006-11-13.txt:17:31:32: <SimonRC> ah, the wonders of my university's email system:    http://www.dur.ac.uk/s.r.clarkstone/bouncy.eml
2006-11-22.txt:04:07:11: <SimonRC> if tyou want a more efficient representation, you can read "every number has at most two digits" by this guy I know:   http://www-old.cs.st-andrews.ac.uk/~eb/
2006-12-07.txt:17:31:56: <RodgerTheGreat> hey guys, check this out: http://archives.nesc.ac.uk/gcproposal-5/0080.html
2007-01-14.txt:23:24:56: <andreou> can anyone get ftp://ftp.cs.bris.ac.uk/pub/goedel/latest/goedel-src.tar.Z or is the FTP boinked?
2007-02-16.txt:22:44:59: <SimonRC> This is apparently about networking water coolers, from the looks of slide 2:   http://www.dur.ac.uk/tom.friedetzky/local/par/pc14-4up.pdf
2007-02-18.txt:03:46:11: <oerjan> btw here is a weird one that i couldn't make any sense of: http://cstein.kings.cam.ac.uk/~chris/combinators.html
2007-02-20.txt:17:48:07: * SimonRC goes.   (Bizarre coursework:  http://www.dur.ac.uk/s.r.clarkstone/ASAM%20Compilers%20coursework.eml )
2007-02-25.txt:21:59:31: <SimonRC> newer stuff and dynamic documents are dumped here:   http://toast.durge.org/~sc/Kigdatsi/   (the server is also {compsoc,bylands}.dur.ac.uk)
2007-02-26.txt:16:23:36: <bsmnt_bot> ':ais523!n=chatzill@chillingi.eee.bham.ac.uk PRIVMSG #esoteric :>>>x'
2007-02-26.txt:17:16:18: <bsmnt_bot> :ais523!n=chatzill@chillingi.eee.bham.ac.uk JOIN :#esoteric
2007-03-04.txt:00:41:01: <SimonRC> here we go:   http://www.cs.st-andrews.ac.uk/~eb/writings/bignums.ps
2007-03-04.txt:01:51:16: <bsmntbombdood> http://www.cs.st-andrews.ac.uk/~eb/writings/bignums.ps
2007-03-08.txt:09:09:34: <SimonRC> see here for example:   http://www.dur.ac.uk/s.s.dantchev/Teaching/ATC-CT/
2007-03-15.txt:22:50:53: <oerjan> found a BNF for C at http://www.cs.man.ac.uk/~pjj/bnf/c_syntax.bnf
2007-03-24.txt:22:26:17: <bsmntbombdood> this one: http://www.cs.mdx.ac.uk/research/PhDArea/saeed/paper1.pdf
2007-04-25.txt:14:11:12: * SimonRC hav drewn a pikcher:  http://compsoc.dur.ac.uk/~sc/art/langs.png
2007-05-03.txt:21:27:37: * SimonRC wonders if this is a real punched card format:  http://www.dur.ac.uk/s.r.clarkstone/g-i-l_card.PNG
2007-05-27.txt:00:50:16: <SimonRC> Follow the instructions very carefully to see if *your* browser has this semi-bug     http://compsoc.dur.ac.uk/~sc/tmp/test.html
2007-05-27.txt:01:03:43: <SimonRC> moved it to:   http://compsoc.dur.ac.uk/~sc/fxbug/test.html
2007-06-13.txt:22:02:05: <erider> http://fluffy.ecs.soton.ac.uk/bequnge/
2007-08-26.txt:14:53:46: <SimonRC> (We were set the task of writing a christmas-related program.  I wrote this:  http://compsoc.dur.ac.uk/~sc/tmp/xmastree.zip  )
2007-08-28.txt:18:51:12: <navaburo> http://www.cstr.ed.ac.uk/projects/festival/
2007-08-29.txt:21:46:21: * SimonRC is in .ac.uk
2007-09-07.txt:22:21:20: <bsmntbombdood> http://www.lfcs.inf.ed.ac.uk/reports/91/ECS-LFCS-91-180/ECS-LFCS-91-180.ps
2007-11-16.txt:18:36:32: <faxathisia> There are nice pics of the logic gates in http://for.mat.bham.ac.uk/R.W.Kaye/minesw/ordmsw.htm
2007-11-30.txt:19:45:02: <DocWilco> ihope: http://www.cogs.susx.ac.uk/users/adrianth/ade.html
2007-12-12.txt:18:43:32: <RodgerTheGreat> this is fascinating: http://www-groups.dcs.st-and.ac.uk/~history/HistTopics/Babylonian_numerals.html
2008-02-13.txt:00:00:48: <faxathisia> Hutton does it nicely http://www.cs.nott.ac.uk/~gmh/countdown.pdf , and Shin-Cheng Mu repeats it much much more elegantly http://www.iis.sinica.edu.tw/~scm/pub/countdown704.ps.gz
2008-03-14.txt:02:31:22: <AnMaster> ehird, http://fluffy.ecs.soton.ac.uk/bequnge/examples/example5d.beq
2008-03-14.txt:02:32:06: <AnMaster> http://fluffy.ecs.soton.ac.uk/bequnge/screenshots.php
2008-03-14.txt:02:32:49: <AnMaster> ehird,  http://fluffy.ecs.soton.ac.uk/bequnge/examples/example5d.beq ?
2008-03-21.txt:22:59:59: * ais523 just came across this: http://catless.ncl.ac.uk/Risks/24.93.html#subj10.1
2008-04-08.txt:18:22:34: <Slereah> She looked less pretty a few years later : http://www-history.mcs.st-andrews.ac.uk/BigPictures/Lovelace_3.jpeg
2008-04-23.txt:20:55:37: <ehird> * ais523 (n=ais523@gb01-fap02.bham.ac.uk)
2008-05-06.txt:16:22:25: <Slereah_> [17:01] * ais523 (n=ais523@pw01-fap01.bham.ac.uk) Quit ("brb")
2008-05-06.txt:16:22:26: <Slereah_> [17:21] * ais523 (n=ais523@pw01-fap01.bham.ac.uk) has joined #esoteric
2008-05-06.txt:17:38:33: <ehird> * ais523 (n=ais523@pw01-fap01.bham.ac.uk) has joined #esoteric
2008-05-06.txt:18:32:02: <ais523> anyway, try sending a message to ais523(524\)(525)x)@bham.ac.uk and seeing what happens
2008-05-12.txt:17:11:05: <ehird> * ais523 (n=ais523@chillingi.eee.bham.ac.uk) has joined #esoteric
2008-05-16.txt:21:11:37: <ehird> * ais523_ (n=ais523@ar02-fap02.bham.ac.uk) has joined #esoteric
2008-07-08.txt:19:10:53: <tusho> ais523@bham.ac.uk
2008-07-18.txt:15:13:05: <tusho> <envelope><sender self="yes" hostmask="tusho@91.105.112.94">tusho</sender><message id="PZ2T7Q30LU1" received="2008-07-18 15:09:26 +0100">hi <span class="member">ais523</span> </message><message id="I2HKCR30LU1" received="2008-07-18 15:09:27 +0100">OH YEAH</message></envelope><envelope><sender hostmask="n=ais523@gb01-fap04.bham.ac.uk">ais523</sender><message id="LG7DKW30LU1" received="2008-07-18 15:09:32 +0100" highlight="yes">hi <span class="highlight member
2008-07-25.txt:20:16:13: <tusho> ftp://ftp.tex.ac.uk/tex-archive/systems/texlive/Images/texlive2007-live-20070212.iso.zip
2008-08-08.txt:18:37:50: <optbot> ais523: http://compsoc.dur.ac.uk/~sc/BFS.lhs
2008-08-14.txt:20:29:29: <optbot> asiekierka: http://compsoc.dur.ac.uk/~sc/Shakell/
2008-09-04.txt:16:17:16: <AnMaster> * ais523 (n=ais523@sm01-fap04.bham.ac.uk) has left #esoteric ("9")
2008-09-04.txt:16:17:16: <AnMaster> * ais523 (n=ais523@sm01-fap04.bham.ac.uk) has joined #esoteric
2008-09-12.txt:19:47:21: <oerjan> these are apparently real (and so, boring): http://www.lhc.ac.uk/web-cams.html
2008-09-18.txt:13:49:48: <ais523> yay: http://burks.brighton.ac.uk/burks/language/other/a68rr/rrtoc.htm
2008-09-22.txt:20:57:26: <AnMaster> Fri Sep 12 17:17:02 CEST 2008  ais523@bham.ac.uk
2008-09-22.txt:20:57:27: <AnMaster> Sun Sep 14 11:12:25 CEST 2008  Alex Smith <ais523(524\)(525)x)@bham.ac.uk>
2008-09-22.txt:21:01:17: <AnMaster> Alex Smith <ais523(524\)(525)x)@bham.ac.uk>**20080914091817]
2008-09-22.txt:21:37:01: <ais523>        "ais523(524\\)(525)x)"@bham.ac.uk@adf.bham.ac.uk
2008-09-22.txt:21:42:12: <AnMaster> To: "524)(525)x" <ais523@bham.ac.uk>
2008-09-22.txt:21:43:26: <AnMaster> ais523, if I enter the full "Alex Smith <ais523(524\)(525)x)@bham.ac.uk>" it works
2008-09-22.txt:21:43:30: <AnMaster>       To: Alex Smith <ais523@bham.ac.uk>
2008-09-22.txt:21:43:39: <AnMaster> it was when I just entered ais523(524\)(525)x)@bham.ac.uk
2008-09-22.txt:21:49:32: <ais523>  The e-mail address you entered (ais523(524\)(525)x)@bham.ac.uk) didn't pass our syntax checking for a legal email address. A legal address must contain exactly one '@', and at least one '.' after the @, and may not contain any commas or spaces. It must also not contain any of these special characters: \ ( ) & < > , ; : " [ ], or any whitespace.
2008-09-22.txt:21:51:12: <tusho> ais523(524\)(525)x)@bham.ac.uk
2008-09-30.txt:18:47:48: <tusho> -psyBNC: Tue Sep 30 17:47:30 :connect from sm01-fap04.bham.ac.uk
2008-10-02.txt:20:06:53: <ehird> -psyBNC: Thu Oct  2 19:06:40 :connect from ai01-fap01.bham.ac.uk
2008-10-07.txt:15:46:29: <ehird> -psyBNC: Tue Oct  7 14:45:48 :connect from ai01-fap01.bham.ac.uk
2008-11-17.txt:16:01:33: <ehird> -psyBNC: Mon Nov 17 15:40:36 :connect from sm01-fap05.bham.ac.uk
2008-12-25.txt:18:54:32: <mib_ewzho7> ... but not this awful one: http://www.cl.cam.ac.uk/~gmb13/Iota/
2009-01-22.txt:13:10:07: <ehird> 07.01.15:09:15:34 --- join: ais523 (n=chatzill@chillingi.eee.bham.ac.uk) joined #esoteric
2009-03-02.txt:16:17:34: <Asztal^_^> not http://www.inference.phy.cam.ac.uk/cjb/glagolitic.png ?
2009-03-08.txt:22:07:21: <fizzie> http://www.cl.cam.ac.uk/~mgk25/ieee02-optical.pdf  has some pictures.
2009-03-24.txt:19:02:21: <ais523_> heh, see for yourself, http://www.my.bham.ac.uk/cp/home/check/post?supported=false
2009-04-21.txt:20:49:42: <ais523> seeing Bham.Ac.Uk is just weird
2009-04-21.txt:20:51:33: <ais523> yep, it never left bham.ac.uk
2009-05-01.txt:23:56:54: <psygnisfive> oerjan: ftp://ftp.cogsci.ed.ac.uk/pub/steedman/ccg/manifesto.pdf CCG manifesto. lol
2009-06-12.txt:20:11:18: <whtspc> and the javascript interpreter: http://people.bath.ac.uk/amg24/ma10126/wireworld/simulator.html sucks too
2009-06-24.txt:02:37:34: <pikhq> http://74.125.47.132/search?q=cache:RylQCflF1YUJ:web.comlab.ox.ac.uk/people/Jeremy.Gibbons/publications/spigot.pdf+Digits+of+pi+as+a+function+of+digits+of+pi&cd=2&hl=en&ct=clnk&gl=us
2009-07-06.txt:16:14:41: <ais523> Darth_Cliche: ais523@bham.ac.uk
2009-07-18.txt:13:34:29: <ehird> http://secamlocal.ex.ac.uk/people/staff/mrwatkin/zeta/caveney.txt // i'm convinced
2009-07-22.txt:17:50:18: <ehird> ais523@bham.ac.uk
2009-08-09.txt:00:09:13: <ehird> http://www.cs.york.ac.uk/fp/reduceron/
2009-08-11.txt:16:21:27: <AnMaster> wow: http://www.inference.phy.cam.ac.uk/dasher/movies/EyeDasher.4800.mpg
2009-10-06.txt:17:16:47: <fizzie> http://www.tex.ac.uk/cgi-bin/texfaq2html?label=privinst  is something I've referred to before, I think.
2009-10-28.txt:01:19:29: <ais523> because the SMTP server on bham.ac.uk keeps going down
2009-11-01.txt:11:29:43: <Pthing> http://users.aber.ac.uk/rhw6/music/halfsecrests5-tet.mp3
2009-11-01.txt:11:33:10: <Pthing> http://users.aber.ac.uk/rhw6/music/onetwentiethat200hz.mp3 is 5 minutes for example
2009-11-01.txt:11:35:08: <ehird> http://users.aber.ac.uk/rhw6/music/onetwentiethat200hz.mp3 isn't very good. :P
2009-11-01.txt:11:35:42: <Pthing> http://users.aber.ac.uk/rhw6/music/onetenth12-tet.mp3
2009-11-01.txt:11:39:54: <ehird> http://users.aber.ac.uk/rhw6/music/halfsecrests5-tet.mp3 settles into a beat after a while
2009-11-01.txt:11:41:24: <AnMaster> ehird, I'm just doing: $ mplayer http://users.aber.ac.uk/rhw6/music/halfsecrests5-tet.mp3
2009-11-01.txt:12:02:22: <Pthing> http://users.aber.ac.uk/rhw6/music/halfsectruerests5-tet.mp3
2010-01-05.txt:13:34:27: <soupdragon> augur cn you tell me some intro stuff for CCGs ? http://groups.inf.ed.ac.uk/ccg/publications.html is half dead
2010-01-06.txt:20:05:20: <ehird`> http://icon.shef.ac.uk/Moby/
2010-02-06.txt:16:04:22: <ehird> she has http://personal.cis.strath.ac.uk/~conor/pub/she/higpig.html but i dunno seems hacky
2010-02-06.txt:17:50:06: <ehird> http://personal.cis.strath.ac.uk/~conor/pub/Holes/Holes.pdf
2010-02-06.txt:18:20:34: <ehird> http://personal.cis.strath.ac.uk/~conor/pub/Holes/Holes.pdf, a paper that begins:
2010-02-07.txt:00:37:17: <alise> She has a homepage at http://personal.cis.strath.ac.uk/~conor/pub/she/.
2010-02-07.txt:16:50:13: <MissPiggy> http://sneezy.cs.nott.ac.uk/fplunch/weblog/?p=95
2010-02-12.txt:21:11:49: <Slereah> http://www-history.mcs.st-andrews.ac.uk/BigPictures/Lovelace_3.jpeg
2010-02-14.txt:17:28:13: <alise> oklopol: compile it to http://www.cs.st-andrews.ac.uk/~eb/epic.php; basically, it's the strict untyped-apart-from-some-conveniences-like-ints lambda calculus (with optional laziness)
2010-02-14.txt:18:10:02: <alise> oklopol: well there's no actual spec I just base dit on this: http://www-fp.dcs.st-and.ac.uk/~eb/darcs/EpiVM/examples/testprog.e
2010-02-28.txt:19:58:51: <alise> http://www.cs.nott.ac.uk/~nad/repos/lib/src/Relation/Binary/PropositionalEquality/Core.agda
2010-02-28.txt:19:59:21: <alise> http://www.cs.nott.ac.uk/~nad/repos/lib/src/Relation/Binary/PropositionalEquality.agda some more properties including subst_2
2010-03-08.txt:21:25:04: <fax> from the murky depths http://sneezy.cs.nott.ac.uk/darcs/RDTP/2ndmeeting/ctm-3.JPG ...
2010-03-08.txt:22:42:32: <fax> http://www.cs.st-andrews.ac.uk/~eb/drafts/tfp08.pdf
2010-03-08.txt:22:42:35: <fax> http://www.cs.st-andrews.ac.uk/~eb/drafts/ngna2009-dsl.pdf
2010-03-08.txt:22:46:46: <alise_> fax: Just to confirm. http://www.cs.st-andrews.ac.uk/~eb/drafts/tfp08.pdf is not about interaction, yes?
2010-03-12.txt:21:25:14: <Phantom_Hoover> Edinburgh supercomputers: http://www.hector.ac.uk/about-us/gallery/images/cabinet1.jpg
2010-04-25.txt:00:43:38: <alise> ftp://ftp.tex.ac.uk/tex-archive/systems/knuth/dist/tex/tex.web ;; the Pascal TeX
2010-04-25.txt:01:21:19: <alise> ftp://ftp.tex.ac.uk/tex-archive/systems/knuth/dist/tex/tex.web
2010-04-25.txt:06:48:59: <alise> Rugxulo: ftp://ftp.tex.ac.uk/tex-archive/systems/knuth/dist/tex/tex.web
2010-04-25.txt:11:34:07: <fax> http://www.comlab.ox.ac.uk/ralf.hinze/SSGIP10/Notes.pdf
2010-04-25.txt:12:52:08: <alise> a la TeX; ftp://ftp.tex.ac.uk/tex-archive/systems/knuth/dist/tex/tex.web
2010-05-04.txt:17:16:01: <fizzie> AnMaster: You mean the http://www.cogs.susx.ac.uk/users/adrianth/ade.html thing? The one that distinguished between a 1 kHz and a 10 kHz tone with just 32 gates, some of which weren't even connected (but still had an effect on the circuit).
2010-05-16.txt:00:38:56: <Quadrescence> alise: http://www.tex.ac.uk/tex-archive/macros/latex/contrib/microtype/microtype.pdf
2010-05-16.txt:01:02:10: <alise> yeah but http://www.tex.ac.uk/tex-archive/macros/latex/contrib/microtype/microtype.pdf
2010-05-22.txt:21:45:33: <alise> Here's one I particularly like: http://www.merton.ox.ac.uk/images/indexquote.jpg
2010-07-17.txt:20:30:56: <alise> pikhq: Okay. Change "book" to "memoir", then read this: http://www.tex.ac.uk/ctan/macros/latex/contrib/memoir/memman.pdf
2010-07-28.txt:22:18:20: <fizzie> OED is commercial, though. You can find BEEP at http://svr-www.eng.cam.ac.uk/~ajr/wsjcam0/node8.html -- it's not exactly IPA, but phonemes anyway.
2010-07-31.txt:20:55:59: <alise> zzo38: http://www.tex.ac.uk/ctan/macros/latex/contrib/memoir/memman.pdf Very comprehensive documentation of memoir.
2010-08-02.txt:19:25:13: <cpressey> I got that from: http://www.tex.ac.uk/cgi-bin/texfaq2html?label=useMF
2010-08-08.txt:18:34:10: <alise> http://personal.cis.strath.ac.uk/~adam/type-inference/
2010-08-08.txt:18:34:10: <alise> http://personal.cis.strath.ac.uk/~dagand/#publications
2010-08-09.txt:18:04:59: <pikhq> http://www.tex.ac.uk/tex-archive/help/Catalogue/entries/libertine.html
2010-09-16.txt:20:40:36: <ais523> <Birmingham University> Dear student, The University is launching a new website with revised content and a fresh new design. The purpose of the new site is to communicate to our external audiences in a clear and consistent manner. You will be able to see it next week when it launches overnight on 20 September. The main website address will change to www.birmingham.ac.uk.
2010-09-16.txt:21:32:58: <alise> Phantom_Hoover: http://www.cs.nott.ac.uk/~nad/listings/lib/Data.Container.Any.html#4950
2010-09-20.txt:16:26:02: <alise> Random example: http://www.cs.cf.ac.uk/Dave/PERL/node61.html
2010-09-27.txt:23:35:28: <alise> ftp.tex.ac.uk (UK) [FROZEN]
2010-09-29.txt:17:32:12: <alise> http://homepages.feis.herts.ac.uk/~on5ag/sexyloop.html
2010-09-29.txt:17:47:28: <alise> seems so. there's also http://homepages.feis.herts.ac.uk/~on5ag/mypapers/OROS_2009_IEEE_ALIFE_b.pdf
2010-09-29.txt:17:47:38: <alise> https://uhra.herts.ac.uk/dspace/bitstream/2299/1735/1/901918.pdf
2010-09-29.txt:17:48:01: <alise> https://uhra.herts.ac.uk/dspace/bitstream/2299/1735/1/901918.pdf
2010-09-30.txt:18:12:29: <alise> http://www.ox.ac.uk/images/hi_res/5768_Mathematics_and_Computer_Science.jpg
2010-10-07.txt:20:21:25: <Phantom_Hoover> Vorpal, http://www.cogs.susx.ac.uk/users/ctf20/dphil_2005/Thesis/Chapter1/Chapter1Figs/breivik2001.pdf
2010-10-22.txt:04:09:59: <zzo38> The errata file is http://www.tex.ac.uk/CTAN/systems/knuth/dist/errata/errata.tex
2010-10-25.txt:23:05:34: <elliott> Vorpal: get it from ftp, ac.unix.flr.ac.uk in pub/extra/user/e/ellioh/tbsys/srcdiff.gz!
2010-11-26.txt:20:39:43: <elliott> http://www.cs.york.ac.uk/fp/reduceron/ :)
2010-11-28.txt:05:42:33: <elliott> *** note to self http://www.cs.york.ac.uk/ftpdir/reports/2003/YCST/04/YCST-2003-04.pdf lazy specialisation
2010-11-28.txt:18:57:58: <elliott> "Wow! Automated equational theorem proving for (a subset of) Haskell: http://www.doc.ic.ac.uk/~ws506/tryzeno/ -- the future yet nearer
2010-11-28.txt:18:58:15: <elliott> pikhq: http://www.doc.ic.ac.uk/~ws506/tryzeno/ this this this
2010-12-09.txt:18:02:19: <elliott> Gregor: http://www.cl.cam.ac.uk/~mn200/PhD/cholera-model.dvi
2010-12-09.txt:18:02:29: <elliott> Gregor: http://www.cl.cam.ac.uk/~mn200/PhD/esop1999.pdf the one i'm reading
2010-12-11.txt:20:40:48: <elliott> Phantom_Hoover: http://www.cs.york.ac.uk/fp/reduceron/
2010-12-11.txt:22:45:54: * elliott notes http://www.cs.york.ac.uk/fp/reduceron/memos/Memo13.txt for reading in a minute
2010-12-16.txt:17:49:13: <ais523> aha: http://www.cs.bham.ac.uk/~drg/papers/mfps10.pdf
2010-12-24.txt:00:00:37: <j-invariant> http://www.cs.nott.ac.uk/~gmh/cat5.txt
2010-12-25.txt:03:15:11: <j-invariant> http://www.cs.man.ac.uk/~david/categories/programs/
2010-12-25.txt:03:15:55: <elliott> http://www.cs.man.ac.uk/~david/categories/programs/x.cat huh what is this, category theory in ML?
2010-12-28.txt:02:51:16: <elliott> augur: http://www.cs.york.ac.uk/fp/reduceron/
2010-12-28.txt:02:51:39: <elliott> augur: http://www.cs.york.ac.uk/fp/reduceron/
2010-12-30.txt:01:56:56: <elliott> j-invariant: http://www.lfcs.inf.ed.ac.uk/reports/87/ECS-LFCS-87-38/ this is the lang that haskell thing implements apparently
2011-01-02.txt:17:50:38: <elliott> See http://www.cs.york.ac.uk/fp/reduceron/.
2011-01-02.txt:17:51:41: <elliott> nooga: http://www.cs.york.ac.uk/fp/reduceron/
2011-01-02.txt:18:13:53: <j-invariant> elliott: what about Idirs http://www.cs.st-andrews.ac.uk/~eb/
2011-01-02.txt:22:35:23: <elliott> Apache Server at personal.cis.strath.ac.uk Port 80
2011-01-02.txt:23:01:55: <elliott> Vorpal: The birth ceremony http://www.cs.nott.ac.uk/~txa/publ/icalp04.pdf and obituary http://www.e-pig.org/epilogue/?p=324
2011-01-05.txt:12:28:22: <j-invariant> http://sneezy.cs.nott.ac.uk/fplunch/weblog/wp-content/uploads/2006/10/Kan_Extensions_For.png
2011-01-11.txt:18:13:42: <elliott> Phantom_Hoover: also http://dream.inf.ed.ac.uk/events/automatheo-2010/papers/automatheo2010_submission_1.pdf
2011-01-12.txt:21:22:15: <ais523> elliott: http://www.cs.bham.ac.uk/~drg/papers/popl11.pdf
2011-01-12.txt:21:28:13: <oklopol> what's http://www.cs.bham.ac.uk/~drg/papers/popl11.pdf? opening pdf's from the internets is just so much work
2011-01-16.txt:01:53:20: <elliott> j-invariant: i based it on http://sneezy.cs.nott.ac.uk/fplunch/weblog/?p=95 which you've probably seen
2011-01-16.txt:01:53:24: <elliott> cache: http://webcache.googleusercontent.com/search?q=cache:joFRT78UzLkJ:sneezy.cs.nott.ac.uk/fplunch/weblog/%3Fp%3D95+http://sneezy.cs.nott.ac.uk/fplunch/weblog/%3Fp%3D95&cd=1&hl=en&ct=clnk&gl=uk
2011-01-16.txt:15:47:54: <j-invariant> http://homepages.inf.ed.ac.uk/s0894694/agda-course/
2011-01-21.txt:17:31:05: <elliott> 07.01.15:09:15:34 --- join: ais523 (n=chatzill@chillingi.eee.bham.ac.uk) joined #esoteric
2011-01-21.txt:18:27:47: <elliott> 04.06.09:14:58:59 <deltab> 215723Z #esp <sbp> http://www.ecs.soton.ac.uk/~sdh300/stuffage/bf.net/
2011-01-21.txt:21:47:49: <ais523> actually, this one is: http://www.cs.bham.ac.uk/~drg/papers/scc-tcs.pdf
2011-01-22.txt:23:35:03: <oklofok> http://uncomp.uwe.ac.uk/genaro/Rule54.html
2011-02-02.txt:19:36:03: <ais523> here we go: http://www.ucas.ac.uk/students/ucas_tariff/tarifftables/
2011-02-02.txt:20:39:25: <ais523> elliott: this UCAS site has the most ridiculous way to present an FAQ I've seen: http://www.ucas.ac.uk/students/ucas_tariff/faqs/
2011-03-04.txt:21:42:44: <elliottx> ais523: You may want to read http://www.cs.bham.ac.uk/~pbl/cbpv.html -- hey, *wow*, bham.ac.uk, I never even noticed! (No, seriously)
2011-03-04.txt:22:09:39: <elliottx> 05:07:27 --- join: ais523 (n=chatzill@chillingi.eee.bham.ac.uk) joined #esoteric 05:07:45 <ais523> Sorry about that, I forgot to join #esoteric before I started sending messages to it
2011-03-05.txt:23:35:54: <elliott> 08:11:08 --- join: ais523 (n=chatzill@chillingi.eee.bham.ac.uk) joined #esoteric
2011-03-12.txt:00:44:29: <elliott> There's always the GNUUUUUUUUUUU choice: http://www.cs.bham.ac.uk/resources/courses/2005/17423/doc/libc/Argp.html
2011-03-12.txt:04:28:13: <elliott> Consider if we all had Reducerons, a CPU with no instruction set: http://www.cs.york.ac.uk/fp/reduceron/
2011-06-07.txt:23:10:06: <elliott> http://www.cs.york.ac.uk/fp/reduceron/
2011-06-07.txt:23:11:19: <elliott> nooga: see YorkLava.txt in http://www.cs.york.ac.uk/fp/reduceron/york-lava.tar.gz
2011-06-07.txt:23:14:18: <elliott> Patashu: The Reduceron http://www.cs.york.ac.uk/fp/reduceron/
2011-06-08.txt:08:11:08: <elliott> http://www.cs.york.ac.uk/fp/reduceron/reduceron.tar.gz
2011-06-08.txt:08:12:16: <elliott> (For a brief introduction to York Lava, see YorkLava.txt in http://www.cs.york.ac.uk/fp/reduceron/york-lava.tar.gz.)
2011-06-08.txt:08:21:05: <elliott> Vorpal: Maybe look at YorkLava.txt in http://www.cs.york.ac.uk/fp/reduceron/york-lava.tar.gz to see its architecture.
2011-06-09.txt:23:30:35: <elliott> opus.bath.ac.uk/20352/ - Cached
2011-06-15.txt:00:27:16: <pikhq_> ftp://ftp-uxsup.csx.cam.ac.uk/pub/bsd/4.4BSD-Lite/usr/src/contrib/emacs-18.57/src/unexec.c
2011-06-15.txt:01:05:33: <pikhq> Patashu: ftp://ftp-uxsup.csx.cam.ac.uk/pub/bsd/4.4BSD-Lite/usr/src/contrib/emacs-18.57/src/unexec.c is an old one that I linked earlier.
2011-07-01.txt:03:33:19: <elliott_> http://personal.cis.strath.ac.uk/~conor/pub/she/faking.html
2011-07-01.txt:03:33:19: <elliott_> http://personal.cis.strath.ac.uk/~conor/pub/she/pi.html
2011-07-01.txt:03:33:27: <elliott_> oh and http://personal.cis.strath.ac.uk/~conor/pub/she/idiom.html
2011-07-01.txt:03:34:11: <elliott_> monqy: the only features apart from that are http://personal.cis.strath.ac.uk/~conor/pub/she/patsy.html and http://personal.cis.strath.ac.uk/~conor/pub/she/higpig.html
2011-07-01.txt:10:22:10: * elliott_ is trying to make the code in http://personal.cis.strath.ac.uk/~conor/Kleisli.pdf work
2011-07-16.txt:20:31:44: <Phantom_Hoover> Taneb, http://www.cs.york.ac.uk/fp/reduceron/
2011-08-17.txt:19:06:16: <ais523> especially as it's sent to a .ac.uk address
2011-08-24.txt:02:47:39: <elliott> This may interesting you a bit: http://personal.cis.strath.ac.uk/~conor/pub/she/higpig.html
2011-08-24.txt:02:49:14: <elliott> In which case you probably really want to look at http://personal.cis.strath.ac.uk/~conor/pub/she/higpig.html like I said
2011-08-29.txt:05:16:58: <elliott> (http://www.cs.york.ac.uk/fp/reduceron/)
2011-09-01.txt:01:24:11: <copumpkin> kmc: read http://www.cs.ox.ac.uk/ralf.hinze/SSGIP10/AdjointFolds.pdf
2011-09-19.txt:00:36:21: <monqy> http://personal.cis.strath.ac.uk/~conor/pub/she/patsy.html these ones or pattern synonyms in general
2011-09-19.txt:23:52:59: <oerjan> oxford.ac.uk fails
2011-10-02.txt:21:23:58: <Phantom_Hoover> http://science.cabot.ac.uk/index.php/2011/10/a-star-set-to-blow/
2011-10-03.txt:21:09:34: <copumpkin> http://www.cs.nott.ac.uk/~txa/publ/AssistedMonads2.pdf
2011-10-06.txt:20:10:28: <Ngevd> Why can't linux.org and open.ac.uk play nice?
2011-10-18.txt:16:05:08: <ais523> http://www.cs.bham.ac.uk/~drg/papers/icfp11.pdf
2011-11-08.txt:18:48:27: <Sgeo|web> http://www.dcs.gla.ac.uk/~partain/haskerl/partain-1.html
2011-11-08.txt:18:53:38: <Sgeo|web> http://www.dcs.gla.ac.uk/~partain/haskerl.html
2011-11-08.txt:19:01:39: <elliott> http://www.dcs.gla.ac.uk/~partain/haskerl/ganesh-1.html
2011-11-08.txt:19:04:41: <elliott> http://www.dcs.gla.ac.uk/~partain/haskerl/jhf-1.html
2011-11-08.txt:19:05:18: <elliott> http://www.dcs.gla.ac.uk/~partain/haskerl/wall-1.html
2011-11-08.txt:19:06:22: <elliott> http://www.dcs.gla.ac.uk/~partain/haskerl/dw-2.html
2011-11-08.txt:23:03:24: <elliott> but here, http://www.google.co.uk/url?sa=t&rct=j&q=indexed%20monad%20functional%20pearl&source=web&cd=3&ved=0CDUQFjAC&url=http%3A%2F%2Fpersonal.cis.strath.ac.uk%2F~conor%2FKleisli.pdf&ei=B7W5TovkAsmM-wbhz7WFCA&usg=AFQjCNG5aO2kQrYOjP71SltPo1vW7kQrMQ&sig2=tjbXn6dw84MjElfdiKoySw
2011-11-08.txt:23:03:30: <elliott> personal.cis.strath.ac.uk/~conor/Kleisli.pdf
2011-11-12.txt:20:14:38: <CakeProphet> http://www.cs.bris.ac.uk/Teaching/Resources/COMS30122/haskell/calc/index.html
2011-11-14.txt:02:29:20: <elliott> http://personal.cis.strath.ac.uk/~conor/pub/she/idiom.html (OK, she's additions to idiom brackets may not actually make SgeoN1 think they're less ugly.)
2011-11-14.txt:02:59:20: <elliott> hmm, http://www.soi.city.ac.uk/~ross/papers/Applicative.html introducing applicative functors is 2008, but I think the "idiom" name goes back to 2006
2011-11-20.txt:05:29:45: <elliott> Sgeo: http://www.cs.ox.ac.uk/jeremy.gibbons/publications/#fast+loose
2011-11-20.txt:06:40:53: <elliott> Sgeo: http://www.cs.york.ac.uk/fp/reduceron/memos/Memo23.txt, http://hackage.haskell.org/package/york-lava
2011-12-23.txt:21:22:48: <elliott> zzo38: http://personal.cis.strath.ac.uk/~conor/Kleisli.pdf
2011-12-26.txt:19:56:01: <boobleritutsca> http://www.cl.cam.ac.uk/teaching/1011/ConceptsPL/ <-- plankakul!
2011-12-27.txt:22:33:56: <NihilistDandy> http://www.nhm.ac.uk/research-curation/research/projects/bombus/subgenericlist.html
2012-01-12.txt:14:27:04: <ais523> Vorpal: not really; see, e.g. the stats at the end of http://www.cs.bham.ac.uk/~drg/papers/icfp11.pdf
2012-02-29.txt:04:18:43: <PiRSquared> http://www.cs.bham.ac.uk/~ais523/  this page seems to have <?php ?> tags which are not being processed on it
2012-03-14.txt:02:42:17: <ais523> here, http://www.cs.bham.ac.uk/~drg/papers/popl11.pdf
2012-04-10.txt:18:32:58: <ais523> imagine if someone else got ais523@bham.ac.uk
2012-04-10.txt:18:33:43: <ais523> I've had ais523@bham.ac.uk for around 7 years by now
2012-04-27.txt:10:26:54: <elliott> https://personal.cis.strath.ac.uk/~conor/pub/Frank/TFM.pdf
2012-04-27.txt:10:36:38: <elliott> shachaf: Also, after that PDF: https://personal.cis.strath.ac.uk/~conor/pub/Frank/keylog.fk
2012-04-27.txt:10:54:33: <elliott> shachaf: Here's more to feed you with: https://personal.cis.strath.ac.uk/~conor/pub/Frank/test.fk
2012-04-28.txt:23:44:42: <elliott> https://personal.cis.strath.ac.uk/~conor/pub/Frank/test.fk
2012-05-06.txt:17:35:41: <elliott> AnotherTest: http://www.learnyouahaskell.com/ is the best Haskell book, FWIW. (Avoid Real World Haskell, it's outdated and goes too fast.) If you don't like LYAH, get a copy of http://www.cs.nott.ac.uk/~gmh/book.html; I haven't read it, but have received glowing recommendations for it.
2012-06-08.txt:10:41:49: <oklopol> http://www.mathcomp.leeds.ac.uk/turing2012/WScie12/
2012-06-22.txt:06:37:41: <elliott> Sgeo: https://personal.cis.strath.ac.uk/conor.mcbride/pub/Totality.pdf
2012-09-24.txt:13:38:56: <fizzie> There's one that looks really much like http://www.arm.ac.uk/history/instruments/Mechanical-calculator.jpg at my grandmother's house.
2012-11-06.txt:22:05:00: <ais523> someone here who isn't in the UK (preferably not in Europe), could you do a traceroute to cs.bham.ac.uk and tell me if what you see is as insane as what I see?
2012-11-08.txt:01:15:42: <ais523> anyway, I figured out what was up with cs.bham.ac.uk
2012-11-26.txt:13:36:58: <atriq> http://www.mathcomp.leeds.ac.uk/individual-competitions/senior-kangaroo/
2012-11-29.txt:21:37:42: <rapido> see: http://www.cs.ox.ac.uk/ralf.hinze/publications/CEFP09.pdf
2012-12-16.txt:05:52:07: <kmc> http://www.inference.phy.cam.ac.uk/cjb/codepoints.html
2012-12-23.txt:02:25:50: <elliott> see https://personal.cis.strath.ac.uk/conor.mcbride/pub/Frank/test.fk
2012-12-23.txt:02:25:54: <elliott> or https://personal.cis.strath.ac.uk/conor.mcbride/pub/Frank/TFM.pdf
2012-12-23.txt:03:37:47: <Sgeo> https://personal.cis.strath.ac.uk/conor.mcbride/pub/Frank/test.fk
2012-12-28.txt:07:49:08: <elliott> http://www.cs.york.ac.uk/fp/reduceron/
2012-12-30.txt:07:32:28: <shachaf> http://www.inference.phy.cam.ac.uk/cjb/codepoints.html
2013-01-07.txt:17:15:13: <ais523> GreyKnight: http://www.cs.bham.ac.uk/~drg/papers/popl11.pdf may be the paper you're looking for
2013-01-10.txt:06:19:24: <oerjan> http://homepages.inf.ed.ac.uk/wadler/topics/blame.html
2013-01-18.txt:21:30:16: <Bike> here, read: http://www.history.ac.uk/reviews/review/903
2013-02-01.txt:07:02:40: <lambdabot> http://www.lel.ed.ac.uk/~gpullum/loopsnoop.html
2013-02-01.txt:07:13:52: <Bike> http://www.kcl.ac.uk/newsevents/news/newsrecords/2012/02Feb/Scientists-prove-Turings-tiger-stripe-theory-.aspx it is apparently impossible to find the actual goddamn paper
2013-02-06.txt:02:59:23: <shachaf> monqy: (and have you read http://www.cs.ox.ac.uk/ralf.hinze/Kan.pdf help)
2013-02-07.txt:21:23:34: <Taneb> ais523, do you know who to complain to with web.mat.bham.ac.uk/avd doesn't work
2013-02-25.txt:19:36:54: <elliott> e.g. http://www.macs.hw.ac.uk/ultra/skalpel/
2013-03-08.txt:17:50:48: <FreeFull> http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/rationals.pdf I like this
2013-03-25.txt:05:25:20: <kmc> http://graphite.ecs.soton.ac.uk/browser/?uri=http%3A%2F%2Fwww.w3.org%2F2000%2F01%2Frdf-schema%23Class#http://www.w3.org/2000/01/rdf-schema#Class
2013-04-02.txt:17:25:06: <fizzie> Given what the list looks like, I guess it only accepts .ac.uk and .edu domains? 
2013-04-02.txt:17:28:11: <fizzie> Deewiant: Yes, well, sure, but a whitelist of just .ac.uk and .edu names.
2013-04-04.txt:22:11:03: <Bike> kmc: fun fact darwin's book on emotions was one of the first books to include photographs http://www.ucl.ac.uk/sts/engage_academics/impact/narratives/images/eema4.jpg
2013-04-05.txt:20:04:58: <Taneb> http://www.soi.city.ac.uk/~ross/papers/FingerTree.html
2013-04-19.txt:20:35:19: <Fiora> Bike: http://www2.warwick.ac.uk/newsandevents/grb   this is cool~
2013-05-25.txt:18:41:52: <Bike> cpressey:  http://www2.warwick.ac.uk/fac/soc/economics/staff/phd_students/backus/girlfriend/why_i_dont_have_a_girlfriend.pdf
2013-05-25.txt:18:50:12: <elliott> so right now warwick.ac.uk literally contains the text
2013-06-10.txt:14:58:30: <nooodl> elliott: http://www.cs.bham.ac.uk/~ais523/ yes
2013-06-10.txt:15:01:11: <elliott> i asked bc http://researchblogs.cs.bham.ac.uk/thelablunch/?p=302
2013-06-27.txt:15:04:03: <Fiora> Bike: http://www.isg.rhul.ac.uk/tls/biases.pdf http://www.isg.rhul.ac.uk/tls/    geez RC4 keeps getting new attacks
2013-06-28.txt:05:18:20: <mnoqy> you might want to read http://homepages.inf.ed.ac.uk/wadler/papers/free-rectypes/free-rectypes.txt if you havent
2013-07-07.txt:01:27:47: <tswett> Some of the linear lambda calculus is described here: http://homepages.inf.ed.ac.uk/wadler/papers/lineartaste/lineartaste-revised.pdf
2013-07-24.txt:02:41:00: <shachaf> like https://personal.cis.strath.ac.uk/conor.mcbride/Kleisli.pdf
2013-08-01.txt:02:22:56: <doesthiswork> this booklet describes an interesting language http://www.doc.ic.ac.uk/~rak/papers/newbook.pdf
2013-08-24.txt:22:05:14: <Taneb> http://www-student.cs.york.ac.uk/uni_history/lake.html
2013-09-16.txt:20:38:50: <Bike> `pastelogs .ac.uk