00:04:45 -!- augur has quit (Remote host closed the connection).
00:09:02 -!- pikhq_ has quit (Read error: Connection reset by peer).
00:09:15 -!- pikhq has joined.
00:09:24 <Lymia> Is line noise valid slashes code?
00:10:19 <zzo38> How many things can you do with a simple electronic circuit connecting to a USB port of a computer?
00:10:25 <oerjan> whether the perl interpreter has any bugs with it, is a different matter
00:10:31 <zzo38> (That includes some lights and switches)
00:10:35 <Lymia> !slashes kswgvjhy/jut/ j/x/uih /yr/ea//z/lsqir/m/b qv/uys/bf/e p/ye/tevr/b/bfthdtx/qsm////i
00:10:39 <Lymia> !slashes kswgvjhy/jut/ j/x/uih /yr/ea//z/lsqir/m/b qv/uys/bf/e p/ye/tevr/b/bfthdtx/qsm////i
00:10:40 <EgoBot> kswgvjhyxealsqiruysyee pthdtx
00:11:17 <Lymia> !slashes n ajuqkyqwe/o w// b/h//kbwrpe/pp dm d/ /wt/x//hfe/ao r/koj //// a///dwrv/
00:11:18 <EgoBot> n ajuqkyqwe bkbwrpewtfe adwrv
00:11:22 <Lymia> !slashes wdks ulbqth/x/bw eg/o d/f ssjm//s/// /z/u// ///s/c/st k ine/h//scpzm/k/rb/jg
00:11:23 <EgoBot> wdks ulbqtho ds ctkineccpumjg
00:11:57 <oerjan> Lymia: actually your second example _did_ hit a bug in the perl, because it has a //.../ substitution
00:12:08 <oerjan> which i've never fixed
00:12:22 <oerjan> it should have inflooped after the ea
00:12:48 <oerjan> ...that doesn't really tell you much...
00:13:36 <oerjan> i guess that doesn't really either
00:13:56 <coppro> can't //.../ just be illegal?
00:14:03 -!- augur has joined.
00:14:15 <oerjan> the thing is perl reuses the previous string if you use an empty target, for some value of previous
00:14:20 <Lymia> !slashes /edde/bcdfeg/ /bgb/a/ /ee/eeafg/ /cgdd/fdcg/ /adaab/defefb/
00:14:24 <Lymia> !slashes /dece/ae/ /fb/eca/ /gedded/cfebb/ /f/b/ /bfe/eg/ /cc/fb/ /bacfd/be/ /bcbf/fe/ /ba/eceaca/ /acaecd/ge/ /bafcfd/eeed/ /ge/gc/ /feeee/fa/ /b/bcafcc/ /caddcd/dba/ /c/a/ /gdec/cdba/ /cde/d/ /eggd/fbdef/ /dacdfe/gcegf/
00:14:48 <coppro> what a wonderful no-op program
00:14:52 <oerjan> coppro: elliott keeps suggesting it should do input since he thinks the GG...GG of iftlabtijtslwi is ugly
00:15:05 <elliott> I dunno, I think // is ugly too
00:15:11 <elliott> it's just the use of a letter and two characters that irks me
00:15:22 <elliott> something like |x| would be nicest IMO
00:15:45 <Lymia> !slashes cebefegfecfaa /ac/dgea/ /aag/fde/ /ac/dbaeb/ /aedafc/ba/ /dd/fgf/ /abee/ggb/ /feada/fd/ /effacf/gaa/ /fcbd/dda/ /ead/ceddc/
00:15:49 <Lymia> !slashes ddgeaegbbc /accab/ded/ /de/cce/ /ac/gd/ /ae/bec/ /fgfdec/dbg/
00:16:01 <oerjan> elliott: the nice thing about GG is you are unlikely to do it accidentally, so itflabtijtslwi is mostly backwards compatible
00:16:13 <coppro> -cc1 -std=c++0x -include-pch /usr/local/google/home/scshunt/llvm-build/tools/clang/test/PCH/Output/cxx0x-delegating-ctors.cpp.tmp -fsyntax-only -verify /usr/local/google/home/scshunt/llvm/tools/clang/test/PCH/cxx0x-delegating-ctors.cpp
00:16:21 <elliott> oerjan: fuck that, /// is about elegance not "backwards compatibility" :)
00:16:23 <Lymia> !slashes cbafcfgcb /dag/a/ /e/c/ /aec/df/ /a/cb/ /b/efb/ /dgd/ccca/ /ded/e/ /def/cab/ /ee/ba/
00:16:24 <coppro> was not supposed to paste that
00:16:42 <Lymia> !slashes fdgcgfffcc /bg/bdf/ /b/a/ /aa/d/ /b/gecbe/ /gd/dgd/ /dag/eedea/ /d/g/ /b/fgeg/
00:16:52 <Lymia> It's like writing random Brainfuck programs to see what they do!
00:17:02 <elliott> coppro: the paste police will come and arrest you now
00:17:13 <elliott> Lymia: you really want shit after the last /...
00:17:30 -!- Aesculapius has joined.
00:17:36 <Lymia> !slashes /dg/ea/ /fg/e/ /ebb/c/ /bf/ece/ /bad/gcbgc/ /ag/e/ /ea/c/ /bfa/g/ /ca/f/ /bg/ffa/ /aa/gaaae/ /cc/ef/ /cf/eac/ /cgc/adcec/ eddad
00:17:47 <Lymia> !slashes /e/dfed/ /ccd/f/ /dba/eggee/ /b/faa/ /a/gfda/ /dbf/gdbf/ /f/g/ /fg/gb/ /e/ad/ /c/ab/ /def/fb/ /a/d/ /cc/df/ ecfag
00:18:03 <Lymia> !slashes /gh/ghh/ /hhg/gghgu/ /h/uuuh/ /hh/uhghg/ /uuu/ghug/ /u/uuugu/ /h/ggugh/ /uhg/hgg/ /gh/uhhhh/ /u/uuhgg/ /hu/h/ huguuhguhgu
00:18:16 <quintopia> does anyone here understand brodal heaps?
00:19:32 <oerjan> Lymia: those did infloop
00:19:42 <Aesculapius> To those who were in the channel last night, I wound up contacting Lode Vandevenne through the email on his site and he uploaded the braincopter stuff that was gone for quite some time.
00:19:47 -!- poiuy_qwert has joined.
00:19:55 <Lymia> !slashes /ghu/huu/ /hgh/guh/ /guu/uguhg/ /ghh/hhhg/ /uu/uhu/ /huu/g/ /ug/uhhu/ huuughguughuh
00:20:04 <Aesculapius> http://lodev.org/esolangs/braincopter/braincopter.zip http://lodev.org/esolangs/braincopter/lk.png
00:20:39 <elliott> "Gregor Samsa, "waking up from anxious dreams", is transformed not into a cockroach but into an "adorable kitten" in The Meowmorphosis, the latest attempt to "remix" classic literature from US publisher Quirk Books."
00:20:50 <quintopia> Aesculapius: is lode the gammaplex dude? i don't remember
00:21:08 <oerjan> he is, but gammaplex never disappeared
00:22:51 <Aesculapius> Yep just braincopter and brainloller. I inquired about brainloller as well but that is what he sent.
00:24:23 <elliott> hes hiding the lolling secrets
00:24:44 <Aesculapius> Nah. I emphasised copter and said y'all said the other was missing too
00:24:59 <Aesculapius> he either didn't have it or just looked for what I emphasized
00:25:15 <oerjan> ...i did mention i didn't actually check carefully what else was missing, didn't i
00:25:22 -!- augur has quit (Remote host closed the connection).
00:25:45 <Aesculapius> I did a quick check and it looked like everything except those two was mirrored
00:26:38 <Aesculapius> But yeah, he was really cool about it. I'm quite appreciative.
00:27:44 <oerjan> elliott: i guess that's somewhere between disney making the ringer of notredame and making "holocaust, the musical"
00:28:00 <elliott> ...what on earth are you replying to
00:28:14 <elliott> all i know is someone has to make holocaust, the musical now
00:28:49 <oerjan> someone may already have, although probably not disney
00:30:33 <oerjan> google certainly seems to think someone did
00:30:53 <zzo38> How many formats are there for printer fonts?
00:32:41 <zzo38> Eventually the utility programs should be added in the "util" packages for TeXnicard, that can convert many of these formats into TFM/GF formats. Later on I might also add XFM (a format much like TFM) in case of more advanced features needed.
00:36:22 <zzo38> (I don't know if the best way would be to make a METAFONT format file that allows it to directly read the output of t1disasm)
00:42:48 <elliott> my mouse is pinned to the left side of my screen
00:45:13 <oerjan> elliott: happens to me sometimes, i just restart (or maybe, i don't quite recall if it works, temporarily hibernate)
00:45:44 <elliott> oerjan: yeah, I'm just using the keyboard until its hopeless
00:45:51 <elliott> this is probably an Xorg problem though because... because Xorg is terrible
00:46:06 <elliott> maybe the driver thinks its getting a continuous stream of left movements or whatever
00:46:11 <oerjan> i think i usually restart because it happens when the computer hasn't been in a while
00:46:57 <elliott> i never restart usually, just restart X
00:47:08 <elliott> linux support is utterly crap on this thing
00:48:06 -!- poiuy_qwert has quit (Read error: Connection reset by peer).
00:49:46 -!- poiuy_qwert has joined.
00:50:20 <elliott> this channel. i love this channel.
00:53:59 <oerjan> elliott had won the vistory over himself. he loved #esoteric.
00:54:17 <elliott> isn't that book a bit too new for you to be reading grampa
00:54:29 <elliott> <oerjan> I HAVEN'T READ IT I JUST GOT THE MEMES OFF THIS INTER NETS
00:54:34 <oerjan> Muphry's law also appears to apply to too clever puns.
00:54:43 <elliott> vistory is a good word, we should make it a word.
00:54:47 <elliott> maybe that's my next esolang after Var.
00:54:48 <oerjan> actually i did read it once, albeit in norwegian.
00:55:10 <elliott> meanwhile in Swedish bookstores
00:55:20 <elliott> Bjärne bork bork bork victory bork. He bork Bjärne.
00:55:26 <elliott> (Bjärne is the only name in Swedish)
00:55:51 <oerjan> today's short reading: Swedish War Heroes
00:56:55 <oerjan> it is funny because bjärne isn't really a swedish name, but sounds like one
00:57:18 <elliott> sort of like Bjorn isn't a Norwegian name? :D
00:57:50 <oerjan> ok to be pedantic, it _is_ a swedish name, but not a first one
00:58:21 <oerjan> ok to be pedantic i may be completely wrong
00:58:39 <oerjan> (bjorn is not norwegian. or maybe i should check that.)
00:59:39 <oerjan> never mind the link to bjärne first name was fake, it should be an a
01:02:09 <oerjan> http://sv.wikipedia.org/wiki/Frithiof_Bj%C3%A4rne although he wasn't born with that name so it is quite possible he made it up
01:02:52 <oerjan> but there other people with the same surname, afaict
01:04:54 -!- poiuy_qwert has quit (Ping timeout: 240 seconds).
01:05:09 <oerjan> ruling out bjorn may be too hard, it's too frequently spelled that way for convenience and by americans
01:07:15 -!- oerjan has quit (Quit: In other news I seem to require a restart for comfort).
01:08:04 <quintopia> i'm going to spell it þjôŕñ for convenience
01:10:56 -!- oerjan has joined.
01:16:50 <oerjan> <quintopia> i'm going to spell it þjôŕñ for convenience
01:17:24 <oerjan> þ is not a very similarly pronounced letter
01:17:34 <oerjan> unless you have the mother of all lisps
01:17:58 <quintopia> this is not important to the joke however
01:18:10 <oerjan> and a cleft palate, i think
01:18:42 <elliott> whos that frithiof guy i cant really click links
01:18:49 <quintopia> in fact, i think using the thorn instead of the obvious "ḃ" enhances the joke
01:19:01 <oerjan> elliott: some swedish actor
01:19:16 <oerjan> just the most famous person name bjärne afaict
01:29:41 -!- poiuy_qwert has joined.
01:35:36 -!- Aesculapius has quit (Quit: KVIrc 4.0.4 Insomnia http://www.kvirc.net/).
01:42:50 -!- EgoBot has quit (Ping timeout: 246 seconds).
01:44:17 -!- elliott has quit (Remote host closed the connection).
01:44:19 -!- Vorpal has quit (Ping timeout: 248 seconds).
01:44:20 -!- EgoBot has joined.
01:44:48 -!- Vorpal has joined.
01:45:30 -!- poiuy_qwert has quit (Read error: Operation timed out).
01:48:35 -!- poiuy_qwert has joined.
01:51:29 * Sgeo_ wants to decide between the Nook Color, Bebook Neo, and Sony PRS-650
02:05:17 <zzo38> Where are programs reading other font files to make bitmap font for resolution and so on, maybe I can change it to output TFM/GF format if it doesn't do so already.
02:05:59 -!- poiuy_qwert has quit (Read error: Operation timed out).
02:16:54 -!- poiuy_qwert has joined.
02:35:06 -!- poiuy_qwert has quit (Read error: Connection reset by peer).
02:35:53 -!- elliott has joined.
02:36:02 <elliott> apparently strip nomic is an actual game that has been played
02:36:15 <elliott> this is more hilarious than it has the right to be
02:36:56 <elliott> all I know is "strip nomic"
02:37:16 <pikhq> I was saying "define 'strip'" because this would, presumably, be defined in the nomic.
02:37:23 <pikhq> And hence "strip" is up for change.
02:37:27 <elliott> hahaha, scamming your way out of stripping
02:37:40 <elliott> im pretty sure there's no way that can't be the best game possible
02:37:52 <pikhq> Also make it a drinking game.
02:38:20 <elliott> im pretty sure the drinking has already happened by the time you get to inventing strip nomic
02:39:44 <oerjan> nomic nerds; now nearly naked
02:40:54 -!- poiuy_qwert has joined.
02:43:21 -!- augur has joined.
02:44:54 -!- poiuy_qwert has quit (Ping timeout: 240 seconds).
02:50:37 -!- poiuy_qwert has joined.
03:05:53 -!- MDude has changed nick to MSleep.
03:14:36 -!- poiuy_qwert has quit (Read error: Connection reset by peer).
03:17:48 -!- poiuy_qwert has joined.
03:27:39 -!- augur has quit (Remote host closed the connection).
03:27:41 <Sgeo_> "Self-compiled compiler has disconnected from bootstrap compiler in dev build cycle; will henceforth be referred to as "the" rust compiler."
03:32:30 -!- TeruFSX has joined.
03:33:43 -!- poiuy_qwert has quit (Ping timeout: 276 seconds).
03:38:30 -!- augur has joined.
03:50:03 <zzo38> What program is that?
03:51:28 <Sgeo_> zzo38, "zeerust compiler" was a joke. I think. Mozilla Rust is a new programming language
03:52:29 -!- TeruFSX has quit (Ping timeout: 240 seconds).
04:00:10 <zzo38> Is it rusted and doesn't work anymore?
04:00:17 <pikhq> It worries me somewhat that my computer seems to have suddenly ceased to have cooling issues with this new power supply.
04:00:33 <oerjan> bah if it were new it would be Mozilla Iron
04:00:39 <zzo38> pikhq: I suppose that is because it is rusted and doesn't work anymore.
04:01:17 <pikhq> I'm going to assume that that means that my previous one was *shitty*, and the source of almost all my system's heat.
04:04:23 -!- TeruFSX has joined.
04:09:36 -!- zzo38 has quit (Quit: How I wish I could enumerate pi easily, since all these bullshit mnemonics prevent recalling any of pi's sequence more simply.).
04:12:41 <pikhq> My system is literally running at the same temperature it used to idle at... With full CPU usage.
04:12:55 <pikhq> I have literally only changed the power supply.
04:14:39 <elliott> * zzo38 has quit (Quit: How I wish I could enumerate pi easily, since all these bullshit mnemonics prevent recalling any of pi's sequence more simply.)
04:22:59 -!- augur has quit (Remote host closed the connection).
04:23:55 -!- pingveno has quit (Ping timeout: 240 seconds).
04:26:06 -!- pingveno has joined.
04:45:44 -!- poiuy_qwert has joined.
05:02:11 -!- poiuy_qwert has quit (Ping timeout: 248 seconds).
05:06:57 -!- TeruFSX has quit (Ping timeout: 260 seconds).
05:11:57 -!- poiuy_qwert has joined.
05:17:38 -!- poiuy_qwert has quit (Ping timeout: 240 seconds).
05:22:08 -!- augur has joined.
05:26:09 -!- augur has quit (Remote host closed the connection).
05:47:08 -!- pikhq has quit (Ping timeout: 240 seconds).
05:47:13 -!- pikhq_ has joined.
06:25:09 -!- augur has joined.
06:38:25 -!- Cheery has joined.
06:42:14 -!- pikhq_ has quit (Ping timeout: 240 seconds).
06:42:32 -!- pikhq has joined.
07:20:10 -!- oerjan has quit (Quit: Good night).
07:47:07 -!- BeholdMyGlory has joined.
07:49:11 -!- elliott has changed nick to Phantom_oo.
07:49:14 <lambdabot> Phantom_oo: You have 1 new message. '/msg lambdabot @messages' to read it.
07:49:19 -!- Phantom_oo has changed nick to elliott.
08:06:41 -!- monqy has quit (Quit: hello).
08:07:21 -!- Lymia has quit (Read error: Operation timed out).
08:10:50 -!- siracusa has quit (Ping timeout: 260 seconds).
08:11:45 -!- siracusa has joined.
08:12:19 <elliott> Monad comprehensions are finally in GHC (self.haskell)
08:23:31 -!- elliott has quit (Remote host closed the connection).
08:26:06 -!- elliott has joined.
08:26:12 <elliott> Wow, some of Shiro's code is quite ugly.
08:34:45 <elliott> this function. just look at it.
09:02:12 -!- pikhq_ has joined.
09:02:37 -!- pikhq has quit (Ping timeout: 276 seconds).
09:28:01 -!- pikhq has joined.
09:28:08 -!- pikhq_ has quit (Ping timeout: 240 seconds).
10:32:16 -!- crystal-cola has joined.
10:47:16 -!- FireFly has joined.
10:55:12 -!- Deewiant has quit (Ping timeout: 260 seconds).
10:55:26 -!- Deewiant has joined.
11:35:43 <mtve> http://frox25.no-ip.org/~mtve/wiki/MemFractal.html
11:38:06 <mtve> other examples needed badly
11:52:42 <cheater_> has anyone of you been to bletchley park
11:53:03 <cheater_> i guess that's mostly towards the people living in the land of Eng
12:02:57 <fizzie> Ooh, synchronicity; we've been planning to visit that place this June.
12:03:35 <elliott> get out of our country normans
12:05:08 <crystal-cola> I thought they were gonna throw out alan turings stuff
12:05:19 <elliott> they killed alan turing with alien rays
12:05:31 <crystal-cola> I mean the gov. "apologised" about it so they don't need to fund the maintainance of the musium
12:05:54 <crystal-cola> ahThe National Heritage Memorial Fund's £200,000 donation filled the gap.
12:06:03 <elliott> the gap in their alien mind projectors
12:06:20 <elliott> im being 9 percent sincere
12:10:51 -!- MigoMipo has joined.
12:15:24 <Slereah> That you can prove that the system cannot generate all possible theorems within the system
12:39:21 <crystal-cola> 13:36 < Slereah> Gotta study for my makeup exam of topology and probabilities :c
12:41:11 <Slereah> Isn't that the correct english word?
12:41:17 <Slereah> It is rattrapage in French
12:54:02 <cheater_> fizzie: nice. can you take some photos?
12:54:12 <cheater_> fizzie: i would love to come along ^^
12:54:45 <cheater_> fizzie: have you read cryptonomicon? it takes part at bletchley park
12:56:51 <fizzie> Yes, though it was quite a while ago.
12:58:55 <fizzie> I seem to recall I didn't like it quite as much as some other Neal Stephenson's books, but that's probably just me.
13:02:52 <cheater_> i can't say i liked the "current time" parts
13:02:54 -!- augur has quit (Remote host closed the connection).
13:02:57 <cheater_> (i hadn't finished the book though)
13:03:02 <cheater_> i really liked the waterhouse parts
13:03:15 <cheater_> the ones with the marine were mediocre but not bad
13:04:05 -!- poiuy_qwert has joined.
13:19:27 -!- MigoMipo has quit (Read error: Connection reset by peer).
13:26:13 -!- azaq23 has joined.
13:26:47 <variable> elliott: I'm curious what your thoughts are on the AV system being proposed. I don't know much about UK politics ;-)
13:27:22 <elliott> AV is better than first-past-the-post, like every voting system apart from the Random Elephant Stomping method
13:27:46 <elliott> in a perfect universe we'd have Condorcet or even stochastic or whatever, but AV is much better than what we have
13:27:53 <elliott> there's exactly zero chance it will pass, though
13:28:10 <elliott> the FUD cloud is so thick that it's hovering outside my window as we speak
13:29:45 <elliott> crystal-cola: you're joking right?
13:29:56 <elliott> variable: if by IVR you mean IRV then yes
13:30:00 <elliott> crystal-cola: trololololololol :)
13:30:26 <elliott> it's not the best method out there, but obviously it's far superior to FPTP
13:31:17 <variable> why was IRV chosen to be the one to spearhead the voting change?
13:31:37 -!- poiuy_qwert has quit (Quit: This computer has gone to sleep).
13:31:58 <elliott> if FUDders think AV is too complicated, imagine what they'd do to Condorcet
13:33:01 <variable> depends on on the resolution method used
13:33:17 <elliott> it really doesn't, you have no idea the kind of shit being said here :)
13:33:21 <elliott> there are literally leaflets going
13:33:29 <elliott> FPTP: All the votes are counted up and the person with the most votes wins
13:33:38 <elliott> AV: [RIDICULOUS TEN PAGE "EXPLANATION" THAT MAKES NO SENSE]
13:33:42 <elliott> THEREFORE AV IS TOO COMPLICATED
13:34:07 <variable> curios - who are the people against the FPTP system
13:34:22 <elliott> you mean the ones supporting AV?
13:34:36 <variable> and who are the ones supporting it
13:34:50 <variable> I mean -> which are the main groups on either side ;-)
13:34:56 <elliott> the Lib Dems, who everyone hate, either because they're left-wing, or because the coalition has been ridiculously ineffective (they've teamed up with the right-wing Conservatives and have henceforth been the Conservatives' bitch)
13:35:03 <elliott> the people against AV (for FPTP) are everyone else
13:35:33 <elliott> and since it's being framed as it being a Lib Dem "demand" that the government is being forced to hold a referendum on, the negativity is incredible
13:36:15 <crystal-cola> http://gowers.wordpress.com/2011/04/20/is-av-better-than-fptp/
13:36:56 <crystal-cola> http://www.andrew-mitchell-mp.co.uk/images/winner_under_av.jpg
13:37:21 <elliott> the best one is the boxing match
13:37:25 <elliott> BOXING MATCHES HAVE TWO PARTICIPANTS
13:37:32 <elliott> ALL VOTING SYSTEMS ARE IDENTICAL IF THERE ARE ONLY TWO OPTIONS
13:38:18 <variable> crystal-cola: that isn't a vote :-\
13:38:44 <elliott> variable: Don't bring your logic into our national shit-flinging fiasco plz
13:40:39 <crystal-cola> http://2.bp.blogspot.com/-VipbwQnEqwk/TWS9XAo9OOI/AAAAAAAAK8I/DoL0NdDAAWk/s1600/No2AV-baby-poster.jpg
13:41:27 <crystal-cola> http://blogs.telegraph.co.uk/news/files/2011/05/no-to-av.jpeg
13:42:36 <elliott> oh god i love that figure thing
13:42:50 <elliott> they list all these costs right
13:42:53 <elliott> that adopting av would have
13:43:00 <elliott> they ADD THE COST OF THE REFERENDUM
13:43:02 <elliott> to the total that av would cost
13:43:08 <elliott> despite the fact that that cost is already paid
13:43:22 <elliott> but it gets better, the sum they give is actually many millions more than the sum of the components.
13:43:28 -!- augur has joined.
13:43:41 <elliott> i do like the idea that if av isn't adopted, they'll make like five million schools though
13:43:47 <elliott> and hire ten billion doctors
13:43:54 <elliott> im sure thats what will happen
13:45:34 <crystal-cola> I think "they" just don't want ANYTHING to change, because if the peopl start thinking that they can improve goverment... that coudl cause problems for control freaks that happen to be in power
13:52:23 <crystal-cola> I came up with a new propaganda: "Under AV, AV would win"
14:24:09 -!- MigoMipo has joined.
14:34:23 <Gregor> I forget, which alternate voting system is AV?
14:34:32 <Gregor> Since "AV" means nothing really :P
14:35:11 <crystal-cola> well it means you put preferences and the if there's not a strong majority it takes second favorites etc. into account
14:35:28 <elliott> "You know that bit on the Last Night of the Proms where they play "Jerusalem" and everyone in England sings along? I want you to imagine right now that they're all singing "No" at you. Not in a mean way. In a loving, patriotic way. But also sternly. With bows of burning gold and chariots of fire."
14:35:56 <Sgeo_> They're voting to eliminate viruses.
14:36:02 <elliott> You're welcome since everyone else's answers are worthless
14:36:23 <Gregor> Thank you, elliott, for giving me the data I actually wanted :P
14:37:06 <elliott> crystal-cola: Gregor was asking what voting system AV actually is :P
14:37:09 <elliott> The answer is instant-runoff.
14:37:29 * Gregor bashes crystal-cola's head into a wall.
14:37:30 <elliott> Nobody called it AV before this referendum.
14:37:36 <Gregor> AV is a retarded name.
14:37:40 <Gregor> AV means "alternative voting"
14:37:46 <Gregor> Every voting system is an alternative to another voting system.
14:37:46 <elliott> Gregor: It means alternative /vote/.
14:37:53 <elliott> Gregor: i.e. you have alternate VOTES for candidates.
14:37:57 -!- poiuy_qwert has joined.
14:38:03 <Sgeo_> Jokes are valuable too!
14:38:07 <elliott> It makes slightly more sense than "alternative voting [system]" which I too originally assumed :P
14:38:22 <Gregor> Right, but there are also dozens of voting systems that fit that description.
14:38:45 <elliott> Clearly we should name voting systems with a compact representation of their algorithms :P
14:41:32 <Gregor> Then make an initialism of that.
14:41:33 -!- BeholdMyGlory has quit (Remote host closed the connection).
14:41:58 -!- BeholdMyGlory has joined.
14:42:08 <pikhq> I was unaware that voting systems had any notable cost (in general).
14:42:43 -!- Sgeo_ has quit (Ping timeout: 260 seconds).
14:43:09 <Gregor> Of course they do. They have to print ballots, institute new counting systems, train the relevant people on how to tally properly, etc etc.
14:43:10 <elliott> crystal-cola: So what's this about being retarded
14:43:25 <pikhq> Gregor: I said "notable".
14:43:29 <elliott> Gregor: Hey, I was going to approach that point with wilful non-understanding.
14:43:45 <pikhq> Gregor: i.e. cost *over* what you're already paying just to run an election.
14:43:48 <fizzie> Gregor: We should name them based on some lisp code implementing the counting, and then taking the initial characters of the most important (sub)expressions. So do you prefer ((((((((( over (((((((((((((((?
14:43:52 <Gregor> pikhq: Well, how much does it cost to NOT kill a baby?
14:44:01 <Gregor> pikhq: It costs about the same to implement a new voting system.
14:44:16 <pikhq> Gregor: Fairly absurd amount, if by "NOT kill" you mean "spare no expense in saving". :P
14:44:30 <Gregor> No, I just mean "NOT kill"
14:44:35 <crystal-cola> You asked what something is and I explained it, that is not justification for being cunts
14:44:41 <Gregor> Basically, if you institute AV, then they throw babies in furnaces.
14:44:48 <pikhq> Oh, so straight-up inaction?
14:45:01 <fizzie> Gregor: All the therapy to treat those people who get depressed when they don't get to kill any babies, etc etc.
14:45:06 <pikhq> It costs the same amount to not institute AV!
14:45:08 <crystal-cola> you asked an ambiguous question and I didn't get what you meant, so go fuck yourself
14:45:18 <pikhq> THE ONLY OPTION IS TO REQUIRE EVERY VOTER TO PAY
14:45:26 <pikhq> Otherwise, they'll throw babies in furnaces!
14:45:27 <Gregor> lol @ crystal-cola's overreaction
14:45:33 <pikhq> And use it to run generators!
14:45:38 <Gregor> Followed by lol @ crystal-cola's overreaction to my lolling at his overreaction.
14:45:43 <pikhq> SOYLENT ELECTRICITY IS PEOPLE!
14:45:53 <elliott> <crystal-cola> You asked what something is and I explained it, that is not justification for being cunts
14:46:09 <fizzie> pikhq: Peoplectricity is renewable, though.
14:46:27 <elliott> Note how Sgeo who didn't even try to be helpful is inexplicably unoffended on account of not taking every off-hand joke personally.
14:46:31 <pikhq> fizzie: As renewable as our food.
14:46:37 <pikhq> fizzie: Which is "not very" ATM.
14:46:57 <fizzie> pikhq: But if you burn enough people, there's less to eat and/or use the electricity.
14:47:17 <fizzie> You just need to find the right balance there.
14:47:28 <pikhq> Nah, that'll just result in more fuckin'.
14:47:36 <crystal-cola> You fucking idiots can make fun of me all you want I don't give a shit because you're both on ignore now
14:48:15 <Gregor> I didn't realize crystal-cola was such an expert in extreme overreaction to near-zero offense.
14:50:44 <Gregor> elliott: I'm not much of an observer of people.
14:51:51 <elliott> Scrolling up I didn't even mention anyone at all, just their answers :P
14:53:06 <Gregor> Anyway, the point is that the vote is actually "institute AV (+ bonus baby furnaces)" vs "do not institute AV (and no baby furnaces)"
14:53:29 <elliott> I thought we were on ignore for being horrible people.
14:54:12 <elliott> Wow, you can bookmark Chrome's new tab page.
14:54:26 <Gregor> elliott: I've actually noticed that.
14:54:40 <elliott> I'm going to add it to my bookmarks so I always have a new tab handy when I need it
14:54:58 <elliott> I just pinned the new tab page
14:58:56 <crystal-cola> someone should bash your snotty fucking stuck up headin
14:59:08 <elliott> AGIUHGEIUGHEIUGHERIUGHUIERGHIERG
14:59:22 -!- elliott has left ("RAESRIUGAIUGHIUHGIERGOIUERHGIUOAEHGOIAEHGRIUOAEHGIOHGIUHRGIOEHG").
14:59:26 -!- MSleep has changed nick to MDude.
14:59:28 -!- elliott has joined.
15:00:12 <Gregor> Yeah, it really is much easier to not be a whiny little dipshit that takes every off-hand comment as an intensely-personal insult.
15:00:36 <elliott> I'm all for whiny dipshits
15:15:28 <Gregor> Go to google.co.uk -> go to image search -> search for "pip pip cheerio" -> wtfwtfwtf
15:19:06 <elliott> What exactly are you referring to
15:19:32 <Gregor> Apparently "pip pip cheerio" (in two of the top 10 or so image results) refers to gigantism of particular intimate body parts.
15:19:48 <Gregor> In a condition I can only assume is called pippipcheeriism
15:19:51 <elliott> They appear to originate from tumblr posts.
15:20:06 <elliott> A user named pip-pip-cheerio is mentioned on the pages in question.
15:20:20 <elliott> Now that everyone else has forgotten that Google Images can give you the source web page, I will rule supreme as master of all knowledge.
15:20:38 <Gregor> I'm at work, so did not go so far as to click through :P
15:20:51 <elliott> It's OK to have that stuff on your screen BUT IF THERE WERE WORDS TOO OH GOD
15:22:10 -!- pikhq has quit (Ping timeout: 252 seconds).
15:22:14 -!- pikhq has joined.
15:22:56 <elliott> i just hit my head with my knee
15:23:58 <cheater_> by trying repeatedly. practice makes perfect.
15:27:41 <Gregor> Alternatively, you could do it with little training or practice by removing the knee in question, thereby allowing it to move more freely and without obstacles.
15:33:15 -!- sebbu2 has joined.
15:33:16 -!- sebbu2 has quit (Changing host).
15:33:16 -!- sebbu2 has joined.
15:34:03 <Vorpal> <elliott> Now that everyone else has forgotten that Google Images can give you the source web page, I will rule supreme as master of all knowledge. <-- uh of course it can?
15:34:28 <elliott> Gregor: I believe some manner of physical pain should be dispensed to Vorpal for his inability to comprehend any kind of context at all.
15:35:02 <Vorpal> elliott, it is a lot more fun to not read context!
15:35:12 <Vorpal> elliott, it makes you irritated for a start.
15:35:18 <elliott> You misspelled "annoying and stupid". And I'm not irritated.
15:35:29 <elliott> Nor annoyed actually, things can be annoying without actually annoying.
15:35:45 <elliott> Or rather something annoying does not necessarily annoy enough to cause one to become annoyed.
15:35:46 <Vorpal> elliott, but you find it annoying
15:36:31 -!- sebbu has quit (Ping timeout: 260 seconds).
15:42:32 <elliott> Gregor: Oh, it seems like the AV name might be considerably older -- dating back to the nineteen-tens, even.
15:42:34 <elliott> Eventually, the Commons voted 181-166 not to introduce the Alternative Vote system, and by a larger majority against PR. Just before the vote was taken, the prime minister, Andrew Bonar Law, at the head of a minority Conservative administration, admonished MPs in language that still has an unfortunate resonance: "I don't believe the country cares twopence one way or the other about either proportional representation or the alternative vote." What
15:42:34 <elliott> the public expected, he said, was that the politicians should make up their minds.
15:42:36 <elliott> http://www.independent.co.uk/news/uk/politics/av/av-debate-the-voting-system-that-cameron-is-fighting-for-is-a-veritable-novelty-2270578.html
15:43:00 -!- pikhq_ has joined.
15:43:11 -!- pikhq has quit (Ping timeout: 264 seconds).
15:49:58 <Gregor> Annoying, anointing, ...
15:52:25 -!- elliott has quit (Remote host closed the connection).
16:34:45 -!- Phantom_Hoover has joined.
16:35:00 <Phantom_Hoover> Hmm, Homestuck has updated. Lemme guess, lambdabot has some messages for me.
16:35:01 <lambdabot> Phantom_Hoover: You have 3 new messages. '/msg lambdabot @messages' to read them.
17:14:49 <crystal-cola> Gregor: fuckyng kill youself you fucking shithead
17:15:25 -!- elliott has joined.
17:15:46 <Gregor> I love how it's a vicious cycle too.
17:16:00 <Gregor> The more over-the-top he gets, the more hilarious I find it, and the more over-the-top he gets.
17:16:09 <elliott> `run echo "Shut the fuck up and calm down. You've counter-insulted far more than the original insult many times over by now and this is completely childish. I will say no more. (And sure, this is childish too, but seriously, cut it out.)"
17:16:12 <HackEgo> Shut the fuck up and calm down. You've counter-insulted far more than the original insult many times over by now and this is completely childish. I will say no more. (And sure, this is childish too, but seriously, cut it out.)
17:16:22 <crystal-cola> Gregor: fuckyng kill youself you fucking shithead
17:16:23 <crystal-cola> Gregor: fuckyng kill youself you fucking shithead
17:16:23 <crystal-cola> Gregor: fuckyng kill youself you fucking shithead
17:16:26 <crystal-cola> Gregor: fuckyng kill youself you fucking shithead
17:16:32 <elliott> This is just like last time crystal-cola got banned
17:17:38 <elliott> 14:34:23: <Gregor> I forget, which alternate voting system is AV?
17:17:39 <elliott> 14:34:32: <Gregor> Since "AV" means nothing really :P
17:17:39 <elliott> 14:35:11: <crystal-cola> well it means you put preferences and the if there's not a strong majority it takes second favorites etc. into account
17:17:39 <elliott> 14:35:22: <crystal-cola> instead of just a cross for the one you want
17:17:42 <elliott> 14:35:50: <elliott> Gregor: IRV
17:17:43 <elliott> 14:36:02: <elliott> You're welcome since everyone else's answers are worthless
17:17:45 <elliott> 14:36:04: <elliott> I'm a wonderful person
17:17:47 <elliott> 14:36:23: <Gregor> Thank you, elliott, for giving me the data I actually wanted :P
17:17:49 <elliott> Then crystal-cola went insane.
17:18:18 <crystal-cola> Gregor: You deserve to get your head bashed in
17:18:19 <crystal-cola> Gregor: You deserve to get your head bashed in
17:18:19 <crystal-cola> Gregor: You deserve to get your head bashed in
17:18:22 <crystal-cola> Gregor: You deserve to get your head bashed in
17:18:45 <elliott> fizzie: Request straitjacket.
17:18:54 <Gregor> Apparently he thinks that by flooding his lololoverreaction I'll suddenly care what his opinion is :P
17:19:40 <Phantom_Hoover> crystal-cola is... not known for his emotional stability or rational behaviour when upset.
17:20:18 <Gregor> I'm known for finding these situations hilarious and wonderful :P
17:20:28 <Gregor> And overusing the ":P" smiley :P :P :P
17:20:52 <elliott> Phantom_Hoover: well at least i can see the other messages this time
17:21:20 <crystal-cola> Gregor is a stuck up shit head who should fuck off
17:21:44 <elliott> crystal-cola: You're a drama-whoring overreacting many-times-more-asshole who can't see this message.
17:21:48 <Phantom_Hoover> I think we should see if crystal-cola can increase the insult density further/
17:21:51 <elliott> By fun I mean irritating and depressing.
17:21:57 <elliott> Phantom_Hoover: please, I don't want dead bodies littering the street.
17:22:30 <Gregor> elliott: Really? You find it anything but fun?
17:22:33 <Phantom_Hoover> So that his sentences go beyond full saturation and become some kind of quark-gluon plasma of swearwords and violence.
17:22:48 <elliott> Gregor: /msg, this is ridiculous
17:23:20 -!- Lymia has joined.
17:23:20 -!- Lymia has quit (Changing host).
17:23:20 -!- Lymia has joined.
17:30:07 <elliott> im not sure you understand what /ignore is for, its so you dont see the persons messages
17:30:19 -!- monqy has joined.
17:35:59 <Gregor> Ohyeah, it's Cinco de Mayo.
17:36:11 <Gregor> AKA "The day Americans think is Mexican Independence Day but isn't" day
17:36:33 * elliott adjusts his giveashitometer
17:36:55 <elliott> Now it can successfully measure the 0.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001 shits I give.
17:37:31 <Gregor> That might actually be too little shit to be verifiably shit at all.
17:37:50 <coppro> there is utterly no reason to give a shit since this holiday makes no logical sense
17:38:21 <elliott> But I gotta say, I'm totally not feeling the vibes of this one.
17:38:40 <coppro> some holidays make sense
17:38:42 <Gregor> How about if I say that it's "get drunk for no real reason" day
17:38:51 <elliott> coppro: Define "makes sense".
17:39:05 <elliott> How is a sense-making holiday distinguish from a non-sense-making one
17:39:08 <coppro> elliott: Is a celebration of something worthy of celebration
17:39:18 <coppro> e.g. a national holiday makes sense
17:39:39 <elliott> So, uh, valid holidays are about consumerism, nationalism or getting drunk.
17:39:49 <Lymia> By that notion, the only holiday worth celebrating is....
17:40:08 <Gregor> Both getting drunk and nationalism are just facades for consumerism :P
17:40:08 <elliott> monqy: a day when you get drunk, consume a lot, and national (verb)
17:40:27 <elliott> Gregor: I dunno, nationalism is pretty strong in itself :P
17:40:29 <monqy> I'd say every day but I never do any of those
17:40:35 <monqy> it would be the worst lie
17:40:41 <Gregor> Dood, I'm gonna national 'til I've painted the whole world red white and blue! (But not French red white and blue)
17:40:48 <coppro> depending on the manner of celebration, birthdays may count
17:41:34 <elliott> coppro: how are national holidays celebrating something worthy of celebration
17:41:43 <elliott> any more than holidays about consumerism
17:41:59 <elliott> Nationalism is no more (probably less) logical than consumerism, after all, as stupid as the word "logical" is as a system to rank things
17:42:01 <monqy> holidays about getting drunk
17:42:41 <monqy> are drunk people hilarious or scary I can't make up my mind
17:42:53 <Lymia> Depends on who they are
17:43:20 <Gregor> `addquote <elliott> Nationalism is no more (probably less) logical than consumerism, after all, as stupid as the word "logical" is as a system to rank things
17:43:22 <HackEgo> 396) <elliott> Nationalism is no more (probably less) logical than consumerism, after all, as stupid as the word "logical" is as a system to rank things
17:43:47 <elliott> soft light-colored non-durable wood of the poplar
17:43:48 <elliott> any of numerous trees of north temperate regions having light soft wood and flowers borne in catkins
17:43:48 <elliott> wordnetweb.princeton.edu/perl/webwn
17:43:49 <coppro> quiz: what is the worst holiday according to cabbies?
17:43:58 <elliott> coppro: Are you using write-only IRC?
17:44:01 <coppro> elliott: your bipoplar
17:44:13 <elliott> Orrrrr you're just ignoring disagreement
17:44:28 <Gregor> Write-only IRC: best idea
17:44:43 <coppro> Gregor: we have that. It's called Twitter
17:44:44 <elliott> Gregor: crystal-cola is pioneering it by single-handedly ignoring everyone on IRC one-by-one
17:45:03 <Gregor> `addquote <Gregor> Write-only IRC: best idea <coppro> Gregor: we have that. It's called Twitter
17:45:04 <HackEgo> 397) <Gregor> Write-only IRC: best idea <coppro> Gregor: we have that. It's called Twitter
17:45:10 <Gregor> Enough `addquotes for me for the day :P
17:45:22 <elliott> `addquote <Gregor> Write-only IRC: best idea <coppro> Gregor: we have that. It's called Twitter
17:45:24 <HackEgo> 397) <Gregor> Write-only IRC: best idea <coppro> Gregor: we have that. It's called Twitter
17:45:30 * elliott fumes and guards his golden eggs
17:45:38 <Gregor> `addquote <Gregor> Write-only IRC: best idea <coppro> Gregor: we have that. It's called Twitter
17:45:39 <HackEgo> 398) <Gregor> Write-only IRC: best idea <coppro> Gregor: we have that. It's called Twitter
17:45:55 <elliott> `addquote <Gregor> Write-only IRC: best idea <coppro> Gregor: we have that. It's called Twitter
17:45:56 <HackEgo> 400) <Gregor> Write-only IRC: best idea <coppro> Gregor: we have that. It's called Twitter
17:46:05 <elliott> `run rm bin/{delquote,addquote}
17:46:15 <HackEgo> 397) <Gregor> Write-only IRC: best idea <coppro> Gregor: we have that. It's called Twitter
17:46:22 <HackEgo> 397) <Gregor> Write-only IRC: best idea <coppro> Gregor: we have that. It's called Twitter
17:46:34 <Gregor> HackEgo: Best system ever?
17:46:50 <monqy> ======= is a good quote
17:46:55 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.23664
17:47:08 <HackEgo> 398) <Gregor> Write-only IRC: best idea <coppro> Gregor: we have that. It's called Twitter
17:47:08 <Gregor> I should, like, actually check if merges fail :P
17:47:20 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.717
17:47:38 <elliott> If anyone fucks that up I will literally hunt them down and murder them brutally.
17:47:41 <elliott> I am not in the least bit kidding.
17:47:43 <Gregor> Y'know you can just `url quotes, right? :P
17:47:45 <monqy> goodbye ======= ;_;
17:47:49 <elliott> Gregor: I don't trust that shit, bro.
17:49:22 -!- crystal-cola has quit (Read error: Operation timed out).
17:49:32 <Lymia> `run paste /bin/sh
17:49:34 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.9997
17:49:47 <Gregor> Getting /bin/sh: Totally useless?
17:50:38 <Lymia> `run paste /etc/shadow
17:50:39 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.15274
17:51:00 <Lymia> `run paste /etc/hosts
17:51:02 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.14250
17:51:16 -!- oerjan has joined.
17:51:30 <HackEgo> 396) <Gregor> Write-only IRC: best idea <coppro> Gregor: we have that. It's called Twitter
17:51:31 <Gregor> Lymia: If you're going to try (and fail miserably) to hack it, do so in PM plox.
17:52:02 <elliott> <Phantom_Hoover> `delquote 396
17:52:15 <monqy> goodbye <elliott> Nationalism is no more (probably less) logical than consumerism, after all, as stupid as the word "logical" is as a system to rank things
17:52:19 <elliott> Lymia: STOP PINGING PEOPLE WITH A SINGLE LINE OF "NAME." IT'S SO SDOHDGHGDFGJKDFG
17:52:26 <elliott> Phantom_Hoover: Why did you delete it GREGOR ADDED THAT QUOTE
17:52:28 <HackEgo> Runs arbitrary code in GNU/Linux. Type "`<command>", or "`run <command>" for full shell commands. "`fetch <URL>" downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert <rev>" can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/
17:52:31 <Gregor> I have no idea how to respond to that anyway :P
17:52:44 <Lymia> `run wget www.google.com
17:52:49 <HackEgo> babies \ bin \ bluhbluh \ env \ foo \ index.html \ paste \ ps \ quine \ quotes \ test.c \ tmpdir.15537
17:53:03 <HackEgo> 396) <elliott> Nationalism is no more (probably less) logical than consumerism, after all, as stupid as the word "logical" is as a system to rank things
17:53:08 <elliott> Gregor: I fixe d your quote
17:53:23 <Gregor> monqy: For a while (all of an hour or so) I had it set up so that whenever somebody said "fuck", it presented them with a baby :P
17:53:32 <HackEgo> 1 \ 2 \ 3 \ 4 \ 5 \ 6 \ 7 \ 8 \ 9 \ 10 \ 11 \ 12 \ 13 \ 14 \ 15 \ 16 \ 17 \ 18 \ 19 \ 20 \ 21 \ 22 \ 23 \ 24 \ 25 \ 26 \ 27 \ 28 \ 29 \ 30 \ 31 \ 32 \ 33 \ 34 \ 35 \ 36 \ 37 \ 38 \ 39 \ 40 \ 41 \ 42 \ 43 \ 44 \ 45 \ 46 \ 47 \ 48 \ 49 \ 50 \ 51 \ 52 \ 53 \ 54 \ 55 \ 56 \ 57 \ 58 \ 59 \ 60 \ 61 \ 62 \ 63 \ 64 \ 65 \ 66 \ 67
17:53:36 <HackEgo> Congratulations! elliott's action has brought a beautiful new baby into the world. Isn't it adorable?
17:53:43 <elliott> It keeps forgetting my past babies,.
17:53:51 <Lymia> `run mkdir seq 1 1 10000000
17:53:58 <Lymia> `run mkdir `seq 1 1 10000000`
17:54:05 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.12279
17:54:11 <HackEgo> babies \ bin \ bluhbluh \ env \ foo \ paste \ ps \ quine \ quotes \ test.c \ tmpdir.15965
17:54:23 <Lymia> Phantom_Hoover, not even mkdir spam will work?
17:54:45 <Gregor> Actually, touch spam probably would.
17:54:50 <elliott> What the heck would mkdir spam achieve? Even the stupidest of bots has a quota surely :P
17:54:53 <Phantom_Hoover> Dunno, but I do want to punch you in the face for that smiley.
17:55:09 <lifthrasiir> hmm, is there a maximum file size limit? (looks like 10M)
17:55:09 <Gregor> It has a quota, but it's not a small quota :P
17:55:21 <Lymia> Does freenode have a connection limit?
17:55:25 <Gregor> Lymia!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
17:55:38 <oerjan> <elliott> I WILL ENABLE <elliott> FUNNINESS <-- just replace one of the compared terms with "eating babies"
17:55:43 <Lymia> If so, could you have HackEgo connect over and over to freenode until it's connections are kicked off?
17:56:24 <Gregor> Lymia: ... you can't, from `run, request HackEgo to ... connect again ... somehow.
17:56:26 <lifthrasiir> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/a540b7f2622c/index.html :?
17:56:41 <Lymia> Download a script that connects to IRC.
17:56:45 <Lymia> (opps i did it again)
17:56:50 <Gregor> Networking is protected.
17:57:10 <Gregor> Google and various other sites are allowed through the HTTP proxy.
17:57:10 <Lymia> Does it block IRC connection attempts?
17:57:24 <Gregor> Networking is outright blocked except through the HTTP proxy.
17:57:53 <Gregor> `run unset http_proxy; curl http://www.google.com/
17:58:00 <Gregor> `run unset http_proxy; curl http://www.google.com/ 2>&1
17:58:01 <HackEgo> \ curl: (6) Couldn't resolve host 'www.google.com'
17:59:22 <HackEgo> bash \ bunzip2 \ bzcat \ bzcmp \ bzdiff \ bzegrep \ bzexe \ bzfgrep \ bzgrep \ bzip2 \ bzip2recover \ bzless \ bzmore \ cat \ chgrp \ chmod \ chown \ cp \ cpio \ date \ dd \ df \ dir \ dmesg \ dnsdomainname \ echo \ ed \ egrep \ false \ fgrep \ grep \ gunzip \ gzexe \ gzip \ hostname \ ip \ kill \ ln \ login \ ls \ lsmod
17:59:44 <Gregor> Hack attempts in PM plox kthx
18:00:33 <elliott> no hack attempts in public
18:00:39 <elliott> i want to see the fail :DDddD:D
18:00:51 <Gregor> Imagine there was a comma after the "no"
18:01:47 <lifthrasiir> elliott: you mean that if one can do hack it he/she can do it publicly? :p
18:02:08 <elliott> No no, if you can actually do it, do whenever. But since I very much doubt anyone can, I want to see people fail to in public :P
18:02:14 <elliott> Gotta keep the channel activity going somehow.
18:03:12 -!- newbie|2 has joined.
18:03:32 <lifthrasiir> and well, strictly i didn't try to hack the bot; i just poked it with a stick ;)
18:03:58 <elliott> we're all about stick-poking here
18:04:00 <lifthrasiir> (in the sence that i just wanted to see how it is implemented)
18:04:19 <elliott> lifthrasiir: FWIW it's plash
18:04:36 <elliott> so, chroot with only a libc that works over sockets and simulates the whole FS and everything through that
18:04:53 <elliott> (Gregor's bot not mine :P)
18:05:08 <monqy> I'd like to see zeptobot do that
18:06:09 <elliott> zeptobot can do everything you horrible person
18:06:36 <oerjan> <elliott> welcome back, old friend
18:06:46 <Gregor> I'm still dissatisfied since nobody's really made HackEgo do anything cool :(
18:06:48 <oerjan> hey you didn't know about haskell last it was there ;D
18:06:52 <Gregor> It's more a minor curiosity than an actual bot.
18:07:04 <Phantom_Hoover> http://www.reddit.com/r/todayilearned/comments/h4vrv/til_the_highest_temperature_ever_reached_on_earth/
18:07:19 <Phantom_Hoover> OK I badly want to hit the idiot who wrote that in Fahrenheit.
18:07:31 -!- elliott has set topic: RIP B Nomic | RIP B Nomic memorial topic 2011-2011 | Logs: http://codu.org/logs/_esoteric/ and http://tunes.org/~nef/logs/esoteric/?C=M;O=D.
18:07:48 <elliott> another great figure in the esoteric bullshit community dies
18:08:09 <elliott> Phantom_Hoover: honestly. you. what is with you.
18:08:15 <elliott> B Nomic is the successor to A Nomic.
18:08:21 <Gregor> Phantom_Hoover: ♥ Fahrenheit!
18:08:26 <Gregor> Phantom_Hoover: You just hate brine and horses!
18:08:28 <elliott> fahrenheit is the stupidest fucking scale
18:08:43 <Phantom_Hoover> I mean, it's not even like the rest of the imperial system.
18:09:16 <Gregor> ... in what way? The rest of the system isn't self-similar in any way :P
18:09:58 <oerjan> furlongs, fortnight, firkin, fahrenheit; i'd say it fits perfectly.
18:10:04 <Phantom_Hoover> Yes, but the imperial system evolved organically from fairly sensible roots which didn't work together well.
18:10:14 <elliott> furlongs, fortnight, firkin, fuckin
18:11:14 <elliott> offering prize for first pronunciation of "fprocreation" that blends the f and p into one consonants
18:11:41 <oerjan> elliott: hey no fair giving germans an automatic win
18:11:56 <elliott> and i mean the english f and p.
18:13:01 <Gregor> Farhenheit was defined sensibly based on flawed assumptions.
18:13:34 <Gregor> It was designed so you would virtually never need negative numbers (fail), and so that anybody with a ranch and some brine could figure out the temperature scale :P
18:13:58 <Gregor> But yeah, it was /designed/, it didn't just grow from necessity.
18:14:09 <oerjan> clearly most scientists had ranches at the time
18:14:48 <oerjan> nowadays it's only texan scientists
18:15:03 <Gregor> Or those scientists who study texology.
18:15:10 -!- newbie|2 has left ("Once you know what it is you want to be true, instinct is a very useful device for enabling you to know that it is").
18:15:40 <oerjan> ...wat to that quit message
18:16:26 <monqy> once you know what it is you want to be true, instinct is a very useful device for enabling you to know that it is
18:16:34 -!- elliott has set topic: RIP B Nomic | "Once you know what it is you want to be true, instinct is a very useful device for enabling you to know that it is" --Ernest Hemingway | Logs: http://codu.org/logs/_esoteric/ and http://tunes.org/~nef/logs/esoteric/?C=M;O=D.
18:16:59 <elliott> Future historians are gonna be SO fucked with their database of famous Hemingway quotes.
18:22:14 <Phantom_Hoover> <elliott> offering prize for first pronunciation of "fprocreation" that blends the f and p into one consonants
18:23:44 <oerjan> manipulation, from latin "manus", hand: pulling someones finger
18:24:19 <elliott> the best bf joust compiler
18:24:25 <elliott> maybe ill do that fixed point scoring thing
18:24:43 <oerjan> ...i thought you already did.
18:24:52 <elliott> yep but always time to start again
18:25:18 <oerjan> wait didn't that fixed point scoring thing ever get done?
18:25:20 <elliott> Gregor: The report stuff would still work if it was in another language, right? i.e. one where I don't have to deal with fucking LAPACK /directly/ :P
18:25:26 <elliott> oerjan: It got specified but never implemented.
18:26:06 <elliott> oerjan: see http://esoteric.voxelperfect.net/wiki/Talk:BF_Joust#Scoring
18:26:26 <oerjan> i know, i just thought someone had done it
18:26:28 <Gregor> elliott: Depends on the language.
18:27:02 <Gregor> http://codu.org/projects/trac/fythe/ <-- look, I've upgraded my trac pages
18:27:38 <elliott> Gregor: "Depends on the language" -- is this a "the package needs installing" thing or a "NO LANGUAGES I DON'T TOLERATE ENOUGH" thing? :P
18:28:09 <Gregor> It's a "no languages I hate" thing :P
18:28:36 <elliott> Gregor: How much would you say you hate Haskell :P
18:28:44 <elliott> It'd just be so convenient ;_;
18:28:57 <Gregor> I hate all languages, so it's a grain-of-salt kinda rule :P
18:29:02 <Gregor> elliott: A lot less than anything in the Lisp family.
18:29:20 <elliott> Gregor: What about ZEPTO============>
18:29:37 <Gregor> Phantom_Hoover: Syntax. I ♥ syntax.
18:30:03 <Gregor> I think I'll take this no-trac opportunity to unify all my project logins.
18:30:52 <Phantom_Hoover> http://www.reddit.com/r/math/comments/h4m4n/an_elementary_proof_of_fermats_last_theorem/
18:31:01 <Gregor> Phantom_Hoover: Oh dear :P
18:31:08 <Phantom_Hoover> /r/math: uncritically frontpaging obvious crap since 2011.
18:31:40 <elliott> Gregor: I'll unify YOUR project logins.
18:31:56 <elliott> Gregor: May I suggest never reinstalling Trac ever :P
18:31:57 -!- augur has quit (Remote host closed the connection).
18:32:08 <elliott> Even that Ruby thing Redmine is more tolerable :P
18:32:08 <Gregor> elliott: I'm definitely not going to reinstall Trac.
18:32:17 <elliott> Gregor: But the page said they were TEMPORARILY down.
18:32:32 <Gregor> elliott: They'll come back up ... as something other than Trac :P
18:32:45 <Gregor> Once I find something tolerable >_>
18:32:49 <elliott> Who needs bug trackers, wiki + repo viewer heyoo
18:33:00 <elliott> In fact, a wiki is a perfectly decent bug tracker if you have few, and non-annoying, people :P
18:33:03 <Gregor> Really all I used it for was login management :P
18:33:16 <elliott> (tbh I'd be more likely to add an item to a wiki page than to go through Bugzillaesque hell...)
18:33:27 <elliott> (God, Bugzilla. I refuse to use Bugzilla ever.)
18:33:30 <elliott> (I fucking hate Bugzilla.)
18:33:41 <monqy> is bugzilla any good
18:33:50 -!- impomatic has joined.
18:34:11 <elliott> Phantom_Hoover: you weren't kidding with comic sans :D
18:35:00 <Phantom_Hoover> [[In the proof of Fermat’s Last Theorem that we’ll give, will emerge spontaneously even an original
18:35:00 <Phantom_Hoover> procedure to find all the infinite Pythagorean triples, this makes us confident in the goodness of the
18:35:18 <oerjan> maybe they are upvoting for the humor value
18:35:28 <elliott> List of program (in Visual Basic 6) to produce the equation system (8).
18:35:39 -!- impomatic has left.
18:35:51 <oerjan> Phantom_Hoover: oh? maybe you saw it just as it was posted.
18:36:21 -!- augur has joined.
18:36:51 -!- augur has quit (Remote host closed the connection).
18:37:03 <elliott> x -- independently organized TED event"
18:37:06 <elliott> this video can do no wrong already
18:37:27 <elliott> wow how has TED not sued these guys yet
18:37:32 <oerjan> Phantom_Hoover: oh so it's just because r/math is slow
18:37:40 <elliott> http://www.youtube.com/watch?v=iRTPFXZMtOY
18:38:17 <coppro> elliott: it's an official TEDx
18:38:32 <monqy> these special effects are pretty rad. is this an ad?
18:38:42 <elliott> coppro: why do they have this crackpot then
18:39:30 <monqy> oh it wasn't an ad
18:39:31 <coppro> elliott: TEDx events are completely run indepedently, they just share the TED brand
18:39:35 <monqy> the music is still going why is it going
18:41:51 <elliott> two minutes in this is amazing
18:42:02 <oerjan> `addquote <elliott> AV is better than first-past-the-post, like every voting system apart from the Random Elephant Stomping method
18:42:04 <HackEgo> 398) <elliott> AV is better than first-past-the-post, like every voting system apart from the Random Elephant Stomping method
18:42:18 <Phantom_Hoover> 5 minutes, he's apparently discovered geometric progression.
18:42:22 <elliott> this guy is singlehandedly ruining singularitarianism
18:42:31 <elliott> NEITHER FLAT NOR ARBITRARY
18:43:06 <elliott> OH MY GOD THREE MINUTES IN ITS FREEMASON SYMBOL
18:43:14 <elliott> Conclusion: Sburb is freemasonry.
18:43:19 <oerjan> Phantom_Hoover: well it's true in a yin-yang sort of way
18:43:36 <elliott> oerjan: btw i support the random elephant stomping method
18:43:41 <elliott> A PHOTON COMING FROM A DISTANT STAR
18:43:46 <elliott> OUR BODY IS CALLED THIS MORTAL COIL
18:44:05 <elliott> IMPLODING EXPLODING MACHINE
18:44:12 <elliott> AN ANTENNA BUILD TO PERFECTLY TRANSMIT AND RECEIVE WAVEFORMS
18:44:53 <monqy> "i call it an inertia ether" -- albert einstein
18:44:56 <elliott> THE BINARY CODE IS DOUBLING
18:45:03 <elliott> DOUBLING IS MOTION AT AN ANGLE
18:45:04 <oerjan> this mortal coil has lotsa cuil
18:45:16 <Phantom_Hoover> Apparently a tornado is more powerful than an atom bomb.
18:45:21 <elliott> this is the most amazing video ive ever watched
18:45:39 <elliott> tachyons gravitons monopoles
18:45:50 <elliott> strung together fifteen random hypothetical particles
18:45:56 <elliott> and called them all the same thing
18:46:08 <Phantom_Hoover> It's a ball bearing going back and forth in a cup he's holding.
18:46:12 <monqy> even the audience laughed
18:46:17 <monqy> I love you, audience
18:46:23 <elliott> the only thing that comes from the hole is zero
18:46:23 <oerjan> Phantom_Hoover: "i'd have brought it here but it fell through my desktop"
18:46:32 <elliott> as it penetrates it leaves a grain
18:46:40 <elliott> randy powerll famous sexist
18:46:52 <oerjan> elliott: KNOW WHAT I MEAN SAY NO MORE
18:46:57 <elliott> negative backdraft counterspace which is the same as gravityhahahahh
18:47:27 <elliott> monqy: does the music ever stop
18:47:39 <elliott> its still going seven minutes in
18:47:49 <elliott> EXPANDING BECAUSE WEREO N THE SOTHUERHTN FHALHFFHAHHAHAAHAHAH
18:48:16 <elliott> hahahahahaoijssogjgjigohdgjfdkgp[khd
18:48:39 <elliott> space time implosion feild generator
18:48:41 <elliott> how long was that fucking name
18:48:43 <Phantom_Hoover> Yeah, I think the commentary basically doesn't help here.
18:48:56 <elliott> god no this is amazing i have to share this with the whole world
18:49:23 <elliott> why is this focusing on the ball cup thing
18:49:24 <Phantom_Hoover> "Ah yes, arithmetic modulo 9, I forgot to mention that. Before Rodin nobody thought it was possible."
18:49:33 <elliott> and he talks about curing diseases
18:49:35 <elliott> its pretty fucking disturbing
18:50:02 <elliott> unwillingness to sell it out
18:50:04 <elliott> idaioasodhasodoiasdhaiodasdh
18:50:26 <elliott> randy powell intro to vortex math part one
18:50:30 <elliott> and it goes on to an advanced series
18:50:48 <elliott> http://www.youtube.com/watch?v=7pvuTZ5u6Kg
18:51:44 <elliott> you might call it gravitons...you might call it radiant energy...
18:51:47 <elliott> ahahah e equals mc sauqared
18:51:57 <elliott> monqy: are you doing this bro this is so fuckin communal
18:52:04 <monqy> i am doing this bro
18:52:10 <elliott> we should get together and watch all this guys videos sometime
18:52:30 <monqy> yes i am makin this hapen
18:52:46 <oerjan> <elliott> ALL VOTING SYSTEMS ARE IDENTICAL IF THERE ARE ONLY TWO OPTIONS
18:52:50 <elliott> leaves a grain on anything
18:52:52 <oerjan> actually not stochastic ones
18:52:53 <elliott> it is undecaying and eternal
18:53:26 <Gregor> <oerjan> <elliott> ALL VOTING SYSTEMS ARE IDENTICAL IF THERE ARE ONLY TWO OPTIONS <-- random vote != majority vote :P
18:53:29 <oerjan> that might be an argument against them...
18:53:29 <monqy> mathematical decryption of the most great name of god
18:53:40 <elliott> oerjan: well stochastihastically they're equivalent aren't they
18:53:45 <oerjan> Gregor: thank you for rephrasing my point
18:53:47 <elliott> but two option things are irrelevant anyway
18:53:56 <Gregor> More fairly, in some systems abstentions are considered as "no"s
18:54:16 <Gregor> Phantom_Hoover: Music is pornography!
18:54:51 <Gregor> Phantom_Hoover: Trees are made of sand!
18:55:13 <oerjan> sand is made of the ground sould of the damned
18:55:22 <elliott> oerjan: dude you have to watch this omg
18:55:33 <monqy> you can model a higher dimensional energy
18:55:36 <Gregor> oerjan: But alas, the damned are numbers.
18:55:41 <oerjan> i don't watch videos much
18:55:42 <elliott> "this is because base 10 is inherent to nature."
18:55:49 <elliott> Phantom_Hoover: come on hes just a crackpot not an idiot
18:55:55 <elliott> Gregor: watch and learn bitch
18:56:31 <elliott> ohmy god im laughing so much
18:56:43 <Gregor> # aptitude remove trac
18:56:55 <elliott> reinstall it just to purge
18:57:07 <elliott> one is the loneliest number
18:57:09 <elliott> or we might think of one god
18:57:09 <monqy> this description of 1 is making me feal at peace
18:57:31 <elliott> QHOihzAHAHAHAHAHAHAHAHAHAHA|_+GAw\\
18:57:34 <monqy> thanks for doubling
18:57:53 <monqy> 8 dobuled is 16 and 6+1 is 7
18:58:16 <Gregor> Does anybody have a light project/login management system that isn't made of fail?
18:58:22 <elliott> Gregor: redmine seems...ok?
18:58:27 <elliott> Gregor: seriously though, I'd just use a wiki :P
18:58:50 <elliott> six plus four equals ten and one plus zero comes back to one
18:58:51 <Gregor> Killin' all my bacteria.
18:58:58 <monqy> oh daaaaaaang this math
18:59:32 <monqy> I want to see a proof of this
18:59:38 <Phantom_Hoover> "No matter what numbers I take I can add some more to get the ones I want"
18:59:55 <Phantom_Hoover> "There's no possible way to break this doubling sequence"
19:00:20 <monqy> goodbye part 1 hello part 2
19:00:40 <elliott> no no no keep going this is amazing
19:00:48 <elliott> we'll enjoy it together monqy
19:01:00 * Gregor is sad that he can't watch it :P
19:01:07 <elliott> Gregor: You're missing out on so much.
19:01:33 <Phantom_Hoover> Apparently differentiation occurs after 64 cells are formed.
19:01:49 <elliott> to c to c to c is doubling
19:02:21 <Phantom_Hoover> OK, I should really go now otherwise the computer will be snatched from my cold dead hands.
19:02:25 <elliott> sometimes its caleld a chain reaction
19:02:32 <elliott> another example of doubling
19:02:35 <elliott> the binary code in computers
19:02:57 <monqy> half of .5 is .25 and 2+5 is 7
19:03:06 <elliott> half of one is point five and thus five
19:03:38 <elliott> daaah i forget what the number is
19:04:11 <monqy> it is the spin continuum which the universe is on
19:04:22 <monqy> the universe is on a treadmill
19:04:24 <monqy> a bounded infinity
19:05:31 <elliott> what happens when i double thee.
19:05:57 <monqy> half of 3 is 1.5 which is 6
19:07:28 <elliott> the nine is the queen of the chess game
19:07:37 <elliott> what happens if you double nine
19:08:04 <elliott> omg nine is in a loop with itself
19:08:10 <monqy> it's polarizing the numbers
19:08:19 <Gregor> So basically this guy is in some weird obsession with summing all the digits of a number.
19:08:30 <Gregor> Because base-10 is perfection for some retard reason.
19:08:31 -!- cheater15 has joined.
19:08:49 <monqy> oh dang another board
19:08:53 <elliott> Gregor: Digital roots, man. Common in numerology and computer science.
19:09:15 <elliott> im sorry for the primtive board
19:09:18 <Gregor> elliott: So long as by "computer science" you mean "literally every field other than computer science and music" :P
19:10:38 <monqy> you should start at part 1. you should also start at the tedx talk.
19:10:42 <elliott> 1251 is the equation for the Most Great Name.
19:10:42 <elliott> theabhakingdom 4 months ago 2
19:10:43 <Gregor> http://www.youtube.com/watch?v=7pvuTZ5u6Kg
19:11:04 <Gregor> I haven't even clicked that link, I was just giving a URL since you guys weren't :P
19:11:08 <monqy> http://www.youtube.com/watch?v=iRTPFXZMtOY
19:11:10 <elliott> this one is buffering badly :(
19:11:32 <elliott> i see spirographs in the sidebar for advanced vortex math
19:11:37 <elliott> are you looking forward to that expert level monqy
19:11:47 <monqy> so looking forward to it
19:11:59 <elliott> what do you mean by mirrors
19:12:03 <elliott> they dont look like mirrsors
19:12:06 <monqy> you don't have 10 fingers you have .5
19:12:27 <monqy> when 1 is positive going up 8 is negative going down
19:12:45 <elliott> id listen to this shit like most people listen to podcasts
19:13:57 <monqy> I still want to know what 1251 means
19:14:03 <monqy> aside from being the equation for the most great name
19:14:23 <elliott> its how you loop the multiplications or something i guess
19:14:41 <monqy> oh god it's zooming in
19:15:19 <elliott> i could go to twetny but im back here
19:15:45 <elliott> Randy, Saturn has a hexagon on its surface, no one knows how it got there or why.
19:15:45 <elliott> CliveSinclairZX 5 months ago
19:15:45 <elliott> CliveSinclairZX 5 months ago
19:15:56 <elliott> in Pythagoras' time, the number nine was not permitted to be named out loud, it was considered so powerful and sacred.. : )
19:16:11 <elliott> [[it's sad that less than 1000 people have seen this.
19:16:11 <elliott> Justin9Noble 6 months ago]]
19:16:17 <Gregor> Nine was Yahweasel's former name.
19:16:19 <elliott> He's right! My friend and I just multiplied 9 by 30436 which = 273924
19:16:19 <elliott> 2+7+3+9+2+4 = 27 ... 2 + 7 = 9!!!
19:16:20 <elliott> krishnadefier 5 months ago 4
19:16:20 <monqy> I have to go now :(
19:16:32 <monqy> school is lame unlike vortex math
19:16:41 <elliott> need a buddy for vortex math
19:16:53 <elliott> "It is well known among working mathematicians that Earth has 4 corner simultaneous 4-day time cube. The conjecture that everything is a torus was disproved by Gauss in 1821 when he discovered the sphere."
19:17:23 <Gregor> With your oneist faggot god.
19:17:41 -!- zzo38 has joined.
19:17:54 <elliott> time to obsessively refresh mspaintadventures.com instead
19:19:12 <oerjan> <elliott> i just hit my head with my knee
19:19:19 <oerjan> i think i did that once
19:19:21 <elliott> i just did it again because you quoted that
19:19:25 <zzo38> White player failed to see the threat http://play.chessvariants.org/pbm/play.php?game=123456+Chess&log=nwolff-cvgameroom-2011-95-172
19:19:49 <oerjan> elliott: i may suggest getting a better sitting position
19:20:01 <elliott> oerjan: its a laptop its meant to be usable from any position duh
19:20:20 <oerjan> no, _not_ that position. unless you're watching karma sutra porn.
19:20:32 <cheater15> is elliott sitting on a chair with the laptop on the floor at his feet
19:20:37 <cheater15> because that would be really funny
19:20:50 <elliott> is there like a comprehensive film version of the kama sutra thatd be pretty quaint
19:21:08 <oerjan> elliott: my discover that muphry's law applies to clever quips seems to hold
19:21:22 <elliott> oh them oldies trying on the pornography
19:21:23 <oerjan> _or_ maybe i'm just shit at typing.
19:25:30 <zzo38> QUIT messages seem to mislogged
19:25:48 <zzo38> They work sometimes but not all the time?
19:26:39 <zzo38> Is Gregor currently available?
19:27:51 <oerjan> he had his head bashed in by crystal-cola
19:28:07 <elliott> oerjan: raising the channel temperature i see
19:28:16 <zzo38> Well, he does need to correct that problem.
19:28:16 <elliott> you'll end up on meaningless ignore next :D
19:28:37 <oerjan> elliott: i just got to that point in the logs.
19:29:45 <oerjan> well i'll just check for eir QUIT message in the logs - OH WAIT
19:29:47 <elliott> hm no PART or QUIT in http://codu.org/logs/_esoteric/2011-05-05-raw.txt
19:29:59 <elliott> i suspect the channel-splitter is broken
19:33:04 <oerjan> 10:45:07 --- quit: crystal-cola (Read error: Operation timed out)
19:33:36 <oerjan> two minutes before i joined
19:33:56 <zzo38> How many ranks should be needed in Profession (sailor) skill that a D&D character could be good enough to sometimes pull all the ropes at once if circumstances are correct?
19:34:12 <oerjan> elliott: it _is_ in the non-raw logs, you rascal
19:34:21 <oerjan> 17:49:22: -!- crystal-cola has quit (Read error: Operation timed out).
19:34:26 <zzo38> oerjan: The tunes is working it displays QUIT messages all the time. But in glogbot logs, the QUIT message is only sometimes.
19:34:38 <cheater15> zzo38, but really, even the best sailors can't do that. stop dreamin'
19:35:04 <elliott> clog mislocks other things to make up for i
19:35:07 <oerjan> zzo38: even after a while? i've noticed glogbot is sometimes slow to update
19:35:29 <zzo38> oerjan: Even after a while that is the case
19:35:48 <zzo38> cheater15: Should fifty ranks be sufficient?
19:37:43 <oerjan> Gregor: i suppose raw missing things that txt has is also disturbing
19:38:20 <zzo38> Is Gregor currently on here and available? It doesn't look any of his message on here right now.
19:38:28 <oerjan> he spokes just minutes ago
19:38:58 <zzo38> Then it means I am too late
19:40:39 <oerjan> "late, as in late dentarthurdent"
19:43:41 <oerjan> <Gregor> I'm known for finding these situations hilarious and wonderful :P
19:43:57 <oerjan> now you know why we don't make him a permanent op
19:44:11 <elliott> Well, at least we wouldn't get banfests :P
19:44:25 <elliott> Except for when he just wants to ban someone.
19:47:56 <Cheery> whee.. someone made yet another esoteric language: http://waterbearlang.com/
19:47:56 -!- cheater15 has quit (Ping timeout: 252 seconds).
19:49:47 -!- cheater15 has joined.
19:50:29 <elliott> Any language that has a .com doesn't get to call itself esoteric :P
19:50:30 <Cheery> I know it's a clone of one another language that has taken graphical direction
19:52:51 <Cheery> remembering I were supposed to fix the damn editor model so it doesn't break my cockfiles.
19:54:24 <oerjan> rank and file your cocks
19:55:13 <Cheery> I know it's funny, but try hold it until I get this through. :)
19:55:33 <elliott> cockfile cockfile cockfile
19:55:57 <Cheery> cockjokes are getting old so fast and I need to resist a lot from changing that name.
19:56:33 <elliott> i'm sure oerjan would be happy to ban you if you took away his endless source of puns ;D
19:56:34 <Cheery> otherwise I wouldn't bother. :)
19:59:17 <zzo38> Does Lode Vandevenne still have account in the wiki?
20:00:30 <oerjan> zzo38: User:Aardwolf, but he hasn't edited for years
20:01:24 <zzo38> I just wanted to know, because I used one of his programs (unrelated to esolang or to the wiki), called LodePNG.
20:02:05 <zzo38> (I think I found LodePNG when looking on Wikipedia, actually.)
20:02:42 <oerjan> well Aesculapius managed to contact him by email yesterday
20:03:11 <oerjan> (from the link on his website)
20:04:31 <zzo38> The "Lode Vandevenne" article only lists esoteric programming languages he designed, nothing about anything else.
20:05:26 -!- poiuy_qwert has quit (Quit: This computer has gone to sleep).
20:05:51 <oerjan> yes, it's also old. hm.
20:07:59 <zzo38> LodePNG is C, C++, and also ported to D. I didn't have time or enough knowledge of the algorithms used to webify the program (i.e. convert to (Enhanced) CWEB), although it might be good idea to have that port too. But it is very good and I use the C version of LodePNG in my programs.
20:09:23 <zzo38> (LodePNG has eight things that can be disabled in the header file; I disabled the last three of them, but if I need those in other programs I can enable them in those other programs.)
20:12:15 -!- KingOfKarlsruhe has joined.
20:15:44 -!- wareya_ has joined.
20:18:34 -!- wareya has quit (Read error: Operation timed out).
20:19:33 -!- ais523 has joined.
20:29:28 <ais523> hmm, Oracle vs. Google is getting amusing
20:29:53 <ais523> the judge said that Oracle and Google were both presenting way too many attacks/defences, and asked them to come up with a plan for cutting the number down
20:30:17 -!- KingOfKarlsruhe_ has joined.
20:30:17 <elliott> "One of you... be more wrong."
20:30:31 <ais523> they both did, and gave values in the tens (Oracle's said that Google were allowed fewer prior art references than Oracle was allowed claims, meaning Google couldn't possibly defend against them all...)
20:30:47 <ais523> and the judge rejected both, and said that Oracle is only allowed 3 claims, and Google 8 prior art defences against them (in total)
20:30:53 <ais523> I doubt either side was expecting that
20:31:04 -!- KingOfKarlsruhe_ has quit (Client Quit).
20:31:17 -!- KingOfKarlsruhe has quit (Ping timeout: 252 seconds).
20:31:17 <ais523> this also means that 129 of Oracle's claimed infringements have been thrown out outright, although Oracle gets to choose which 129
20:31:34 -!- Sgeo has joined.
20:31:56 <Sgeo> I have a question for comex, but there is no way to put it that won't be weird :/
20:33:47 <Sgeo> A friend (who I trust) apparently found an oldish iPod Touch that's locked with a... however they're locked. He wants to try to open it to see if there's any information so he can return it
20:35:16 <Sgeo> (yeah, that's why I said it was weird. It sounds like [and I guess it is kind of] a "how do I hack XYZ" type questions)
20:43:28 <cheater15> ais523, wtf sort of justice is that
20:44:29 <ais523> cheater15: I think the court was being sensible; the way patents work is that the inventor lists every possible use for the invention in the patent, then when they sue someone, point to what in particular they're violating
20:44:46 <ais523> in this case, it's more or less the court asking "so what part of your patent did Google violate" and Oracle saying "all of it!"
20:44:46 * Sgeo pokes comex hoping for a response, even if it's I can't/I won't/I can't and even if I could, won't
20:44:57 <pikhq_> 5 days of class remaining.
20:45:43 <ais523> and this response by the court was more or less "I don't believe you, and if Google is doing that much wrong, why don't you pick the most obvious abuses and get yourself an open and shut case?"
20:46:07 -!- pikhq_ has changed nick to pikhq.
20:47:37 <comex> Sgeo: if it's old, you can probably use some tool to jailbreak it
20:47:51 <Sgeo> comex, would that preserve the data on it?
20:47:58 <comex> although that won't help by itself
20:48:35 <comex> I think this will work, actually: http://www.theiphoneguru.net/2010/11/01/guru-guide-remove-your-forgotten-iphone-password/
20:51:47 <Sgeo> And some jailbreaking methods won't require passcode and won't wipe data?
20:52:23 <Sgeo> Actually, jb status may be unknown
20:54:20 <cheater15> i've found an ipod once, it was owned by a girl, who left her undressed shots on it.
20:56:29 <Gregor> cheater15: That was a man. With fetishes.
20:57:30 <zzo38> I dislike patents in general.
20:59:02 <Gregor> cheater15: The scary part is that that comment was relevant to the "girl" who owned that iPod. The process by which he made himself look like a girl is patented.
20:59:38 * cheater15 ties up zzo38 and uses him as a battering ram against Gregor.
21:01:37 -!- Sgeo has quit (Ping timeout: 258 seconds).
21:20:31 -!- MigoMipo has quit (Read error: Connection reset by peer).
21:24:28 <monqy> there are 16 intro to vortex math videos. that is too many.
21:24:50 <Cheery> http://paste.pocoo.org/show/383690/ <- I changed my double-linked-list-using implementation into this kind of thing.
21:25:01 <elliott> monqy: were not only watching them
21:25:04 <elliott> were watching the advanced tier
21:25:15 <monqy> im watching advanced right now
21:25:23 <elliott> without even doing the intro
21:25:27 <elliott> youre not fucking prepared
21:26:31 <Cheery> I'm getting my sleep now. but tomorrow I'm done assuming I don't waste as much time on playing games as I did today.
21:27:49 <oerjan> <elliott> youre not fucking prepared <-- i guess he got sucked in
21:28:58 <tswett> hey guys how do i inplement continuation passong style??
21:29:40 <monqy> what do you mean implement
21:29:43 <tswett> In all seriosity, I'm puzzling over how to write an interpreter for a nice and simple lambda calculoid with a callCC primitive.
21:30:07 <oerjan> um every function takes an extra argument, its continuation
21:30:52 <tswett> What's the type of my reduce function going to be? PExpr -> (PExpr -> PExpr) -> PExpr, where the first argument is the expression to reduce and the second is the continuation?
21:31:06 <tswett> (The P is there for obvious reasons.)
21:31:34 <monqy> this vortex math is too advanced
21:31:57 <oerjan> tswett: well assuming PExprs are used both for expressions and for results...
21:31:58 <monqy> what is he doing with his hands what is he tracing
21:32:03 <oerjan> including the final program result
21:32:25 <tswett> There is no printing here.
21:32:27 <oerjan> then that should work.
21:33:17 <oerjan> although it might be more type safe to let the final program result be polymorphic, PExpr -> (PExpr -> a) -> a
21:33:22 * tswett swaps the order of these arguments, since the continuation really should be last.
21:33:42 <oerjan> since then you won't accidentally return a result normally instead of passing it to the continuation
21:33:51 <tswett> oerjan: yes, I think you're right.
21:34:20 * tswett realizes that the continuation already was last.
21:35:28 <tswett> And I changed the type signature to make the continuation first. :(
21:36:21 <tswett> My, this code looks very imperative.
21:36:31 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds).
21:36:58 <oerjan> CPS is essentially monadic, you can more-or-less convert between those
21:37:38 <oerjan> between CPS and monadic style
21:37:42 <tswett> ("Whose" is the plural of "what". Trust me.)
21:39:01 <oerjan> i'm just pointing out one reason why it looks imperative
21:39:27 -!- nescience has joined.
21:40:12 -!- nescience has left.
21:40:29 <pikhq> tswett: If you're using Haskell, you might want to use the CPS monad...
21:40:51 <lambdabot> newtype Cont r a = Cont { runCont :: (a -> r) -> r }
21:41:09 <pikhq> Otherwise, well, continuations are pretty easy conceptually (and somewhat annoying code-wise) if you need to do it manually.
21:41:15 <pikhq> Only thing you need is closures.
21:41:43 <tswett> Hm. I'm not distinguishing between evaluated code and unevaluated code. Some code may end up evaluated many times.
21:41:55 <oerjan> tswett: i noticed that
21:42:35 <oerjan> in some unlambda scribblings i distinguished between expressions and functions
21:43:10 <tswett> How many Unlambda interpreters have you written? :P
21:43:52 <oerjan> lessee there was haskell, ocaml, a conversion into underload...
21:44:08 <oerjan> and the self-interpreter (essentially meta-circular)
21:44:34 <oerjan> the underload conversion i only mentioned in the channel since ais523 said he'd made a much simpler one
21:44:34 <elliott> i never met a circular i didn't vortex
21:44:45 <elliott> and if you halve one you get five
21:44:50 <ais523> oerjan: I deleted it by mistake
21:45:01 <elliott> and are monitoring your actions
21:46:21 <oerjan> the ocaml one was the first one where i used this type idea, which i then essentially translated to the underload
21:47:05 <Cheery> initiating sleep patterns..
21:47:39 <Cheery> the best design patterns ever
21:47:56 -!- Cheery has quit (Quit: Lost terminal).
21:47:57 <oerjan> newtype Expr = Expr (Cont -> Func); data Func = Func (Expr -> Cont -> Func); newtype Cont = Cont (Func -> Func);
21:48:34 <oerjan> the Func one uses Expr rather than Func because of unlambda's d function, it can be Func otherwise
21:49:42 <oerjan> wait data should be newtype there too
21:49:55 <oerjan> the idea was to get only pure functions
21:50:19 <oerjan> oh and this ignores IO
21:50:33 <oerjan> (ocaml and underload are both impure for that)
21:51:17 <oerjan> (and those are haskell types nevertheless, i haven't touched ocaml for years ;D)
21:52:01 <oerjan> tswett: anyway for unlambda Expr represents unevaluated code and Func represents evaluated code
21:53:19 <oerjan> changing all the last -> Func's into -> MyMonad WhatEver should make it work in haskell with IO too
21:53:53 * tswett ponders what apply (PApp exprf exprx) expry cont is supposed to do.
21:54:03 <oerjan> although you might want to mix in the "current character" data to get just -> IO () at the end
21:54:33 <tswett> Evaluate its arguments and then assume that the PApp became something that's not a PApp, I guess.
21:54:41 * tswett modifies his program to make that assumption true.
21:54:59 <oerjan> tswett: eval exprf $ \f -> eval exprx $ \x -> reallyApply f x cont
21:55:33 <oerjan> oh wait i missed expry
21:55:43 <tswett> Nah, I'm fine doing it wrong. :P
21:55:53 <oerjan> i thought you were asking about the basic case
21:56:59 <oerjan> tswett: well if you distinguish unevaluated vs. evaluated, then apply (PApp exprf exprx) expry cont should be a type error
21:56:59 <tswett> apply (PApp exprf exprx) expry cont = error "Trying to apply an unevaluated function"
21:57:37 <elliott> <oerjan> oh wait i missed expry
21:58:05 <oerjan> i guess i'm just not expryenced
21:58:27 <elliott> HAHAAHAHAHHA YOU LOSE HODFGG
21:58:55 <oerjan> (rule: the only way to counter a missed pun is to make an even worse one)
21:58:55 <elliott> oerjan: I WIN WI I WIN I WIN I INW II WIN I INWIN II WNI
21:59:22 <elliott> <oerjan> oh wait i missed expry
21:59:29 <elliott> "Perfection is achieved, not when there is nothing more to add, but when there is nothing left to take away." -- Antoine de Saint-Expry
21:59:41 <tswett> And now for the fun thing: apply PCallCC exprx cont
22:00:59 <elliott> haha i am dancign around dacene danece dansce danzsce
22:01:04 <elliott> i won over oerjan woooon won
22:01:06 <elliott> won won won won won won won
22:01:16 <elliott> wonwonwonwonwonownownownownonwonwnwonownowownownwownownowowownwwnwnnownonwonownonownonwonow
22:01:19 <oerjan> elliott: i guess this is not a good time to ask wtf you mean by dual pun
22:01:30 <elliott> <elliott> <oerjan> oh wait i missed expry
22:01:30 <elliott> <elliott> "Perfection is achieved, not when there is nothing more to add, but when there is nothing left to take away." -- Antoine de Saint-Expry
22:01:38 <elliott> said by antoine de saint-EXPRY
22:01:44 <elliott> god im just too fucking deep for you jesus
22:01:58 <oerjan> yes. practically drowning, i say
22:02:03 <cheater15> Warning: no safety checks are in place, and debugfs may fail in interesting ways if commands such as ls, dump, etc. are tried without specifying the data_source_device using the -d option.
22:02:34 <elliott> hmm darn sed fails on infinite lines i think
22:02:45 <elliott> ]% python unpredictable.py | sed 's/X/o/g;s/__/w/g;s/_X/n/g;s/X_/o/g;s/XX/w/g'
22:04:05 <oerjan> tswett: = apply exprx cont cont afaict
22:04:21 <tswett> apply PCallCC exprx cont = error "I haven't written this yet"
22:04:25 -!- elliott has changed nick to antndsnt-expry.
22:04:37 <tswett> oerjan: that could easily be something like it.
22:04:56 <oerjan> tswett: i actually get slightly nervous about your not distinguishing evaluated and unevaluated code
22:05:07 * antndsnt-expry starts smashing shades indiscriminately against oerjan's head
22:05:12 <tswett> oerjan: yeah, I should probably be more nervous about that.
22:06:08 <cheater15> it has been running "icheck" for several very long minutes now
22:06:43 <cheater15> also, can an ext3 block be shared by multiple inodes?
22:07:01 * antndsnt-expry continues smashing shades indiscriminately against oerjan's head
22:08:20 <antndsnt-expry> oerjan's tactic of ignoring me can only work perfectly for so long
22:08:22 * antndsnt-expry continues smashing shades indiscriminately against oerjan's head
22:08:25 <tswett> apply PCallCC exprx cont = error "I haven't written this yet"
22:08:29 <tswett> A good start, don't you think?
22:10:41 -!- antndsnt-expry has changed nick to elliott.
22:10:45 * elliott continues smashing shades indiscriminately against oerjan's head
22:11:06 <elliott> tswett: do you think he will react one day : /
22:11:25 * elliott continues smashing shades indiscriminately against oerjan's head
22:11:40 <elliott> i should call them limbless corpses of what once were shades at this point really
22:12:07 <oerjan> i refuse to be drawn into shady business
22:12:13 -!- BeholdMyGlory has quit (Remote host closed the connection).
22:13:09 <elliott> this will not be tolerated
22:13:21 -!- elliott has changed nick to theshades.
22:13:31 * theshades continues being smashed indiscriminately against oerjan's head
22:13:41 * theshades continue being smashed indiscriminately against oerjan's head
22:14:34 -!- theshades has changed nick to elliott.
22:15:12 <tswett> I want to apply exprx to a reification of cont, I guess. Applying the reification to anything should cause the current continuation to be tossed out and the old one to be used.
22:17:18 <oerjan> apply (RCont c) exprx = returnTo c exprx
22:17:29 <oerjan> (sadly plain return is taken)
22:18:18 <oerjan> or i guess PCont in your naming scheme
22:18:58 <oerjan> *apply (PCont c) exprx cont = returnTo c exprx
22:21:17 <tswett> Where did R come from?
22:22:16 <tswett> apply (PCont contx) exprx cont = contx exprx
22:22:16 <tswett> apply PCallCC exprx cont = reduce exprx $ \rexprx -> reduce (PApp exprx (PCont cont)) cont
22:22:48 <tswett> Now I just have to write "lambdaSub sym rexprf rexprx".
22:23:13 <oerjan> um no rexprx is already reduced
22:23:51 <oerjan> apply PCallCC exprx cont = reduce exprx $ \rexprx -> apply rexprx (PCont cont)cont
22:25:00 <oerjan> except i thought apply should have _both_ first arguments already reduced?
22:25:52 <oerjan> unless you were doing lazy evaluation, in which case callCC does not make sense...
22:25:53 <tswett> It does but need not. :P
22:25:53 -!- elliott has quit (Ping timeout: 260 seconds).
22:26:25 <tswett> It evaluates everything, even if we know that it's already been evaluated.
22:27:10 <tswett> Stupid? Of course not. Nothing I do is stupid.
22:27:59 -!- zzo38 has quit (Quit: zzo38).
22:28:14 <oerjan> TYPES MOTHERFUCKER, DO YOU USE THEM?
22:28:59 <tswett> data Value = V (Value -> Bool) -- using this, we can encode anything
22:30:06 <oerjan> V $ const True, V $ const False, and so on from there
22:31:31 <oerjan> \v -> case (v . V $ const True, v . V $ const False) of ...
22:32:22 <tswett> Say 'A' is constantly true, and 'B' is constantly false. Then we can add two more values: 'C', which is true at 'A' and false at 'B', and 'D', which is false at 'A' and true at 'B'. Then... uh...
22:32:23 <oerjan> tswett: also that should clearly be a newtype
22:33:15 <oerjan> tswett: me and elliott discussed a haskell game based on such a scheme previously
22:34:02 <oerjan> two Value "warriors", each of which has to return True when passed itself and attempt to return False when passed the other
22:34:36 <oerjan> and then maybe a hill like for bfjoust
22:35:23 <tswett> warrior x = x warrior -- this will work excellently against a perfect enemy
22:35:53 <oerjan> tswett: um no, the requirement to halt and return True when passed yourself is absolute
22:36:10 <oerjan> automatic disqualification if not
22:37:02 <oerjan> yours would infloop then
22:38:25 <oerjan> then returning False for the other warrior wins unless it does the same
22:38:55 <tswett> You can't prove it doesn't return True. :P
22:39:01 <tswett> (You can prove that easily, of course.)
22:40:36 <oerjan> i wasn't imagining a mathematically ideal contest setup you know
22:40:52 <oerjan> of course there will be timeouts and stuff
22:40:53 -!- FireFly has quit (Quit: swatted to death).
22:41:23 -!- jcp has quit (Ping timeout: 252 seconds).
22:41:36 <ais523> is it even possible to pass a function itself in Haskell? I thought that didn't type
22:41:51 <oerjan> ais523: you need a newtype wrapper, is all
22:42:18 <oerjan> see the above definition of Value
22:42:49 <oerjan> (with s/data/newtype/, data is unnecessary)
22:43:45 <oerjan> the direct prohibition is only to prevent a lot of spurious errors from accidentally typing like missing a function argument and the like
22:48:30 <oerjan> !haskell newtype Fix a = Fix {unFix :: Fix a -> a}; fix f = (\x -> f (unFix x x)) $ Fix (\x -> f (unFix x x)); main = print . take 50 $ fix (1:)
22:48:35 -!- jcp has joined.
22:48:39 <EgoBot> [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]
22:50:59 <ais523> coppro: can you get BBC World News where you are (I know it's a TV channel in Canada)? it's probably covering the elections today (including the AV referendum) right now
22:51:08 <ais523> polls closed a couple of hours ago, the votes are being counted at the moment (by hand)
22:51:18 <ais523> and I'm watching it too, but it's a different channel in the UK
22:52:04 <tswett> Ooh, the AV referendum.
22:52:19 <pikhq> Isn't the more traditional definition of fix: fix f = x where x = f x?
22:52:22 <ais523> today is the day; I voted Yes, as did most of my family, one of them by mistake
22:52:32 <cheater15> are you planning to go to bletchley park this year
22:52:34 <pikhq> !haskell fix f = x where x = fx; main = print . take 50 $ fix (1:)
22:52:41 <pikhq> !haskell fix f = x where x = f x; main = print . take 50 $ fix (1:)
22:52:46 <tswett> I read the "No on AV" campaign. It was inconsistent and didn't support most of its points.
22:52:57 <ais523> the question was really misleading; it was "The current form of voting in the UK is First Past the Post. Should we vote using the Alternative Vote system instead?" or something like that
22:53:05 <ais523> and quite a lot of people misread it as Yes = FPTP
22:53:06 <pikhq> That'd be a "no, I am not correct in thinking that".
22:53:13 <ais523> I'm not entirely sure what effect that'll have on the voting
22:53:39 <cheater15> ais523, fizzie said there was a plan to do that
22:53:49 <cheater15> ais523, does that change your mind in any way?
22:53:55 * pikhq wishes it were a better voting system that were up on the ballot.
22:54:03 <ais523> are there a bunch of esolangers going there?
22:54:22 <ais523> but still probably not
22:54:23 <pikhq> Not that it affects me at all, *but* instant runoff has issues.
22:54:33 <pikhq> Still, fucktons better than FPTP.
22:55:14 <ais523> it does have issues, but they're mostly quite technical and hard to describe
22:55:31 <ais523> I went and talked to the democracy people at the guild incessantly about what was wrong with it, but it was quite hard to phrase
22:55:34 <pikhq> As I said, fucktons better than FPTP.
22:55:40 <ais523> (more out of curiosity than anything, I didn't actually want to change it)
22:58:16 <oerjan> pikhq: yes, but the point of the Fix trick above is to write fix without using literal recursion, by using newtype to bypass the cyclic type prohibition
23:01:27 <ais523> I think that's pretty large public knowledge by now
23:01:44 <ais523> what with my email address showing I go to (in fact, work at) Birmingham University, and several other clues
23:05:11 <oerjan> pikhq: also your code is failing because your where block doesn't end before the main
23:06:35 <coppro> ais523: is it on som BBC station? they might be webcasting
23:06:54 <ais523> BBC 2 in the UK, I think
23:07:02 <ais523> they do webcast, but geographically filter
23:07:14 <ais523> so you'd need to go through a proxy in the UK
23:07:38 <coppro> meh, I don't care enough
23:07:57 <ais523> I know I watched the last election on BBC World News, as I was in Canada at the time
23:08:27 <coppro> ais523: An election is far more significant
23:08:32 <coppro> moreover, I'm in California and without a TV
23:08:44 <ais523> coppro: there's an election at the same time
23:08:47 <ais523> so they're being covered together
23:08:59 <ais523> it's a council election, though, not general election
23:09:22 <ais523> but people are still very interested because they want to see just how badly the Lib Dems will do
23:09:51 <ais523> I'd have voted for them if they had any chance, I think, but the voting system's still FPTP and so only votes for Labour and the Conservatives matter in my ward at the moment
23:10:12 <pikhq> ais523: Your university is on your Wikipedia page.
23:10:12 <ais523> there are also full elections in Scotland, Wales, and I think also Northern Ireland
23:10:23 <ais523> I have a Wikipedia page again?
23:10:31 <ais523> I thought it was merged into the page about the turing machine
23:10:43 <pikhq> Yeah, but https://secure.wikimedia.org/wikipedia/en/wiki/Alex_Smith_%28The_Simplest_Universal_Computer_Proof_contest_winner%29 redirects to it.
23:11:01 <ais523> that is an absurd dab bracket, by the way
23:13:01 <tswett> ais523: do something else notable so that you can have a shorter one.
23:13:37 <pikhq> Preferably something simple.
23:13:49 <pikhq> Say, prove P≠NP. :P
23:14:01 <tswett> "Sir Alex Smith was born a Scottish industrial scientist and educator." Um...
23:14:03 <pikhq> "P and NP are clearly different strings. Ergo, P≠NP. QED"
23:14:11 <tswett> I didn't know those positions were born into in Scotland.
23:14:36 <pikhq> tswett: Everything's done differently there.
23:14:43 <pikhq> And English is a foreign language.
23:15:36 <oerjan> tswett: of course. how did you otherwise think the scots managed to start the industrial revolution?
23:24:47 -!- Sgeo has joined.
23:49:21 <ais523> coppro: it seems that the AV referendum votes will be counted tomorrow
23:49:53 <ais523> and here's the official results website of the people responsible for counting it: http://ukreferendumresults.aboutmyvote.co.uk/en/default.aspx
23:51:30 <ais523> also, ooh, I just found the official website that contains all UK law
23:51:34 <ais523> so I can read up on the relevant laws
23:51:39 <ais523> I was wondering if there was one of those around
23:52:31 -!- azaq23 has quit (Ping timeout: 240 seconds).
23:54:57 <pikhq> It definitely doesn't contain all UK law.
23:55:21 <ais523> well, all the legislation that they could find, anyway
23:55:31 <pikhq> There are a number of Acts of Parliament which are lost forever.
23:58:39 <ais523> so far, we seem to be getting big swings Lib Dem -> SNP in Scotland, with Labour's share staying much the same; as a result, the SNP are gaining quite heavily on Labour
23:59:25 <oerjan> Lex Caccii Viginti Duo
23:59:50 <ais523> ooh, ouch; if AV passes, then the rules for it are edited into law immediately but don't actually take effect until the next general election
23:59:57 <ais523> and in between, people just have to remember they don't apply