Mercurial > repo
view paste/paste.29526 @ 6894:1041408d241c
<oerjan> le/rn soviet union/In ancient history, the Soviet Union used to be the THEM. They believed in absurd principles like "Better Red than Dead". Then Ronald Reagan invented Star Wars to destroy it, after which there seemed to be no the THEM for a while.
author | HackBot |
---|---|
date | Tue, 16 Feb 2016 21:39:22 +0000 |
parents | 457c16ef2376 |
children |
line wrap: on
line source
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