00:04:45 -!- augur has quit (Remote host closed the connection). 00:08:49 !slashes /// 00:08:52 !slashes /\/// 00:08:55 !slashes /\/// a 00:08:56 a 00:09:02 -!- pikhq_ has quit (Read error: Connection reset by peer). 00:09:15 -!- pikhq has joined. 00:09:24 Is line noise valid slashes code? 00:10:00 yes 00:10:19 How many things can you do with a simple electronic circuit connecting to a USB port of a computer? 00:10:25 whether the perl interpreter has any bugs with it, is a different matter 00:10:31 (That includes some lights and switches) 00:10:35 !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 !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 kswgvjhyxealsqiruysyee pthdtx 00:10:48 X-D 00:11:17 !slashes n ajuqkyqwe/o w// b/h//kbwrpe/pp dm d/ /wt/x//hfe/ao r/koj //// a///dwrv/ 00:11:18 n ajuqkyqwe bkbwrpewtfe adwrv 00:11:22 !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 wdks ulbqtho ds ctkineccpumjg 00:11:24 See! 00:11:28 Random. 00:11:57 Lymia: actually your second example _did_ hit a bug in the perl, because it has a //.../ substitution 00:12:08 which i've never fixed 00:12:22 it should have inflooped after the ea 00:12:30 !slashes //a/ 00:12:48 ...that doesn't really tell you much... 00:13:02 hm 00:13:22 !slashes //a/ a 00:13:23 a 00:13:36 i guess that doesn't really either 00:13:56 can't //.../ just be illegal? 00:13:58 or a no-op? 00:14:03 -!- augur has joined. 00:14:15 the thing is perl reuses the previous string if you use an empty target, for some value of previous 00:14:20 !slashes /edde/bcdfeg/ /bgb/a/ /ee/eeafg/ /cgdd/fdcg/ /adaab/defefb/ 00:14:24 !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 what a wonderful no-op program 00:14:52 coppro: elliott keeps suggesting it should do input since he thinks the GG...GG of iftlabtijtslwi is ugly 00:15:05 I dunno, I think // is ugly too 00:15:11 it's just the use of a letter and two characters that irks me 00:15:22 something like |x| would be nicest IMO 00:15:41 then you get \|/ :) 00:15:45 !slashes cebefegfecfaa /ac/dgea/ /aag/fde/ /ac/dbaeb/ /aedafc/ba/ /dd/fgf/ /abee/ggb/ /feada/fd/ /effacf/gaa/ /fcbd/dda/ /ead/ceddc/ 00:15:46 cebefegfecfaa 00:15:49 !slashes ddgeaegbbc /accab/ded/ /de/cce/ /ac/gd/ /ae/bec/ /fgfdec/dbg/ 00:15:50 ddgeaegbbc 00:16:01 elliott: the nice thing about GG is you are unlikely to do it accidentally, so itflabtijtslwi is mostly backwards compatible 00:16:13 -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:17 oops 00:16:21 oerjan: fuck that, /// is about elegance not "backwards compatibility" :) 00:16:23 !slashes cbafcfgcb /dag/a/ /e/c/ /aec/df/ /a/cb/ /b/efb/ /dgd/ccca/ /ded/e/ /def/cab/ /ee/ba/ 00:16:24 was not supposed to paste that 00:16:42 !slashes fdgcgfffcc /bg/bdf/ /b/a/ /aa/d/ /b/gecbe/ /gd/dgd/ /dag/eedea/ /d/g/ /b/fgeg/ 00:16:52 It's like writing random Brainfuck programs to see what they do! 00:17:02 coppro: the paste police will come and arrest you now 00:17:13 Lymia: you really want shit after the last /... 00:17:16 not before 00:17:21 Ah. 00:17:30 -!- Aesculapius has joined. 00:17:36 !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:37 eddad 00:17:47 !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 !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:08 :( 00:18:16 does anyone here understand brodal heaps? 00:19:32 Lymia: those did infloop 00:19:42 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 !slashes /ghu/huu/ /hgh/guh/ /guu/uguhg/ /ghh/hhhg/ /uu/uhu/ /huu/g/ /ug/uhhu/ huuughguughuh 00:19:56 ghuhhuhuhhuuhggh 00:20:04 http://lodev.org/esolangs/braincopter/braincopter.zip http://lodev.org/esolangs/braincopter/lk.png 00:20:39 "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 Aesculapius: is lode the gammaplex dude? i don't remember 00:20:59 quintopia - yes 00:21:08 he is, but gammaplex never disappeared 00:22:51 Yep just braincopter and brainloller. I inquired about brainloller as well but that is what he sent. 00:24:23 hes hiding the lolling secrets 00:24:44 Nah. I emphasised copter and said y'all said the other was missing too 00:24:59 he either didn't have it or just looked for what I emphasized 00:25:15 ...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:27 * oerjan whistles innocently 00:25:45 I did a quick check and it looked like everything except those two was mirrored 00:25:52 yay 00:26:38 But yeah, he was really cool about it. I'm quite appreciative. 00:27:44 elliott: i guess that's somewhere between disney making the ringer of notredame and making "holocaust, the musical" 00:28:00 ...what on earth are you replying to 00:28:12 your meowmorphosis 00:28:14 all i know is someone has to make holocaust, the musical now 00:28:16 oerjan: oh :D 00:28:49 someone may already have, although probably not disney 00:30:33 google certainly seems to think someone did 00:30:53 How many formats are there for printer fonts? 00:32:41 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 (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:44 help 00:42:48 my mouse is pinned to the left side of my screen 00:45:13 elliott: happens to me sometimes, i just restart (or maybe, i don't quite recall if it works, temporarily hibernate) 00:45:42 Alright, updated the braincopter page. 00:45:44 oerjan: yeah, I'm just using the keyboard until its hopeless 00:45:51 this is probably an Xorg problem though because... because Xorg is terrible 00:46:06 maybe the driver thinks its getting a continuous stream of left movements or whatever 00:46:11 i think i usually restart because it happens when the computer hasn't been in a while 00:46:57 i never restart usually, just restart X 00:47:01 sigh 00:47:08 linux support is utterly crap on this thing 00:48:06 -!- poiuy_qwert has quit (Read error: Connection reset by peer). 00:49:45 SPRINGTIME 00:49:46 -!- poiuy_qwert has joined. 00:49:47 FOR HITLER 00:49:49 AND GERMANY 00:50:07 WINTER 00:50:09 FOR POLAND 00:50:12 AND FRAAAAAAAAAANCE 00:50:20 this channel. i love this channel. 00:53:59 elliott had won the vistory over himself. he loved #esoteric. 00:54:03 *victory 00:54:17 isn't that book a bit too new for you to be reading grampa 00:54:29 I HAVEN'T READ IT I JUST GOT THE MEMES OFF THIS INTER NETS 00:54:34 Muphry's law also appears to apply to too clever puns. 00:54:43 vistory is a good word, we should make it a word. 00:54:47 maybe that's my next esolang after Var. 00:54:48 actually i did read it once, albeit in norwegian. 00:55:10 meanwhile in Swedish bookstores 00:55:20 Bjärne bork bork bork victory bork. He bork Bjärne. 00:55:26 (Bjärne is the only name in Swedish) 00:55:51 today's short reading: Swedish War Heroes 00:56:55 it is funny because bjärne isn't really a swedish name, but sounds like one 00:57:18 sort of like Bjorn isn't a Norwegian name? :D 00:57:50 ok to be pedantic, it _is_ a swedish name, but not a first one 00:58:21 ok to be pedantic i may be completely wrong 00:58:39 (bjorn is not norwegian. or maybe i should check that.) 00:59:39 never mind the link to bjärne first name was fake, it should be an a 01:02:09 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 but there other people with the same surname, afaict 01:04:54 -!- poiuy_qwert has quit (Ping timeout: 240 seconds). 01:05:09 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 i'm going to spell it þjôŕñ for convenience 01:10:56 -!- oerjan has joined. 01:16:50 i'm going to spell it þjôŕñ for convenience 01:17:24 þ is not a very similarly pronounced letter 01:17:34 unless you have the mother of all lisps 01:17:58 this is not important to the joke however 01:18:10 and a cleft palate, i think 01:18:42 whos that frithiof guy i cant really click links 01:18:49 in fact, i think using the thorn instead of the obvious "ḃ" enhances the joke 01:19:01 elliott: some swedish actor 01:19:16 just the most famous person name bjärne afaict 01:19:17 damn swedes 01:19:22 quintopia: "obvious" :D 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 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 apparently strip nomic is an actual game that has been played 02:36:15 this is more hilarious than it has the right to be 02:36:16 hm 02:36:30 Define "strip". 02:36:31 :P 02:36:56 all I know is "strip nomic" 02:37:00 but thats enough for me 02:37:16 I was saying "define 'strip'" because this would, presumably, be defined in the nomic. 02:37:23 And hence "strip" is up for change. 02:37:27 hahaha, scamming your way out of stripping 02:37:37 Precisely. 02:37:40 im pretty sure there's no way that can't be the best game possible 02:37:52 Also make it a drinking game. 02:38:20 im pretty sure the drinking has already happened by the time you get to inventing strip nomic 02:39:44 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 "Self-compiled compiler has disconnected from bootstrap compiler in dev build cycle; will henceforth be referred to as "the" rust compiler." 03:28:39 zeerust 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 What program is that? 03:51:28 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). 03:59:43 Mozilla Rust? 04:00:10 Is it rusted and doesn't work anymore? 04:00:17 It worries me somewhat that my computer seems to have suddenly ceased to have cooling issues with this new power supply. 04:00:33 bah if it were new it would be Mozilla Iron 04:00:39 pikhq: I suppose that is because it is rusted and doesn't work anymore. 04:01:17 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 My system is literally running at the same temperature it used to idle at... With full CPU usage. 04:12:55 I have literally only changed the power supply. 04:14:39 * 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:14:40 :D 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 x 07:49:14 Phantom_oo: You have 1 new message. '/msg lambdabot @messages' to read it. 07:49:15 ?messages 07:49:15 elliott said 22s ago: 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 Monad comprehensions are finally in GHC (self.haskell) 08:12:25 welcome back, old friend 08:23:31 -!- elliott has quit (Remote host closed the connection). 08:26:06 -!- elliott has joined. 08:26:12 Wow, some of Shiro's code is quite ugly. 08:34:43 http://sprunge.us/XbAS 08:34:45 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:07:43 sertyguhvcfyuij 11:35:43 http://frox25.no-ip.org/~mtve/wiki/MemFractal.html 11:37:31 that adder is pretty 11:38:06 other examples needed badly 11:52:42 has anyone of you been to bletchley park 11:53:03 i guess that's mostly towards the people living in the land of Eng 12:02:57 Ooh, synchronicity; we've been planning to visit that place this June. 12:03:35 get out of our country normans 12:05:08 I thought they were gonna throw out alan turings stuff 12:05:19 they killed alan turing with alien rays 12:05:31 I mean the gov. "apologised" about it so they don't need to fund the maintainance of the musium 12:05:54 ahThe National Heritage Memorial Fund's £200,000 donation filled the gap. 12:06:03 the gap in their alien mind projectors 12:06:11 elliott: stop trolling 12:06:20 im being 9 percent sincere 12:10:51 -!- MigoMipo has joined. 12:14:42 What does "demonstrably incomplete" mean? 12:15:24 That you can prove that the system cannot generate all possible theorems within the system 12:39:21 13:36 < Slereah> Gotta study for my makeup exam of topology and probabilities :c 12:39:30 at beauty school am i right LOL 12:41:11 Isn't that the correct english word? 12:41:17 It is rattrapage in French 12:54:02 fizzie: nice. can you take some photos? 12:54:12 fizzie: i would love to come along ^^ 12:54:45 fizzie: have you read cryptonomicon? it takes part at bletchley park 12:56:51 Yes, though it was quite a while ago. 12:57:46 have you enjoyed it? 12:58:55 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 i can't say i liked the "current time" parts 13:02:54 -!- augur has quit (Remote host closed the connection). 13:02:57 (i hadn't finished the book though) 13:03:02 i really liked the waterhouse parts 13:03:15 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 elliott: ping 13:26:13 -!- azaq23 has joined. 13:26:18 pogn 13:26:47 elliott: I'm curious what your thoughts are on the AV system being proposed. I don't know much about UK politics ;-) 13:26:54 today is voting day - right? 13:27:00 yes 13:27:22 AV is better than first-past-the-post, like every voting system apart from the Random Elephant Stomping method 13:27:46 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 there's exactly zero chance it will pass, though 13:28:10 the FUD cloud is so thick that it's hovering outside my window as we speak 13:29:30 What do you mean? 13:29:37 AV is so complicated 13:29:44 It will cost tax payers trillions of dollars 13:29:45 crystal-cola: you're joking right? 13:29:48 AV = IVR - right? 13:29:53 It means that the BNP get to choose who wins 13:29:56 variable: if by IVR you mean IRV then yes 13:30:00 crystal-cola: trololololololol :) 13:30:04 elliott: erm yeah - typo ;-) 13:30:26 it's not the best method out there, but obviously it's far superior to FPTP 13:31:17 why was IRV chosen to be the one to spearhead the voting change? 13:31:31 dunno? 13:31:37 -!- poiuy_qwert has quit (Quit: This computer has gone to sleep). 13:31:58 if FUDders think AV is too complicated, imagine what they'd do to Condorcet 13:33:01 depends on on the resolution method used 13:33:17 it really doesn't, you have no idea the kind of shit being said here :) 13:33:21 there are literally leaflets going 13:33:29 FPTP: All the votes are counted up and the person with the most votes wins 13:33:38 AV: [RIDICULOUS TEN PAGE "EXPLANATION" THAT MAKES NO SENSE] 13:33:42 THEREFORE AV IS TOO COMPLICATED 13:33:49 o.O 13:34:07 curios - who are the people against the FPTP system 13:34:22 you mean the ones supporting AV? 13:34:28 yeah. 13:34:36 and who are the ones supporting it 13:34:50 I mean -> which are the main groups on either side ;-) 13:34:56 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 the people against AV (for FPTP) are everyone else 13:35:33 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:35:47 it's a bunch of bullshit 13:36:15 http://gowers.wordpress.com/2011/04/20/is-av-better-than-fptp/ 13:36:21 Gowers is against first past the "post" 13:36:30 "post" 13:36:37 BUT WHAT IS POST 13:36:56 http://www.andrew-mitchell-mp.co.uk/images/winner_under_av.jpg 13:37:17 yeah, that shit 13:37:21 the best one is the boxing match 13:37:25 BOXING MATCHES HAVE TWO PARTICIPANTS 13:37:32 ALL VOTING SYSTEMS ARE IDENTICAL IF THERE ARE ONLY TWO OPTIONS 13:38:18 crystal-cola: that isn't a vote :-\ 13:38:44 variable: Don't bring your logic into our national shit-flinging fiasco plz 13:38:46 It's impolite 13:40:39 http://2.bp.blogspot.com/-VipbwQnEqwk/TWS9XAo9OOI/AAAAAAAAK8I/DoL0NdDAAWk/s1600/No2AV-baby-poster.jpg 13:41:21 if you vote for AV this baby will die! 13:41:27 http://blogs.telegraph.co.uk/news/files/2011/05/no-to-av.jpeg 13:41:29 and this one! 13:41:49 :-\ 13:42:05 * variable *really* hates stupidity 13:42:36 oh god i love that figure thing 13:42:36 like 13:42:42 i read the no leaflet 13:42:50 they list all these costs right 13:42:53 that adopting av would have 13:42:54 and then 13:43:00 they ADD THE COST OF THE REFERENDUM 13:43:02 to the total that av would cost 13:43:08 despite the fact that that cost is already paid 13:43:22 but it gets better, the sum they give is actually many millions more than the sum of the components. 13:43:25 because fuck you :) 13:43:28 -!- augur has joined. 13:43:41 i do like the idea that if av isn't adopted, they'll make like five million schools though 13:43:47 and hire ten billion doctors 13:43:54 im sure thats what will happen 13:45:34 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 I came up with a new propaganda: "Under AV, AV would win" 14:24:09 -!- MigoMipo has joined. 14:34:23 I forget, which alternate voting system is AV? 14:34:32 Since "AV" means nothing really :P 14:35:11 well it means you put preferences and the if there's not a strong majority it takes second favorites etc. into account 14:35:22 instead of just a cross for the one you want 14:35:28 "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:43 Antivirus 14:35:50 Gregor: IRV 14:35:56 They're voting to eliminate viruses. 14:36:02 You're welcome since everyone else's answers are worthless 14:36:04 I'm a wonderful person 14:36:23 Thank you, elliott, for giving me the data I actually wanted :P 14:36:34 ?? 14:37:06 crystal-cola: Gregor was asking what voting system AV actually is :P 14:37:09 The answer is instant-runoff. 14:37:21 it's called AV 14:37:25 No, it's not. 14:37:29 * Gregor bashes crystal-cola's head into a wall. 14:37:30 Nobody called it AV before this referendum. 14:37:34 It's called IRV. 14:37:34 fuck you guyts 14:37:36 AV is a retarded name. 14:37:39 crystal-cola: what 14:37:40 AV means "alternative voting" 14:37:43 you're retarded 14:37:46 Every voting system is an alternative to another voting system. 14:37:46 Gregor: It means alternative /vote/. 14:37:53 elliott: Oh, sorry :P 14:37:53 Gregor: i.e. you have alternate VOTES for candidates. 14:37:57 -!- poiuy_qwert has joined. 14:38:03 Jokes are valuable too! 14:38:04 AFK 14:38:07 It makes slightly more sense than "alternative voting [system]" which I too originally assumed :P 14:38:22 Right, but there are also dozens of voting systems that fit that description. 14:38:45 Clearly we should name voting systems with a compact representation of their algorithms :P 14:41:28 Yesssssssssss 14:41:32 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 I was unaware that voting systems had any notable cost (in general). 14:42:43 -!- Sgeo_ has quit (Ping timeout: 260 seconds). 14:42:52 pikhq: ? 14:43:09 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 crystal-cola: So what's this about being retarded 14:43:25 Gregor: I said "notable". 14:43:29 Gregor: Hey, I was going to approach that point with wilful non-understanding. 14:43:45 Gregor: i.e. cost *over* what you're already paying just to run an election. 14:43:48 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 pikhq: Well, how much does it cost to NOT kill a baby? 14:44:01 pikhq: It costs about the same to implement a new voting system. 14:44:16 Gregor: Fairly absurd amount, if by "NOT kill" you mean "spare no expense in saving". :P 14:44:30 No, I just mean "NOT kill" 14:44:35 You asked what something is and I explained it, that is not justification for being cunts 14:44:41 Basically, if you institute AV, then they throw babies in furnaces. 14:44:48 Oh, so straight-up inaction? 14:45:01 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 It costs the same amount to not institute AV! 14:45:08 you asked an ambiguous question and I didn't get what you meant, so go fuck yourself 14:45:18 THE ONLY OPTION IS TO REQUIRE EVERY VOTER TO PAY 14:45:26 Otherwise, they'll throw babies in furnaces! 14:45:27 lol @ crystal-cola's overreaction 14:45:33 And use it to run generators! 14:45:38 Followed by lol @ crystal-cola's overreaction to my lolling at his overreaction. 14:45:43 SOYLENT ELECTRICITY IS PEOPLE! 14:45:53 You asked what something is and I explained it, that is not justification for being cunts 14:45:57 I wasn't a cunt. 14:46:09 pikhq: Peoplectricity is renewable, though. 14:46:27 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 fizzie: As renewable as our food. 14:46:37 fizzie: Which is "not very" ATM. 14:46:57 pikhq: But if you burn enough people, there's less to eat and/or use the electricity. 14:47:17 You just need to find the right balance there. 14:47:28 Nah, that'll just result in more fuckin'. 14:47:36 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:47:46 ... bahahahaha. 14:47:48 Wow. 14:48:15 I didn't realize crystal-cola was such an expert in extreme overreaction to near-zero offense. 14:50:19 Gregor: Uh, seriously? 14:50:44 elliott: I'm not much of an observer of people. 14:51:51 Scrolling up I didn't even mention anyone at all, just their answers :P 14:53:06 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:14 fucking assholes 14:53:29 I thought we were on ignore for being horrible people. 14:54:12 Wow, you can bookmark Chrome's new tab page. 14:54:26 elliott: I've actually noticed that. 14:54:27 It's... so beautiful... 14:54:40 I'm going to add it to my bookmarks so I always have a new tab handy when I need it 14:54:53 Yess 14:54:55 Yesssss 14:54:58 I just pinned the new tab page 14:55:00 Yessssssss 14:58:56 someone should bash your snotty fucking stuck up headin 14:59:05 I'M EXTREMELY OFFENDED 14:59:07 YOU ASSHOLE 14:59:08 AGIUHGEIUGHEIUGHERIUGHUIERGHIERG 14:59:22 -!- elliott has left ("RAESRIUGAIUGHIUHGIERGOIUERHGIUOAEHGOIAEHGRIUOAEHGIOHGIUHRGIOEHG"). 14:59:26 -!- MSleep has changed nick to MDude. 14:59:28 -!- elliott has joined. 14:59:31 lol 14:59:33 I don't see the appeal... 15:00:12 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 I'm all for whiny dipshits 15:15:28 Go to google.co.uk -> go to image search -> search for "pip pip cheerio" -> wtfwtfwtf 15:18:59 thats britain for you 15:19:06 What exactly are you referring to 15:19:32 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 In a condition I can only assume is called pippipcheeriism 15:19:51 They appear to originate from tumblr posts. 15:20:06 A user named pip-pip-cheerio is mentioned on the pages in question. 15:20:20 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 I'm at work, so did not go so far as to click through :P 15:20:51 It's OK to have that stuff on your screen BUT IF THERE WERE WORDS TOO OH GOD 15:21:30 Pretty much. 15:22:10 -!- pikhq has quit (Ping timeout: 252 seconds). 15:22:14 -!- pikhq has joined. 15:22:56 i just hit my head with my knee 15:22:57 that hurt 15:23:00 how did i manage that 15:23:31 Carefully 15:23:58 by trying repeatedly. practice makes perfect. 15:27:41 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:27:56 Noted. 15:33:15 -!- sebbu2 has joined. 15:33:16 -!- sebbu2 has quit (Changing host). 15:33:16 -!- sebbu2 has joined. 15:34:03 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 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:34:32 See to it. 15:35:02 elliott, it is a lot more fun to not read context! 15:35:12 elliott, it makes you irritated for a start. 15:35:18 You misspelled "annoying and stupid". And I'm not irritated. 15:35:29 Nor annoyed actually, things can be annoying without actually annoying. 15:35:45 Or rather something annoying does not necessarily annoy enough to cause one to become annoyed. 15:35:46 elliott, but you find it annoying 15:36:31 -!- sebbu has quit (Ping timeout: 260 seconds). 15:42:32 Gregor: Oh, it seems like the AV name might be considerably older -- dating back to the nineteen-tens, even. 15:42:34 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 the public expected, he said, was that the politicians should make up their minds. 15:42:36 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:48:58 Huh 15:49:58 Annoying, anointing, ... 15:52:25 -!- elliott has quit (Remote host closed the connection). 16:34:45 -!- Phantom_Hoover has joined. 16:35:00 Hmm, Homestuck has updated. Lemme guess, lambdabot has some messages for me. 16:35:01 Phantom_Hoover: You have 3 new messages. '/msg lambdabot @messages' to read them. 17:14:49 Gregor: fuckyng kill youself you fucking shithead 17:15:25 -!- elliott has joined. 17:15:27 lololol 17:15:46 I love how it's a vicious cycle too. 17:16:00 The more over-the-top he gets, the more hilarious I find it, and the more over-the-top he gets. 17:16:09 `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 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:17 thats HackEgos opinion 17:16:21 X-D 17:16:22 Gregor: fuckyng kill youself you fucking shithead 17:16:23 Gregor: fuckyng kill youself you fucking shithead 17:16:23 Gregor: fuckyng kill youself you fucking shithead 17:16:26 Gregor: fuckyng kill youself you fucking shithead 17:16:28 Heyyy 17:16:32 This is just like last time crystal-cola got banned 17:16:34 Bahahahaha 17:16:52 Im reminiscing :3 17:17:13 Gregor, hmm, why is this happening/ 17:17:33 Phantom_Hoover: 17:17:38 14:34:23: I forget, which alternate voting system is AV? 17:17:39 14:34:32: Since "AV" means nothing really :P 17:17:39 14:35:11: 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 14:35:22: instead of just a cross for the one you want 17:17:39 [...] 17:17:42 14:35:50: Gregor: IRV 17:17:43 14:36:02: You're welcome since everyone else's answers are worthless 17:17:45 14:36:04: I'm a wonderful person 17:17:47 14:36:23: Thank you, elliott, for giving me the data I actually wanted :P 17:17:49 Then crystal-cola went insane. 17:18:18 Gregor: You deserve to get your head bashed in 17:18:19 Gregor: You deserve to get your head bashed in 17:18:19 Gregor: You deserve to get your head bashed in 17:18:19 [A 17:18:22 Gregor: You deserve to get your head bashed in 17:18:37 Remind me where oerjan is. 17:18:45 fizzie: Request straitjacket. 17:18:54 Apparently he thinks that by flooding his lololoverreaction I'll suddenly care what his opinion is :P 17:19:40 crystal-cola is... not known for his emotional stability or rational behaviour when upset. 17:19:50 This is better than last time, at least. 17:20:18 I'm known for finding these situations hilarious and wonderful :P 17:20:28 And overusing the ":P" smiley :P :P :P 17:20:52 Phantom_Hoover: well at least i can see the other messages this time 17:21:20 Gregor is a stuck up shit head who should fuck off 17:21:29 elliott, yeah, that's what I mean. 17:21:30 X-D 17:21:31 Go away asshole 17:21:44 crystal-cola: You're a drama-whoring overreacting many-times-more-asshole who can't see this message. 17:21:46 God this is fun. 17:21:48 I think we should see if crystal-cola can increase the insult density further/ 17:21:51 By fun I mean irritating and depressing. 17:21:57 Phantom_Hoover: please, I don't want dead bodies littering the street. 17:22:30 elliott: Really? You find it anything but fun? 17:22:33 So that his sentences go beyond full saturation and become some kind of quark-gluon plasma of swearwords and violence. 17:22:48 Gregor: /msg, this is ridiculous 17:23:04 Oi! 17:23:06 I want in! 17:23:20 -!- Lymia has joined. 17:23:20 -!- Lymia has quit (Changing host). 17:23:20 -!- Lymia has joined. 17:28:39 fuck you 17:30:07 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 Ohyeah, it's Cinco de Mayo. 17:36:11 AKA "The day Americans think is Mexican Independence Day but isn't" day 17:36:33 * elliott adjusts his giveashitometer 17:36:55 Now it can successfully measure the 0.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001 shits I give. 17:37:31 That might actually be too little shit to be verifiably shit at all. 17:37:50 there is utterly no reason to give a shit since this holiday makes no logical sense 17:38:13 Nor does any holiday :P 17:38:21 But I gotta say, I'm totally not feeling the vibes of this one. 17:38:40 some holidays make sense 17:38:42 How about if I say that it's "get drunk for no real reason" day 17:38:51 coppro: Define "makes sense". 17:39:05 How is a sense-making holiday distinguish from a non-sense-making one 17:39:08 elliott: Is a celebration of something worthy of celebration 17:39:18 e.g. a national holiday makes sense 17:39:24 Boxing Day does not 17:39:39 So, uh, valid holidays are about consumerism, nationalism or getting drunk. 17:39:46 Mostly consumerism. 17:39:49 By that notion, the only holiday worth celebrating is.... 17:39:51 * Lymia checks 17:39:52 And getting drunk. 17:39:53 And nationalism. 17:39:57 what's a holiday 17:39:59 None of them. 17:40:08 Both getting drunk and nationalism are just facades for consumerism :P 17:40:08 monqy: a day when you get drunk, consume a lot, and national (verb) 17:40:27 Gregor: I dunno, nationalism is pretty strong in itself :P 17:40:29 I'd say every day but I never do any of those 17:40:35 it would be the worst lie 17:40:41 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 depending on the manner of celebration, birthdays may count 17:41:34 coppro: how are national holidays celebrating something worthy of celebration 17:41:43 any more than holidays about consumerism 17:41:59 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 holidays about getting drunk 17:42:41 are drunk people hilarious or scary I can't make up my mind 17:42:53 Depends on who they are 17:43:15 Bahaha 17:43:17 probably both 17:43:20 `addquote 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 396) 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:37 im poplar 17:43:47 soft light-colored non-durable wood of the poplar 17:43:48 any of numerous trees of north temperate regions having light soft wood and flowers borne in catkins 17:43:48 wordnetweb.princeton.edu/perl/webwn 17:43:49 quiz: what is the worst holiday according to cabbies? 17:43:49 im poplar 17:43:53 elliott is a tree. 17:43:58 coppro: Are you using write-only IRC? 17:43:58 wat 17:44:01 elliott: your bipoplar 17:44:04 elliott: yes 17:44:13 Orrrrr you're just ignoring disagreement 17:44:28 Write-only IRC: best idea 17:44:43 Gregor: we have that. It's called Twitter 17:44:44 Gregor: crystal-cola is pioneering it by single-handedly ignoring everyone on IRC one-by-one 17:45:03 `addquote Write-only IRC: best idea Gregor: we have that. It's called Twitter 17:45:04 397) Write-only IRC: best idea Gregor: we have that. It's called Twitter 17:45:10 THREE SPACES 17:45:10 Enough `addquotes for me for the day :P 17:45:11 HERESY 17:45:16 `delquote 397 17:45:17 *poof* 17:45:22 `addquote Write-only IRC: best idea Gregor: we have that. It's called Twitter 17:45:24 397) Write-only IRC: best idea Gregor: we have that. It's called Twitter 17:45:30 * elliott fumes and guards his golden eggs 17:45:36 `delquote 397 17:45:37 *poof* 17:45:38 `addquote Write-only IRC: best idea Gregor: we have that. It's called Twitter 17:45:39 398) Write-only IRC: best idea Gregor: we have that. It's called Twitter 17:45:41 ... 17:45:47 Nice Peano skills dude 17:45:48 `delquote 398 17:45:49 *poof* 17:45:53 `delquote 397 17:45:54 *poof* 17:45:55 `addquote Write-only IRC: best idea Gregor: we have that. It's called Twitter 17:45:56 400) Write-only IRC: best idea Gregor: we have that. It's called Twitter 17:46:01 8-D 17:46:05 SO MANY QUOTES 17:46:05 `run rm bin/{delquote,addquote} 17:46:07 SEE IF I DON'T 17:46:11 Gregor: ...AARGH X-D 17:46:13 `quote 397 17:46:15 397) Write-only IRC: best idea Gregor: we have that. It's called Twitter 17:46:17 DERP DERP DERP 17:46:21 `quote 397 17:46:22 397) Write-only IRC: best idea Gregor: we have that. It's called Twitter 17:46:28 `delquote 397 17:46:29 *poof* 17:46:34 `quote 397 17:46:34 HackEgo: Best system ever? 17:46:35 397) ======= 17:46:35 ten nine eight seven 17:46:37 `delquote 398 17:46:38 *poof* 17:46:41 bahahaha 17:46:42 failed merge 17:46:44 ahahahaahah 17:46:47 `delquote 399 17:46:48 No output. 17:46:50 ======= is a good quote 17:46:54 `run paste quotes 17:46:55 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.23664 17:47:03 `quote 399 17:47:04 No output. 17:47:06 `quote 398 17:47:08 398) Write-only IRC: best idea Gregor: we have that. It's called Twitter 17:47:08 I should, like, actually check if merges fail :P 17:47:13 `delquote 397 17:47:14 *poof* 17:47:19 `run paste quotes 17:47:20 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.717 17:47:38 If anyone fucks that up I will literally hunt them down and murder them brutally. 17:47:41 I am not in the least bit kidding. 17:47:43 Y'know you can just `url quotes, right? :P 17:47:45 goodbye ======= ;_; 17:47:49 Gregor: I don't trust that shit, bro. 17:47:54 monqy: RIP 17:49:22 -!- crystal-cola has quit (Read error: Operation timed out). 17:49:32 `run paste /bin/sh 17:49:34 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.9997 17:49:47 Getting /bin/sh: Totally useless? 17:50:08 `cat /etc/passwd 17:50:09 No output. 17:50:14 I IS HAXER 17:50:38 `run paste /etc/shadow 17:50:39 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.15274 17:50:59 `delquote 396 17:50:59 *poof* 17:51:00 `run paste /etc/hosts 17:51:02 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.14250 17:51:16 -!- oerjan has joined. 17:51:28 `quote 396 17:51:30 396) Write-only IRC: best idea Gregor: we have that. It's called Twitter 17:51:31 Lymia: If you're going to try (and fail miserably) to hack it, do so in PM plox. 17:52:00 Gregor. 17:52:02 `delquote 396 17:52:04 What was that quote? 17:52:14 The one about nationalism. 17:52:15 goodbye 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 Lymia: STOP PINGING PEOPLE WITH A SINGLE LINE OF "NAME." IT'S SO SDOHDGHGDFGJKDFG 17:52:23 Fine. 17:52:24 :< 17:52:25 elliott. 17:52:26 Phantom_Hoover: Why did you delete it GREGOR ADDED THAT QUOTE 17:52:26 I will stop. 17:52:27 `help 17:52:28 It wasn't actually, y'know, *funny*. 17:52:28 Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ 17:52:31 I have no idea how to respond to that anyway :P 17:52:33 SHUT UP 17:52:35 I WILL ENABLE 17:52:36 FUNNINESS 17:52:38 D= 17:52:44 `run wget www.google.com 17:52:46 No output. 17:52:48 `ls 17:52:49 babies \ bin \ bluhbluh \ env \ foo \ index.html \ paste \ ps \ quine \ quotes \ test.c \ tmpdir.15537 17:52:51 `revert 256 17:52:52 Done. 17:52:55 I LOVE POWERS OF TWO 17:52:56 babies???? 17:53:02 `quote 396 17:53:03 396) 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 Gregor: I fixe d your quote 17:53:23 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:31 `run seq 1 1 10000000 17:53:32 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:35 `fuck 17:53:36 Congratulations! elliott's action has brought a beautiful new baby into the world. Isn't it adorable? 17:53:43 It keeps forgetting my past babies,. 17:53:46 . 17:53:46 `run seq 1 1 10000000 | paste 17:53:51 `run mkdir seq 1 1 10000000 17:53:53 No output. 17:53:54 Erm 17:53:54 hg commit attack. 17:53:58 `run mkdir `seq 1 1 10000000` 17:54:05 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.12279 17:54:06 ha! 17:54:08 `ls 17:54:11 Lymia, FWIW, HE is extremely sandboxed. 17:54:11 babies \ bin \ bluhbluh \ env \ foo \ paste \ ps \ quine \ quotes \ test.c \ tmpdir.15965 17:54:16 No output. 17:54:23 Phantom_Hoover, not even mkdir spam will work? 17:54:26 :3 17:54:45 Actually, touch spam probably would. 17:54:50 What the heck would mkdir spam achieve? Even the stupidest of bots has a quota surely :P 17:54:53 Dunno, but I do want to punch you in the face for that smiley. 17:55:09 hmm, is there a maximum file size limit? (looks like 10M) 17:55:09 It has a quota, but it's not a small quota :P 17:55:15 Gregor. 17:55:21 Does freenode have a connection limit? 17:55:22 Lymia: PING STOP IT 17:55:24 sjgdfgg 17:55:25 Lymia!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! 17:55:35 Lymia: Probably? :P 17:55:38 I WILL ENABLE FUNNINESS <-- just replace one of the compared terms with "eating babies" 17:55:43 If so, could you have HackEgo connect over and over to freenode until it's connections are kicked off? 17:56:24 Lymia: ... you can't, from `run, request HackEgo to ... connect again ... somehow. 17:56:26 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/a540b7f2622c/index.html :? 17:56:36 Gregor. 17:56:41 Download a script that connects to IRC. 17:56:42 Execute it. 17:56:45 (opps i did it again) 17:56:50 Networking is protected. 17:56:54 `run echo $http_proxy 17:56:55 http://127.0.0.1:3128 17:57:10 Google and various other sites are allowed through the HTTP proxy. 17:57:10 Does it block IRC connection attempts? 17:57:24 Networking is outright blocked except through the HTTP proxy. 17:57:28 Crap. 17:57:53 `run unset http_proxy; curl http://www.google.com/ 17:57:55 No output. 17:58:00 `run unset http_proxy; curl http://www.google.com/ 2>&1 17:58:01 \ curl: (6) Couldn't resolve host 'www.google.com' 17:59:00 `run netcat 17:59:01 No output. 17:59:09 `run nc 17:59:10 No output. 17:59:21 `run ls /bin/ 17:59:22 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 Hack attempts in PM plox kthx 18:00:33 no hack attempts in public 18:00:39 i want to see the fail :DDddD:D 18:00:47 me too :( 18:00:51 Imagine there was a comma after the "no" 18:00:58 yes 18:00:59 thats where it should be 18:01:01 thats what i intended 18:01:47 elliott: you mean that if one can do hack it he/she can do it publicly? :p 18:02:08 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 Gotta keep the channel activity going somehow. 18:02:43 How are we defining "hack" here? 18:03:00 ah i misunderstood your sentence. got it. 18:03:12 -!- newbie|2 has joined. 18:03:32 and well, strictly i didn't try to hack the bot; i just poked it with a stick ;) 18:03:58 we're all about stick-poking here 18:04:00 (in the sence that i just wanted to see how it is implemented) 18:04:00 isn't that right newbie|2 18:04:06 lol 18:04:10 sense* 18:04:19 lifthrasiir: FWIW it's plash 18:04:36 so, chroot with only a libc that works over sockets and simulates the whole FS and everything through that 18:04:53 (Gregor's bot not mine :P) 18:05:08 I'd like to see zeptobot do that 18:06:09 zeptobot can do everything you horrible person 18:06:36 welcome back, old friend 18:06:46 I'm still dissatisfied since nobody's really made HackEgo do anything cool :( 18:06:48 hey you didn't know about haskell last it was there ;D 18:06:52 It's more a minor curiosity than an actual bot. 18:06:58 oerjan: shaddap :) 18:07:04 http://www.reddit.com/r/todayilearned/comments/h4vrv/til_the_highest_temperature_ever_reached_on_earth/ 18:07:11 (neither did i) 18:07:19 OK I badly want to hit the idiot who wrote that in Fahrenheit. 18:07:28 `run pwd 18:07:29 /tmp/hackenv.17336 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 another great figure in the esoteric bullshit community dies 18:08:01 What's B Nomic? 18:08:06 Nooooooooooooose 18:08:09 Phantom_Hoover: honestly. you. what is with you. 18:08:15 B Nomic is the successor to A Nomic. 18:08:21 Phantom_Hoover: ♥ Fahrenheit! 18:08:26 Phantom_Hoover: You just hate brine and horses! 18:08:28 fahrenheit is the stupidest fucking scale 18:08:32 Gregor, yes. Yes I do. 18:08:43 I mean, it's not even like the rest of the imperial system. 18:09:16 ... in what way? The rest of the system isn't self-similar in any way :P 18:09:58 furlongs, fortnight, firkin, fahrenheit; i'd say it fits perfectly. 18:10:04 Yes, but the imperial system evolved organically from fairly sensible roots which didn't work together well. 18:10:13 Fahrenheit was just designed stupidly from the start. 18:10:14 furlongs, fortnight, firkin, fuckin 18:10:23 elliott: *procreation 18:10:31 intercourse 18:10:44 fintercourse 18:10:51 fprocreation 18:11:14 offering prize for first pronunciation of "fprocreation" that blends the f and p into one consonants 18:11:16 consonant 18:11:41 elliott: hey no fair giving germans an automatic win 18:11:56 and i mean the english f and p. 18:13:01 Farhenheit was defined sensibly based on flawed assumptions. 18:13:34 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 But yeah, it was /designed/, it didn't just grow from necessity. 18:14:09 clearly most scientists had ranches at the time 18:14:48 nowadays it's only texan scientists 18:14:50 Naturally. 18:15:03 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 ...wat to that quit message 18:16:02 Agreed :P 18:16:26 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 Future historians are gonna be SO fucked with their database of famous Hemingway quotes. 18:22:14 offering prize for first pronunciation of "fprocreation" that blends the f and p into one consonants 18:22:23 Voiceless labial plosive. 18:22:49 tahts waht seh saied 18:23:05 I am a master of manipulation. 18:23:44 manipulation, from latin "manus", hand: pulling someones finger 18:23:48 *'s 18:24:16 i should write 18:24:19 the best bf joust compiler 18:24:19 ever 18:24:20 OR 18:24:25 maybe ill do that fixed point scoring thing 18:24:43 ...i thought you already did. 18:24:52 yep but always time to start again 18:25:18 wait didn't that fixed point scoring thing ever get done? 18:25:20 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 oerjan: It got specified but never implemented. 18:26:06 oerjan: see http://esoteric.voxelperfect.net/wiki/Talk:BF_Joust#Scoring 18:26:26 i know, i just thought someone had done it 18:26:28 elliott: Depends on the language. 18:27:02 http://codu.org/projects/trac/fythe/ <-- look, I've upgraded my trac pages 18:27:17 I approve :P 18:27:38 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 It's a "no languages I hate" thing :P 18:28:35 Which languages do you hate? 18:28:36 Gregor: How much would you say you hate Haskell :P 18:28:44 It'd just be so convenient ;_; 18:28:57 I hate all languages, so it's a grain-of-salt kinda rule :P 18:29:02 elliott: A lot less than anything in the Lisp family. 18:29:20 Gregor: What about ZEPTO============> 18:29:22 TO THE FUTURE 18:29:26 Gregor, your hatred of Lisp still perplexes me. 18:29:37 Phantom_Hoover: Syntax. I ♥ syntax. 18:29:52 ew syntax :( 18:30:03 I think I'll take this no-trac opportunity to unify all my project logins. 18:30:52 http://www.reddit.com/r/math/comments/h4m4n/an_elementary_proof_of_fermats_last_theorem/ 18:31:01 Phantom_Hoover: Oh dear :P 18:31:08 /r/math: uncritically frontpaging obvious crap since 2011. 18:31:40 Gregor: I'll unify YOUR project logins. 18:31:56 Gregor: May I suggest never reinstalling Trac ever :P 18:31:56 Gregor, it gets better. 18:31:57 -!- augur has quit (Remote host closed the connection). 18:32:07 It uses Comic Sans 18:32:08 Even that Ruby thing Redmine is more tolerable :P 18:32:08 elliott: I'm definitely not going to reinstall Trac. 18:32:17 Gregor: But the page said they were TEMPORARILY down. 18:32:19 I feel BETRAYED. 18:32:32 elliott: They'll come back up ... as something other than Trac :P 18:32:45 Once I find something tolerable >_> 18:32:49 Who needs bug trackers, wiki + repo viewer heyoo 18:33:00 In fact, a wiki is a perfectly decent bug tracker if you have few, and non-annoying, people :P 18:33:03 Really all I used it for was login management :P 18:33:16 (tbh I'd be more likely to add an item to a wiki page than to go through Bugzillaesque hell...) 18:33:27 (God, Bugzilla. I refuse to use Bugzilla ever.) 18:33:30 (I fucking hate Bugzilla.) 18:33:41 is bugzilla any good 18:33:50 -!- impomatic has joined. 18:33:55 monqy: no 18:34:06 surprise answer there 18:34:11 Phantom_Hoover: you weren't kidding with comic sans :D 18:34:20 omg 18:34:23 double exclamation marks 18:34:24 this cant get better 18:35:00 [[In the proof of Fermat’s Last Theorem that we’ll give, will emerge spontaneously even an original 18:35:00 procedure to find all the infinite Pythagorean triples, this makes us confident in the goodness of the 18:35:00 proposed method of proof (see Appendix B). ]] 18:35:18 maybe they are upvoting for the humor value 18:35:27 Appendix E 18:35:28 List of program (in Visual Basic 6) to produce the equation system (8). 18:35:30 oerjan, it was at 0, oddly enough. 18:35:39 -!- impomatic has left. 18:35:51 Phantom_Hoover: oh? maybe you saw it just as it was posted. 18:36:18 twelve hours old 18:36:21 -!- augur has joined. 18:36:51 -!- augur has quit (Remote host closed the connection). 18:36:58 "TEDxCharlotte 18:37:03 x -- independently organized TED event" 18:37:06 this video can do no wrong already 18:37:14 VORTEX BASED MATHEMATICS 18:37:27 wow how has TED not sued these guys yet 18:37:32 Phantom_Hoover: oh so it's just because r/math is slow 18:37:40 http://www.youtube.com/watch?v=iRTPFXZMtOY 18:38:02 oerjan, GET OUT OF HERE WITH YOUR "FACTS" 18:38:02 vbm 18:38:17 elliott: it's an official TEDx 18:38:32 these special effects are pretty rad. is this an ad? 18:38:38 coppro: oh, is it? 18:38:42 coppro: why do they have this crackpot then 18:39:30 oh it wasn't an ad 18:39:31 elliott: TEDx events are completely run indepedently, they just share the TED brand 18:39:35 the music is still going why is it going 18:40:13 elliott, yeah, this is hilarious. 18:40:19 I'm laughing 18:40:41 Whee, numerology! 18:41:18 OK commentary cannot express this. 18:41:42 * elliott starts watching 18:41:48 wow 18:41:51 two minutes in this is amazing 18:41:57 I'm 4 minutes in 18:41:58 double-amazing 18:42:02 end all diseases 18:42:02 `addquote AV is better than first-past-the-post, like every voting system apart from the Random Elephant Stomping method 18:42:04 398) AV is better than first-past-the-post, like every voting system apart from the Random Elephant Stomping method 18:42:04 produce unlimited food 18:42:09 oh god this is like 18:42:18 5 minutes, he's apparently discovered geometric progression. 18:42:22 this guy is singlehandedly ruining singularitarianism 18:42:28 NUMBERS ARE REALITY 18:42:31 NEITHER FLAT NOR ARBITRARY 18:42:50 "At the centre of electricity is magnetism" 18:42:53 X-D 18:42:57 This is amazing. 18:43:00 James Clerk Maxwell wants a word with you 18:43:03 OMG SBURB LOGO 18:43:06 OH MY GOD THREE MINUTES IN ITS FREEMASON SYMBOL 18:43:11 IT ALL MAKES SENSE 18:43:14 Conclusion: Sburb is freemasonry. 18:43:15 how many drugs 18:43:19 SBURB WAS MADE BY THE FREEMASONS 18:43:19 Phantom_Hoover: well it's true in a yin-yang sort of way 18:43:20 YES 18:43:20 monqy: all the drugs 18:43:21 all of them 18:43:36 oerjan: btw i support the random elephant stomping method 18:43:41 A PHOTON COMING FROM A DISTANT STAR 18:43:45 "Negative backdraft counterspace" 18:43:46 OUR BODY IS CALLED THIS MORTAL COIL 18:43:48 OUR DNA IS A COIL 18:44:05 IMPLODING EXPLODING MACHINE 18:44:12 AN ANTENNA BUILD TO PERFECTLY TRANSMIT AND RECEIVE WAVEFORMS 18:44:18 Apparently tori are heat sinks. 18:44:47 DOUBLING. 18:44:48 Apparently the universe has a North and South. 18:44:53 "i call it an inertia ether" -- albert einstein 18:44:56 THE BINARY CODE IS DOUBLING 18:44:59 O RLY 18:45:03 DOUBLING IS MOTION AT AN ANGLE 18:45:04 this mortal coil has lotsa cuil 18:45:16 Apparently a tornado is more powerful than an atom bomb. 18:45:21 this is the most amazing video ive ever watched 18:45:22 Also a flying saucer. 18:45:29 He; 18:45:34 oh wow 18:45:36 He's just sticking words together now. 18:45:39 tachyons gravitons monopoles 18:45:42 hahahahaha he just like 18:45:49 And he's apparently made a desktop black hole. 18:45:50 strung together fifteen random hypothetical particles 18:45:56 and called them all the same thing 18:45:58 also dark energy etc 18:46:03 this is amazing 18:46:08 It's a ball bearing going back and forth in a cup he's holding. 18:46:12 even the audience laughed 18:46:17 I love you, audience 18:46:23 the only thing that comes from the hole is zero 18:46:23 Phantom_Hoover: "i'd have brought it here but it fell through my desktop" 18:46:32 as it penetrates it leaves a grain 18:46:34 REMIND YOU OF ANYTHING 18:46:40 randy powerll famous sexist 18:46:52 elliott: KNOW WHAT I MEAN SAY NO MORE 18:46:57 negative backdraft counterspace which is the same as gravityhahahahh 18:47:19 unievrsal geometry 18:47:27 monqy: does the music ever stop 18:47:29 tell me it never stops 18:47:33 it stops :( 18:47:39 its still going seven minutes in 18:47:49 EXPANDING BECAUSE WEREO N THE SOTHUERHTN FHALHFFHAHHAHAAHAHAH 18:48:16 hahahahahaoijssogjgjigohdgjfdkgp[khd 18:48:17 gf'cvxc 18:48:17 c 18:48:39 space time implosion feild generator 18:48:41 how long was that fucking name 18:48:42 gejesus 18:48:43 Yeah, I think the commentary basically doesn't help here. 18:48:47 Just watching it is enough. 18:48:56 god no this is amazing i have to share this with the whole world 18:49:21 * Phantom_Hoover watches the first lecture, reads comments 18:49:23 why is this focusing on the ball cup thing 18:49:24 "Ah yes, arithmetic modulo 9, I forgot to mention that. Before Rodin nobody thought it was possible." 18:49:27 while scary noises play 18:49:33 and he talks about curing diseases 18:49:35 its pretty fucking disturbing 18:49:38 Modular arithmetic: invented in the 21st century. 18:50:02 unwillingness to sell it out 18:50:04 idaioasodhasodoiasdhaiodasdh 18:50:21 oh my god 18:50:26 randy powell intro to vortex math part one 18:50:30 and it goes on to an advanced series 18:50:31 dudes 18:50:32 lets so watch this 18:50:34 should we watch this guys 18:50:35 yes 18:50:48 http://www.youtube.com/watch?v=7pvuTZ5u6Kg 18:50:52 lets do this man 18:50:58 where doing this bro 18:51:26 where making it transpire 18:51:44 you might call it gravitons...you might call it radiant energy... 18:51:47 ahahah e equals mc sauqared 18:51:57 monqy: are you doing this bro this is so fuckin communal 18:52:01 yes 18:52:04 i am doing this bro 18:52:10 we should get together and watch all this guys videos sometime 18:52:22 monqy, are you makin this hapen 18:52:30 yes i am makin this hapen 18:52:36 yo uforgot the g dishpit 18:52:39 dishpit :D:D:DD: 18:52:46 ALL VOTING SYSTEMS ARE IDENTICAL IF THERE ARE ONLY TWO OPTIONS 18:52:50 leaves a grain on anything 18:52:52 actually not stochastic ones 18:52:53 it is undecaying and eternal 18:52:58 oerjan: well yes :D 18:53:18 MOST 18:53:18 GREAT 18:53:19 NAME 18:53:19 OF 18:53:20 GOD 18:53:26 ALL VOTING SYSTEMS ARE IDENTICAL IF THERE ARE ONLY TWO OPTIONS <-- random vote != majority vote :P 18:53:29 that might be an argument against them... 18:53:29 mathematical decryption of the most great name of god 18:53:40 oerjan: well stochastihastically they're equivalent aren't they 18:53:45 Gregor: thank you for rephrasing my point 18:53:47 but two option things are irrelevant anyway 18:53:48 for this 18:53:50 as in 18:53:51 oerjan: UR WELCUM 18:53:52 a voting system 18:53:56 More fairly, in some systems abstentions are considered as "no"s 18:54:07 Numbers are music! 18:54:16 Phantom_Hoover: Music is pornography! 18:54:18 1 2 3 4 5 6 7 8 9 18:54:35 Gregor, pornography is a tree! 18:54:44 oh my god 18:54:45 base tenism 18:54:49 Apparently 123456789 are the only digits. 18:54:51 Phantom_Hoover: Trees are made of sand! 18:54:53 ahahahaah 18:54:57 ZERO IS A FICTION 18:54:59 numerology 18:55:00 numerology 18:55:03 and computer science 18:55:13 sand is made of the ground sould of the damned 18:55:18 *souls 18:55:22 oerjan: dude you have to watch this omg 18:55:33 you can model a higher dimensional energy 18:55:36 oerjan: But alas, the damned are numbers. 18:55:39 elliott, don't, he might believe it. 18:55:41 i don't watch videos much 18:55:42 "this is because base 10 is inherent to nature." 18:55:48 elliott: lolwut? 18:55:49 Phantom_Hoover: come on hes just a crackpot not an idiot 18:55:51 Gregor: yep 18:55:55 Gregor: watch and learn bitch 18:56:00 All the functions of math! 18:56:15 NO OTHER KNOWN FUNCTIONS 18:56:16 wat......... 18:56:31 ohmy god im laughing so much 18:56:37 bology 18:56:40 Apparently +-*/ are the only functions. 18:56:43 # aptitude remove trac 18:56:45 *sigh of relief* 18:56:49 Gregor: no 18:56:49 PURGE 18:56:50 not remove 18:56:51 PURGE 18:56:55 reinstall it just to purge 18:57:07 one is the loneliest number 18:57:09 or we might think of one god 18:57:09 this description of 1 is making me feal at peace 18:57:10 BURN AND PURGE 18:57:11 one universe 18:57:26 next numberaaAHAHAHAHA 18:57:31 QHOihzAHAHAHAHAHAHAHAHAHAHA|_+GAw\\ 18:57:34 thanks for doubling 18:57:34 ahshah\fhghy 18:57:35 hj 18:57:42 Apparently 2*8%10 is 7. 18:57:53 8 dobuled is 16 and 6+1 is 7 18:57:58 YES 18:58:04 He's clearly a programmer. 18:58:11 If it's off by one, just fudge it. 18:58:16 Does anybody have a light project/login management system that isn't made of fail? 18:58:22 Gregor: redmine seems...ok? 18:58:27 Gregor: seriously though, I'd just use a wiki :P 18:58:31 structure is for fages 18:58:45 Darn those phages. 18:58:50 six plus four equals ten and one plus zero comes back to one 18:58:51 Killin' all my bacteria. 18:58:58 oh daaaaaaang this math 18:58:59 and one plus one is two 18:59:32 I want to see a proof of this 18:59:38 "No matter what numbers I take I can add some more to get the ones I want" 18:59:55 "There's no possible way to break this doubling sequence" 19:00:01 Unless... I ADD FIVE 19:00:20 goodbye part 1 hello part 2 19:00:20 Apparently doubling is essential to vibration. 19:00:26 source of all motion 19:00:28 I have to to English now, regrettably. 19:00:39 WAIT TIL I'M BACK GUYS 19:00:40 no no no keep going this is amazing 19:00:43 well im going on fuck you 19:00:48 we'll enjoy it together monqy 19:01:00 * Gregor is sad that he can't watch it :P 19:01:07 Gregor: You're missing out on so much. 19:01:11 its so amazing 19:01:32 infinity of deration 19:01:33 Apparently differentiation occurs after 64 cells are formed. 19:01:41 it adds an axis 19:01:49 to c to c to c is doubling 19:02:03 That's true, actually. 19:02:21 OK, I should really go now otherwise the computer will be snatched from my cold dead hands. 19:02:25 sometimes its caleld a chain reaction 19:02:28 or a geometric progresion 19:02:31 !!!! 19:02:32 another example of doubling 19:02:35 Did he just say neutrino rather than neutron 19:02:35 the binary code in computers 19:02:57 half of .5 is .25 and 2+5 is 7 19:03:06 half of one is point five and thus five 19:03:16 point one two five 19:03:18 which equals eight 19:03:38 daaah i forget what the number is 19:04:11 it is the spin continuum which the universe is on 19:04:22 the universe is on a treadmill 19:04:24 a bounded infinity 19:05:31 what happens when i double thee. 19:05:33 three 19:05:57 half of 3 is 1.5 which is 6 19:07:28 the nine is the queen of the chess game 19:07:37 what happens if you double nine 19:07:43 omg 19:07:46 nine odubled is eighteen 19:07:48 one plus eight is nine 19:07:49 9 19:07:50 nine doubled is nine 19:07:51 9 19:07:53 9 19:07:55 9 19:07:55 9 19:08:04 omg nine is in a loop with itself 19:08:06 kink 19:08:07 y 19:08:10 it's polarizing the numbers 19:08:19 So basically this guy is in some weird obsession with summing all the digits of a number. 19:08:27 pretty much 19:08:30 Because base-10 is perfection for some retard reason. 19:08:31 -!- cheater15 has joined. 19:08:36 #hisoteric 19:08:49 oh dang another board 19:08:50 #historectomy 19:08:53 Gregor: Digital roots, man. Common in numerology and computer science. 19:09:03 multiplication tables yay 19:09:15 im sorry for the primtive board 19:09:18 primitive bored 19:09:18 elliott: So long as by "computer science" you mean "literally every field other than computer science and music" :P 19:09:21 5 6 7 8 9 19:10:00 monqy, what board? 19:10:10 vortex math man 19:10:21 url 19:10:21 never any redundancy 19:10:29 U R L 19:10:33 NAO 19:10:35 monqy: part three yay 19:10:37 this is is ofun 19:10:38 you should start at part 1. you should also start at the tedx talk. 19:10:42 1251 is the equation for the Most Great Name. 19:10:42 theabhakingdom 4 months ago 2 19:10:43 http://www.youtube.com/watch?v=7pvuTZ5u6Kg 19:10:51 Gregor: no 19:10:52 tedx talk first 19:11:04 I haven't even clicked that link, I was just giving a URL since you guys weren't :P 19:11:08 http://www.youtube.com/watch?v=iRTPFXZMtOY 19:11:10 this one is buffering badly :( 19:11:32 i see spirographs in the sidebar for advanced vortex math 19:11:37 are you looking forward to that expert level monqy 19:11:38 i know i am 19:11:47 so looking forward to it 19:11:59 what do you mean by mirrors 19:12:00 the one and the eight 19:12:03 they dont look like mirrsors 19:12:06 you don't have 10 fingers you have .5 19:12:10 ...haha what 19:12:12 does he say that 19:12:27 when 1 is positive going up 8 is negative going down 19:12:45 id listen to this shit like most people listen to podcasts 19:13:36 and one plus one is two 19:13:57 I still want to know what 1251 means 19:14:03 aside from being the equation for the most great name 19:14:06 sorry 19:14:09 Most Great Name 19:14:23 its how you loop the multiplications or something i guess 19:14:41 oh god it's zooming in 19:14:51 cant wait 19:15:07 twelve, which is three 19:15:19 i could go to twetny but im back here 19:15:23 keepin it real 19:15:45 Randy, Saturn has a hexagon on its surface, no one knows how it got there or why. 19:15:45 Seems to match. 19:15:45 CliveSinclairZX 5 months ago 19:15:45 never stop learning 19:15:45 CliveSinclairZX 5 months ago 19:15:46 Reply 19:15:56 in Pythagoras' time, the number nine was not permitted to be named out loud, it was considered so powerful and sacred.. : ) 19:15:56 jscotthales 1 month ago 19:16:11 [[it's sad that less than 1000 people have seen this. 19:16:11 Justin9Noble 6 months ago]] 19:16:12 for once 19:16:12 i agree 19:16:16 hahaha 19:16:17 Nine was Yahweasel's former name. 19:16:19 monqy: 19:16:19 He's right! My friend and I just multiplied 9 by 30436 which = 273924 19:16:19 2+7+3+9+2+4 = 27 ... 2 + 7 = 9!!! 19:16:20 krishnadefier 5 months ago 4 19:16:20 I have to go now :( 19:16:26 ...:'( 19:16:30 is Gregor watching 19:16:32 school is lame unlike vortex math 19:16:34 elliott: Nope :P 19:16:35 i guess ill wait for ph 19:16:41 need a buddy for vortex math 19:16:53 "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:16:56 --reddit 19:17:09 elliott: you're educated STUPID 19:17:23 With your oneist faggot god. 19:17:30 moar like onanist 19:17:35 1-ist 19:17:41 -!- zzo38 has joined. 19:17:54 time to obsessively refresh mspaintadventures.com instead 19:19:12 i just hit my head with my knee 19:19:19 i think i did that once 19:19:21 i just did it again because you quoted that 19:19:25 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:27 ah. 19:19:27 ...why kne... 19:19:28 ...why... 19:19:30 knee 19:19:41 my knee was like 19:19:42 durp 19:19:44 heres my chance for fame 19:19:45 bonk 19:19:49 elliott: i may suggest getting a better sitting position 19:20:01 oerjan: its a laptop its meant to be usable from any position duh 19:20:20 no, _not_ that position. unless you're watching karma sutra porn. 19:20:32 is elliott sitting on a chair with the laptop on the floor at his feet 19:20:36 karma 19:20:37 because that would be really funny 19:20:37 karma sutra 19:20:41 itym kama 19:20:43 oops 19:20:46 right 19:20:50 is there like a comprehensive film version of the kama sutra thatd be pretty quaint 19:21:08 elliott: my discover that muphry's law applies to clever quips seems to hold 19:21:11 *y 19:21:13 ... "quaint" 19:21:17 Gregor: yeah 19:21:22 oh them oldies trying on the pornography 19:21:23 _or_ maybe i'm just shit at typing. 19:21:25 how cute 19:21:33 how adorable 19:22:27 well i wouldn't know. 19:25:30 QUIT messages seem to mislogged 19:25:48 They work sometimes but not all the time? 19:26:39 Is Gregor currently available? 19:26:59 no 19:27:51 he had his head bashed in by crystal-cola 19:28:07 oerjan: raising the channel temperature i see 19:28:16 Well, he does need to correct that problem. 19:28:16 you'll end up on meaningless ignore next :D 19:28:37 elliott: i just got to that point in the logs. 19:29:05 also e isn't here. 19:29:11 oh indeed. 19:29:14 when did that happen. 19:29:45 well i'll just check for eir QUIT message in the logs - OH WAIT 19:29:47 hm no PART or QUIT in http://codu.org/logs/_esoteric/2011-05-05-raw.txt 19:29:59 i suspect the channel-splitter is broken 19:30:04 huh. 19:33:04 10:45:07 --- quit: crystal-cola (Read error: Operation timed out) 19:33:07 from tunes 19:33:36 two minutes before i joined 19:33:55 wait... 19:33:56 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:08 oerjan: ? 19:34:12 elliott: it _is_ in the non-raw logs, you rascal 19:34:16 is it 19:34:19 ok i didnt check 19:34:21 17:49:22: -!- crystal-cola has quit (Read error: Operation timed out). 19:34:26 oerjan: The tunes is working it displays QUIT messages all the time. But in glogbot logs, the QUIT message is only sometimes. 19:34:26 zzo38, many, many ranks. 19:34:38 zzo38, but really, even the best sailors can't do that. stop dreamin' 19:35:04 clog mislocks other things to make up for i 19:35:05 t 19:35:07 zzo38: even after a while? i've noticed glogbot is sometimes slow to update 19:35:29 oerjan: Even after a while that is the case 19:35:48 cheater15: Should fifty ranks be sufficient? 19:35:58 no, it's impossible 19:36:00 physically 19:36:12 OK. 19:37:43 Gregor: i suppose raw missing things that txt has is also disturbing 19:38:20 Is Gregor currently on here and available? It doesn't look any of his message on here right now. 19:38:28 he spokes just minutes ago 19:38:46 OK. 19:38:48 17 minutes, it seems 19:38:58 Then it means I am too late 19:40:39 "late, as in late dentarthurdent" 19:41:05 *the 19:42:58 the late zzo38 19:43:41 I'm known for finding these situations hilarious and wonderful :P 19:43:57 now you know why we don't make him a permanent op 19:44:11 Well, at least we wouldn't get banfests :P 19:44:25 Except for when he just wants to ban someone. 19:44:38 Or someTHING. 19:47:56 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 Any language that has a .com doesn't get to call itself esoteric :P 19:50:30 I know it's a clone of one another language that has taken graphical direction 19:52:51 remembering I were supposed to fix the damn editor model so it doesn't break my cockfiles. 19:54:24 rank and file your cocks 19:55:13 I know it's funny, but try hold it until I get this through. :) 19:55:33 cockfile cockfile cockfile 19:55:57 cockjokes are getting old so fast and I need to resist a lot from changing that name. 19:56:33 i'm sure oerjan would be happy to ban you if you took away his endless source of puns ;D 19:56:34 otherwise I wouldn't bother. :) 19:59:17 Does Lode Vandevenne still have account in the wiki? 20:00:30 zzo38: User:Aardwolf, but he hasn't edited for years 20:01:24 I just wanted to know, because I used one of his programs (unrelated to esolang or to the wiki), called LodePNG. 20:02:05 (I think I found LodePNG when looking on Wikipedia, actually.) 20:02:42 well Aesculapius managed to contact him by email yesterday 20:03:11 (from the link on his website) 20:04:31 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 yes, it's also old. hm. 20:07:59 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 (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 hmm, Oracle vs. Google is getting amusing 20:29:53 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 "One of you... be more wrong." 20:30:31 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 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 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 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 I have a question for comex, but there is no way to put it that won't be weird :/ 20:32:41 I love weird. 20:33:47 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 (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 ais523, wtf sort of justice is that 20:44:29 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 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 5 days of class remaining. 20:44:59 And 5 tests. 20:45:43 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 Sgeo: if it's old, you can probably use some tool to jailbreak it 20:47:51 comex, would that preserve the data on it? 20:47:58 although that won't help by itself 20:48:35 I think this will work, actually: http://www.theiphoneguru.net/2010/11/01/guru-guide-remove-your-forgotten-iphone-password/ 20:51:36 hmm, ty 20:51:47 And some jailbreaking methods won't require passcode and won't wipe data? 20:52:23 Actually, jb status may be unknown 20:54:20 i've found an ipod once, it was owned by a girl, who left her undressed shots on it. 20:56:29 cheater15: That was a man. With fetishes. 20:57:30 I dislike patents in general. 20:59:02 no, it was a girl. 20:59:02 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:00:12 X-D 21:00:46 kinky 21:01:37 -!- Sgeo has quit (Ping timeout: 258 seconds). 21:20:31 -!- MigoMipo has quit (Read error: Connection reset by peer). 21:24:10 nn;kl/ 21:24:28 there are 16 intro to vortex math videos. that is too many. 21:24:50 http://paste.pocoo.org/show/383690/ <- I changed my double-linked-list-using implementation into this kind of thing. 21:24:57 monqy: excuse me 21:25:01 monqy: were not only watching them 21:25:04 were watching the advanced tier 21:25:09 just ... not today :D 21:25:15 im watching advanced right now 21:25:23 without even doing the intro 21:25:24 how could you 21:25:27 youre not fucking prepared 21:25:29 this is irresponsible 21:25:30 im disgusted 21:26:31 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 youre not fucking prepared <-- i guess he got sucked in 21:27:57 hes never going to escape 21:28:01 the math vortex 21:28:58 hey guys how do i inplement continuation passong style?? 21:29:40 what do you mean implement 21:29:43 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 um every function takes an extra argument, its continuation 21:30:52 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 (The P is there for obvious reasons.) 21:31:34 this vortex math is too advanced 21:31:57 tswett: well assuming PExprs are used both for expressions and for results... 21:31:58 what is he doing with his hands what is he tracing 21:32:03 including the final program result 21:32:10 * Phantom_Hoover → sleep 21:32:15 oerjan: yep. 21:32:25 There is no printing here. 21:32:27 then that should work. 21:33:17 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 since then you won't accidentally return a result normally instead of passing it to the continuation 21:33:51 oerjan: yes, I think you're right. 21:34:20 * tswett realizes that the continuation already was last. 21:34:31 :D 21:34:38 * oerjan was about to say 21:35:28 And I changed the type signature to make the continuation first. :( 21:36:21 My, this code looks very imperative. 21:36:31 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 21:36:58 CPS is essentially monadic, you can more-or-less convert between those 21:37:28 Between whose? 21:37:38 between CPS and monadic style 21:37:42 ("Whose" is the plural of "what". Trust me.) 21:39:01 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:23 * tswett nods. 21:40:29 tswett: If you're using Haskell, you might want to use the CPS monad... 21:40:39 indeed 21:40:51 @src Cont 21:40:51 newtype Cont r a = Cont { runCont :: (a -> r) -> r } 21:41:09 Otherwise, well, continuations are pretty easy conceptually (and somewhat annoying code-wise) if you need to do it manually. 21:41:15 Only thing you need is closures. 21:41:43 Hm. I'm not distinguishing between evaluated code and unevaluated code. Some code may end up evaluated many times. 21:41:49 Oh well. 21:41:55 tswett: i noticed that 21:42:35 in some unlambda scribblings i distinguished between expressions and functions 21:43:10 How many Unlambda interpreters have you written? :P 21:43:52 lessee there was haskell, ocaml, a conversion into underload... 21:44:08 and the self-interpreter (essentially meta-circular) 21:44:34 the underload conversion i only mentioned in the channel since ais523 said he'd made a much simpler one 21:44:34 i never met a circular i didn't vortex 21:44:45 and if you halve one you get five 21:44:50 oerjan: I deleted it by mistake 21:44:56 ais523: WE ARE AWAY 21:44:58 AWARE 21:45:01 and are monitoring your actions 21:46:21 the ocaml one was the first one where i used this type idea, which i then essentially translated to the underload 21:47:05 initiating sleep patterns.. 21:47:39 the best design patterns ever 21:47:56 -!- Cheery has quit (Quit: Lost terminal). 21:47:57 newtype Expr = Expr (Cont -> Func); data Func = Func (Expr -> Cont -> Func); newtype Cont = Cont (Func -> Func); 21:48:34 the Func one uses Expr rather than Func because of unlambda's d function, it can be Func otherwise 21:49:42 wait data should be newtype there too 21:49:55 the idea was to get only pure functions 21:50:19 oh and this ignores IO 21:50:33 (ocaml and underload are both impure for that) 21:51:17 (and those are haskell types nevertheless, i haven't touched ocaml for years ;D) 21:52:01 tswett: anyway for unlambda Expr represents unevaluated code and Func represents evaluated code 21:52:14 Neato. 21:53:19 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 although you might want to mix in the "current character" data to get just -> IO () at the end 21:54:33 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 tswett: eval exprf $ \f -> eval exprx $ \x -> reallyApply f x cont 21:55:08 Lovely. 21:55:22 eval for yourself 21:55:33 oh wait i missed expry 21:55:43 Nah, I'm fine doing it wrong. :P 21:55:53 i thought you were asking about the basic case 21:56:59 tswett: well if you distinguish unevaluated vs. evaluated, then apply (PApp exprf exprx) expry cont should be a type error 21:56:59 apply (PApp exprf exprx) expry cont = error "Trying to apply an unevaluated function" 21:57:01 antoine de saint-expry 21:57:28 *exupery 21:57:35 whooosh 21:57:37 oh wait i missed expry 21:57:48 AND AGAIN 21:57:59 I AM CONFUSED 21:58:05 i guess i'm just not expryenced 21:58:21 oh wait 21:58:23 you mean i actually won 21:58:27 HAHAAHAHAHHA YOU LOSE HODFGG 21:58:55 (rule: the only way to counter a missed pun is to make an even worse one) 21:58:55 oerjan: I WIN WI I WIN I WIN I INW II WIN I INWIN II WNI 21:58:58 I WIIIIIN 21:59:03 okay. 21:59:08 also 21:59:10 did you notice the 21:59:11 DUAL pun 21:59:16 oerjan: indeed. 21:59:22 oh wait i missed expry 21:59:29 "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:36 [shades] 21:59:41 And now for the fun thing: apply PCallCC exprx cont 21:59:47 oerjan: shades 21:59:54 shades shades shades 22:00:59 haha i am dancign around dacene danece dansce danzsce 22:01:04 i won over oerjan woooon won 22:01:06 won won won won won won won 22:01:16 wonwonwonwonwonownownownownonwonwnwonownowownownwownownowowownwwnwnnownonwonownonownonwonow 22:01:19 elliott: i guess this is not a good time to ask wtf you mean by dual pun 22:01:29 oerjan: 22:01:30 oh wait i missed expry 22:01:30 "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:31 expry wasmissing 22:01:34 nothing left to take away 22:01:38 said by antoine de saint-EXPRY 22:01:44 god im just too fucking deep for you jesus 22:01:58 yes. practically drowning, i say 22:02:03 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:10 "interesting ways" XD 22:02:34 hmm darn sed fails on infinite lines i think 22:02:45 ]% python unpredictable.py | sed 's/X/o/g;s/__/w/g;s/_X/n/g;s/X_/o/g;s/XX/w/g' 22:02:46 yeah... 22:03:50 lrn2awk 22:04:05 tswett: = apply exprx cont cont afaict 22:04:18 modulo type wrappers 22:04:21 apply PCallCC exprx cont = error "I haven't written this yet" 22:04:25 -!- elliott has changed nick to antndsnt-expry. 22:04:34 perfection is achieved 22:04:37 oerjan: that could easily be something like it. 22:04:41 not when there are no more vowels to add 22:04:41 Or, perhaps, it. 22:04:46 but when there are no more vowels left to take away 22:04:56 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:07 ok... debugfs is INSANELY slow. 22:05:12 oerjan: yeah, I should probably be more nervous about that. 22:05:29 why is debugfs THIS slow? 22:06:08 it has been running "icheck" for several very long minutes now 22:06:43 also, can an ext3 block be shared by multiple inodes? 22:06:58 oerjan: how are your MORPHISMS 22:07:01 * antndsnt-expry continues smashing shades indiscriminately against oerjan's head 22:07:21 mighty morphisms? 22:08:20 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 apply PCallCC exprx cont = error "I haven't written this yet" 22:08:29 A good start, don't you think? 22:08:50 excellent 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 tswett: do you think he will react one day : / 22:11:20 elliott: yes. 22:11:24 yay 22:11:25 * elliott continues smashing shades indiscriminately against oerjan's head 22:11:40 i should call them limbless corpses of what once were shades at this point really 22:12:07 i refuse to be drawn into shady business 22:12:13 -!- BeholdMyGlory has quit (Remote host closed the connection). 22:13:06 hmm 22:13:09 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:14:37 the shades... 22:14:38 ... 22:14:41 ...have left the building 22:15:12 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 apply (RCont c) exprx = returnTo c exprx 22:17:29 (sadly plain return is taken) 22:18:18 or i guess PCont in your naming scheme 22:18:47 er 22:18:58 *apply (PCont c) exprx cont = returnTo c exprx 22:21:17 Where did R come from? 22:21:25 reified 22:22:13 * tswett nods. 22:22:16 apply (PCont contx) exprx cont = contx exprx 22:22:16 apply PCallCC exprx cont = reduce exprx $ \rexprx -> reduce (PApp exprx (PCont cont)) cont 22:22:19 Aye? 22:22:48 Now I just have to write "lambdaSub sym rexprf rexprx". 22:23:13 um no rexprx is already reduced 22:23:51 apply PCallCC exprx cont = reduce exprx $ \rexprx -> apply rexprx (PCont cont)cont 22:24:08 Yes, you're right. 22:25:00 except i thought apply should have _both_ first arguments already reduced? 22:25:22 *first two 22:25:52 unless you were doing lazy evaluation, in which case callCC does not make sense... 22:25:53 It does but need not. :P 22:25:53 -!- elliott has quit (Ping timeout: 260 seconds). 22:26:25 It evaluates everything, even if we know that it's already been evaluated. 22:26:54 ok 22:27:10 Stupid? Of course not. Nothing I do is stupid. 22:27:16 >_> 22:27:59 -!- zzo38 has quit (Quit: zzo38). 22:28:14 TYPES MOTHERFUCKER, DO YOU USE THEM? 22:28:59 data Value = V (Value -> Bool) -- using this, we can encode anything 22:29:37 ...right... 22:30:06 V $ const True, V $ const False, and so on from there 22:31:31 \v -> case (v . V $ const True, v . V $ const False) of ... 22:32:22 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 tswett: also that should clearly be a newtype 22:32:28 Oh, right. 22:33:15 tswett: me and elliott discussed a haskell game based on such a scheme previously 22:34:02 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 and then maybe a hill like for bfjoust 22:35:23 warrior x = x warrior -- this will work excellently against a perfect enemy 22:35:53 tswett: um no, the requirement to halt and return True when passed yourself is absolute 22:36:10 automatic disqualification if not 22:37:02 yours would infloop then 22:38:25 then returning False for the other warrior wins unless it does the same 22:38:38 *the same for you 22:38:55 You can't prove it doesn't return True. :P 22:39:01 (You can prove that easily, of course.) 22:40:36 i wasn't imagining a mathematically ideal contest setup you know 22:40:52 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 is it even possible to pass a function itself in Haskell? I thought that didn't type 22:41:51 ais523: you need a newtype wrapper, is all 22:42:18 see the above definition of Value 22:42:49 (with s/data/newtype/, data is unnecessary) 22:43:45 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 !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 [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:48:43 ais523: ^ 22:50:23 wow 22:50:59 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 polls closed a couple of hours ago, the votes are being counted at the moment (by hand) 22:51:18 and I'm watching it too, but it's a different channel in the UK 22:52:04 Ooh, the AV referendum. 22:52:19 Isn't the more traditional definition of fix: fix f = x where x = f x? 22:52:22 today is the day; I voted Yes, as did most of my family, one of them by mistake 22:52:24 ais 22:52:32 are you planning to go to bletchley park this year 22:52:34 !haskell fix f = x where x = fx; main = print . take 50 $ fix (1:) 22:52:38 Erm. 22:52:41 !haskell fix f = x where x = f x; main = print . take 50 $ fix (1:) 22:52:46 I read the "No on AV" campaign. It was inconsistent and didn't support most of its points. 22:52:57 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 and quite a lot of people misread it as Yes = FPTP 22:53:06 That'd be a "no, I am not correct in thinking that". 22:53:13 I'm not entirely sure what effect that'll have on the voting 22:53:15 cheater15: no 22:53:39 ais523, fizzie said there was a plan to do that 22:53:49 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 are there a bunch of esolangers going there? 22:54:12 yes 22:54:17 hmm, possibly then 22:54:22 but still probably not 22:54:23 Not that it affects me at all, *but* instant runoff has issues. 22:54:33 Still, fucktons better than FPTP. 22:55:14 it does have issues, but they're mostly quite technical and hard to describe 22:55:31 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 As I said, fucktons better than FPTP. 22:55:40 (more out of curiosity than anything, I didn't actually want to change it) 22:58:16 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 22:59:04 oerjan: Mmm. 23:00:40 ais523, what city do you live in? 23:01:21 Birmingham UK 23:01:27 I think that's pretty large public knowledge by now 23:01:44 what with my email address showing I go to (in fact, work at) Birmingham University, and several other clues 23:05:11 pikhq: also your code is failing because your where block doesn't end before the main 23:06:35 ais523: is it on som BBC station? they might be webcasting 23:06:54 BBC 2 in the UK, I think 23:07:02 they do webcast, but geographically filter 23:07:14 oh, blarg 23:07:14 so you'd need to go through a proxy in the UK 23:07:38 meh, I don't care enough 23:07:57 I know I watched the last election on BBC World News, as I was in Canada at the time 23:08:17 oerjan: Aaaah. 23:08:27 ais523: An election is far more significant 23:08:32 moreover, I'm in California and without a TV 23:08:44 coppro: there's an election at the same time 23:08:47 so they're being covered together 23:08:51 oh 23:08:59 it's a council election, though, not general election 23:09:22 but people are still very interested because they want to see just how badly the Lib Dems will do 23:09:51 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 ais523: Your university is on your Wikipedia page. 23:10:12 there are also full elections in Scotland, Wales, and I think also Northern Ireland 23:10:19 :) 23:10:23 I have a Wikipedia page again? 23:10:31 I thought it was merged into the page about the turing machine 23:10:43 Yeah, but https://secure.wikimedia.org/wikipedia/en/wiki/Alex_Smith_%28The_Simplest_Universal_Computer_Proof_contest_winner%29 redirects to it. 23:10:53 ah, redirect 23:11:01 that is an absurd dab bracket, by the way 23:11:10 Yup. 23:13:01 ais523: do something else notable so that you can have a shorter one. 23:13:37 Preferably something simple. 23:13:49 Say, prove P≠NP. :P 23:14:01 "Sir Alex Smith was born a Scottish industrial scientist and educator." Um... 23:14:03 "P and NP are clearly different strings. Ergo, P≠NP. QED" 23:14:11 I didn't know those positions were born into in Scotland. 23:14:36 tswett: Everything's done differently there. 23:14:43 And English is a foreign language. 23:15:36 tswett: of course. how did you otherwise think the scots managed to start the industrial revolution? 23:15:46 Ooh, I see. 23:24:47 -!- Sgeo has joined. 23:27:14 Hi Sgeo. 23:27:22 Hi 23:49:21 coppro: it seems that the AV referendum votes will be counted tomorrow 23:49:53 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 also, ooh, I just found the official website that contains all UK law 23:51:34 so I can read up on the relevant laws 23:51:39 I was wondering if there was one of those around 23:52:31 -!- azaq23 has quit (Ping timeout: 240 seconds). 23:54:57 It definitely doesn't contain all UK law. 23:55:09 ah, OK 23:55:21 well, all the legislation that they could find, anyway 23:55:31 There are a number of Acts of Parliament which are lost forever. 23:58:39 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 Lex Caccii Viginti Duo 23:59:50 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 and in between, people just have to remember they don't apply