00:00:30 hm one issue with treating integers and other atomic values in a concatenative language as x === [x] is that operations on them don't seem to make sense... 00:00:40 as in, you can't look inside a quotation, so how can + look inside its arguments? 00:01:00 hm 00:01:21 SHA-512/224: 8C3D37C819544DA2 73E1996689DCD4D6 1DFAB7AE32FF9C82 679DD514582F9FCF 0F6D2B697BD44DA8 77E36F7304C48942 3F9D85A86A1D36C8 1112E6AD91D692A1 SHA-512/256: 22312194FC2BF72C 9F555FA3C84C64C2 2393B86B6F53B151 963877195940EABD 96283EE2A88EFFE3 BE5E1E2553863992 2B0199FC2C85B8AA 0EB72DDC81C52CA2 00:02:37 -!- poiuy_qwert has joined. 00:05:23 -!- cheater- has joined. 00:05:30 A good bit too much carbon dioxide? 00:07:08 Ilari: irregular webcomic had an annotation the other day mentioning how pre-space probe scientists thought venus might have fizzy oceans 00:07:59 -!- cheater00 has quit (Ping timeout: 240 seconds). 00:09:07 hmm and is Joy really homoiconic? 00:09:15 in [foo], i don't know if there's an object representing foo, i.e. does joy have symbols? 00:10:49 "I can understand the benefit of pulling things like Ioke. I can't understand 00:10:49 the benefit of pulling Factor. Unfortunately, you can't write taste into the 00:10:49 notability guidelines." 00:10:51 Sgeo will be FUMING 00:12:34 elliott, you're saying that that person likes Factor but dislikes Ioke?/ 00:19:12 Oh wow, Seph is going to have HOTSWAPPING 00:19:18 Maybe Sgeo will be trapped forever 00:19:38 Well, kinda. 00:22:40 so oerjan, any THEOREMS? 00:23:01 Ilari: irregular webcomic had an annotation the other day mentioning how pre-space probe scientists thought venus might have fizzy oceans 00:23:04 that's what lead me to the wp article 00:23:29 oerjan: also types, not kinds of constructors, presumably 00:27:21 ok AH must be an esolanger. it is the only possible explanation. 00:28:59 ? 00:30:25 Sgeo: http://www.mspaintadventures.com/storyfiles/hs2/02026.gif 00:30:38 -!- invariable has changed nick to variable. 00:32:33 elliott: not yet but i suddenly thought maybe it isn't necessary to have junk _between_ all the items, just on top and sometimes inside 00:32:44 which should simplify things 00:32:49 oerjan: did devoting just the top stack element to it not work out? 00:33:09 elliott: that works for just removing ! 00:33:15 ah 00:33:27 oerjan: maybe you could transform every stack element into like ((junk)(real stuff)) 00:33:28 that's just a thought 00:33:39 please respond "ooh!" 00:33:40 even if you 00:33:42 don't think it will help 00:33:45 just to make me feel clever 00:33:51 however when you have no ~ it is obvious that you cannot get rid of junk between the elements, so i thought having junk between every element 00:33:55 "ooh!" 00:33:56 PLEASE 00:33:57 *please 00:33:58 capslock 00:34:12 elliott: i've already settled on (real stuff(junk)*), more or less 00:34:12 -!- elliott has quit (Read error: Connection reset by peer). 00:34:26 -!- elliott has joined. 00:34:26 also, ooh! 00:34:31 oerjan: thank you 00:34:36 oerjan: (does it really help) 00:34:39 (am i a genius) 00:34:45 oh 00:34:47 you already settled on it 00:34:49 prolly cuz like 00:34:51 you're a genius 00:34:58 oerjan: hm but that seems inconvenient because it puts junk into your real stuff 00:35:00 -!- augur has quit (Remote host closed the connection). 00:35:12 i need that anyway 00:35:41 when i realized i'm going to have to incorporate junks into the items anyway, i thought maybe i don't need to put any between them on the stack. 00:35:41 -!- elliott has quit (Read error: Connection reset by peer). 00:36:02 -!- elliott has joined. 00:36:03 GET A DAMN CONNECTION 00:36:04 fuck this shit 00:36:10 oerjan: i blame jews 00:37:03 elliott: ((junk)real stuff) might be nice, but there's no avoiding _some_ at the end 00:37:21 oerjan: (real stuff(junk)!) with a ! translation? :P 00:37:35 elliott: * _is_ a ! translation for this purpose 00:37:42 oerjan: ah. 00:37:52 the real stuff would already be putting junk on top, after all 00:38:07 so underload without : is definitely not TC right? ...not even with a, which gives you the ability to create longer strings? >:D 00:38:24 I'm thinking a*()^ here 00:38:31 elliott: yes. :()^ are absolutely essential, you cannot make a non-halting program without all of them 00:38:41 WHATEVER YOU SAY, MR. "EXPERT" 00:38:52 : is the only command which grows the _combined_ size of program and stack 00:39:15 (technically you need to count a's at least double) 00:39:17 BLAH BLAH BLAH 00:39:23 BLAAAAAAAHHHHHHHHHHHHHH 00:39:26 SCIENCE LOGIC FACTS 00:39:27 SCIENCE LOGIC FACTS 00:39:28 SCIENCE LOGIC FACTS 00:39:29 SCIENCE LOGIC FACTS 00:39:31 ^ is the only one which doesn't shrink the remaining program 00:39:42 why don't you prove a*()^ tc with synchronicity instead :( 00:39:53 haha i'm the worst. 00:39:55 and ( is the only one which can usefully start a program 00:40:08 huh yeah all underload programs start with ( don't they 00:40:10 elliott: ALL THIS IS EXPLAINED IN MY NEW ARTICLE SECTION 00:40:13 that's a FUN FACT 00:40:22 we need a FUN FACT database 00:40:23 they must, or crash immediately 00:40:30 programs that crash aren't programs 00:40:30 well except the empty program 00:40:32 ok technically 00:40:33 right yes 00:40:50 oerjan: btw the underload article is totally inaccessible now :D 00:41:08 summary, command list, unlambda translation, HUGE SECTION OF THEORETICAL CONFUSINGNESS 00:41:12 and then examples 00:41:24 don't rearrange it, i like it. 00:41:50 -!- poiuy_qwert has quit (Quit: This computer has gone to sleep). 00:42:26 :´( 00:42:39 oerjan: wat 00:42:48 IS NOT INACCESSIBLE 00:42:58 SORRY i won't hurt your feelings in the future 00:43:05 * elliott pats the mathematician on the head 00:43:07 there there 00:43:10 so you think the examples should be earlier, maybe? 00:43:13 it's ok, we won't involve the REAL WORLD. 00:43:17 oerjan: hey i _just said_ i liked it :D 00:43:42 i mean if i were going for boringness i'd put all the translation and minimisation and stuff on a separate page like bf minimalisation is. but seriously, i like it how it is. 00:43:58 may still happen if it keeps growing 00:44:19 oh that's what catamorphism means 00:45:31 hm wait i can drop the junk on top too... 00:45:33 Zenwalk live boots up SO SLOWLY 00:45:44 just incorporate it as well 00:45:46 -!- augur has joined. 00:46:01 oerjan: nooo 00:46:02 no dropping 00:46:04 and junking 00:46:05 i likes it 00:46:10 i defend article to death 00:46:58 but but ... with that change i can actually keep most of the instructions identical! 00:48:07 hah everything except ~ and ! in fact 00:48:28 The Zenwalk people never heard of that rule whose name I can't remember 00:48:32 and ! becomes the a(*)** subroutine which i was using all over the place 00:48:49 oerjan: oh wait 00:48:52 drop the junk on top in the underload 00:48:54 and now it's so simple i don't need to optimize the expression for ~ any more 00:48:56 not from the article :D 00:49:00 elliott: XD 00:49:20 -!- zzo38 has joined. 00:49:30 Is there any chess variant on Rubik's cube? 00:49:35 ok now the transformation becomes super-simple 00:49:58 oh wait fuck 00:50:04 oerjan: thought that was too easy to be true. 00:50:09 you're never that happy. 00:50:18 the a(*)** subroutine _depends_ on there being junk on top :( 00:50:23 *hugs* 00:50:24 everything is ok. 00:50:28 hm but if i _quine_ it... 00:50:50 *MWAHAHA* 00:50:51 hey oerjan how does it feel devoting this much time to an imperative language. ok that's not fair, it's pure if you ignore S. 00:50:53 ok so it's not exactly pure 00:50:56 but like 00:50:58 it's functional 00:51:06 UNDERLOAD IS THE PUREST OF THE PURE 00:51:18 technically the stack paradigm isn't pure, but the concatenative way it is viewed by the cool people (program is function from stack to stack) is pure. 00:51:25 and the typical programming style is very functional and pure. 00:53:00 ok plan now: implement the replacement for ! such that it incorporates the deleted element as junk at the end of the previous one, _plus_ itself 00:53:33 that way when the combined element is run, the inner ! will reiterate the process 00:53:42 oerjan: it's so fun watching you monologue :D 00:53:44 thought you should know 00:53:48 i bet half the channel is watching 00:53:53 *MWAHAHAHA* 00:54:04 is that mathematician for "[embarrassment]"? 00:54:15 I watch, but maybe I watch late 00:54:36 elliott: i _was_ sort of assuming at least you wanted to watch 00:54:42 i do :P 00:54:58 keeps me entertained. sadly i'm not even joking. 00:55:36 [[I'm pretty sure there is a mathematical proof somewhere that a language can't both be turing-complete and reversible. I might be wrong though. --TehZ 19:29, 14 January 2011 (UTC) 00:55:36 Most definitely wrong. Maybe you are thinking about how a program in a reversible language with finite memory has to halt or return to its original configuration? --Ørjan 09:30, 15 January 2011 (UTC)]] 00:55:40 er isn't that true of all languages with finite memory 00:56:08 we want the equation ! = a(!)** 00:56:48 There exists... a graphical installer for Gentoo? 00:56:55 Sgeo finally enters 2006 00:57:23 elliott: no, it could get in a loop not including the original configuration 00:57:31 oh right 00:57:45 I(SII(SII)) -> SII(SII) -> ... -> SII(SII) 00:58:10 Do you use 1/72.27 points in one inch or 1/72 points in one inch? 00:58:18 elliott: incidentally if you don't simplify the I's until you actual run them, that _doesn't_ return but keeps heaping on I's 00:58:38 oerjan: yeah but only a silly person would do that. ha ha, silly. 00:58:57 oerjan: (reminds me of the superstrict lambda calculus which probably has a name other than that one that i made up but i don't know it) 00:59:16 oerjan: (where in (\x. ...(f y)...), (f y) is evaluated) 00:59:23 i.e. the term (\x. Y Y) itself diverges 00:59:30 elliott: it was sort of a point when i analyzed 0x29a 00:59:41 (ofc you can consider that (\x. Y Y) = (\x. _|_) = _|_, but i was speaking from an observation point of view) 01:01:24 elliott: wait you made up "superstrict"? 01:01:38 oerjan: ...well that could be that thing, where you think you made up something that actually you heard and forgot. forgot the name. 01:01:48 http://www.google.co.uk/search?sourceid=chrome&ie=UTF-8&q=superstrict+lambda+calculus doesn't show up anything 01:01:58 in that case i must have heard about it from you because that's the name i associate with it too 01:02:00 so i guess i did invent that term, maybe, at least for super-strict lambda calculus 01:02:11 I mean, one point = 1/72.27 inch or one point = 1/72 inch ? 01:02:14 oerjan: i think i was the one who blabbed about it, yeah... i'd say it's quite related to specialisation too 01:02:30 oerjan: in that in (\y. f 42 y), (f 42) will be evaluated immediately 01:02:34 and all the simplifiable parts inside will be too 01:02:43 but yeah. 01:02:47 i keep meaning to implement it. 01:03:44 so argh, how do you do ! = a(!)** without ~ ... 01:06:42 -!- BeholdMyGlory has quit (Remote host closed the connection). 01:12:41 oerjan: PING 01:13:11 -!- Zuu has joined. 01:14:06 elliott, WRONGPERSONPONG 01:14:25 oerjan: WE NEED UPDATES 01:14:28 BREAK OUT OF THAT INFINITE LOOP 01:15:08 * Sgeo cuts power to elliott 01:15:14 -!- Gregor has set topic: The Internet's #1 Tay Zonday fan club! | http://tunes.org/~nef/logs/esoteric/?C=M;O=D. 01:15:23 * oerjan is making food 01:15:30 oerjan: mathematicians do not EAT 01:15:31 Gregor: wat 01:15:44 * Sgeo sends random APIC stuff to elliott 01:15:55 elliott: The Chocolate Rain guy :P 01:16:01 * Sgeo rains on ell.. damn yyou 01:16:50 Gregor: i know who he is :| 01:17:24 elliott: Then WELCOME TO HIS FAN CLUB 01:21:55 Being unable to just forcibly shutdown a VM without saving state is a SEVERE misfeature of VMware Player 01:22:56 Or maybe it is possible, hmm 01:24:48 Woohoo 01:29:13 Meh 01:30:46 -!- pikhq_ has quit (Ping timeout: 246 seconds). 01:30:54 -!- pikhq has joined. 01:34:56 oerjan: ANY PROGRESS 01:35:51 elliott, how do I avoid getting pissed at Chrome's utter lack of decent download management? 01:35:56 YEAH NOW I'M BROWSING THE IWC FORUM 01:36:32 http://www.mspaintadventures.com/storyfiles/hs2/02091.gif <-- we emacss users should get together and lynch this guy 01:38:02 Sgeo: chrome has perfect download management, and i'm not your anger management consultant. 01:38:09 get as pissed as you want. 01:42:41 hey oerjan 01:42:47 what's the generic list folding function in underload for ~^ lists 01:42:51 (right fold) 01:43:42 um they're quite naturally left to right 01:44:03 oerjan: what do you mean? 01:44:07 oh you mean the natural fold is left? 01:44:08 -!- zzo38 has left (?). 01:44:10 yeah 01:44:14 oerjan: do that then :P 01:45:30 ^ul ((x1)~^(x2)~^(x3)~^)()~(((a(~^)**)~a*^:a~*):^)~^(~aS:^):^ to reiterate... 01:45:30 (((a(~^)**)~a*^:a~*)(a(~^)**)~a*^:a~*)((x1)~^(x2)~^(x3)~^) ...out of stack! 01:45:45 oerjan: yeah but is that generic? 01:45:48 accepting any zero and f 01:45:53 no, THAT WAS TO REITERATE 01:46:05 OH 01:46:09 I THOUGHT YOU MEANT REITERATE TO ME 01:46:13 NO YELLING :)) 01:47:08 ^ul ((x1)~^(x2)~^(x3)~^)(zero duh)~((((f[)~*(])**)~a*^:a~*):^)~^(~aS:^):^ 01:47:08 ((((f[)~*(])**)~a*^:a~*)((f[)~*(])**)~a*^:a~*)(zero duhf[x1]f[x2]f[x3]) ...out of stack! 01:47:16 erm nope 01:47:19 zero duh :D 01:47:26 oerjan: that's not VALID, [ and ] are RESERVED 01:47:33 you need to quote them with "! 01:48:45 ^ul ((x1)~^(x2)~^(x3)~^)(zero duh)~((((,)~**(f/)~*(\)**)~a*^:a~*):^)~^(~aS:^):^ 01:48:45 ...out of stack! 01:48:56 THAT IS NOT QUITE IT 01:49:01 SO OERJAN I'M GOING TO TOTALLY FLASHQUESTION YOU 01:49:07 HOW DO YOU ELIMINATE THAT THING YOU WERE 01:49:09 TRYING TO ELIMINATE 01:49:12 *:()a^ 01:49:13 GO 01:49:13 HOW 01:49:18 OR WAS IT WITHOUT * I FORGET 01:49:37 ^ul ((x1)~^(x2)~^(x3)~^)(zero duh)~((((,)~**(f/)~*(\)*)~a*^:a~*):^)~^(~aS:^):^ 01:49:37 ((((,)~**(f/)~*(\)*)~a*^:a~*)((,)~**(f/)~*(\)*)~a*^:a~*)(f/f/f/zero duh,x1\,x2\,x3\) ...out of stack! 01:49:52 SOME THING IS WRONG 01:49:56 YOU DON'T SAY. 01:50:12 no wait it isn't 01:50:25 there was just a lot of junk on top 01:51:15 WELL FIRST YOU SOLVE THE EQUATION ! = a(!)** WITHOUT USING ~ OR ! THE REST IS EASY 01:52:04 oerjan: you have a ! on the left hand side, how can i remove that ha ha 01:52:09 silly man 01:52:15 YOU SOLVE FOR IT SILLY 01:52:53 OH LAH DE DAH 01:53:00 oerjan: okay so to FIX YOUR STUPIDITY 01:53:01 we want 01:53:04 x = a(x)** 01:53:06 so 01:53:20 (...)x = (...)a(x)** 01:53:25 (...)x = ((...))(x)** 01:53:30 (...)x = ((...)x)* 01:53:36 oerjan: DUDE I AM TRIPPING OUT AT THIS JUNCTURE. 01:53:45 IS THAT EVEN A THING THAT IS POSSIBLE. 01:54:03 i don't know if it is possible that you are tripping out 01:54:41 oerjan: IS (...)X = ((...)X)* A THING THAT IS POSSIBLE. 01:54:53 this is easy if you have 01:54:56 ~ 01:54:58 BECAUSE THAT IS 01:55:21 (1)(2)x = (1(2)x) 01:55:25 SO UH YEAH 01:55:34 x = a(x)* 01:55:35 oh wait 01:55:37 that was the original statement 01:55:38 :D 01:55:47 oerjan: i'm not sure that's possible pretty muches 01:56:06 oerjan: uh so wait does x have to do anything in particular. 01:56:13 or just obey that law 01:56:27 (a:^*(a)~(**)*):^ 01:56:43 that's pretty much what it needs to do 01:56:55 also you missed a * 01:57:05 oerjan: (a:^*(a)~(**)*):^ 01:57:07 sorted 01:57:15 oerjan: why can't you just use your ~ expansoin 01:57:17 *expansion 01:57:19 and then your ! expansion 01:57:29 ...actually we don't want to use :^* there 01:57:36 (a:^*(a)aa((!((aa)(!))))*:*^!**^a*^a*aa*(*:*^!**^)*^(**)*):^ 01:57:39 expands a lot 01:57:45 oh please 01:57:48 that's a practical issue 01:57:56 oerjan: anyway apply your !-expander to ^ or sth :P 01:58:10 yeah but a(:^)* is more compact 01:58:22 is my solution a solution or not :-P 01:58:27 (ok your solution, modified by me) 01:58:29 well i was _thinking_ about adapting the ~ expansion 01:58:46 but first i was wondering if it was essential 01:59:06 the ! in it needs to be replaced with something else, of course 02:00:05 also, not use all of it, just the aa((!(X)))*:*^!**^ subroutine 02:00:19 the ! in it needs to be replaced with something else, of course 02:00:23 with X = a, presumably 02:00:25 oerjan: that's why i said use whatever your ! trick is 02:01:05 ...we don't want to go all recursive either, this is ! we are writing 02:01:18 but * or something might work in this particular spot 02:01:38 oh we're writing !? right :D 02:01:46 can't you just expand it infinitely recursively bro 02:03:42 that was _sort_ what that ! = a(!)** thing was trying to do 02:03:47 *of 02:04:31 ok so (a(:^)*aa((!(a)))*:*^!**^(**)*):^ 02:05:17 i'll run it in the javascript debugger 02:06:33 argh 02:06:43 -!- azaq23 has quit (Quit: Leaving.). 02:07:42 oerjan: EVERYTHING WILL BE OK 02:08:43 i think this needs a break 02:09:44 oerjan: dude. 02:09:48 lamergiveruperer. 02:12:17 gah am i turning into sgeo 02:13:59 -!- Ethi has joined. 02:14:25 hello Ethi 02:14:32 we sacrifice goats here! 02:14:39 also do programming languages. 02:14:40 sometimes. 02:14:41 but mostly, goats. 02:14:49 isn't that right, Head Goat Sacrificer oerjan. 02:15:25 We sacrifice goats in the holy name of Tay Zonday. 02:15:47 what Gregor says, is a factual fact. 02:18:19 -!- Ethi has quit (Ping timeout: 240 seconds). 02:18:23 Aww 02:19:23 One of these days, I'll invite someone here, and e'll stick (Note: Ethi is not a Sgeo invitee. I don't know who Ethi is) 02:19:29 I AM NOT SURE THIS IS QUITE THE RIGHT WELCOMING METHOD FOR ATTRACTING ACTUAL ESOLANGERS 02:19:33 fucking ethi, never gave us a chance 02:19:43 oerjan: i mentioned programming languages, that's more than i usually do 02:19:59 but then anyone so impatient would never survive elliott anyway 02:20:02 Sgeo: what you need to realise it that everybody is a horrible person. 02:20:09 people being in here is like the worst 02:20:14 and had i the power, this channel would be empty and therefore perfect 02:20:22 AUM 02:20:27 apart from oerjan 02:20:28 oerjan could stay 02:20:31 That was a ping timeout, for all we know heshe never got a message. 02:20:32 BUT i can settle for the 20-something people we have in here right now. 02:20:33 30 02:20:35 30 would be too much. 02:20:40 30 is an unacceptable number and shall not be reached. 02:20:49 this is why when Gregor turns 30, we will murder him. 02:20:56 * Sgeo points at the userlist 02:21:13 Good thing I finish building my time machine and assert the stable time loop that is me before then. 02:21:42 so basically we should all be happy that elliott cannot count. 02:21:47 Prelude> length . words $ "pikhq Zuu augur elliott cheater- Wamanuz5 oerjan Sgeo sebbu Mathnerd314 fungot copumpkin coppro variable HackEgo tswett_ aloril jix pingveno mtve cal153 Gregor Mannerisky sftp lambdabot quintopia clog Slereah jcp rodgort Ilari ineiros_ comex_ SimonRC shachaf Deewiant Zwaarddijk dbc Leonidas fizzie Vorpal olsner yiyus EgoBot myndzi lifthrasiir Ilari_antrcomp mycroftiv" 02:21:47 48 02:21:47 elliott: and you have to 02:21:49 well shit. 02:21:53 channel's over everything, time to go home. 02:21:55 *everyone, 02:22:07 totally don't feel guilt about pinging everyone (totally didn't realise i was pinging everyone until i pasted that) 02:22:11 * Sgeo randomly kills 18 #esoteric'ers to aggrivate elliott more 02:22:14 elliott: HEY NO CHEATING USING HASKELL FOR SIMPLE COUNTING 02:22:25 oerjan: i can't do arithmetic :D 02:22:30 i'm like an idiot savant without the savant 02:22:33 so, an idiot 02:22:39 I ordered some root extracts. 02:22:45 Gonna make myself some friggin' sweet Moxie. 02:22:49 an iddiott 02:22:56 man do we really have almost 50 people in here. 02:23:04 No :P 02:23:11 *people and bots 02:23:13 bots are people too. 02:23:24 Clones are also people 02:23:33 Even so, no. There are fifty nicks in the channel, but roughly 35 of them have been idling for years and never talk. 02:23:49 Maybe the PING will wake them up from their slumber 02:23:53 clog! Start talking! 02:23:56 Those are still people in here. 02:23:59 YEAH, I'M LOOKING AT YOU, COMEX UNDERSCORE 02:24:05 you are clogging the tubes! 02:24:08 Dude, comex has talked in here X-P 02:24:14 We know him. 02:24:20 But that oerjan guy... 02:24:23 ha, who the fuck is he right? 02:24:26 >_> 02:24:26 He hasn't talked in a long time, right? 02:24:32 Well I've never seen him talk. 02:24:35 Although I do have him on ignore. 02:24:39 Because he's so fucking irritating. 02:24:40 What's a Zuu? 02:24:48 elliott: with all that not talking? 02:24:49 >.> 02:24:50 I think most people do actually. he could be talking daily and we wouldn't notice. 02:24:51 whoa. 02:24:52 Sgeo: It's a weird bird enemy from early Final Fantasy game. 02:24:52 *games 02:24:58 Gregor: Do you think we'd... better check? 02:25:08 zuu is the gatekeeper, or something. 02:25:09 elliott: POKE IT WITH A STICK 02:25:14 ...nah, let's stay in blissful ignorance. 02:26:48 http://geohot.com/ 02:26:56 the christmas gatekeeper, to be precise 02:26:58 (noel) 02:27:20 Why is the Christmas gatekeeper in here? 02:27:21 "Sony tried to sue a guy for getting his AIBO to do non Sony approved tricks" 02:27:21 xD 02:27:28 ...THIS TRICK IS NOT IN THE BOOK. 02:27:30 WHAT DO YOU THINK YOU ARE DOING? 02:28:30 copumpkin: [[Why should I trust you? I just saw you trying to rap battle Sony]] 02:28:32 BEST HEADING EVER?? 02:29:36 yay, blast for the past 02:29:37 http://images.wikia.com/compvter/it/images/c/c2/Olivetti_M380-XP9.jpg 02:29:39 i have this 02:29:54 i still have this feeling it should be possible to do x = a(x)** without using the expansion for ~ (or !, of course) 02:30:20 keep dreaming, oerjanzipam 02:30:21 *zipan 02:30:23 (your new name) 02:30:27 (it is a pun on "marzipan") 02:30:51 * elliott reverts vandalism before oerjan gets to it 02:30:53 >:) 02:30:55 sounds more like one of the medications you get from your shrink 02:31:00 :O 02:31:02 NOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOO 02:31:02 elliott: shouldn't that be a halo? 02:31:07 O:) 02:31:14 no that just looks like a stupid big rock on my head. 02:31:17 i'll take the horns 02:31:19 are they horns 02:31:21 O KAY 02:31:21 i don't think they are 02:31:23 that doesn't make much sense 02:31:24 whatever 02:31:31 they're just like 02:31:32 a spike 02:31:33 that's what it is 02:31:36 a hollow spike 02:31:36 THEY'RE A FREAK HAIR DISEASE 02:31:41 :( 02:31:43 you're so mean. 02:31:43 and cruel. 02:31:45 crying -> 02:32:04 also cheater can fuck right off 02:32:08 as usual. 02:32:25 * Sgeo gives elliott a middle finger 02:32:35 oerjan: srsly, when are you gonna use your op powers for good things rather than bad things (banning me) :D 02:32:40 oh i forgot 02:32:42 you're evil and terrible 02:32:43 always 02:32:46 >:| 02:32:58 he fails to deny it 02:33:11 Sgeo: what did i do no. 02:33:12 *now. 02:33:23 elliott> also cheater can fuck right off 02:33:39 Hmm 02:33:45 Sgeo: umm he's universally known to be a moron and a troll 02:33:50 and 02:33:51 18:30:55 sounds more like one of the medications you get from your shrink 02:33:51 18:31:00 :O 02:33:56 is both retarded and vaguely offensive 02:34:02 so i dunno wtf you're complaining about 02:34:16 elliott: well it _does_ sound like that, honestly 02:34:23 * Sgeo retracts his middle finger. Vaguely. 02:34:43 oerjan: yeah but at least you have the minimal self control to not say it :P 02:36:52 a(a(a(a(a(...)**)**)**)**)** 02:37:26 oerjan: AAAAAAAAAAAAAAAAAAAA****************** 02:37:32 a new variation on the popular uncyclopedia article 02:37:38 or 02:37:42 the most nested path-finding algorithm 02:37:42 EVER 02:37:51 guaranteed. or your money back. 02:38:08 shouldn't that be AAAAAAAAAAAAAAAAAAACKERMANN********* 02:38:10 oerjan: i really don't think it's possible anyway 02:39:09 how cute 02:39:24 are you giving eachothers reacharounds, elliott and Sgeo? 02:39:39 ... 02:39:50 oerjan: seriously just ban him already. 02:42:21 CHANNEL ACTIVITY AT ALL-TIME HIGH 02:43:04 ^ul (*CH)S((I)S:^):^ 02:43:04 *CHIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIII ...too much output! 02:43:10 Don't worry elliott, there's no such thing as oerjan. 02:43:14 but what comes after the CHIIIII 02:43:22 -!- augur has quit (Remote host closed the connection). 02:43:26 is it LDREN??? 02:43:29 ...IIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIRP* of course 02:43:31 *"It's ok elliott" 02:43:45 arg, is it "It's ok", or "Don't worry"? 02:44:04 ANSWER ME. 02:44:04 Sgeo: IF YOU HAVE TO ASK, YOU WORRY TOO MUCH 02:44:16 -!- augur has joined. 02:44:29 or is that a reference to something 02:44:40 i think so 02:44:41 oerjan, the "no such thing" is a reference 02:44:42 i think i even know what it is 02:44:44 but my mind slips 02:44:57 Not my not knowing the exact details right before it 02:45:23 men in black? 02:45:28 no. 02:45:39 it's definitely "there's no such thing as [thing that is real]" 02:45:40 BUT I FORGET 02:45:47 i'm just waiting for Sgeo to fill us in 02:45:50 society >:) 02:45:51 2 02:45:56 From Futurama 02:45:58 (Maggie Thatcher) 02:46:05 oerjan: mr. synchronicity 02:46:08 ok i'm rather confused 02:46:12 Where Bender has a dream and sees 0s and 1s and a 2 02:46:31 Sgeo: that wasn't what i was thinking of 02:46:31 INDEED MAGGIE THATCHER IS NOT A REGULAR FUTURAMA CHARACTER. I THINK. 02:46:46 Huh. Well, that's what I was referencing. 02:46:55 So now, was Futurama referencing something else?! 02:47:36 elliott: also what's the synchronicity? you just reminded me of that thatcher quote. well i think it's a quote 02:47:49 what was the quote. oh, there's no such thing as society? 02:47:51 i thought you - look 02:47:55 i'm just a fucking confuse 02:47:58 oerjan: i thought you meant that 02:48:00 the source of 02:48:04 "there's no such thing as [REAL THING]" 02:48:05 is society 02:48:06 like 02:48:07 RELIGION 02:48:10 because it's like 02:48:11 uh 02:48:12 actually 02:48:17 that's kind of the opposite of religion 02:48:17 look 02:48:19 i'm a clever guy 02:48:22 stop making me say stupid things. 02:48:25 although i vaguely think "there's no such thing as" has been used other places 02:48:45 * Sgeo gives oerjan a free lunch 02:48:46 ooh look, cheater hates oerjan too 02:48:46 15:06:11 oerjan: http://www.ee.ryerson.ca/~elf/hack/academic.html 02:48:49 i think i'll have to look up what thatcher meant 02:49:43 "There's no such thing as gives a heap of google suggestions 02:49:46 http://www.youtube.com/watch?v=U5eufYYpHwE 02:50:01 free lunch being first, society third 02:51:02 Well, I googled 02:51:06 So I cheated. 02:51:10 Bu Googling. 02:51:35 there's no such thing as "thing" 02:51:37 WHOA 02:51:38 SO 02:51:39 FUCKIN' 02:51:40 DEEP 02:52:03 "They're casting their problem on society. And, you know, there is no such thing as society. There are individual men and women, and there are families. And no government can do anything except through people, and people must look to themselves first. It's our duty to look after ourselves and then, also to look after our neighbour. People have got the entitlements too much in mind, without the obligations." 02:52:32 tl;dr "I'm a sociopath, and you should be one too!" 02:53:17 Note: Keep elliott away from political humor before allowing him to comment. 02:53:39 maybe she was. but it's still a great truth (the kind of truth for which the opposite is also true) 02:53:53 I, for one, refuse to comment on Thatcher. My only knowledge of anything relating to her comes from F&L, so... 02:54:02 I am completely unqualified to comment. 02:54:08 O KAY 02:54:42 oerjan: Almost nothing Thatcher said is true. 02:55:05 Unless she's ever had a big speech about how much of a shithead she is, or, uh, wrote a book on how to destroy Britain. 02:55:22 Can someone explain why people hate Thatcher? 02:55:31 (Note: sample size n=3) 02:55:44 Sgeo: She was the UK's big, big taste of the far-right-wing. 02:55:51 Sgeo: she _was_ rather ruthless i hear 02:55:54 Not that Americans would notice since that kind of shit is par for the course for them. 02:56:09 It turns out that privatising everything and then fucking all the workers in the ass does not make people particularly happy. 02:57:19 Let's put it this way. 02:57:28 Sgeo: Do you have an opinion on Reagan? Let's just assume yes. 02:57:52 Thatcher was basically Reagan, the UK version. Except also a gigantic, gigantic stuck-up asshole. 02:58:11 (And of course Reagan wasn't /especially/ right-wing for the US, whereas in the UK even our right-wing party is far to the left of the Democrats.) 02:59:25 ANYWAY 02:59:28 oerjan: does it work yet 02:59:35 no 03:00:36 ^ul (test)((a):a*^):a*^(~S:^):^ 03:00:36 (a):a*^a(test) ...out of stack! 03:00:42 er 03:00:44 ^ul (test)((a):a*^):a*^(~aS:^):^ 03:00:44 ((a):a*^)(a)((test)) ...out of stack! 03:00:57 oerjan: just use :^ to construct x = a(x)** >:D 03:00:58 * elliott troll 03:01:02 wait could that actually work? 03:01:08 fixed-pointing it somehow? 03:01:19 elliott: the problem is how to avoid needing ~ to get the a to the left of the x 03:01:28 essentially 03:01:28 oerjan: bleh :D 03:01:43 oerjan: (a)...construct x...*? 03:01:58 THERE ARE STILL TWO *'s 03:02:18 oerjan: I DON'T SEE YOUR POINT 03:02:32 just that you keep forgetting a * 03:03:16 oerjan: yes yes i didn't mean that 03:03:16 sheesh 03:03:19 what i'm trying to say is 03:03:28 elliott: the thing is that to get recursion, you need to have a copy on the stack to start from, which gets in the way of the (a) 03:03:29 oerjan: construct it as fix (\x -> a(x)**) 03:03:34 right 03:03:36 which is why i'm saying 03:03:41 push the (a) before doing the fixed-point? 03:03:42 maybe? 03:04:10 well but you need the a to exist inside the fixed point as well 03:04:28 oerjan: (a)(a(**)**)fix 03:04:33 that constructs x = a(x)**. 03:04:41 unless i am SEVERELY MISTAKEN 03:04:58 !bfjoust furry_furry_strapon_pegging_girls http://sprunge.us/WZNL 03:05:20 hm does it 03:05:36 oerjan: yes. 03:05:42 assuming fix leaves the rest of the stack intact. 03:05:45 like a normal fix would. 03:05:52 Score for Gregor_furry_furry_strapon_pegging_girls: 0.0 03:05:59 (whether fix is actually viable in underload, I don't know, but that's not my problem) 03:06:03 -!- zzo38 has joined. 03:06:05 um what does fix do, actually 03:06:16 oerjan: fix(f) = f(f(f(f(f(... 03:06:17 you know this. 03:06:23 expressing that in underload is totes your problem. 03:06:25 elliott: i mean to the stack 03:06:39 oerjan: well ok since obviously we can't do the normal fix 03:06:42 we need the extra-argument form 03:06:45 *facepalm* 03:06:47 ... wtf 03:06:50 which we'll just disregard i guess? 03:06:57 ok wait 03:06:59 let me try this 03:06:59 argh 03:07:01 hm wait... 03:07:02 need ! :D 03:07:12 elliott: i am not saying i disagree, btw 03:07:15 fizzie: U FAIL AT (({{}})) 03:07:16 (a)(!()...somehow stuff what we have on stack (our fix function into that)...a(**)**)fix 03:07:17 ok wait 03:07:44 !bfjoust furry_furry_strapon_pegging_girls http://sprunge.us/UDNC 03:07:51 Score for Gregor_furry_furry_strapon_pegging_girls: 67.5 03:08:00 oerjan: (a)(!a(()^)*a(**)**)fix()^ 03:08:19 elliott: it needs to be sufficiently lazy, of course 03:08:22 oerjan: that's the one-extra-argument fix (i.e. strict fix) version 03:08:22 hm... 03:08:27 it is sufficiently lazy. 03:08:32 oerjan: of course it has that one !. 03:08:34 but that is your problem. 03:08:44 wtf 03:08:52 oerjan: the fix in question is 03:08:57 ((a -> b) -> (a -> b)) -> (a -> b) 03:09:34 fizzie: See http://sprunge.us/WZNL 03:10:02 oerjan: so can i have my allocates plzkthx 03:10:13 hmm you could even use the crazy-ass recursion to remove that first ! maybe 03:10:27 no, that'd require dip 03:10:30 elliott: my problem so far of putting the (a) on the stack first has been that the ~ problem shifts into the rebuilding code itself 03:10:31 (unless you have pure dip?) 03:10:45 oerjan: well that's why I abstracted it out into fix ;D 03:10:47 now go write fix 03:12:14 -!- zzo38 has left (?). 03:12:15 -!- zzo38 has joined. 03:12:41 oerjan: WRITTEN FIX YET 03:12:48 NO 03:12:54 oerjan: IS THAT BECAUSE YOU... ARE LAME? 03:13:09 hm wait you could actually do that with regular :^ perhaps 03:13:18 except that'd end up requiring ~ probably 03:13:31 it's _easy_ with ~ 03:13:48 oerjan: (a)(a(:^)*a(**)**):^ 03:13:50 try that. 03:13:56 ^ul (a)(a(:^)*a(**)**):^S 03:13:56 a((a(:^)*a(**)**):^)** 03:14:02 looks right to me. 03:14:12 oerjan: looks fuckin' PERFECT to me. 03:14:16 looks like i'm some kinda FUCKING GENIUS. 03:14:24 sheesh 03:14:30 oerjan: what, is that not right? 03:14:31 or are you just 03:14:32 so 03:14:33 jealous 03:14:54 ^ul (a)(a(:^)*a(**)**):^(~aS:^):^ 03:14:54 (a((a(:^)*a(**)**):^)**) ...out of stack! 03:15:28 you will notice the absense of any (a) at the second level 03:15:45 oh. 03:15:47 well that's easy. 03:15:52 ^ul (a(a))(a(:^)*a(**)**):^S 03:15:52 a(a)((a(:^)*a(**)**):^)** 03:15:55 ... 03:15:59 not quite like that, no, fungot. 03:15:59 elliott: you guys are trying to learn. but getting stuck on the queens puzzle yet? it's s'posed to be very optimistic about people! 03:16:07 `addquote elliott: you guys are trying to learn. but getting stuck on the queens puzzle yet? it's s'posed to be very optimistic about people! 03:16:07 elliott: world domination! now i'm playing with the bot 03:16:30 oerjan: why can't you use ~ again 03:16:33 oh dear fungot has been possessed! 03:16:33 oerjan: it includes a suprise 03:16:36 "An email containing your Login Name, plain text password, and subscription information will be sent to the email address associated with your account." 03:16:44 FUCK YOU FUCK YOU FUCK YOU WITH A RUSTY AXE 03:16:55 319) elliott: you guys are trying to learn. but getting stuck on the queens puzzle yet? it's s'posed to be very optimistic about people! 03:16:55 oerjan: also DO YOU HAVE DIP yes or no 03:17:00 without ~ 03:17:08 no dip. 03:17:30 sheesh 03:17:40 ^ul (a)(a(:^)*a(**)**):^S 03:17:40 a((a(:^)*a(**)**):^)** 03:17:44 ok this is easy. 03:17:47 possibly the most easy thing. 03:17:57 ^ul (a)(:a(:^)*a(**)**):^S 03:17:57 :a(:^)*a(**)**((:a(:^)*a(**)**):^)** 03:18:00 whoa. 03:18:02 no. 03:18:05 Oh, and passwords must be lower cased 03:18:07 GENIUS 03:18:10 FUCKING GENIUS 03:18:12 ^ul (a)(a(:^)*a(**)*S*):^S 03:18:12 ((a(:^)*a(**)*S*):^)** ...out of stack! 03:18:15 ^ul (a)(a(:^)*a(**)S**):^S 03:18:15 ** ...out of stack! 03:18:16 * Sgeo middle fingers the place 03:18:18 ^ul (a)(a(:^)*a(**)**S):^S 03:18:18 a((a(:^)*a(**)**S):^)** ...out of stack! 03:18:22 ^ul (a)(a(:^)*a(**)*~S*):^S 03:18:23 a ...out of stack! 03:18:42 ^ul (a)((a))(a(:^)*a(**)***):^S 03:18:42 a(a)((a(:^)*a(**)***):^)** 03:18:46 aw 03:18:47 so fuckin 03:18:48 close 03:18:58 ^ul (a)((a))(a*(:^)*a(**)**):^S 03:18:58 a((a)(a*(:^)*a(**)**):^)** 03:19:10 oerjan: that goes to two levels now right? 03:19:14 or does it go forever? 03:19:41 now you are losing the ((a)) 03:20:07 oerjan: I SUSPECT AN INFINITE REGRESS HERE 03:20:08 hm... 03:20:18 ^ul (a)(a(:^)*a(**)**):^S 03:20:19 a((a(:^)*a(**)**):^)** 03:20:22 ^ul (a)(Sa(:^)*a(**)**):^S 03:20:23 Sa(:^)*a(**)** ...out of stack! 03:20:32 ^ul (a)(~Sa(:^)*a(**)**):^S 03:20:32 a ...out of stack! 03:20:52 man oerjan 03:20:54 thinking hurts. 03:21:04 i think even an x = a(x) would be a great starting point 03:21:11 oerjan: i have an idea though 03:21:16 is there something not using swap which goes 03:21:16 ok wait 03:21:17 we have 03:21:21 (x):^ = (x)x 03:21:24 is there something that goes 03:21:35 (y)(x)FOO = (x)(y)x 03:21:37 without FOO using ~ 03:21:41 i doubt it, but... 03:21:51 i'll try x = a(x) 03:21:53 ^ul (a)S 03:21:54 a 03:21:56 not without also using ! 03:22:03 oerjan: why can't you use ~ again? 03:22:04 just curious 03:22:04 ^ul (a)((foo)*):^S 03:22:04 (foo)*foo 03:22:15 ^ul (a)(a*):^S 03:22:15 a(a*) 03:22:21 ^ul (a)(:*a*):^S 03:22:22 a(:*a*:*a*) 03:22:42 that would have to be some variation of the expansion for ~. i'd prefer to avoid it, it's going to blow up things something crazy even if it works 03:22:43 oerjan: ok i think we can theorematicallyificatory prove that there is no way to do anything with the a below. 03:22:45 apart from concatenate it 03:22:50 interesting 03:22:50 http://en.wikipedia.org/wiki/TRON_Project 03:22:51 (the only thing that looks one down) 03:22:54 unless we... 03:22:55 call it 03:22:58 ^ul ((a)~^)(a*):^S 03:22:58 (a)~^(a*) 03:23:05 ^ul ((a)~^)():^S 03:23:07 oops 03:23:12 ^ul ((a)~^)((foobar)**):^S 03:23:12 (a)~^(foobar)**foobar 03:23:23 oerjan: dude, i don't care if it'd explode 03:23:24 this is painful 03:23:29 oh wait 03:23:31 can't use ~^ 03:23:33 WELL STOP THEN 03:23:33 whoop de fucking doo 03:23:38 oerjan: no it's fun 03:23:57 ^ul ((a)a*)((foobar)**^):^S 03:23:57 ...out of stack! 03:24:04 ^ul ((a)*)((foobar)**^):^S 03:24:04 ...out of stack! 03:24:12 ^ul ((a)*)((foobar)**):^S 03:24:12 (a)*(foobar)**foobar 03:24:17 ^ul ((a)*)((S)**^):^S 03:24:17 ...out of stack! 03:24:21 ^ul ((a)*)(((hello fuckworld)S)**^):^S 03:24:21 ...out of stack! 03:24:23 guh? 03:24:33 ^ul ((a))(((hello fuckworld)S)**^):^S 03:24:33 ...out of stack! 03:24:40 eh 03:24:44 oh the *. 03:24:55 http://www.linuxinsider.com/story/31855.html 03:25:00 elliott: hi 03:25:04 The Most Popular Operating System in the World 03:25:22 um hi augur 03:26:05 you pinged unintentionally, i responded unnecessarily. 03:26:13 :D 03:26:19 oh 03:26:20 hi. 03:26:27 oerjan: can you just do the blowup version FIRST? :D 03:26:31 just proving it would be a feat. 03:26:49 Pingpingpingpingpingpingpingpingpingpingpingpingpingpingpingpingpingpingpingping oops it is stuck!! 03:26:59 O_o 03:27:11 was that at me or zzo 03:27:16 zzo 03:27:19 surely you've noticed zzo is weird by now. 03:27:22 you seem awfully surprised by it lately 03:28:35 -> 03:29:08 oerjan: psht 03:51:51 so are you BACK YET oerjan 03:51:58 fnord 03:52:19 oerjan: did your or my idea work :( 03:55:40 ...now you're making me feel guilty. which is poison to creativity, and makes sure my brain _won't_ work to find a solution until it passes. 03:56:12 oerjan: your elaborate web of excuses amuse me! 03:56:14 :D 03:56:16 no srs no guilt 03:56:20 GUILT-free 03:56:40 what if i like, came up with a bunch of really terrible pointless suggestions, could you exercise your brain by dismissing them 03:57:06 hm maybe 03:57:21 oerjan: ok what if you did it like 03:57:37 (a)(:^(to get the resulting fixpoint)!*(**)*):^ 03:57:55 haha, sorry, i think i just made the first joke written in underload :/ 03:57:59 inadvertently 03:58:12 that _does_ look pretty loopy 03:58:46 puns! you are getting back on the right track my friend. 03:58:57 oerjan: personally i would just do the version where ! uses ~ 03:59:01 and have that expand a fuckton 03:59:05 and once it's proved, work on refining 03:59:12 but then i have never done anything :D 04:00:42 hmm i think i disabled the oerjan-bot 04:00:48 insufficient coffee supply --> no theorems?? 04:00:54 i'll get the beans 04:01:12 i just had an ice coffee mocha 04:01:20 gross. are you sure you're human? 04:01:29 (ok i've had ice coffee before and even liked it. but i don't admit it in _public_.) 04:01:33 * oerjan doesn't drink enough coffee to brew at home 04:01:53 maybe that explains your insufficient theorem output :D 04:02:02 and that instant stuff which i keep for emergencies is vile 04:02:12 ack 04:02:29 especially after i haven't used it for months :D 04:03:09 my stomach cannot take more than a couple cups of coffee per day, regardless 04:03:30 i like your :Ds, we need more :D in this channel, it's quite a good smiley 04:03:45 i don't think i used it before i came here 04:04:00 oerjan: when was that, 1947? :D 04:04:09 i recall i used :-) in agora and thereabouts 04:04:17 i can't imagine you have a nose, sorry 04:04:22 ps COME BACK TO AGORA 04:04:43 06.06.12:16:38:54 hi gregorR 04:04:43 06.06.12:16:40:11 first time here 04:04:43 06.06.12:16:40:37 right :-) 04:04:43 06.06.12:16:41:01 (first time in years i'm on irc, too) 04:04:43 06.06.12:16:43:01 thought so :-) 04:04:45 oh god 04:04:47 what beast is this 04:05:01 in 1947 my parents were babies 04:05:10 oerjan: that means nothing to a time-traveller. 04:05:15 elliott: ...? 04:05:16 true, true 04:05:25 Gregor: ...? 04:05:31 elliott: wtf was that log :P 04:05:33 Are you referring to my massive ping of everyone or my ping-by-quote just now? :P 04:05:38 Gregor: oerjan's first appearance (oerjan's lines only) 04:05:41 *only version) 04:05:46 Ah 04:05:52 VirtualBox, what do you mean, I can't even edit the description of a VM while it's running? 04:05:54 "gregorR" it's like... aargh 04:05:56 ::psyduck:: 04:05:56 how could anyone type that 04:05:58 apart from like... hitler 04:06:02 hitler could type that. 04:06:06 but not robo-hitler, robo-hitler has no digits. 04:06:18 jew hitler would have to be paid to do it. like everything 04:06:34 Notice how I was here when oerjan first joined, and yet oerjan has ops and I don't. 04:07:01 That's because oerjan doesn't spend days fiddling with furry furry strap-on pegging girls. 04:07:09 He's more mature, he sticks to wet furry pornographic material. 04:07:13 That's one less furry. 04:07:13 Fiddling? We don't fiddle. 04:07:17 Sorry, molesting. 04:07:26 I don't molest them. 04:07:35 They're only 7 years old, you sick fuck. 04:07:53 http://tdwright.co.uk/phpplayground/BF/ 04:07:55 Gregor: that _is_ a bit strange, you don't seem like a very disruptive guy 04:07:56 :D 04:08:10 yeah but he's loud and abrasive and american 04:08:16 you're, like, totally likeable. 04:08:21 soft, like a blanket. 04:08:27 i mean not giving elliott ops - that's obvious 04:08:36 hey i've been here longer than you ... well ok that's a lie 04:09:01 why do you think i'm still here, i'm waiting for my sheer oldbieness to overwhelm the fact that i'm an irritating little shit, and finally get ops ;D 04:09:25 elliott: about on your 90th birthday 04:09:41 i'll be a robot by then. 04:09:44 beeeeeeeeeeeeeep 04:09:45 after which you exterminate the channel 04:09:48 :}}} 04:09:52 happy robot set fire to things! 04:09:57 ^_^ 04:10:22 happy fire, happy red colors! 04:10:36 YAY 04:10:39 DANCE IN FLAMES! 04:10:41 NICE AND WARM! 04:10:48 ok i think me and oerjan need sending off to an asylum pronto. 04:10:59 * oerjan whistles innocently 04:11:46 oerjan: so are you taking my perfect suggestion ;D 04:11:53 NEVER 04:11:53 -!- elliott has quit (Read error: Connection reset by peer). 04:12:07 he could not bear to hear the answer 04:12:15 -!- elliott has joined. 04:12:18 do ! with ~ -- and i was just going to mention how stable my connection got 04:12:36 hi oerjan 04:12:36 -!- elliott has quit (Read error: Connection reset by peer). 04:12:36 and ~ with !. check. 04:12:52 -!- elliott has joined. 04:12:57 you're fucking kidding me. 04:12:59 oerjan: no no no 04:13:02 very stable indeed 04:13:03 ~ the way you are already doing it 04:13:05 and ! with ~ 04:13:23 elliott: the way i'm already doing ~ is with ! 04:13:24 -!- elliott has quit (Read error: Connection reset by peer). 04:13:30 SHEESH 04:14:22 -!- elliott has joined. 04:14:40 {~} 04:14:41 {:} a(*)**a((junk))*:*^ : 04:14:41 {!} ** a(!)** 04:14:41 {*} * 04:14:41 {(x)} ({x})(junk) ({x}) 04:14:43 {a} a(*)**a((junk))*(junk) a 04:14:46 {^} a(*)**^ ^ 04:14:49 {S} *S S 04:14:52 you will note the empty line (~) 04:15:09 oerjan: well er. :D 04:15:12 the left ones were my earlier junk between neighbors idea 04:15:17 oerjan: can't you use your existing construction for ! or whatever? 04:15:18 :/ 04:16:31 i don't _have_ an existing construction for ! without ~ there 04:16:36 ah 04:17:11 Why are filesystems accessible from EFI? 04:18:24 elliott: the thing is if ! could be directly expressed without ~ then it would be perfect - just fill in that and substitute it in my already known expression for ~, QED 04:18:35 ah 04:18:45 oerjan: but what if ! is expressable with ~ and you do it recursively? 04:18:52 maybe that would have better luck than trying to do ! recursively itself! 04:20:01 well there is also the (X)~ = aa((!(X)))*:*^!**^ 04:20:02 -!- elliott has quit (Read error: Connection reset by peer). 04:20:06 subroutine 04:20:25 -!- elliott has joined. 04:20:44 lksdjsldf 04:23:49 hey Gregor we have a dirty pachelbel fan in our wake 04:28:47 We do? 04:31:52 -!- elliott has quit (Quit: Leaving). 04:32:59 -!- Lymia has joined. 04:32:59 -!- Lymia has quit (Changing host). 04:32:59 -!- Lymia has joined. 04:46:17 Is any symbol for variance used other than $\sigma^2$? 04:46:45 Y'know what? I'm gonna turn it 'round. 04:46:57 I'm AWESOME because I'm the longest-lasting no-privileges #esoteric member. 04:47:21 fizzie may be older, but that's just because he's got some benefits, some attachment. 04:47:31 He's just here for the power trip. 04:47:39 Gregor: Turn what? 04:47:44 Me on the other hand, I've got nothin'. 04:47:53 I've been here five years and I'm here out of LOVE. 04:48:37 zzo38: The fact that I'm a longer-lasting member of #esoteric than everyone but fizzie, and yet I don't have ops (and e.g. oerjan does :P ) 04:49:06 X to the D, man. 04:50:15 But I think you have made many things of interest? 04:50:15 Gregor: Yes, but do you need ops? I don't need ops. Nor does most others. 04:50:15 It is possible to change the topic message without being channel operator. 04:50:41 Exactly! I don't need ops. I don't need something tying me down to stick with it! 04:53:19 But, do you know why some of the account flags does not display when NS INFO command is used? QUIETCHG flag is not displayed. 04:53:54 :) 04:55:05 I have flags set HIDEMAIL, NOMEMO, NOOP, NEVEROP, QUIETCHG, but it won't display any notificiation that I have QUIETCHG set, except when I try to turn it on, it says this flag is already set. 05:10:36 What information can you see in my account with NS INFO? I can see a bunch of information and I want to know which ones are hidden to you. 05:12:34 -!- Sgeo has quit (Ping timeout: 240 seconds). 05:13:07 -!- asiekierka has joined. 05:13:09 18% of Americans believe in geocentrism. 05:13:12 No. Fucking. Joke. 05:13:17 AND THESE PEOPLE VOTE. 05:13:41 Why should geocentrism affect your vote? 05:14:06 zzo38: It demonstrates a willful disregard for evidence and reasoning. 05:15:02 Actually, I think if you put the Earth (or even yourself) in the center, all the physics still works. However, it works much better with the sun in the center. 05:15:45 Do you believe me? 05:16:03 Well, in a *technical* sense, which body is the center of your reference frame makes no difference to how the physics actuaally work. 05:16:10 Because *that* is merely an arbitrary choice. 05:16:15 pikhq: Yes, that is what I meant. 05:16:37 But that's not what's usually meant by "geocentrism". 05:16:58 OK. 05:17:07 -!- Sgeo has joined. 05:17:21 I blame Windows 2003 05:18:19 Usually, it refers to the Ptolemaic model, wherein the heavenly bodies are attached to a circle on a circle, configured such that the predictions of this match actual astronomical observation. 05:18:20 Maybe I should look up "geocentrism" in Wikipedia. 05:19:24 Also, this geocentric model completely fails to account for the seasons. 05:24:10 I think Pythagoras beloeved that neither the earth nor sun in center; they believed in things that we now see cannot exist. 05:24:29 But at the time, they would not have been able to know that, so it would have worked for them. 05:25:45 Pythagoras was pretty smart. Just limited in his observation equipment. 05:26:52 pikhq: Yes, it is what I was mentioning. 05:27:12 pikhq: and also obssessed with some stupid ideas 05:27:20 like his irrational hatred for numbers that weren't fractions 05:27:25 coppro: Yes, that, too. 05:27:32 * Sgeo grins 05:27:37 (*rimshot*) 05:28:11 coppro: I didn't say he was perfect. 05:28:17 How can I disable the scroll wheel in the mouse driver? 05:28:26 I'm pretty sure coppro just wanted to make the joke 05:28:53 Then again, Im not coppro 05:28:57 And neither is I'm 05:29:01 * Sgeo goes grammatically insane 05:30:12 Better than semantically. 05:31:09 But, what I am talking about the relative physics, is that if you say you are the center of the universe then you are not incorrect. However, if you want to look at the motion of planets and stuff inside of our solar system, saying sun is center is better. 05:32:11 But what if you want to see the galaxies motions? Then you should probably find something else to say is center. 05:33:31 This is the. most. bizzare. song that I have ever heard 05:33:38 http://www.youtube.com/watch?v=6tokE083QMw 05:34:25 Prelude> length . words $ "[list of nicks in channel]" <-- you know, my irc client has a count already it displays in the status bar: "50 (0 ops)" 05:41:34 -!- mtve has quit (Ping timeout: 250 seconds). 05:44:13 elliott isn't here. 05:44:38 He logreads. Mostly. 05:44:59 He literally isn't here. 05:45:01 See. 05:45:03 No elliott. 05:45:50 CORRECT AND IRRELEVANT 05:46:20 THE BEST KIND OF CORRECT AND IRRELEVANT 05:46:36 -!- sftp has quit (Remote host closed the connection). 05:47:07 It is so very strange listening to Korean as a Japanese speaker. 05:47:22 -!- asiekierka has quit (Ping timeout: 246 seconds). 05:47:33 It's like, I'm almost catching maybe-cognates all the time. Yet not. So fucking weird. 05:48:33 (and yes, "cognate" is the right term. Even if Korean and Japanese aren't related (open question), they certainly do have a large quantity of cognates, from them both having a large injection of Sinitic vocabulary) 05:49:51 I am still working on TeXnicard. I am nearly finished. And then I will make some template. 05:50:39 And if it's technical conversation, I'm *actually* picking up cognates, which is even weirder, oddly enough. 05:51:32 pikhq: How often did you listen to any Korean speaking? 05:51:42 zzo38: It doesn't come up often. 05:51:58 But sometimes, it does, and it's weird when it does happen. 06:05:54 Is that why people say that Korean and Japanese are related? 06:05:55 =p 06:06:31 * Lymia hugs pikhq <3 06:06:38 Go learn Korean. 06:08:41 Lymia: Actually, the grammar really does it. 06:10:08 It's genuinely eerie the grammar similarities they have. 06:10:47 Are there any other languages with grammar like Japanese that arn't on the island of Japan? 06:10:48 :v 06:11:37 I would expect there is some similar grammar with different languages. 06:11:56 Japanese is weird. 06:11:57 ;-; 06:12:09 Not that weird, really. 06:12:15 Hey! 06:12:17 English is more weird. 06:12:30 Just with disputed relations to anything but the other Japonic languages. 06:12:39 Yes, English is weird in many ways I think. 06:12:47 But other language is, also. 06:13:00 Lymia: Actually, Japanese has many of the same things that makes English weird, as far as its history goes. 06:13:34 Namely, English is a Germanic language with half of a Romance language glued on, and Japanese is a Japonic language with half of a Sinitic language glued on. 06:13:44 But even when I was young, and did not know anything about language other than English, I thought English cannot possibly be the "proper language". 06:14:30 (This is opposite of many people, who thought that since they know English that it *must* be the "proper language".) 06:14:42 It is strange that it is thinking like this? 06:14:59 zzo38: What's strange is your use of your native language in this manner. :P 06:15:15 zzo38 should go learn Chinese. 06:15:37 Maybe I'll learn a Chinese language if/when I attain fluency in Japanese. 06:15:46 (there's more than one, you know!) 06:15:51 I know! 06:16:00 Both my parents are Chinese, and I visit China every summer. 06:16:00 :s 06:16:21 I'm going to guess that you are most familiar with Mandarin. 06:16:24 Yeah. 06:16:33 When I play Xiangqi (Chinese chess), I like to play with Traditional Chinese. 06:16:38 Cantonese sounds like an alien language! (ok, not really) 06:16:47 And Simplified Chinese? (gag) 06:17:25 Six little eggs on the run 06:17:39 They fuck each other three goes boom dubi dum 06:17:52 Many set of Xiangqi is Simplified Chinese, but I prefer the one with Traditional Chinese, I find it easier to understand, actually. 06:18:12 pikhq, move to Japan. 06:18:12 I have no doubt I'd find a traditional Xiangqi set easier. 06:18:16 You'll become fluent in no time. 06:18:17 =p 06:18:24 Of course, I can play shōgi. 06:18:31 Lymia: Likely. 06:18:55 I can play shogi, too! 06:19:10 Not to mention I could just fucking read the characters. :P 06:19:33 I can play Go. 06:19:36 A little 06:19:43 Go's not hard to play at all. 06:19:47 Just very hard to play well. 06:20:31 pikhq, actually. 06:20:39 Actually once I played Go against someone who was very good at it, and he gave me a shogi game afterwards, since he doesn't need it and he doesn't play shogi much. 06:20:42 Visiting Japan for a month or two would likely do it as well. 06:20:47 (I already have a set of Go) 06:20:57 Lymia: Depends on one's level of competence in the language, really. 06:21:14 Lymia: *Most* people who have some level of knowledge of it? Quite honestly, probably not. 06:21:25 Well. 06:21:36 -!- MigoMipo has joined. 06:21:36 I'm assuming that you can communicate decently already. 06:21:37 =p 06:21:58 Lymia: Most people go "OH HOLY FUCK THE KANJI", even the "fluent" speakers. 06:22:08 I mock them. 06:22:31 That being said, Japanese has the feel of something I'd expect more from a programming language for some reason. 06:23:09 Probably the emergent properties of its conjugation. 06:23:15 I find mixing kana with kanji makes it more efficient to read. However, it also makes it difficult to read it out loud. 06:23:36 wat 06:23:44 * Lymia pokes zzo38 with an accusition of being an AI 06:23:45 zzo38: 'S truth. 06:24:02 He knows/is learning Japanese? 06:24:03 `-` 06:24:13 Kana + kanji are actually really easy to read after spending, say, a couple months of brute-force kanji learning. 06:24:32 Still a pain to read out loud, though. 06:24:33 No output. 06:24:36 pikhq, hopefully nobody does that with *insert language here's* API. 06:25:21 I read Akagi book and have experience with this. 06:25:23 (2 months should be sufficient for anyone to learn the rough semantics of the kanji in common use in Japanese, though it'll miss out on readings.) 06:25:56 zzo38, say something silly about Japanese. 06:26:16 Lymia: Like, what things? 06:26:22 The usual. 06:26:28 What usual? 06:27:04 pikhq, so. 06:27:25 So? 06:27:39 Why are there three people here interstsed in some way in Japanese? 06:28:03 four 06:28:13 =3 06:28:19 Because I like to read Akagi manga book. 06:28:22 Probably courtesy of Japan having cultural exports of interest to geeks. 06:28:30 And I can play Japanese mahjong game. 06:28:45 pikhq, it's still a language! 06:28:48 I have no interest in Japanese 06:29:03 Lymia: Geeks are also more likely than most to be interested in languages in general. 06:29:08 Just random things from Japan... 06:29:22 Sgeo: Which random things from Japan? 06:29:26 Anime and Go 06:29:32 Well, I guess Go is from China 06:29:42 pikhq, if it isn't obvious already, I'm currently trying to learn Japanese. 06:30:01 Seems to mirror my attempts to learn programming languages! "Oh wait... there's still a vocabulary to deal with..." 06:30:06 あ、なるほど。面白い事だね。 06:30:17 But they didn't call it "Go" in China. Also, there is a slight difference in rule in Japanese. I think it only matters in case of passing your turn? I don't know for sure. 06:30:18 Gak. Kanji. *is shot* 06:30:40 Lymia: Pick up "Remembering the Kanji, Part I", by James Heisig. 06:30:42 Do it nao. 06:30:45 k 06:31:14 zzo38: They don't call it "Go" in Japan, either. 06:31:25 zzo38: It's "igo". 06:31:27 (囲碁) 06:31:32 pikhq: Yes, I know that. "Go" is just for short. 06:31:38 #esoteric: Now with extra not-Programming languages 06:31:40 (kanji just IIRC. They make sense, though.) 06:32:24 Gak. 06:32:25 But how many other people in here can play Japanese mahjong game or can read Akagi manga book? 06:32:28 I never bothered to learn Hanzi. 06:32:33 Now I wish I did... 06:32:34 ;-; 06:32:47 Lymia: Really, it's not hard to learn. 06:32:58 I havn't put much effort into it anyways. 06:33:01 Just insanely difficult with traditional methods. 06:33:04 I should likely do so. 06:33:18 pikhq, and the traditional method is? 06:33:21 Brute force? 06:33:22 Learning them stroke-by-stroke. 06:33:26 Which is *retarded*. 06:33:32 So brute force. 06:33:53 Almost all of them decompose into a handful of different components (about 200?). 06:34:05 So, it's something like Chinese's hanzi? 06:34:22 It *is* hanzi. 06:34:49 Essentially traditional Chinese, but there are some Japanese simplifications (nowhere near as severe as Simplified Chinese). 06:34:53 Also, some Japanese inventions. 06:35:51 Here's kanji in Japanese: 漢字. Here's hanzi in traditional Chinese: 漢字. Any further questions? :) 06:36:11 Can I stab you? 06:36:12 :o 06:36:48 And, oh, fine, here's simplified: 汉字 06:37:20 I see a block with 6C43 in it. 06:37:22 That's a weird character. 06:37:32 No wait, that's a 9. 06:37:38 (stupid font issues) 06:37:38 Amusingly, simplified is much harder for me, because many of the simplifications break the ability to decompose the characters. 06:37:54 http://upload.wikimedia.org/wikipedia/commons/9/99/Hanzi.svg Character on the upper right. 06:38:46 I also see 6C49 but that is because I do not have Chinese fonts in my computer. I do have Japanese fonts. 06:39:20 pikhq: Simplified is harder for me, too. It is why, when I play Xiangqi, I play with Traditional. 06:40:25 Really, only thing going for simplified Chinese is that it has fewer strokes. 06:41:00 And even that's not that big of a deal if you just write in something similar semicursive script. 06:41:41 -!- FireFly has joined. 06:41:49 Or type.. 06:41:59 Or type, yes. 06:42:31 When I make the template, it should be the card game called "Big Spiders Land" and it should have a card named "Kanji Practice". And have no Constructed format, only Limited. 06:46:40 -!- copumpkin has changed nick to DisembodiedVoice. 06:48:16 -!- DisembodiedVoice has changed nick to copumpkin. 06:49:47 Bible Quiz: http://zzo38computer.cjb.net/textfile/miscellaneous/bible.quiz Can you answer these questions without refering to the Bible or to anything else? 06:50:32 wtf, non-interactive quiz 06:50:40 use the medium, luke 06:51:13 No, you have to print it out and write the answer on the paper. You can change the font size to make it to fit all on one page. 06:51:57 Gregor: The error message you get from that is not supposed to be for (({{}})); it's for ({}{}) sort of stuff. But of course there might be a parser bug. I'll try to have a look; but your test case is a bit on the large side. 06:52:12 zzo38, did you copy/paste that from Skeptic's Annotated Bible? 06:52:31 No, but I did copy it from a related document. 06:52:46 However, I cleaned it a bit to fit on plain text and deleted the parts which are not necessary. 06:53:03 -!- MigoMipo has quit (Read error: Connection reset by peer). 06:53:34 (You can search for the related document yourself if you want, but to answer the question like a real quiz you should use the plain text format, printing it if necessary.) 06:54:57 Gregor: You have in there a construction that doesn't really make sense: ([-{ ([+{ ..... { ... -- where ...'s are code with no ()s (except a single (+)*30). 06:55:00 o.O' 06:55:07 402 Payment Required 06:55:13 This is a real HTTP status code. 06:55:22 Gregor: The last { associates with the outer (, but that ( already has a { for it. 06:55:46 * Sgeo pays pikhq with six little eggs 06:56:00 THis. Song. Is. Stuck. In. My. Head. 06:56:18 pikhq: I have written custom messages for most of the HTTP status codes including this one. For error 402 I mentioned that it is probably because you did not use Canadian money. (I know that isn't true; actually you cannot get such message on my server unless you specifically request it) 06:56:26 Gregor: If you're advocating that { should associate with the first "free" (, then sorry, the spec doesn't say so. :p 06:56:40 How do you request a 402? 06:57:04 zzo38: Even 418 I'm a teapot? 06:57:31 fizzie: um it doesn't? 06:57:58 pikhq, that's part of that coffee spec, isn't it? 06:58:05 Not strictly HTTP? 06:58:39 I did not put 418. (At least not yet) 06:58:40 -!- pikhq_ has joined. 06:59:01 oerjan: What "doesn't"? "Doesn't say"? I mean, you people might have talked something like that in here, but I'm going by http://www.esolangs.org/wiki/BF_Joust where the only thing about nested {}s is "Braces may be nested within braces. The innermost parentheses match the outermost braces --" and a (a(b{c{d}e}f)%2g)%2 as an example. 06:59:56 zzo38: Aaaaw. 07:00:04 oerjan: So my parser does ( ( { { ... } } ) ) so that the inner {} always matches the outer () in that case. 07:00:05 fizzie: which happens to give the same result as saying an { matches the first free ( afaict 07:00:19 Well, yes, but it doesn't *say so*. 07:00:26 Why is there an emacs implementation of HTCPCP? 07:00:40 And the behaviour differs for (({}({{}}))). 07:00:47 Sgeo: Why not? 07:01:08 pikhq_, where are my HTCPCP-compliant coffee machines? 07:01:15 http://zzo38computer.cjb.net/errors/error.php?code=402 07:01:29 Sgeo: That need be fixed. 07:01:36 fizzie: ah. i did not intend for that to be legal. 07:01:38 * Sgeo immediately begins wondering how to exploit error.php 07:01:46 -!- pikhq has quit (Ping timeout: 260 seconds). 07:01:54 fizzie: oh wait right 07:02:07 first free is not correct, no. 07:02:20 because that does not disallow (({}{})) 07:02:35 Sgeo: Try if you want to, and tell me if you figure out anything which is a security problem. However, I think I made it secure. 07:02:43 and what you wrote is simply adding an extra ({}) to that 07:03:09 Well, that's bizarre behavior 07:03:15 500 when given 789 07:03:29 Well, Gregor is doing (({({{ ... in his thing. (I didn't look further to see how it goes on from that.) 07:03:55 Sgeo: Anything which is not supported by Apache or PHP will put 500 instead. 07:04:05 yeah that's not supposed to be legal either 07:04:17 er wait 07:04:20 * oerjan recounts 07:04:28 yes that's legal 07:05:39 that innermost rule may not be very good for things like (({}){}) 07:06:07 Oh. So you *do* want first-free-style thing there after all. 07:06:32 If (({({{ is supposed to match A( B( B{ C( C{ A{. 07:06:39 well i invented the notation but didn't write it up on the wiki... 07:06:45 Hey, they actually have the Trojan Room coffee pot camera up again. 07:06:59 and yes, it should 07:07:06 Someone actually bought it and set a camera on it. 07:07:13 http://www.spiegel.de/static/popup/coffeecam/cam2.html 07:08:06 -!- mtve has joined. 07:08:19 fizzie: the rule as i intended: every ( must match with a { or a ), every { with a (, every } with a ), and every ) with a } or a ). and no matches may cross. 07:08:48 um i'm missing some detail 07:09:15 hm no i don't, that does disallow ({}{}) 07:09:30 because that would give crossing matches 07:09:45 oerjan: "Bah", I say. I don't think I keep enough state to allow (({({{ as A( B( B{ C( C{ A{ easily while at the same time not making (({}({{ to be A( B( B{B} C( C{ A{. 07:10:17 (a(b{c}d{e}f{g{h}i{j}k}l{m}n)o{p}q) 07:10:19 What do you do. 07:10:39 Well, I do catch *that*. 07:11:27 But currently as a virtue of having the (-{ match specified "statically" directly as a function of the nesting depth. 07:11:27 fizzie: i've mentioned that i think parsing this properly requires two stacks, or one stack in parallel with recursive parsing 07:11:35 (the Trojan Room coffee pot, for those who either *weren't* online in the 90s or don't remember, was a coffee pot with a camera put on it. In 1991. Inexplicably, this became well-known when the camera got hooked to the Internet in '93.) 07:12:07 (and I actually remember the damned thing. Good God was I young when I started using the Internet regularly.) 07:12:31 fizzie: well in (({}({{ the first and third {'s do have the same nesting depth 07:12:43 -!- augur has quit (Remote host closed the connection). 07:13:36 oerjan: Yes, but my nesting depth counts (s and then separately the number of {s without intervening (s, and does basically "take { match from {-nesting-depth deep in the (-stack". 07:14:27 So I would currently match the last { into the same ( in both (({}({{ and (({({{. 07:15:01 fizzie: ( increases nesting depth, { decreases it 07:15:50 -!- cheater- has quit (Ping timeout: 272 seconds). 07:15:58 Yes, well, that's the same as looking more levels "deeper" in the (-stack. 07:17:00 -!- cheater- has joined. 07:18:56 fizzie: another intuition is that when you turn (a{b}c)%n into egojoust's mismatched parenthesis notation (a)*nb(c)*n, all parentheses should match properly in the usual sense 07:19:12 *mismatched [] 07:20:11 -!- FireFly has quit (Quit: swatted to death). 07:21:10 Well, I already have a two-stack approach, it's just counting {{}}s inside a single (); I think I can quasi-easily retrofit that to something which does your thing properly. 07:21:35 :) 07:21:49 With any luck it's going to be even simpler. 07:22:28 The old solution had the {-stack actually to be sort of a stack-of-stacks to handle (({{ (({{ properly. 07:23:06 huh 07:23:41 Since it was "{-stack for the 'current' immediately enclosing ()", basically. 07:25:56 i did ponder a bit how to parse this in a functional way, and then i figured that the parsing result should include a stack of still unmatched inner {'s... 07:26:38 although that structure got quite weird 07:33:27 -!- augur has joined. 07:55:51 -!- pikhq has joined. 07:56:21 -!- pikhq_ has quit (Ping timeout: 272 seconds). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:02:38 -!- boysetsfrog has joined. 08:08:21 oerjan: Did you intend to allow things like [(++{]}--)%5? 08:10:20 no 08:10:20 I mean, it does have a sensible meaning [++++++++++]---------- and all. 08:10:53 only accidentally 08:11:29 it can be written as [(++)*5](--)*5 08:11:44 -!- poiuy_qwert has joined. 08:11:57 Then I guess your "( increments nesting level, { decrements" rule isn't enough to catch those crossing loops, since [({] would be just the same as [()]. 08:12:04 but it totally breaks the intended efficient implementation 08:12:32 -!- cheater- has quit (Ping timeout: 240 seconds). 08:12:41 fizzie: um no, i said you need two stacks, one is for ({}) but the other is for _all_ types of brackets, matching intuitively 08:13:39 I do []-loops separately at the moment. 08:13:50 -!- cheater- has joined. 08:13:53 ouch 08:13:56 I guess they could be in the same bit, though. 08:14:43 It does have the side-effect benefit of not requiring properly matched []s in ()*0 comments. :p 08:15:20 the intended efficiency from not needing to change any () loop state when you jump between []'s goes completely down the drain if you allow [] to cross over the rest 08:16:46 I don't really see that. Isn't the () loop-counter stack in identical state at A and B in A (...{ B }...)%5? 08:17:22 hm actually you are right in that case 08:18:04 (Lunchtime.) 08:19:44 -!- cheater- has quit (Ping timeout: 240 seconds). 08:21:01 -!- cheater- has joined. 08:40:48 -!- pikhq_ has joined. 08:41:17 -!- pikhq has quit (Ping timeout: 272 seconds). 08:44:23 Do you own a copy of "The PROFESSIONAL Pokemon Sticker Book"? 08:46:29 ^ul (()(*))(~:^:S*a~^a~!~*~:(/)S^):^ 08:46:29 */*/**/***/*****/********/*************/*********************/**********************************/*******************************************************/*****************************************************************************************/********************************************************************************* ...too much output! 08:46:47 ^ul (()((*)S))(~:^:^*a~^a~!~*~:(/)S^):^ 08:46:47 */*/**/***/*****/********/*************/*********************/**********************************/*******************************************************/*****************************************************************************************/********************************************************************************* ...too much output! 08:49:39 Fibonacci sequence? 08:49:50 yep 08:50:03 one of the oldest underload programs, i think 08:53:41 So. 08:53:43 What is this. 08:53:44 Underload golf? 08:54:46 underload minimization, but not of program length 08:54:59 rather, removing individual instructions 08:55:14 (no i haven't done so above) 09:11:32 -!- pikhq has joined. 09:12:18 -!- pikhq_ has quit (Ping timeout: 272 seconds). 09:12:42 -!- yorick has joined. 09:17:59 Gregor: Please to be fetching a fixed copy at http://git.zem.fi/chainlance/blob_plain/master:/gearlance.c -- I make no claims for full compliance, but it at least gives identical results to egojsout for your http://sprunge.us/WZNL against few random opponents. 09:27:05 ^ul (((j))((*)S(j))(j))(aa((a(*)**((aa)(a(*)**))))*:*^a(*)****^a*^a*aa*(*:*^a(*)****^)*^:^a(*)**:^a(*)**aa((a(*)**(a(*)**)))*:*^a(*)****^**a((j))*aa((a(*)**((aa)(a(*)**))))*:*^a(*)****^a*^a*aa*(*:*^a(*)****^)*^^a(*)**a((j))*aa((a(*)**((aa)(a(*)**))))*:*^a(*)****^a*^a*aa*(*:*^a(*)****^)*^a(*)**aa((a(*)**((aa)(a(*)**))))*:*^a(*)****^a*^a*aa*(*:*^a(*)****^)*^aa((a(*)**(a(*)**)))*:*^a(*)****^**aa((a(*)**((aa)(a(*)**))))*:*^a(*)****^a*^a*aa*(*:*^a(*)****^)*^:(/) 09:27:05 ...unterminated (! 09:27:11 darn 09:28:22 huh only 5 characters too long 09:28:49 ^ul ((())((*)S())())(aa((a(*)**((aa)(a(*)**))))*:*^a(*)****^a*^a*aa*(*:*^a(*)****^)*^:^a(*)**:^a(*)**aa((a(*)**(a(*)**)))*:*^a(*)****^**a(())*aa((a(*)**((aa)(a(*)**))))*:*^a(*)****^a*^a*aa*(*:*^a(*)****^)*^^a(*)**a(())*aa((a(*)**((aa)(a(*)**))))*:*^a(*)****^a*^a*aa*(*:*^a(*)****^)*^a(*)**aa((a(*)**((aa)(a(*)**))))*:*^a(*)****^a*^a*aa*(*:*^a(*)****^)*^aa((a(*)**(a(*)**)))*:*^a(*)****^**aa((a(*)**((aa)(a(*)**))))*:*^a(*)****^a*^a*aa*(*:*^a(*)****^)*^:(/)S^):^ 09:28:49 ...out of stack! 09:28:55 argh 09:28:56 oh wait 09:29:01 ^ul ()((())((*)S())())(aa((a(*)**((aa)(a(*)**))))*:*^a(*)****^a*^a*aa*(*:*^a(*)****^)*^:^a(*)**:^a(*)**aa((a(*)**(a(*)**)))*:*^a(*)****^**a(())*aa((a(*)**((aa)(a(*)**))))*:*^a(*)****^a*^a*aa*(*:*^a(*)****^)*^^a(*)**a(())*aa((a(*)**((aa)(a(*)**))))*:*^a(*)****^a*^a*aa*(*:*^a(*)****^)*^a(*)**aa((a(*)**((aa)(a(*)**))))*:*^a(*)****^a*^a*aa*(*:*^a(*)****^)*^aa((a(*)**(a(*)**)))*:*^a(*)****^**aa((a(*)**((aa)(a(*)**))))*:*^a(*)****^a*^a*aa*(*:*^a(*)****^)*^:(/)S^) 09:29:23 ...now what 09:29:35 ^echo hi 09:29:35 hi hi 09:29:47 um wait 09:31:06 ^echo ha 09:31:06 ha ha 09:31:09 (The friendly bot.) 09:42:31 ^ul ((x)S(j))(::aa((a(*)**(a(*)**)))*:*^a(*)****^**aa((a(*)**(a(*)**)))*:*^a(*)****^**(j))^a(*)**^ 09:42:31 x ...out of stack! 09:42:38 ^ul ()((x)S(j))(::aa((a(*)**(a(*)**)))*:*^a(*)****^**aa((a(*)**(a(*)**)))*:*^a(*)****^**(j))^a(*)**^ 09:42:38 xxx 09:42:43 ok that one worked 09:47:30 -!- Phantom_Hoover has joined. 09:57:35 ^ul ()((())((*)S())())(aa((a(*)**((aa)(a(*)**))))*:*^a(*)****^a*^a*aa*(*:*^a(*)****^)*^:^a(*)**:^a(*)**aa((a(*)**(a(*)**)))*:*^a(*)****^**a(())*aa((a(*)**((aa)(a(*)**))))*:*^a(*)****^a*^a*aa*(*:*^a(*)****^)*^^a(*)**a(())*aa((a(*)**((aa)(a(*)**))))*:*^a(*)****^a*^a*aa*(*:*^a(*)****^)*^a(*)**aa((a(*)**((aa)(a(*)**))))*:*^a(*)****^a*^a*aa*(*:*^a(*)****^)*^aa((a(*)**(a(*)**)))*:*^a(*)****^**aa((a(*)**((aa)(a(*)**))))*:*^a(*)****^a*^a*aa*(*:*^a(*)****^)*^():(/)S 09:57:36 ...unterminated (! 09:57:46 huh 09:58:26 :\ 10:00:13 If that's supposed to end with (/)S^):^, it got cut off again; ends at "S". And the "now what" one ends with just "S^)". 10:01:11 wait with S^) ? 10:01:50 ok then the now what one may have been correct 10:02:20 that () that appeared now was a mistake, i think 10:03:12 there's a possible shortcut in the * expansion, that should get it under 10:04:25 "* ...too much stack!" if I try to append the presumably missing :^ with the str+def trick. 10:04:37 not too unlikely, alas 10:04:50 -!- yorick has quit (Remote host closed the connection). 10:05:58 -!- yorick has joined. 10:07:11 ^ul ()((())((*)S())())(aa((a(*)**((aa)(a(*)**))))*:*^a(*)****^a*^a*aa*(*:*^a(*)****^)*^:^a(*)**:^a(*)**aa((a(*)**):a*)*:*^a(*)****^**a(())*aa((a(*)**((aa)(a(*)**))))*:*^a(*)****^a*^a*aa*(*:*^a(*)****^)*^^a(*)**a(())*aa((a(*)**((aa)(a(*)**))))*:*^a(*)****^a*^a*aa*(*:*^a(*)****^)*^a(*)**aa((a(*)**((aa)(a(*)**))))*:*^a(*)****^a*^a*aa*(*:*^a(*)****^)*^aa((a(*)**):a*)*:*^a(*)****^**aa((a(*)**((aa)(a(*)**))))*:*^a(*)****^a*^a*aa*(*:*^a(*)****^)*^:(/)S^):^ 10:07:11 * ...too much stack! 10:07:54 well it _did_ manage to print on asterisk XD 10:08:07 what is the stack limit btw 10:08:39 *one 10:10:08 ffaa*** is one limit, but I think it's the "out of time" one. Yes, it's that. 10:10:39 cd*:* is the stack limit. 10:11:18 > (12*13)^2 10:11:18 24336 10:11:22 that? 10:11:40 Pppprobably. At least it's right there nearby the message. :p 10:12:11 91g cd*:*+ 0` |, yes it does look like a stack-size check. 10:12:52 I could bump it up one order of magnitude if that helps. 10:13:22 probably not, exponential growth of the garbage seems likely 10:13:50 this is going to need an interpreter with actual structure sharing 10:14:48 hm 10:14:51 ^ul (***************):*:*:*:*:*:*:*:*:*:*(yes)S 10:14:52 yes 10:14:53 ^ul (***************):*:*:*:*:*:*:*:*:*:*:*(yes)S 10:14:53 ...too much stack! 10:15:01 It does seem to be there between 16k and 32k. 10:16:27 !echo hi 10:17:02 !echo hi 10:17:11 hi 10:17:12 hi 10:17:27 !underload http://oerjan.nvg.org/esoteric/underload/test.ul 10:17:30 * 10:17:41 eek 10:17:57 ok it's definitely working :) 10:18:11 and egobot did it reasonably fast, too 10:20:20 !haskell import System.IO; main = do putStr "hm "; hFlush stdin; main 10:20:25 er 10:20:31 !haskell import System.IO; main = do putStr "hm "; hFlush stdout; main 10:20:47 !echo hi 10:20:52 -!- pikhq has quit (Ping timeout: 240 seconds). 10:20:54 -!- pikhq_ has joined. 10:21:16 hm does EgoBot give any response to timeout? 10:21:31 !haskell import System.IO; main = do putStr "hm "; hFlash stdout; main 10:22:13 Line 315, columns 16 and 22... so line 414, columns 15 and 21 in physical coords. That's line ee*b+2*, columns f and f6+. So... 10:22:15 ^bf 'ff6+ee*b+2*p'*fee*b+2*p 10:22:20 ^ul (***************):*:*:*:*:*:*:*:*:*:*:*(yes)S 10:22:20 ...too much stack! 10:22:24 Hmm. :/ 10:22:44 No, that's not the run-befunge command, that's the brainfuck commad. 10:22:46 Silly me. 10:23:05 ^code 'ff6+ee*b+2*p'*fee*b+2*p 10:23:08 ^ul (***************):*:*:*:*:*:*:*:*:*:*:*(yes)S 10:23:08 yes 10:23:10 There. 10:23:16 The stack limit is now 10:23:26 > 15*(12*13)^2 10:23:27 365040 10:23:30 huh 10:23:31 That many bytes. 10:23:32 let's see 10:23:46 ^ul ()((())((*)S())())(aa((a(*)**((aa)(a(*)**))))*:*^a(*)****^a*^a*aa*(*:*^a(*)****^)*^:^a(*)**:^a(*)**aa((a(*)**):a*)*:*^a(*)****^**a(())*aa((a(*)**((aa)(a(*)**))))*:*^a(*)****^a*^a*aa*(*:*^a(*)****^)*^^a(*)**a(())*aa((a(*)**((aa)(a(*)**))))*:*^a(*)****^a*^a*aa*(*:*^a(*)****^)*^a(*)**aa((a(*)**((aa)(a(*)**))))*:*^a(*)****^a*^a*aa*(*:*^a(*)****^)*^aa((a(*)**):a*)*:*^a(*)****^**aa((a(*)**((aa)(a(*)**))))*:*^a(*)****^a*^a*aa*(*:*^a(*)****^)*^:(/)S^):^ 10:23:47 * ...too much prog! 10:23:54 er... 10:24:12 Heh, you hit the second stack limit, I guess. 10:24:22 fungot: getting a real workout today, are we? 10:24:22 oerjan: confuse you more than ten gigabytes of data, mondrian is the way 10:25:09 it's still a _little_ disturbing that it didn't even get to the second string of asterisks - and EgoBot gave a _lot_ of lines 10:25:33 That limit is also dc*:*, it seems; or at least it's there near the "!gorp hcum oot..." string. 10:28:47 Line 317, columns 19, 20, 21; that is, 416 and 18, 19 and 20; so... 10:28:48 ^code 'ff3+ee*c+2*p'*f4+ee*c+2*p'-f5+ee*c+2*p 10:28:54 Sooner or later I'm going to break something. 10:29:08 ...you do at least have version control? 10:29:17 * oerjan says, hypocritically 10:29:21 Yes, and these only touch the in-memory copy anyway. 10:29:33 ^ul ()((())((*)S())())(aa((a(*)**((aa)(a(*)**))))*:*^a(*)****^a*^a*aa*(*:*^a(*)****^)*^:^a(*)**:^a(*)**aa((a(*)**):a*)*:*^a(*)****^**a(())*aa((a(*)**((aa)(a(*)**))))*:*^a(*)****^a*^a*aa*(*:*^a(*)****^)*^^a(*)**a(())*aa((a(*)**((aa)(a(*)**))))*:*^a(*)****^a*^a*aa*(*:*^a(*)****^)*^a(*)**aa((a(*)**((aa)(a(*)**))))*:*^a(*)****^a*^a*aa*(*:*^a(*)****^)*^aa((a(*)**):a*)*:*^a(*)****^**aa((a(*)**((aa)(a(*)**))))*:*^a(*)****^a*^a*aa*(*:*^a(*)****^)*^:(/)S^):^ 10:29:48 * ...too much stack! 10:29:56 XD 10:30:01 Heh, took quite a while longer this time to get there. 10:30:15 it _still_ went over limit before getting to the second asterisk :D 10:30:37 i guess there's no use trying any more with a string-based interpreter 10:30:57 or, for that matter, the / 10:51:36 -!- pikhq has joined. 10:52:04 -!- pikhq_ has quit (Ping timeout: 264 seconds). 11:20:16 -!- sftp has joined. 11:37:22 * Phantom_Hoover curses his compulsive hoarding. 11:37:39 that goes with being a hoover, i take 11:37:47 Yeah, probably. 11:38:18 elimination of ~! now on Underload page 11:42:31 rjan: hello 11:42:57 have you finally eliminated it? 11:42:59 well done 11:50:12 -!- cheater- has quit (Quit: Leaving). 11:50:56 -!- cheater- has joined. 12:00:59 -!- FireFly has joined. 12:14:06 :t germanize 12:14:07 Not in scope: `germanize' 12:17:41 Gregor: Also, you mentioned an expander; here's a dirt-simple (and readable, and maintainable, and all that) Perl-oneliner which should work for plain "()*N containing any loops" code: 12:17:46 $ cat testx.b 12:17:46 ([+)*5([([)*2(+)*3)*6(])*23 12:17:51 $ perl -e '$p=$o=join("",<>); while(1){$p =~ s/\((([^()]*|\((?2)*\))*)\)\*(\d+)/index($1,"[")>=0||index($1,"]")>=0 ? $1x$3 : $&/egs; last if $p eq $o; $o=$p;} print $p;' < testx.b 12:17:51 [+[+[+[+[+[[[(+)*3[[[(+)*3[[[(+)*3[[[(+)*3[[[(+)*3[[[(+)*3]]]]]]]]]]]]]]]]]]]]]]] 12:18:26 Altering the expression to match only ()s that have unbalanced []s left as an exercise. 12:26:17 -!- boysetsfrog has quit (Quit: ...). 12:34:00 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 12:38:53 Well, now, that was simple: 12:38:58 $ cat testx.b 12:38:58 ([+)*5([([)*2([+])*3)*6(])*23 12:39:02 $ perl -e '$p=$o=join("",<>); while(1){$p =~ s/\((([^()]*|\((?2)*\))*)\)\*(\d+)/my($b,$c,$f)=($1,$3,$&); $b =~ m{^([^\[\]]*|\[(?1)*\])*$} ? $f : $b x $c/egs; last if $p eq $o; $o=$p;} print $p;' < testx.b 12:39:02 [+[+[+[+[+[[[([+])*3[[[([+])*3[[[([+])*3[[[([+])*3[[[([+])*3[[[([+])*3]]]]]]]]]]]]]]]]]]]]]]] 12:42:33 -!- BeholdMyGlory has joined. 12:42:39 now to not expand ({})% that are already matched? 12:43:11 -!- Phantom_Hoover has joined. 12:45:30 fungot, 12:45:30 Phantom_Hoover: or so goes the story i tell to people who use gambit-c. i can't do music. well, it's open source 12:45:51 Oh, how I wish the full stop after "music" wasn't there. 12:50:04 -!- cheater- has quit (Ping timeout: 272 seconds). 12:51:15 -!- cheater- has joined. 12:57:10 -!- oerjan has quit (Quit: leaving). 13:02:23 -!- cheater- has quit (Ping timeout: 240 seconds). 13:04:09 -!- cheater- has joined. 14:24:21 -!- cheater- has quit (Ping timeout: 240 seconds). 14:26:27 -!- cheater- has joined. 14:31:09 -!- cheater- has quit (Ping timeout: 240 seconds). 14:31:21 -!- Sgeo has quit (Ping timeout: 272 seconds). 14:32:18 -!- cheater- has joined. 14:36:16 -!- MigoMipo has joined. 14:48:44 -!- MigoMipo has quit (Remote host closed the connection). 15:19:45 -!- iconmaster has joined. 15:24:56 -!- Sgeo has joined. 15:43:20 -!- zzo38 has quit (Remote host closed the connection). 15:45:49 This class is like one long advertisement for Microsoft 15:50:48 Sgeo, HAVE WE MENTIONED THAT YOU SHOULD HAVE TRANSFERRED MONTHS AGO 15:51:01 or that you should get a blog? 15:53:59 -!- sebbu has quit (Read error: Connection reset by peer). 15:54:36 -!- sebbu has joined. 15:54:37 -!- sebbu has quit (Changing host). 15:54:37 -!- sebbu has joined. 15:57:48 Who'd be interested in the blog? 16:01:13 elliott would probably read it in order to mock you. 16:07:49 at least as many people as are interested in your random postings to this channel, i'm sure 16:08:36 Also, I'd feel weird talking about some of this stuff on the web 16:08:39 clog doesn't count 16:09:32 you could adopt a new name and do it anonymously. 16:09:47 you know, where people don't know your real name and where you go to school and stuff 16:12:36 -!- Gregor has changed nick to gkrichar. 16:12:49 Argh 16:12:51 -!- gkrichar has changed nick to Gregor. 16:12:52 -!- MigoMipo has joined. 16:13:34 what is gkrichar? 16:14:11 My terrible username at Purdue. 16:14:22 Which was the default in this empty X-Chat setup I neglected to change. 16:14:33 oic 16:15:26 gkrichar is clearly the only correct username 16:15:32 must be nice having your real name as your nick on here... 16:16:12 Hell of a lot nicer than "gkrichar" :P 16:17:03 Did they decide that the "d" was a waste of space 16:17:05 *? 16:17:18 Phantom_Hoover: cap at 8 chras 16:17:19 *chars 16:17:37 gkricharizard 16:18:42 -!- Mathnerd314 has quit (Ping timeout: 240 seconds). 16:22:26 APNIC down 0.02 today. 16:23:21 Cap at 8 chars IN THE YEAR 2009 (when I got the ID) 16:23:45 At PSU I was "gregor" ... it was awesome :( 16:29:29 * Phantom_Hoover is smug that he will never have a meaningful name clash in his life. 16:30:01 !bfjoust I_just_want_the_old_myndzi_careless_of_the_board (>)*8(>[[-]])*21 16:30:27 Phantom_Hoover: None of this is about name clashes, just poor policies. 16:31:05 -!- Sgeo has quit (Ping timeout: 240 seconds). 16:31:15 Gregor, pshht. 16:32:16 Score for Gregor_I_just_want_the_old_myndzi_careless_of_the_board: 17.0 16:32:37 !bfjoust I_just_want_the_old_myndzi_careless_of_the_board <3 16:32:45 Score for Gregor_I_just_want_the_old_myndzi_careless_of_the_board: 0.0 16:33:02 !bfjoust I_just_want_that_program_where_I_typod_off_as_of_off_the_board (>)*8(>[[-]])*21 16:33:09 Score for Gregor_I_just_want_that_program_where_I_typod_off_as_of_off_the_board: 17.5 16:33:25 XD 16:33:31 !bfjoust I_just_want_that_program_where_I_typod_off_as_of_off_the_board <3 16:33:34 Score for Gregor_I_just_want_that_program_where_I_typod_off_as_of_off_the_board: 0.0 16:34:59 -!- zzo38 has joined. 16:45:20 ? 16:46:26 So come on people, where's all the competition. 16:46:38 Although I love that FFSPG has 69 points, it's about time somebody beat it :P 16:46:52 ais and quintopia were both claiming they had amazing programs on the way. 16:50:25 -!- pikhq has quit (Ping timeout: 240 seconds). 16:50:33 -!- pikhq has joined. 16:51:16 -!- augur has quit (Remote host closed the connection). 16:54:11 I made a graphical BF Joust interpreter last night. 16:54:21 It's called IconJoust. 16:54:43 I'm uploading it to a site currently. 16:54:46 -!- hiato has joined. 16:54:51 -!- hiato has quit (Client Quit). 16:55:21 So, like EgoJSout, but not as cool ;) 16:55:25 Yep! 16:55:36 gregor: i stopped working on that to begin work on a compiler for bfjml. for which i am learning perl. 16:56:00 It's slow, the graphics look bad, and you need to parse the fighters through a Lua file first! 16:56:47 And the fighter parser doesn't work right all the time! 16:58:27 iconmaster: Sounds BEST EVER. 16:58:45 Gregor: Yep! I LOVE It! 16:59:12 are the programs represented by little knights on horses with jousting poles? 16:59:34 and the cell values by castle turrets of various heights? 16:59:42 if so, it is BEST EVER 16:59:52 oh wait no 16:59:59 That woulkd be a cool theme. Ill think about it... 17:00:19 best ever would be the cells being windmills, and the warriors having long quixote mustaches 17:01:38 It's being virus scanned right now, IconJoust will be found at http://www.yoyogames.com/games/164956-iconjoust 17:02:03 Its written in GML btw 17:04:23 Gregor: So I fixed those {}s, in case you didn't logread. 17:05:01 is gearlance replacing egojoust? 17:05:39 quintopia: And then some windmills should rotate clockwise, and others counterclockwise. 17:06:15 -!- cheater00 has joined. 17:06:16 -!- cheater- has quit (Ping timeout: 240 seconds). 17:06:18 quintopia: Seems to, though of course what happens at !bfjoust stays at !bfj... I mean, is up to Gregor. 17:06:24 -!- zzo38 has quit (Remote host closed the connection). 17:06:26 zzo38: the speed and direction of the blades indicates the value, rather than the size! 17:06:38 durn 17:06:43 too slow 17:10:24 fizzie: Can haz URL 17:11:37 http://arstechnica.com/gaming/news/2011/02/otheros-class-action-lawsuit-geohot-sony-now-share-same-charge.ars 17:12:44 What's a POSIX command for reading the first N characters from stdin to stdout 17:13:47 Gregor: http://git.zem.fi/chainlance/blob_plain/HEAD:/gearlance.c 17:13:59 Deewiant: head -c N 17:14:03 Deewiant: You sound like a crossword puzzle; but head. 17:14:04 Gregor: GNU only 17:14:26 -c ain't POSIX, or at least solaris head doesn't have it 17:15:49 Detailed breakdown: IPv4/22 to Japan, IPv4/22 to Thailand, 2xIPv4/15+IPv4/16 to China, 2xIPv4/18 to Vietnam, IPv4/18+IPv4/19 to New Caledonia, IPv4/21+IPv6/32 to Singapore, IPv4/23+IPv4/24+3xIPv6/32 to Australia, IPv4/23+IPv6/32 to Indonesia 17:16:06 Deewiant: dd bs=N count=1 ? 17:16:07 Ilari: So, what does the IPv4 pool look like right now? 17:16:34 Crowded, and full of latent urine and feces of inconsiderate swimmers. 17:16:48 APNIC pool: 2.55 plus something like 1.60 of ERX space. 17:17:14 Getting cramped... 17:17:28 (plus that 1 of reserved space) 17:17:46 However crowded it is, remember that an enormous section of the pool is cordoned off and reserved for IBM swimmers only :P 17:18:06 Don't forget HP: 3x/8(!) 17:18:06 fizzie: bs=1 count=N rather (I'm not sure why but the other way around didn't work), but thanks 17:18:25 Ilari: Wow, HP has 3 /8s O_O 17:18:31 Ilari: How many does IBM have? 17:18:40 Gregor: By "enormous" you mean "2 weeks worth", right? 17:18:40 I didn't realize that dd reads stdin, I thought it only took if/of and those would be annoying to stdin/outify portably 17:18:50 (presuming IBM has "only" a /8) 17:19:36 As far as I can tell from the list, both IBM and HP only have one ... 17:20:13 AT&T has two ... 17:20:27 HP owns DEC. 17:20:37 AT&T is undoubtedly *using* those /8s. 17:20:47 Ilari: Aha 17:20:48 And IIRC, also owns some third /8 holder. 17:21:17 I mean, last I checked they were both an end-user ISP and tier one. 17:22:13 The non-RIRs that own /8s are (as marked): General Electric Company, Level 3 Communications, Inc, Army Information Systems Center, IBM, DoD Intel Information Systems, AT&T Bell Laboratories, Xerox Corporation, Hewlett-Packard Company, Digital Equipment Corporation, Apple Computer Inc. 17:22:53 Oh, AT&T doesn't actually own a /8, then? 17:23:03 (Bell Labs got spun off in '96) 17:23:29 032/8AT&T Global Network Services 17:23:42 Okay, that'd be AT&T. 17:23:53 MIT, Ford Motor Company, Computer Sciences Corporation, DDN-RVN, Defense Information Systems Agency, UK Ministry of Defence, DSI-North, AT&T Global Network Services, DLA Systems Automation Center, Halliburton Company, MERIT Computer Network, PSINet, Inc., Eli Lily & Company 17:24:48 047/8Bell-Northern Research is this connected to Bell Labs? 17:25:05 Amateur Radio Digital Communications, Bell-Northern Research, Prudential Securities Inc., UK Government Department for Work and Pensions, E.I. duPont de Nemours and Co., Inc., Cap Debis CCS, Merck and Co., Inc., DoD Network Information Center, US Postal Service, SITA. 17:25:32 Gregor: Bell Canada & Northern Telecom. 17:26:18 Gregor: So, last related to AT&T in 1956. 17:26:31 "UK Government Department for Work and Pensions" <-- does this REALLY need a /8? 17:26:36 -!- iconmaster has quit (Read error: Connection reset by peer). 17:26:37 Hmm. Amateur radio probably hasn't corresponding allocation on IPv6 side. At least not as IANA-level allocation. 17:27:58 Oh, yeah, AMPRNet has 44.0.0.0/8. 17:28:37 Apparently allocated *in the 70s*. 17:29:01 -!- iconmaster has joined. 17:30:26 AfriNIC has six /8s. American corporations have 16. 17:33:13 !bfjoust rerun_the_hill <3 17:33:54 Score for Gregor_rerun_the_hill: 0.0 17:34:25 Gregor: Well, much of Africa is only now starting to not be a hellhole. 17:34:52 s/now/in the Very Near Future/ 17:35:38 Gregor: By "now starting" I mean "holy shit they've got economic progress, starvation is going down, education is going up, and endemic diseases are going away." 17:36:12 We're really only at the start of it, but hey. Just getting progress going there is a big deal. 17:36:17 !bfjoust carl (>)*9+[[[-]>+]](<)*9+] 17:36:20 Score for iconmaster_carl: 0.0 17:36:32 Your []s. They do not match. 17:36:43 Wha? No they dont. Oops 17:37:15 !bfjoust carl (>)*9+[[[-]>+](<)*9+] 17:37:19 Score for iconmaster_carl: 9.1 17:38:42 Impressive. 17:39:06 I'm going to run carl thru IconJoust for fun now. 17:39:24 iconmaster: Run FFSPG! 17:40:29 Really big programs lagdeath IconJoust, sadly. 17:40:48 IconJoust is kinda useless that way. 17:41:08 It's sounding better and better every time you mention it. 17:41:27 I KNOW! Isnt IconJoust just AWFUL?!?!?! 17:41:31 lol. 17:43:08 IPv6 unicast block #0 (200x::) has apparently 926 720 /32s as IANA-unallocated. 17:43:15 -!- augur has joined. 17:44:19 I cant wait until I can show it to you in all it's apparent AFULNESS! 17:44:50 Hey, you're the one doing a bad job of hyping it up :P 17:45:29 Lol, i'm kinda proud of it, but im not showing it... 17:45:46 Lets just say i'm being.... Humble. Ya, that's it... 17:47:07 Only blocks #0, #64, #96, #97, #98, #128, #160 and #192 have anything (WTF is up with those blocks #97 and #98) 18:13:20 quintopia: We got an illustration of Philip the Careless Turtle, so are you going to draw Furry Furry Strap-on Pegging Girls? 18:32:43 -!- Sgeo has joined. 18:34:27 -!- sebbu has quit (Read error: Connection reset by peer). 18:34:58 -!- sebbu has joined. 18:59:40 anyone know about some *ahem* free minecraft for linux? 19:10:50 yorick, why were you K-lined? 19:12:49 -!- SimonRC has quit (Ping timeout: 240 seconds). 19:14:03 -!- SimonRC has joined. 19:17:19 Phantom_Hoover: vhost broken 19:17:26 Also, we have a channel, #esoteric-minecraft, to keep MC discussion from drowning out everything else. 19:18:06 :D 19:19:00 * Sgeo takes a bucket of water and places a spring on Phantom_Hoover 19:26:29 Oh god. 19:26:35 I should have expected it, but... 19:26:58 There is an article on the Star Wars wiki (which *still* hasn't moved from Wikia) about lightsaber fencing. 19:27:09 It is several pages long. 19:33:57 Phantom_Hoover: why are you on the starwars wiki? 19:34:15 I'm not, it was just linked by the TV Tropes article on Flynning. 19:35:28 why are you on tv tropes? 19:37:09 Why do people smoke? 19:48:59 -!- Sgeo has quit (Ping timeout: 240 seconds). 19:49:33 -!- pingveno has quit (Ping timeout: 240 seconds). 19:50:08 Phantom_Hoover: What do you mean "an article"? There's 79 articles of different aspects of lightsabers, about 60 of which are about the forms, styles and techniques of combat. 19:50:32 fizzie, AAAAAAAAAAAAAAAAAAa 19:50:40 All of them are rather extensive. 19:50:46 * Phantom_Hoover sobs 19:50:55 Just as a representative example, see http://starwars.wikia.com/wiki/Form_VII:_Juyo_/_Vaapad or something. 19:51:12 fizzie, STOP 19:51:16 PLEASE 19:51:28 There is a "Lightsabers" portal-link-template-thing at the bottom for further perusal. 19:51:50 -!- pingveno has joined. 19:51:59 If you want to know about the activation stud, blade emitter, emitter matrix, focusing lens, hilt, inert power insulator or the pommel cap of a lightsaber; all those are separate articles. 19:52:46 It'd be respectable were it not for the fact that it's complete crap. 19:52:48 (Okay, so some are a teeny bit stub-like, like the pommel cap article.) 19:53:16 I have no problem with world building if it's done *well*, but that kind of stuff is just putting the handwaving a level lower 19:53:50 quintopia: Can you describe bfjml a bit? 19:54:07 Phantom_Hoover: Did you know: the heavy hilts of lightsabers were sometimes used as a non-fatal alternative to actually impaling someone with the glowy bit. The more you know! 19:54:35 That would have been the best resolution to EVERY STAR WARS DUEL EVER 19:54:53 19:55:21 "ssshhhmit" is the onomatopoeia for a lightsaber being turned off. 19:56:07 Named after Edward Shmit, the (dyslexic) first Jedi to learn how to actually turn a saber off. 19:56:37 Before that they just ran around very carefully indeedd. 19:56:40 *indeed 20:06:12 -!- Sgeo has joined. 20:11:49 -!- elliott has joined. 20:12:01 fizzie: Oh btw, wtf who writes a threaded code interpreter for BF Joust. Honestly. 20:12:28 20:48:37 zzo38: The fact that I'm a longer-lasting member of #esoteric than everyone but fizzie, and yet I don't have ops (and e.g. oerjan does :P ) 20:12:32 and lifthrasiir 20:12:34 and uh 20:12:35 nooga 20:12:38 and ... 20:12:50 20:53:54 :) 20:12:52 and dbc. 20:13:07 lifthrasiir never talks, and is nooga (note: not present) longer lasting? And dbc never talks except to point out that he exists, then disappear again for a year. 20:13:23 Gregor: nooga is longer-lasting and unarguably a talker. 20:13:38 We found this out the last time you went on your old trip. 20:13:42 So, dbc exists more than .. Zuu? 20:13:55 Oh darn, and nooga doesn't have ops. 20:14:00 Why am I picking on Zuu? 20:14:06 Now I have no title to claim :( 20:14:08 Sgeo: The alphabet. 20:14:14 :( 20:14:15 21:27:12 pikhq: and also obssessed with some stupid ideas 20:14:15 21:27:20 like his irrational hatred for numbers that weren't fractions 20:14:19 afaik that's unproven myth 20:14:28 (but HAR HAR HAR.) 20:14:43 21:34:25 Prelude> length . words $ "[list of nicks in channel]" <-- you know, my irc client has a count already it displays in the status bar: "50 (0 ops)" 20:14:49 i never pass up a chance to use haskell 20:14:52 * Sgeo still isn't certain that Pythagoras had anything to do with it, but the oke's still there 20:15:32 Lymia: isn't finnish similar to japanese? 20:15:36 re: 22:10:47 Are there any other languages with grammar like Japanese that arn't on the island of Japan? 20:16:06 Isn't Japanese its own language family ... 20:17:08 (Like, oh, Finnish :P ) 20:17:22 Gregor: Yeah, but IIRC it's similar to Finnish. 20:17:25 Not necessarily related. 20:17:37 wtfbbq 20:17:40 *brain explodes* 20:17:43 Gregor: ? 20:17:52 Languages can be similar without being literally related to each other ... 20:17:54 I really can't think of how Finnish would be similar to Japanese 20:17:55 Two isolates by coincidence have similar grammar? 20:18:04 Deewiant: I think this info is via augur. 20:18:20 Don't blame me yo :P 20:18:28 Gregor: I think it's just the very basics that are similar :P 20:18:57 Like both are ... whatever the equivalent of a concatenative language for natural languages is. 20:19:34 Agglutinative 20:20:02 Deewiant: So you Finns all code in Forth, right? 20:20:07 Except without the spaces, it's all just implicit. 20:20:16 :sayhelloworldhelloworldmessageprint; 20:20:19 Not that I know of 20:20:20 Presumably you use SOV or OSV. 20:20:29 Or VVSOVVVVVVO 20:20:35 The word order of maniacs. 20:20:54 Eats eats Sam oranges eats eats eats eats eats eats oranges. 20:21:08 elliott, assuming here that verb == function. 20:21:42 I kinda wish I spoke an agglutinative language so that concatenative languages would seem more natural to me. 20:21:49 They're so elegant :( 20:22:11 22:17:25 Six little eggs on the run 20:22:11 22:17:39 They fuck each other three goes boom dubi dum 20:22:11 ... 20:22:22 moving on 20:22:24 Words fail me. 20:22:32 QUICKLY moving on 20:22:33 I did not come up with that 20:22:34 "AAAUAUAUAUAUAUAUAUGHGHGHGHGHG" begins to convey it. 20:23:41 Seriously, Google it 20:25:25 22:49:47 Bible Quiz: http://zzo38computer.cjb.net/textfile/miscellaneous/bible.quiz Can you answer these questions without refering to the Bible or to anything else? 20:25:40 well this was... uh... unexpected in a totally expected way because it's zzo 20:25:50 25. Should homosexuals be killed or exiled? 20:25:51 both! 20:25:53 starting with augur 20:26:16 22:52:12 zzo38, did you copy/paste that from Skeptic's Annotated Bible? 20:26:16 22:52:31 No, but I did copy it from a related document. 20:26:16 22:52:46 However, I cleaned it a bit to fit on plain text and deleted the parts which are not necessary. 20:26:23 * elliott wonders what qualifies as "not necessary" 20:27:04 22:56:26 Gregor: If you're advocating that { should associate with the first "free" (, then sorry, the spec doesn't say so. :p 20:27:05 /facepalm 20:28:21 Someone (else than me) should probably write a definitive spec into the wiki at some point. 20:28:30 Also test suite 20:29:10 Heraldry: the BF Joust test suite 20:29:22 Anyway, lance has been done for days but I suppose that doesn't really matter now. 20:29:28 elliott: o hai 20:29:33 augur: halo 20:29:35 * augur sits on elliott 20:29:52 elliott: Why didn't you tell anybody :P 20:30:24 Gregor: I did, I said it was done apart from one minor parsing bug but that I was waiting for either BF Joust activity to start up again or for you to integrate the fixed-point scoring mechanism into report.c so that you could make any changes to the codebase you needed to before integrating it. 20:30:38 I don't think you were here at the time, though. 20:31:04 elliott: Upon logreading (which I don't usually do), I see that in a message to ais. 20:31:11 Yes, I was sure pinged to indicate its completion :P 20:31:22 Gregor: I was under the impression that you did not logread, so I hardly see the point. 20:31:33 (Not everybody who logreads checks pings.) 20:31:39 Anyway, I was going to tell you when you were next on. 20:31:50 I check pings! 20:31:53 I check pings and PMs. 20:32:03 I'm not psychic :p 20:32:12 Why does lance not matter now? 20:32:16 And email, postal mail, FedEx, telephone, ... 20:32:27 Carrier pigeons. 20:32:51 Email transmitted across IP over Carrier Pigeon 20:33:09 Well, that just counts as regular email I gess 20:33:17 I gess. Yes, I gess. 20:33:24 Wow, I had a tough time typing gess 20:33:28 02:13:22 probably not, exponential growth of the garbage seems likely 20:33:28 02:13:50 this is going to need an interpreter with actual structure sharing 20:33:34 Like, cough, ul2c. 20:33:34 Makes me wonder how I managed to typeo 20:35:45 07:51:01 or that you should get a blog? 20:35:45 07:57:48 Who'd be interested in the blog? 20:35:45 08:07:49 at least as many people as are interested in your random postings to this channel, i'm sure 20:35:47 i would say oh snap 20:35:49 but that TOTALLY APPLIES TO ME TOO 20:36:04 08:15:32 must be nice having your real name as your nick on here... 20:36:06 quintopia: totally. 20:36:19 I'm the only Elliott on freenode! 20:36:21 (note: lies) 20:36:28 08:29:29 * Phantom_Hoover is smug that he will never have a meaningful name clash in his life. 20:36:35 Phantom_Hoover: Okay Adhamhamamhanhanjhnkaknahamhamnhamnmahmahnmhnamhnmahahhmmhmhhh. 20:38:11 09:01:38 It's being virus scanned right now, IconJoust will be found at http://www.yoyogames.com/games/164956-iconjoust 20:38:11 09:02:03 Its written in GML btw 20:38:19 Now all 0 Windows users won't be left out, thanks iconmaster :P 20:38:31 BEST ARCADE GAME IDEAS: You're a bear in a zoo. An overhanging observatory, breaks and a dozen children fall into your habitat. Your goal is to eat as many children as possible before being subdued. Bonus points for eating zookeepers. 20:38:41 09:12:44 What's a POSIX command for reading the first N characters from stdin to stdout 20:38:50 Deewiant: dd? 20:38:56 Quite. fizzie answered it. 20:39:00 He already got a dd-based solution. 20:39:06 WELL SORRY FOR BEING AS SMART AS FIZZIE 20:39:34 Deewiant: I still think you posed that as a crossword puzzle clue. "POSIX command for reading the first N characters, 2 letters, starts with 'd'." 20:39:39 09:26:31 "UK Government Department for Work and Pensions" <-- does this REALLY need a /8? 20:39:40 YES. 20:40:27 fizzie: Cryptic version would be more like "In ways known to cause lossage, suitable to cut twice 8 bits." 20:40:40 (I mean, dd can destroy data!) 20:40:52 (Clearly that's how it was named.) 20:40:56 elliott: Y'know this is how you get right-wing nuts. You give the Department for Work and Pensions a /8, somebody thinks "Hmmm, maybe the government is too big," then BAM. 20:41:07 Gregor: X-D 20:41:33 fizzie: I WANT CRYPTIC PROGRAMMING CROSSWORDS NOW. 20:42:08 4 across: My other car ith a... (3) 20:42:13 ^^ I WIN 20:42:40 DUDES 20:42:42 THAT IS SO FUNNY 20:42:55 Deewiant: Also from POSIX rationale for "head", by the way: "There is no -c option (as there is in tail) because it is not historical practice and because other utilities in this volume of POSIX.1-2008 provide similar functionality." ... except that it's talking about a different -c, never mind. 20:43:12 10:59:40 anyone know about some *ahem* free minecraft for linux? 20:43:20 yorick: It's available via S3, but you'll still need an account. 20:43:27 Nonetheless Notch approves of your endeavour. 20:43:31 No, wait, "tail -c" is the bytes option, it was just explained really confusingly. 20:43:36 * Gregor wonders what S3 is. 20:43:47 elliott: I already found one 20:43:49 Amazon 20:43:53 Gregor: Simple Storage Service. 20:43:59 yorick: Enjoy your lack of updates. 20:44:13 elliott: it's actually a downloader 20:44:20 it gets updates 20:44:23 Gregor: The Amazon service from which Minecraft is served, supposedly authenticated but it gives you the files if you just, uh, neglect to provide. 20:44:34 elliott: Sweet :P 20:44:45 -!- augur has quit (Remote host closed the connection). 20:45:17 Gregor: But its draconian DRM makes that a bit useless unless you have a cooperating friend who bought the game :P 20:45:22 But still, lets you get updates. 20:46:52 Deewiant: Anyway, another POSIX-portable way: split -b N + keep just the first part. 20:47:33 That doesn't go to stdout except via a temporary, does it 20:47:48 Oh, right, there was that. No, it doesn't. 20:48:38 -!- augur has joined. 20:50:21 i never pass up a chance to use haskell <-- fair enough 20:53:46 Gregor: But its draconian DRM makes that a bit useless unless you have a cooperating friend who bought the game :P <-- uh? It isn't really draconian at all :P 20:54:10 Vorpal: You can't play the game for the first time unless you log in to a single centralised server. 20:54:25 You can't play the game on any (non-heavily-modified) server without the centralised server being up and authenticating you. 20:54:28 elliott, oh really? the launcher should be easy to hack though 20:54:30 That's Assassin's Creed 2 DRM. 20:54:37 -!- oerjan has joined. 20:54:38 Vorpal: Easy to hack != not draconian. 20:54:39 elliott, also there is the offline mode 20:54:46 Vorpal: That only works after you log in once. 20:54:52 Vorpal, offline doesn't work unless you log in 20:54:53 elliott, I meant server side 20:54:59 Vorpal: That only lets one person log in. 20:55:03 (They're all called "Player".) 20:55:08 elliott, there are name changers that work around that 20:55:14 That's heavily-modified. 20:55:17 true 20:55:32 anyway, it is still a rather cheap game 20:55:34 compared to most 20:55:42 That doesn't stop the DRM being draconian. 20:56:02 If Activision or whoever did this they'd be lynched. 20:56:10 activision? 20:56:17 what 20:56:24 elliott, it isn't draconian compared to windows product activation btw :P 20:56:28 I mean, I'm pretty sure it's very similar DRM to Assassin's Creed 2. 20:56:32 Vorpal: please tell me you know what activision is 20:56:40 elliott, not offhand no 20:56:45 :| 20:56:49 some game company I think 20:57:24 Deewiant: Welll... od has a "take only first N bytes" option, but unfortunately POSIX doesn't seem to standardize the reverse operation, and I don't think you can get od to print character without escaping nonprintables. 20:57:33 elliott, and no hardware dongle 20:57:37 sure the DRM is annoying 20:57:42 but there is far worse 20:57:50 There are no games with hardware dongles. 20:57:55 Not yet at least. 20:58:51 elliott, what about those SNES game cartridges? In a sense they were. You couldn't get any game cartridge, and program, unlikely that the co-processor would match 20:58:57 -!- poiuy_qwert has quit (Ping timeout: 240 seconds). 20:58:58 sure, stretching the definition a bit 20:59:00 Err... 20:59:06 Yeah that's completely stretching the definition. 20:59:40 elliott, but I'm sure you *are* aware of that consoles used cartridges to make it harder to copy. As one of the main reasons. 20:59:51 Deewiant: But maybe od -N -t x1 -A n | sed -e '', how's that sound to you? 21:00:23 A bit too convoluted, perhaps. 21:00:33 fizzie: sed -e 's/\(.\{bytes\}\).*/\1/ q' 21:00:35 Or something. 21:01:15 IconJoust has been 'Being virus scanned' all day! It usually takes about an hour. wtf? 21:01:34 iconmaster: It's got a lot of viruses. 21:01:34 -!- elliott has quit (Read error: Connection reset by peer). 21:01:36 I think the sed solution breaks for newlines, unless there's some option. 21:01:40 It's probably the Lua script.... 21:01:51 -!- elliott has joined. 21:01:55 IconJoust has been 'Being virus scanned' all day! It usually takes about an hour. wtf? 21:01:57 LOL WINDOWS; that is all. 21:02:08 Lol. 21:03:15 windows' security model is rather terrible 21:03:19 LOL WINDOWS; end of tape 21:03:38 ^sourec 21:03:41 while the *nix one is also terrible it is at least *simple*. Result is that it is easier to reason about it. 21:03:42 ^source 21:03:42 http://git.zem.fi/fungot/blob/HEAD:/fungot.b98 21:04:02 FING, STRN, SOCK, SCK, FILE... 21:04:08 REXP (optional it seems?)... 21:04:12 And I think SUBR too. 21:04:15 Any other dependencies? 21:04:16 *SCKE, 21:04:20 -!- poiuy_qwert has joined. 21:04:20 I think it probably is the server's problem, not mine. 21:04:22 I don't know how simple unix really is 21:04:34 they've added lots of stuff since to '70s 21:04:37 elliott, " v 0*aa0)S+*aa20**aaa*aa" " up at the top 21:04:38 since the 21:04:45 elliott, that looks like it loads a fingerprint 21:04:52 fizzie! :| 21:04:53 err unloads 21:05:04 hard to tell what 21:05:06 Perhaps it's in that thing thing. 21:05:08 In the loader script. 21:05:37 elliott, nope, not in http://git.zem.fi/fungot/blob/HEAD:/fungot-load-freenode.b98 21:05:38 Vorpal: which languages would he not have religious objections to java being used on the original object. this is quite funny :) nc -e fnord irc.freenode.net 6667 not fnord had some knowledge of threads... but, ok, maybe not 21:06:22 elliott, it uses TOYS too 21:06:29 Right. 21:06:30 $ time ~/Code/shiro/shiro mycology.b98 >/dev/null 2>&1 21:06:30 real0m0.969s 21:06:31 Not bad. 21:06:38 78 "reload" >51g!#^_ "SYOT"4#^( ^ 21:07:01 SCKE isn't actually used right now. And the ) you were wondering in fact unloads that TOYS. 21:07:10 It still fails if SCKE isn't supported. :p 21:07:41 fizzie: But it works without REXP? 21:07:46 You say "try" to load. : 21:07:58 Yes, I think it should work without. 21:08:08 elliott, what do you have against REXP? 21:08:11 Also only the ^code command uses SUBR, so if you never use that, it's optional too. 21:08:14 fizzie: Is that FING dependency really necessary? :P 21:08:24 elliott: Yes 21:08:26 elliott, yes it needs to remap to get stuff to work iirc 21:08:30 due to overlapping 21:08:36 BLUH BLUH 21:08:38 FING is never "necessary" as such but it's immensely convenient 21:08:40 elliott, anyway FING is trivial to implement 21:08:41 12:33:28 02:13:22 probably not, exponential growth of the garbage seems likely 21:08:44 12:33:28 02:13:50 this is going to need an interpreter with actual structure sharing 21:08:47 12:33:34 Like, cough, ul2c. 21:08:48 elliott, *utterly* trivial 21:09:00 Vorpal: Yes, but it's still extra work. 21:09:05 I haven't touched shiro in N time intervals. 21:09:11 elliott, so is SOCK. It could use netcat :P 21:09:13 actually the one in EgoBot worked fine, that's derlo i think 21:09:38 oerjan: derlo does that smart stuff, yes. 21:09:42 elliott, no? 21:09:47 unfortunately as i've bickered many times, EgoBot is useless for demonstrating programs with slow or infinite output 21:09:53 Vorpal: Maybe. 21:10:07 and this example had both 21:10:20 elliott, anyway did you plan to implement all the fingerprints? 21:10:23 oerjan: So you're saying that an efficient, convenient Underload bot would be popular with you? >:) 21:10:28 Vorpal: Not all, that's impossible. 21:10:30 But a good number. 21:10:32 More than cfunge. 21:10:41 elliott, cfunge never aimed to do them all 21:10:42 elliott: heh right 21:10:55 oerjan: what's so heh, I was thinking that that might be botte's first calling ;D 21:10:56 elliott, anyway *ccbi* does most sane (and quite a few insane) ones. 21:11:04 elliott, I doubt it is impossible to do all 21:11:11 elliott, rcfunge does the majority 21:11:24 WIND for instance is incredibly unlikely. unless i can do it portably. 21:11:36 How can I rail on Java's lack of lambdas when Python lambas are unadultured shit? 21:11:39 elliott, but not impossible :P 21:11:50 elliott, anyway you could use GTK or QT. Or even Tk 21:11:57 Or just SDL... 21:11:59 For WIND. 21:12:02 elliott, or that 21:12:02 Which I think has no windowing facilities. 21:12:04 It's just GDI isn't it? 21:12:12 But SDL is, uh, a consistent look, feel and behaviour on every platform!! 21:12:13 SHIRO POWER 21:12:22 elliott, SDL has just GDI iirc indeed. Well input too 21:12:27 and networking iirc? 21:12:29 I mean, WIND is just GDI. 21:12:30 Consistent look: "ugly" (with my skills, anyway). 21:12:35 Consistent feel: "uncomfortable". 21:12:41 Consistent behaviour: "unintuitive". 21:12:45 Behold the power of ElliottSDLGUI! 21:12:47 elliott, XD 21:12:58 elliott, or you could just use Tk :P 21:13:01 elliott: (1) efficiency (2) taking code from the web (3) giving whatever output there was even if it times out. EgoBot does (1) and (2), fungot does (3). 21:13:02 oerjan: i used a lot, but played so bad and missed so many easy goals that we felt he was a completely clueless fnord moron who has no idea 21:13:06 Maybe I'll use wine's API functions. 21:13:11 It has a library, doesn't it? Winelib. 21:13:13 :D 21:13:20 elliott, why do you need windows style!? 21:13:26 I think WIND is just a Win32 binding. 21:13:27 I dunno. 21:13:28 Deewiant? 21:13:30 although for _most_ things i do, (1) isn't really an issue 21:13:41 oerjan: all of those are pretty easy 21:13:45 Deewiant: If you know a character, let's say Q, isn't in your input, then ... | awk 'BEGIN { RS="Q" } { print substr($0, 1, ); }' | ... *almost* does what you want, but it also produces an extra newline. 21:13:45 elliott: I don't do WIND. 21:13:55 who's is FING again? 21:13:59 Deewiant: Just thought you might know :P 21:14:04 Oh, FING is RC. 21:14:05 elliott, I define the fingerprint CDE. 21:14:07 fizzie: So close, yet so far! 21:14:09 will you do it? 21:14:22 elliott, FING is RC but with feedback from me and Deewiant 21:14:31 Deewiant: | sh -c 'echo -n `cat`' | 21:14:34 FING was basically "yo, FNGR is messed up" 21:14:35 *"" 21:14:35 elliott, FING is what FNGR should have been 21:14:49 With quotes around `cat` too. 21:14:50 Escaped quotes. 21:15:03 fizzie: Is RS="" not portablee? 21:15:38 Hmm, FING _shouldn't_ need any internal state... 21:15:43 elliott: Y'wot? 21:15:51 Deewiant: To make fizzie's thing not output a new newline. 21:16:01 | sh -c 'echo -n "`cat`"' | will I think strip newlines. 21:16:10 Of course -n might not be POSIX. :p 21:16:11 % echo foobar | sh -c 'echo -n `cat`' 21:16:11 -n foobar 21:16:13 WOOPS 21:16:17 elliott: Try again! 21:16:22 Deewiant: WHY ARE YOU EVEN USING SUCH A SHITTY OPERATING SYSTEM 21:16:26 Deewiant: printf "%s" "`cat`" 21:16:31 Deewiant, ... % ? 21:16:36 And yes, printf is POSIX. 21:16:36 Deewiant, what is that prompt 21:16:39 Vorpal: csh/tcsh/zsh. 21:16:45 I hope it is zsh 21:16:45 ... 21:16:48 Perhaps even ksh I think. 21:16:55 It's zsh 21:17:00 *phew* 21:17:01 Vorpal: You realise that "csh considered harmful" is only about scripting usage? 21:17:02 surely you can tell bash to use % as the prompt 21:17:07 olsner: Indeed. 21:17:15 $ echo foobar | sh -c 'echo -n `cat`' 21:17:15 foobar 21:17:18 Vorpal: tcsh for interactive use is not exactly objectionable. 21:17:22 Deewiant, I get a different result than you 21:17:26 Vorpal: Your system is POSIX-incompliant. 21:17:27 elliott, same for scripting 21:17:33 elliott, I use bash on linux yes 21:17:37 elliott, same for scripting 21:17:37 elliott, what do you expect? 21:17:38 What do you mean? 21:17:47 Deewiant is talking about POSIX, not Linux. 21:17:50 elliott, as far as I remember tcsh has rather limited redirecting 21:18:04 Yes, but for interactive use that rarely matters. 21:18:16 elliott, what? 21:18:19 r% echo foobar | printf "%s" "`cat`" 21:18:19 cat: input error on standard input: I/O error 21:18:21 What do you mean, "what". 21:18:29 Most people don't do insanely complex redirection in interactive usage. 21:18:49 Deewiant: Why did you have to keep track of what fingerprint each instruction came from for FING? 21:18:54 I noticed that comment in CCBI a while back. 21:19:04 Currently I just have: fpInstructions :: Map FPIns [Shiro ()] 21:19:07 Deewiant: ... | od -N -v -t x1 -A n | tr ' ' '\n' | grep -v '^$' | (while read byte; do printf "\x$byte"; done) | ... 21:19:20 elliott, don't you do stuff like ... 1>&2 2>&1 | grep foo | tee ... 21:19:21 elliott: I can't remember. 21:19:22 :P 21:19:29 Vorpal: No, and nor do most people. 21:19:35 elliott, huh 21:19:44 I am somehow unsurprised that this surprises you. 21:19:49 elliott: anyway i gave up on the ! = a(!)** idea and went back to a(*)** instead. conceptually that requires programs to leave junk on top of the stack, but much of that turns into consecutive literal (junk)a(*)** which can be removed. 21:19:52 elliott, well of course most people don't 21:19:56 elliott, most people run windows 21:20:01 Most people who use shells. 21:20:04 see my last Underload page edits 21:20:05 but I meant those who use the shell daily yes 21:20:10 ... | od -N 10000 -v -t x1 -A n | tr ' ' '\n' | grep -v '^$' | (while read byte; do printf "\x$byte"; done) | wc -c 21:20:14 10625 21:20:19 elliott, fd manipulation is quite a common activity if you work a lot in bash 21:20:20 fizzie: Not quite! 21:20:22 or other shells 21:20:23 Deewiant: So close! 21:20:38 Deewiant, what are you trying to do? 21:20:51 Deewiant: Should've tested on non-text files too, I guess. Not quite sure what it does wrong, though. 21:20:56 Vorpal: head -c10000 21:21:09 Deewiant, ... why not just do head -c10000 ? 21:21:15 Vorpal: Requires GNU head 21:21:19 Deewiant, oh hah 21:21:23 Deewiant, try split 21:21:27 then keep the first part 21:21:34 Vorpal: Doesn't go to stdout 21:21:36 Vorpal: Already suggested, doesn't go to stdout. Anyway, "dd" works. 21:21:44 ah yes dd indeed 21:21:49 and dd is POSIX afaik 21:22:34 Deewiant: Weird: $ dd if=/dev/urandom bs=1M count=1 | od -N 10000 -v -t x1 -A n | tr ' ' '\n' | grep -v '^$' | (while read byte; do printf "\x$byte"; done) | wc -c 21:22:36 10000 21:22:43 "EWORKSFORME" 21:22:48 Deewiant, dd if=/usr/share/dict/words of=/dev/stdout bs=1 count=10000 2>/dev/null 21:22:53 that does what I expect it to 21:23:02 Deewiant, you can of course use /dev/stdin 21:23:06 So X in FING swaps the whole stacks, right? 21:23:06 and I think dd is standard 21:23:11 elliott, no 21:23:13 % seq 1 10000 | tr -d \\n | od -N 10000 -v -t x1 -A n | tr ' ' '\n' | grep -v '^$' | (while read byte; do printf "\x$byte"; done) | wc -c 21:23:13 Vorpal: dd defaults to stdin/stdout. 21:23:15 elliott, pretty sure just the top 21:23:16 10625 21:23:18 % seq 1 10000 | tr -d \\n | dd bs=1 count=10000 2>/dev/null | wc -c 21:23:18 fizzie: ENOTHERE 21:23:19 fizzie, oh? right 21:23:21 10000 21:23:22 Vorpal: I see no EVIDENCE. 21:23:34 Vorpal: And /dev/stdin might not quite be standard; not sure. 21:23:36 elliott, did you try the official test suite? 21:23:39 fizzie: It isn't. 21:23:40 Vorpal: No. 21:23:47 elliott, also, where does it say it should swap the whole stack? 21:24:00 OK, it's really vague :P 21:24:14 elliott, so as much evidence for both then 21:24:20 Deewiant: 21:24:21 $ seq 1 10000 | tr -d \\n | od -N 10000 -v -t x1 -A n | tr ' ' '\n' | grep -v '^$' | (while read byte; do printf "\x$byte"; done) | wc -c 21:24:21 10000 21:24:31 Maybe a locale thing. Who knows. 21:24:39 locale can mess up a lot 21:24:44 try LC_ALL=C in front 21:24:54 well at a suitable place 21:25:01 well,* 21:25:07 LC_ALL=C doesn't change things here 21:25:18 Deewiant, I'm not sure what the scope of it is 21:25:28 Deewiant, try exporting it before running that line 21:25:33 I think the grep isn't working 21:25:36 Deewiant, anyway what is wrong with the dd-solution? 21:25:54 Nothing, fizzie's just being convoluted 21:26:01 Deewiant, oh. Hah 21:26:17 Deewiant: If it's the grep, you could use grep '[0-9a-f]' instead of grep -v'ing empty lines. 21:26:28 It's not the grep, ggrep doesn't change things 21:26:34 But there's blank-looking stuff there 21:26:39 Deewiant, what OS are you on? 21:26:47 Deewiant, look for tabs 21:26:56 Deewiant, instead of spaces I mean 21:27:04 or both probably 21:27:19 fizzie: There's lines containing only tabs 21:27:28 grep -v '^ *$' -- works 21:27:49 !haskell print (2+2) 21:27:57 Deewiant, I would still suggest dd due to being simpler :P 21:27:58 !haskell print (case 4 of { 2 -> 4 -> 42 }) 21:28:03 !haskell print (case 4 of { 2, 4 -> 42 }) 21:28:04 Vorpal: Of course 21:28:13 Deewiant, but what OS do you need this on? 21:28:28 Solaris. 21:28:33 POSIX, rather :P 21:28:35 I don't "need" this anywhere 21:28:41 "Z will push a reflect if the source semantic stack is empty" 21:28:42 >_< 21:28:43 I was just interested :-P 21:28:53 Deewiant, what did you need it for? 21:28:54 elliott: Hey, at least it's specced. 21:29:11 Gah, "a -> b -> c" isn't valid case in Haskell. 21:29:11 elliott, it is trivial to do so 21:29:15 I DON'T LIKE REPEATING MAHSELF. 21:29:21 Vorpal: It's stupid, however. 21:29:24 Vorpal: I was just using head -c and tried it on this solaris system, and then wondered what the actual POSIX way is 21:29:29 Well. 21:29:30 elliott, stop complaining about this. There are far far worse fingerprints. 21:29:32 "Y will not reflect popping an empty semantic stack" 21:29:33 That's more stupid. 21:29:38 Vorpal: I'll complain about whatever I want. 21:29:39 Deewiant: Well, the theory was sound, anyway! Incidentally, I tried to test your test-case on Solaris + zsh, but % seq 21:29:39 zsh: command not found: seq 21:29:54 Yeah, seq is GNU, I know :-) 21:30:00 elliott, well you will just run out of complaining at this rate! 21:30:10 -!- EgoBot has quit (Ping timeout: 240 seconds). 21:30:14 fizzie: Easily replaced with a loop, though., 21:30:24 -!- EgoBot has joined. 21:30:25 or with 21:30:31 {1..10000} 21:30:40 @hoogle Maybe a -> Maybe b -> Maybe (a,b) 21:30:40 Data.Generics.Twins gmapAccumT :: Data d => (a -> e -> (a, e)) -> a -> d -> (a, d) 21:30:40 Control.Monad.RWS.Lazy execRWST :: Monad m => RWST r w s m a -> r -> s -> m (s, w) 21:30:41 Control.Monad.RWS.Strict execRWST :: Monad m => RWST r w s m a -> r -> s -> m (s, w) 21:30:42 that's bash 21:30:46 $ echo {1..10} 21:30:47 1 2 3 4 5 6 7 8 9 10 21:30:48 @hoogle (m a, m b) -> m (a,b) 21:30:49 No results found 21:30:51 >:E 21:30:53 very likely bash only 21:30:56 Deewiant, or? 21:31:02 well zsh may do it 21:31:03 I don't know, I don't have dash or anything :-P 21:31:10 Deewiant, ah... 21:31:24 Deewiant, dash fails it 21:31:33 but then dash is quite bad in general 21:32:23 dash isn't that bad. 21:32:35 elliott, as an interactive shell it is 21:32:39 nO SHIT 21:32:41 *No shit 21:32:57 $ dash 21:32:57 \[\033[01;32m\]\u@\h\[\033[01;34m\] \w $\[\033[00m\] echo {1..10} 21:33:00 that fails quite a bit 21:33:06 No. 21:33:08 That's POSIX-compliant. 21:33:10 :t Data.Map.adjust 21:33:10 forall a k. (Ord k) => (a -> a) -> k -> M.Map k a -> M.Map k a 21:33:25 elliott, uh even the literal \u \h and \w bit? 21:33:35 I believe so. 21:33:35 elliott, how would then PS1 be useful for anything at all 21:33:40 For setting your prompt. 21:33:43 PS1="$ " 21:33:44 PS1="# " 21:33:56 useless. I would get lost without a path 21:34:03 Not useless, just not up to your high standards. 21:34:04 :t maybe 21:34:05 forall b a. b -> (a -> b) -> Maybe a -> b 21:34:08 -!- Sgeo has quit (Ping timeout: 240 seconds). 21:34:44 -!- tswett_ has changed nick to tswett. 21:35:05 Deewiant: Are there any "pre-built" Fungicide benchmarks out there? :P 21:35:15 Pre-built? 21:35:33 Deewiant: As in not in .bre form. I suppose .sh and .pl are acceptable here :P 21:35:34 What's .bre anyway 21:35:41 Runlength encoding? 21:36:00 .bre has an expander somewhere there, it's my own Fungicide-only file format 21:36:11 IIRC it's short for "begin, repeat, end" 21:36:35 @hoogle Maybe a -> Maybe b -> Maybe (a,b) <-- liftM2 (,) 21:38:15 elliott, done FING yet? 21:38:20 Doing it. 21:38:33 elliott, is that why you wanted a -> b -> c above? 21:38:38 if so: uh 21:38:39 yes 21:38:47 Nothing == Just [] 21:38:55 heh 21:39:01 Although I suppose I never actually have Just []. 21:39:16 elliott, I can't get a -> b -> c to make sense :P 21:39:20 Oh, I do. 21:39:30 Vorpal: case x of {a -> b -> c} === case x of {a -> c; b -> c} 21:39:52 elliott, oh indeed 21:39:57 elliott, where c is a fixed value? 21:40:07 ? 21:40:11 guess not 21:40:16 case x of 21:40:22 Nothing -> Just [] -> reflect 21:40:25 Just ... -> ... 21:40:26 For instance. 21:40:35 Just like "case x: case y:" in C. 21:40:36 elliott, it would work if you had a -> b -> right ? 21:40:40 IT'S NOT A TYPE 21:40:45 oh 21:40:53 elliott, that is why it made no sense then XD 21:41:25 night -> bed -> sleep 21:45:08 oerjan: Anyway, I'll see about writing a super smart interpreter for botte. 21:47:22 :t Data.Map.adjust 21:47:23 forall a k. (Ord k) => (a -> a) -> k -> M.Map k a -> M.Map k a 21:47:27 ah! 21:47:29 :t Data.Map.alter 21:47:30 forall a k. (Ord k) => (Maybe a -> Maybe a) -> k -> M.Map k a -> M.Map k a 21:47:52 hm... 21:47:54 oerjan: I think Underload might be my new favourite esolang 21:48:02 :t Control.ParserCombinators.parser 21:48:03 Couldn't find qualified module. 21:48:05 er 21:48:10 :t Control.ParserCombinators.Parsec.parser 21:48:11 Couldn't find qualified module. 21:48:13 oerjan: you might want Text.Parsec., for parsec 3 21:48:21 :t Text.Parsec.parser 21:48:21 Couldn't find qualified module. 21:48:28 apparently not. 21:48:43 anyway i was just looking it up as an example 21:49:16 i noticed result for Data.Map gave the M. which you can use as abbreviation in lambdabot 21:49:19 *the 21:52:41 oerjan: quick, write (a -> Maybe [a] -> a) (acting like head for the Just (:) case) 21:53:14 :t fromMaybe head 21:53:15 forall a. Maybe ([a] -> a) -> [a] -> a 21:53:29 oh wait 21:53:33 lol 21:53:36 nice signature 21:53:37 :t fromMaybe 21:53:38 forall a. a -> Maybe a -> a 21:53:43 :t flip maybe head 21:53:43 forall a. a -> Maybe [a] -> a 21:53:52 oh, of course 21:54:03 @hoogle (a -> b) -> (a,a) -> (b,b) 21:54:03 Data.Graph.Inductive.Query.Monad (><) :: (a -> b) -> (c -> d) -> (a, c) -> (b, d) 21:54:03 Data.Graph.Inductive.Query.Monad mapSnd :: (a -> b) -> (c, a) -> (c, b) 21:54:03 Data.Graph.Inductive.Query.Monad mapFst :: (a -> b) -> (a, c) -> (b, c) 21:54:06 I think that's some Arrow function 21:54:09 or wait, is it Deewiant's both :D 21:54:17 oerjan: er no that doesn't work 21:54:20 :t join (***) 21:54:20 oerjan: because it can be Just [] 21:54:20 forall (a :: * -> * -> *) b c. (Arrow a) => a b c -> a (b, b) (c, c) 21:54:39 It is 21:54:39 :t \x -> fromMaybe [] x 21:54:40 forall a. Maybe [a] -> [a] 21:54:41 (needs (e ->) Monad) 21:55:02 :t \default x -> case fromMaybe [] x of y:_ -> y; [] -> default 21:55:02 parse error on input `default' 21:55:03 elliott: you _said_ to work like head 21:55:09 oerjan: shaddap :D 22:04:25 Ooh, I didn't notice this REPLY TO A REDDIT COMMENT OF MINE by the ESTEEMED SCHOLAR "hockeydude123": "yeah lick my ass bitch. java is awesome and its easy. c++ has a retarded compilation system and python is for children." 22:04:40 very eloquent. 22:04:51 I think it's poetry. 22:04:53 yeah lick my ass bitch. 22:04:55 java is awesome 22:04:58 and its easy. 22:05:00 c++ has a retarded 22:05:02 compilation system 22:05:05 and python is for children. 22:05:35 no no. 22:05:41 yeah lick my 22:05:45 ass bitch. 22:05:48 java is 22:05:51 awesome and its 22:05:53 easy. c++ has a 22:05:55 retarded compilation 22:05:58 system and python 22:05:59 is for chil 22:06:00 dre 22:06:01 n. 22:06:08 a clear improvement. 22:06:09 -!- elliott has quit (Read error: Connection reset by peer). 22:06:26 -!- elliott has joined. 22:06:47 ffffffffffffffff 22:06:48 ffffff 22:06:49 fffffffffffff 22:06:49 fffff 22:06:53 fffff 22:07:03 wow what big f you've got 22:07:15 wow 22:07:17 that actually made an f 22:07:18 :D 22:07:18 cool 22:07:21 totally accidental of course 22:07:26 i could do the rest of the word but 22:07:29 too much effort 22:07:29 I DON'T BELIEVE YOU 22:07:42 it was totally unplanned 22:07:50 IF YOU SAY SO 22:07:56 oerjan: do any underload programs (that you know of) combine two non-church numerals to form a church numeral? 22:08:10 or do all church numeral computations start with a church numeral literal in the source? :P 22:08:13 what's a non-church numeral? 22:08:26 oerjan: (!!^^!^!) isn't a church numeral for instance :P 22:08:42 ({:^n}{*^n}), but also accounting for (:*:*) and the like, basically. 22:08:46 indeed, that's a list of case lookups 22:08:52 possibly even ! in there. 22:09:35 let me check the examples list 22:09:59 oerjan: i have a feeling that the functions which essentially "construct" their own church numerals might fail like this though. so actually i should try to convert to church numeral on every operation. 22:09:59 grumble. 22:10:20 oerjan: amusingly underload's church numerals have optimal complexity for at least multiplication and exponentiation 22:10:22 O(log n) 22:10:38 it's just that the only programs you can actually run, would work better with O(1) fixed-size arithmetic :P 22:10:43 (good luck constructing 2^64 in Underload) 22:10:49 well they can be encoded as binary 22:10:57 oerjan: that's just a multiplicative constant :) 22:10:57 essentially 22:11:01 oh, i see 22:11:02 right 22:11:15 but are unary to use yeah 22:11:27 -!- MigoMipo has quit (Read error: Connection reset by peer). 22:11:47 2a = a:* , a+1 = :a* 22:12:00 er wait no 22:12:03 yes 22:12:26 oerjan: it would be interesting to see _real_ church numerals in underload. 22:12:45 i.e. x f 3^ === x f^f^f^ 22:13:02 hmm 22:13:04 I think that's just (^)* 22:13:08 onto a normal underload numeral 22:14:36 right 22:15:01 oerjan: what is it with underload's frighteningly good economy of expression :) 22:18:54 i don't think there are any of the programs that convert from something else to a church numeral, unless that something else is something temporary originally coming from another church numeral 22:19:16 actually i'm not sure they even do that 22:20:16 * elliott tries to come up with a name 22:20:17 actually of the wiki examples, only the look-and-say sequence does anything resembling arithmetic on church numerals 22:20:26 deburden? unencumber? :D 22:20:28 strainless?! 22:20:35 (opposites of synonyms for overload) 22:20:53 and it's really just an equality check, which passes through a temporary representation 22:21:23 oerjan: I NEED SUGGESTIONS HERE 22:21:51 oh 22:22:26 deprivation 22:22:48 (when prefixed with "sensory") 22:22:48 -!- elliott has quit (Read error: Connection reset by peer). 22:23:24 -!- elliott has joined. 22:23:33 oerjan: that's lame 22:23:35 i need something SHORT 22:23:36 and and and 22:23:39 SHORT 22:23:51 oh well naturally some use a little bit of arithmetic to construct their church numerals in the first place 22:24:06 reprieve? 22:24:21 relief, let's try 22:24:56 oerjan: hm do you think it's acceptable if the program ((abc)Shello)^ fails immediately without outputting anything? I'm thinking that I could store invalid programs as strings 22:26:00 no i don't think so, i sometimes append a comment to a program 22:26:18 you are free to use a string from the h _on_, of course 22:26:29 oerjan: what if i stripped just comments at the end of a whole program :-D 22:26:41 or, well, replaced with invalidness 22:27:05 hm I suppose that storing it as a string isn't really faster... 22:27:36 the speed of immediately crashing is rarely a bottleneck, i think 22:27:50 :D 22:28:53 oerjan: we should call numbers Smith numbers or something since they're not really Church 22:29:58 http://en.wikipedia.org/wiki/Brunstad_Christian_Church 22:30:10 BUT OF COURSE. 22:30:23 let's call them brunstads. 22:31:18 -!- pikhq_ has joined. 22:31:35 oerjan: i wonder what ais's "lazy concatenation" actually is, anyone have a derlo source lin? 22:31:36 *link? 22:31:38 prolly EgoBot has it 22:31:42 -!- pikhq has quit (Ping timeout: 260 seconds). 22:32:50 hm I should probably use a non-list stack structure :) 22:33:16 (btw that link was because of their unofficial name "Smith's friends") 22:34:03 i guessed 22:34:57 -!- Phantom_Hoover has quit (Quit: Leaving). 22:37:34 oerjan: aargh, I can't do church in the "naive" way 22:37:41 because the string repr. could have useless junk 22:37:44 so i have to keep that around too... 22:37:56 what? 22:38:01 what? 22:38:26 * oerjan doesn't understand the problem 22:38:33 I can't have (Church Int) as a constructor 22:38:35 because you can S them 22:38:42 and it won't always be {:^n}{*^n} 22:38:46 consider (:*:*:*) 22:38:49 and (:!:*) 22:38:49 etc. 22:38:50 ah 22:40:01 perhaps you could have an efficient representation for a string repeated 22:40:06 -!- MUILTFN_ has joined. 22:40:15 oerjan: that might help. I'll consider it. 22:41:33 an underload element sort of needs two different data parts, for the program and string 22:41:49 *Main> one Cat [Church 42 "blah", Church 24 "blah2"] 22:41:49 ([Church 1008 "blah2blah"],"") 22:41:50 at least that's right 22:44:48 hm i guess haskell laziness makes it less necessary to use such a representation 22:44:49 oerjan: annoyingly i have to use slow Integer whenever you do * or ^ on numbers 22:44:53 to handle overflow 22:44:58 I suppose I could just use Integer always 22:45:00 yeah, i'll do that 22:45:05 for PURITY 22:45:32 oerjan: oh _dear_ writing Eq for Obj is going to be a pain :) ... are you sure that repeated thing is feasible :P 22:46:35 what do you need Eq for 22:46:43 * oerjan whistles innocently 22:47:07 Why isn't there a 24-hour Seinfeld channel. 22:47:09 oerjan: for ADVANCED CONCATENATION 22:47:14 Gregor: It's called the internets. 22:47:24 Why isn't there a legal 24-hour Seinfeld channel. 22:47:41 I suppose I could buy the DVDs X-P 22:47:48 Then play those on loop for eternity. 22:49:19 @hoogle Int -> [a] -> [a] 22:49:20 Prelude drop :: Int -> [a] -> [a] 22:49:20 Prelude take :: Int -> [a] -> [a] 22:49:20 Data.List drop :: Int -> [a] -> [a] 22:49:26 Gregor: Who cares about legality. 22:49:27 You're a jew. 22:50:41 elliott: SURE SO HE DOESN'T WANT TO STEAL FROM SEINFELD, OF COURSE 22:50:59 WELL THAT EXPLAINS EVERY...NOTHING 22:51:21 elliott: i think you may want concat (replicate ..) 22:51:31 yah, i'm using that 22:51:32 it's just ugly :) 22:51:41 haskell would be better if all the standard functions had one-symbol names. 22:51:44 well or at least more convenient. 22:51:53 or at least two symbols. 22:51:55 jhaskell 22:52:12 :t replicate 22:52:13 forall a. Int -> a -> [a] 22:52:17 oerjan: :. (** 42 xs) 22:52:22 obviously :. makes a lot of dots into one dot 22:52:27 i.e. concat 22:52:29 except it'd actually be join 22:52:32 for awesomeness 22:52:39 and ** is obviously * but different. 22:52:41 ergo replicate. 22:52:46 (^^ would be more mathematician-pleasing) 22:52:55 now make symbol calls associate right by default 22:52:58 :.**42 xs 22:53:00 voila, jaskell! 22:53:25 also replicate would be genericReplicate instead of STUPID_RETARDED_INT_ONLY_REPLICATE like it is now. 22:53:57 I ASSUME THAT'S THE ACTUAL C SYMBOL IN THE CODE 22:54:14 "the actual C symbol"? 22:54:33 OR WHATEVER 22:54:34 oerjan: hm if you do (n1)(n2)^ where those are church numerals, what's the resulting _string_? 22:54:40 -!- zzo38 has joined. 22:54:43 ^ul (:::***)(::**)^S 22:54:43 :::***:::***:::*** 22:54:49 ah. 22:54:53 n2 copies of n1 22:54:55 right 22:55:02 -!- zzo38 has set topic: The Internet's #0 Tay Zonday fan club! | http://tunes.org/~nef/logs/esoteric/?C=M;O=D. 22:55:26 that's the precise use case i suggested a repeated string representation for, anyway 22:55:39 well i guess it's useful for any (x)n 22:55:46 *Main> run [Call] [Church 42 "blah", Church 24 "blah2"] 22:55:46 ([Church 907784931546351634835748413459499319296 "blah2blah2blah2blah2blah2blah2blah2blah2blah2blah2blah2blah2blah2blah2blah2blah2blah2blah2blah2blah2blah2blah2blah2blah2blah2blah2blah2blah2blah2blah2blah2blah2blah2blah2blah2blah2blah2blah2blah2blah2blah2blah2"],"") 22:55:46 yay 22:55:51 -!- Gregor has set topic: The Internet's #0 Tay Zonday fan club! | Also the Internet's #3 Zon Tayday fan club | http://tunes.org/~nef/logs/esoteric/?C=M;O=D. 22:55:54 oerjan: oh, really? i just use that for 22:56:00 call (Church n _) (x:xs) = (Rept n x : xs, "") 22:56:06 the actual _strings_ i don't optimise, 'cuz who would optimise those 22:56:13 heh 22:56:13 lame people that's who 22:56:17 output SHOULD be slow, it's impure! 22:56:25 elliott: well you _could_ get a memory leak 22:56:59 now i just need a parser that can recognise church numerals :( 22:57:03 if you printed a long string and kept it around 22:57:09 gah, haskell needs two-way functions :D 22:57:14 strOp Swap = "~" 22:57:15 strOp Dup = ":" 22:57:15 strOp Drop = "!" 22:57:15 strOp Cat = "*" 22:57:15 strOp (Push x) = '(' : str x ++ ")" 22:57:16 strOp Wrap = "a" 22:57:17 strOp Call = "^" 22:57:19 strOp Print = "S" 22:57:21 strOp (Invalid s) = s 22:57:23 i just wanna replace = with <-> you know 22:57:25 except without the invalid clause 22:57:38 hm 22:57:48 for my parser that is 22:58:12 well all but to of those _could_ be done with an [(Obj, String)] 22:58:20 all but to. 22:58:24 (require your Eq again though) 22:58:25 *two 22:58:36 I SWEAR MY KEYBOARD IS BROKEN 22:58:42 or possibly my fingers 23:00:25 elliott: i vaguely recall seeing something about bidirectional parsers discussed somewhere 23:00:46 or possibly it was bidirectional conversion between datatypes 23:00:49 yes we mentioned them in here recently. 23:00:59 no, the recall is not recent 23:01:03 well yes 23:01:04 i was under the impression that they were impossible to make harder about, they weren't applicatives or something i think 23:01:07 but there's this new paper on LtU 23:01:09 that purports to do it 23:01:11 but whatever :P 23:01:12 i think it may have been from when i read LtU 23:01:19 but that was years ago 23:01:21 you don't any more? :( 23:01:25 but but 23:01:29 ltu is one of the last havens! 23:01:37 somehow has slipped off my list 23:02:13 -> 23:03:05 oerjan: HOW CAN YOU LEAVE 23:03:08 I AM DOING THIS FOR YOU :| 23:03:08 :p 23:03:35 -!- augur has quit (Ping timeout: 240 seconds). 23:04:52 "No instance for (Stream s m Char)" wtf 23:05:06 oh 23:05:08 just needed a type signature 23:05:15 I hate that error 23:15:33 https://twitter.com/#!/SecureTips -> this is great :-\ 23:17:17 yeah, I love it 23:17:57 heh is that a dig at the tarsnap bug? :) 23:18:22 elliott: yes 23:18:32 <- 23:18:36 "@SecureTips Sigh..." --cperciva 23:18:39 he must be rather sick of hearing it by now :D 23:19:03 oerjan: i have a parser that handles ({:^n}{*^n}) church numerals now 23:19:16 oerjan: :*:* will be more irritating to do, especially if I handle e.g. (foo:*:*:*bar) 23:19:31 elliott: I've followed --cperciva for a while - but just found @SecureTips through him 23:19:49 "--cperciva", hmm, i sense a business opportunity for twitter 23:19:51 buy your own account prefix! 23:20:01 hi, I'm %%%$$$£```person 23:22:20 oerjan: but anyhow, this should be a decent interpreter. 23:22:31 oerjan: i suspect it's likely slower in raw performance thanks to laziness 23:22:32 nice 23:22:43 oh, and I don't have an implementation for calling the result of a church numeral exponentiation 23:22:45 I'll fix hat 23:22:46 *that 23:22:51 (i.e. (nonchurch)(church)^) 23:23:38 * oerjan has an ice coffee cappuccino 23:24:15 what's 0 in church numerals again? 23:24:20 !() 23:24:20 sorry, *smithmerals 23:24:26 oerjan: ah yes. 23:24:35 (whoops, think I have an off-by-one) 23:24:54 * iconmaster is finding making the regex for BFJoust ()* constructs is difficult to make without the \bxy thing. 23:24:57 oh and i don't parse (!()) as a numeral of course 23:25:02 iconmaster: don't replace them beforehand. 23:25:05 that causes severe issues. 23:25:37 numeral := numeral numeral | : numeral * | | !() 23:25:46 that should cover the most important ones, no? 23:26:08 oerjan: well yes. feel free to write the [Op] -> Maybe Integer for that 23:26:20 ...i suppose you don't want that | | directly in there 23:26:20 (Dup, Cat, Drop, and Push (Quote []) are the relevant things there) 23:26:32 eek 23:26:32 -!- elliott has quit (Read error: Connection reset by peer). 23:26:53 -!- elliott has joined. 23:26:58 oerjan: well yes. feel free to write the [Op] -> Maybe Integer for that 23:27:00 ...i suppose you don't want that | | directly in there 23:27:02 (Dup, Cat, Drop, and Push (Quote []) are the relevant things there) 23:27:18 elliott: erm i'd imagine [Op] -> [Op] might be better, then you can apply it to concatenations 23:27:25 I think my soda needs gum arabic. 23:27:28 oerjan: it's done at parse-time 23:27:35 obj :: [Op] -> Obj 23:27:35 obj q = 23:27:35 case church q of 23:27:35 Just n -> Church n (Quote q) 23:27:35 Nothing -> Quote q -- be dumb for now 23:27:44 so there are no concatenations 23:27:49 elliott: oh. 23:27:49 it's just to recognise a literal 23:27:50 -!- Sgeo has joined. 23:28:13 elliott: well you would also want to recognize applying something like (:)~(*)** 23:28:36 well might 23:28:37 -!- elliott has quit (Read error: Connection reset by peer). 23:28:56 -!- elliott has joined. 23:28:59 elliott: well you would also want to recognize applying something like (:)~(*)** 23:29:04 oerjan: yes, i would, but right now i don't 23:29:16 oerjan: anyway i can easily port it, i just don't feel like writing it myself >:D 23:29:20 you might also want to handle :! 23:29:45 elliott, is lack of decent lambdas a valid reason to dislike a language? 23:29:52 Sgeo: Yes. 23:30:21 I'm starting to feel ill when I think of Python's not so well equipped lambda keyword, and no other anonymous functions 23:30:21 Gregor: Thank you for handling today's Sgeo self-validating-question of the day. 23:30:28 Or today's day of the day. Of the day. 23:30:39 Gay of the day. 23:30:42 Day of the gay. 23:30:55 On a related note, Facebook thinks I'm gay. 23:31:49 facebook thinks I'm single. 23:31:51 15:30:21 I'm starting to feel ill when I think of Python's not so well equipped lambda keyword, and no other anonymous functions 23:31:52 Ill. 23:32:02 and it knows I'm not. 23:32:03 Either Sgeo has no idea what ill means, or has serious issues. 23:32:09 Zwaarddijk: WHERE DID YOU COME FROM 23:32:24 elliott: it is a mystery 23:32:27 elliott, or I use words weirdly somewhens. 23:32:37 oh another finn. sheesh. 23:32:42 we're over our finn quota. 23:32:45 been here for some time already 23:32:53 you should've had time to react already 23:33:01 Zwaarddijk cannot be a finn, no finn could pronounce that. 23:33:27 well, I belong to this quaint thing we have in Europe 23:33:30 ethnical minorities 23:33:32 Nazism? 23:33:33 Oh. 23:33:39 Zwaarddijk: we rarely react to non-speaking lurkers here 23:33:52 "ethnical", YOU ALSO BELONG TO THE NON-ENGLISH-SPEAKING MINORITY TOO 23:33:56 oerjan: i may have interrogated him before 23:33:56 dunno 23:34:07 oh, right, ethnic. 23:34:09 nope, seemingly not 23:34:11 elliott: ok. that may explain why he prefers to be silent. 23:34:14 so I'm basically this kind of Swede. 23:34:16 in Finland. 23:34:19 -!- pikhq_ has changed nick to pikhq. 23:34:29 anyways, uh, ... sure, I will maybe sort of butt in on occasion 23:34:37 Zwaarddijk: i think the patriotic hate oerjan has for you may surpass all previous known hates. 23:34:42 (note: oerjan not known to possess patriotic hate) 23:34:58 very well-hidden secret, that. 23:34:59 I'm not really so much into esoteric languages (except intercal and some other classic ones) 23:35:20 Zwaarddijk: surely you like underload. 23:35:22 it's a pearl! 23:35:22 but ... uh, I'm sort of catching up on complexity theory currently 23:35:31 to be honest we hate most esolangs too :D 23:35:43 although most of /my/ hate is reserved for brainfuck derivatives. 23:35:48 anything is better than another brainfuck derivative. 23:36:04 Hooray, really-overdone-concepts. 23:36:25 Not that I'm one to talk — I've got a Brainfuck derivative to my name, after all. 23:36:32 YEAH, AND WE'RE GOING TO KILL YOU ONE OF THESE DAYS 23:36:45 all in favour say aye. or nay. 23:36:51 I would like to make a lang some day with comefrom, where comefrom mostly takes variables corresponding to line numbers 23:36:52 Nay 23:36:58 dammit now my mind ponders what kind of brainfuck derivative elliott would _not_ hate. it suggests continuations. 23:37:06 so as variables change values, 23:37:06 -!- FireFly has quit (Quit: swatted to death). 23:37:15 the flow of the program changes 23:37:21 Zwaarddijk: that's computed come from, I think. 23:37:22 but that's not particularly difficult 23:37:23 or close, anyway. 23:37:28 yeah I bet it exists already 23:37:30 oerjan: heck /I/ have a brainfuck derivative to my name. it's boring 23:37:40 Zwaarddijk: (computed come from = intercal extension) 23:37:43 oerjan: actually pikhq's dimensifuck is quite nice. 23:37:49 if a bit overly silly. 23:38:08 but it's just, as we say in Swedish, getting my thumb out of my butt and getting around to writing it that's the problem 23:38:23 do swedes spend a majority of their time with their thumbs in their butts? 23:38:26 interesting. oerjan: take notes. 23:38:37 I figure the kind of swedes that live in sweden really do? 23:38:42 elliott: actually it's a norwegian expression too 23:38:46 us non-proper swedes maybe don't? 23:38:51 Zwaarddijk: yeah you're a fake swede 23:38:52 actually we don't 23:38:57 oerjan: DON'T LET THAT GET IN THE WAY OF AN ANTI-SWEDISH JOKE 23:38:58 we've just inherited the expression 23:39:06 Zwaarddijk: as fake as Linus Torvalds. 23:39:08 oh, we hate proper Swedes too. 23:39:17 Finns cry when Swedes win in sports. 23:39:21 F-Swedes commit suicide. 23:39:24 My Norwegian heritage is forcing me to take notes as well. And the Englishman in me disapproves, as this is not tea. 23:39:27 Fwedes 23:39:34 haha worst word ever. 23:39:44 yeah, well, Finlandsswede is kind of awkwardly big 23:39:46 oerjan: WRITTEN THE FUNCTION YET 23:39:47 as far as words go 23:39:49 so I'm basically this kind of Swede. in Finland. // So you're Linus Torvalds! 23:39:55 Gregor: ALREADY DID THAT ONE 23:39:58 PLEASE TRY AND KEEP UP 23:40:01 *TRY TO 23:40:05 elliott: I REFUSE 23:40:11 Zwaarddijk: so how do you pronounce your name. "john"? 23:40:16 elliott: yes. 23:40:23 Gregor: Torvalds is now an American, anyways. 23:40:23 X-D 23:40:25 elliott: er.. 23:40:32 Zw -- j; aar -- o; ddijk -- i got nothin' 23:40:39 pikhq: "American" is boring 23:40:53 it's really a translation-by-cognate (instead of translation-by-meaning) of my Finnish surname into Dutch ... 23:41:00 dunno why I use it, I guess it looks cool? 23:41:07 to pose as a dane, obviously 23:41:09 you SNEAKY RASCAL 23:41:22 anyways, uh, I actually have the papers somewhere on how I'm related to Linus Torvalds 23:41:42 That's kind of creepy X-D 23:41:47 ah that's nice i can create an empty haskell script while _in_ winghci's loading menu 23:41:47 Zwaarddijk: Eh, everyone native to Europe is probably interrelated by now. 23:41:57 a friend of mine that studied how everyone in my village is related to each other and to the rest of us Swedish Finns picked him to demonstrate how far his records go 23:42:10 the closest "even" cousinhood is like ... a shared ancestor 12 generations back 23:42:12 oerjan: the height of modern convenience! 23:42:24 Zwaarddijk: so basically you're DIRTY DIRTY INBREEDERS. 23:42:24 If nothing else, there's Attila as a common ancestor for, oh, almost everyone. 23:42:26 but there's common ancestors way closer. 23:42:31 in britain we relegate all the inbreeding to the one family nobody cares about 23:42:32 that's right 23:42:35 royalty 23:42:41 yeah well 23:42:48 I am from a village in an archipelago 23:42:55 elliott: i had been annoyed by how i needed to create the file outside win{hugs,ghci} before 23:42:57 even looking at the girls there cause inbreeding 23:43:18 `addquote yeah well I am from a village in an archipelago even looking at the girls there cause inbreeding 23:43:24 elliott: Here in America, inbreeding is a family pastime! 23:43:24 anyone whose partner is from the same archipelago is playing russian rulette with genetics 23:43:29 (more so historically) 23:43:54 I am happy to only be a halfbreed 23:43:57 oerjan: WRITTEN CHURCH YET 23:44:01 (my dad is a proper Finn) 23:44:06 Zwaarddijk: THAT EXPLAINS YOUR SIMPLISTIC SWEDISH MIND 23:44:18 ;D 23:44:21 319) yeah well I am from a village in an archipelago even looking at the girls there cause inbreeding 23:44:25 :) 23:44:52 Zwaarddijk: You know full well that you're seriously going to have a familiar relation with just about everyone on the continent by now, anyways. 23:44:59 Erm, familial. 23:44:59 yeah. 23:45:07 one of these days oerjan will ban me and the channel will be peaceful. 23:45:12 until then! 23:45:16 HINT: You have a familial relation with every tree in Europe. 23:45:19 Also, every other tree. 23:45:21 Also, every other living thing. 23:45:36 but, uhm, I prefer girls for whom the sum of the ways we're related isn't so much equivalent to being siblings 23:45:40 Gregor: Okay, if we go far back enough, yes. 23:45:50 that's why I've moved far away from that archipelago 23:45:51 Gregor: Wait, wasn't Adam kinda romping around with his daughter. 23:45:54 His... rib's... daughter... 23:46:09 elliott: Naw, Adam just fucked a tree. 23:46:14 elliott: Hence the relation. 23:46:14 I THINK THIS MAKES GENESIS MUCH BETTER GUYS 23:46:19 Family graph 23:46:25 (Not directed, not acyclic) 23:46:29 elliott: Technically not the rib. Most likely the baculum. 23:46:48 THAT BASTARD DEPRIVED US OF BACULA 23:46:57 (which humans are unique among primates for lacking) 23:47:06 [["...a rib..." (Genesis 2:21–24) - Hebrew tsela` can mean side, chamber, rib, or beam. The traditional reading of "rib" has been questioned recently by feminist theologians who suggest it should instead be rendered as "side," supporting the idea that woman is man's equal and not his subordinate.[4] Others have suggested that the "rib" was in fact the baculum. This suggestion is consistent with the observations that men and women have the same 23:47:06 number of ribs, and humans (unlike most mammals) lack a baculum.[5]]] 23:47:11 pikhq: I find that reasoning unlikely. 23:47:24 "Obviously the authors of the Bible would never get any SCIENCE wrong, so clearly they meant baculum since the rib stuff is false." 23:47:50 elliott: I'm pretty sure the ancient Jews would have at least noticed that most other animals have one. 23:47:50 I think I'm happy without a baculum 23:48:04 But it makes the term "boner" TOTALLY MISLEADING 23:48:21 otoh, it's possible I'll regret that the day my juvenile diabetes deprives me of virility 23:48:39 I like the idea of diabetes being really juvenile. 23:48:48 yeah, it's terrible 23:48:50 Zwaarddijk: Hooray, selecting for capability to have high blood pressure. 23:48:52 won't clean its room 23:49:23 anyways, complexity theory. 23:49:40 what the fuck is up with linear programming being in P 23:49:42 ask oerjan, he's the only one who actually knows anything here ;D 23:49:43 yet the solution in P is terrible 23:49:56 so we use an exponential solution instead 23:50:11 Zwaarddijk: today you learned that P does not mean fast. 23:50:18 CONGRATULATION 23:50:21 oh, I've known that since forever 23:50:22 but like 23:50:32 Though NP does mean slow. :P 23:50:35 it's weird that the solution in P on average 23:50:43 is worse than a solution in EXP 23:50:47 Zwaarddijk: surely it's better for large enough inputs 23:50:54 no, it's proven that 23:50:58 the solution in EXP 23:51:02 is really good on average 23:51:10 how odd 23:51:14 -!- BeholdMyGlory has quit (Remote host closed the connection). 23:51:16 is it like n^1.0000000000001? :P 23:51:24 well, no, since 23:51:35 normally, P, NP etc tell us of worst case things 23:51:37 n^-1 is exponential, y'know. 23:51:51 and the worst case is pretty terrible 23:51:56 yet the average is real good. 23:51:56 pikhq: :D 23:52:01 best exponential algorithm ever 23:52:08 Zwaarddijk: ah, right 23:52:14 I thought you meant exponential average case 23:52:16 "Give it more input, we need it to go faster!" 23:52:18 which ofc made no sense 23:52:27 -!- cheater- has joined. 23:52:33 pikhq: like PH's hawking thing 23:52:39 however, some take this as proof that 23:52:51 or rather an indication 23:53:05 oerjan: WRITTEN IT YET 23:53:09 that reasonably solvable => in P, even tho it doesn't mean that the reasonable solution is in P 23:53:32 which is weird. 23:53:47 scary shit. 23:53:54 ... 23:54:10 50-to-life is considered "not cruel and unusual punishment" for shoplifting. 23:54:17 xD 23:54:19 -!- iconmaster has quit (Ping timeout: 268 seconds). 23:54:45 pikhq: did you read of that judge who sentenced a 17-yo to 3 months in a correctional facility for being friends with a shoplifter? 23:55:13 oerjan: WRIIIITTEN IT YET 23:55:16 -!- cheater00 has quit (Ping timeout: 240 seconds). 23:55:21 Zwaarddijk: ouch, what country 23:55:28 Almost certainly the US. 23:55:43 the US 23:56:03 Because "tough on crime" means "so tough that we create criminals". 23:56:03 -!- elliott has quit (Read error: Connection reset by peer). 23:56:08 http://www.ibtimes.com/articles/112308/20110214/kids-for-cash-trial-former-pa-judge-ciavarella-claims-money-was-finder-s-fee.htm 23:56:14 Did you ever read the news story about the country that is so major in international affairs that anything bad that happens there gets projected into world news, thereby making it look much worse than it actually is? 23:56:21 there's a not as well written, but quicker article here: 23:56:22 0/win 27 23:56:25 -!- elliott has joined. 23:56:34 http://www.google.com/hostednews/ap/article/ALeqM5gkvHQieDR9euNIulBy-6HrNpOjLQ?docId=863f02b89f824c0296cdbbcf8a539bbf 23:56:37 basically 23:56:45 he's been bought by the company that owns the prisons 23:56:48 well WHO LIVES THERE ANYWAY 23:56:49 and there's like 23:56:56 Gregor: It's actually pretty well-estabilished that our penal system is significantly out of whack. 23:56:57 Zwaarddijk: yay capitalism! 23:56:58 1500-2000 sentences where the kids did not get 23:56:59 yay privatisation! 23:57:09 the legal advisor that they're entitled to 23:57:10 etc 23:57:16 some cases have lead to suicide 23:57:17 15:56:14 Did you ever read the news story about the country that is so major in international affairs that anything bad that happens there gets projected into world news, thereby making it look much worse than it actually is? 23:57:24 Gregor: :bitter American refuses to admit his country is shit: 23:58:02 Gregor: We give significantly longer sentences for crimes, have a prison system that has a very high redactivism rate, and we're one of a handful of countries to allow the death penalty at all. 23:58:06 actually, this news hasn't been 23:58:09 aired much in America 23:58:15 Gregor: Also, we have private. Fucking. Prisons. 23:58:22 Zwaarddijk: "For every polynomial algorithm you have, I have an exponential algorithm that I would rather run." -- Alan Perlis 23:58:27 Private fucking prisons? Best kind of prison! 23:58:29 oerjan: obviously. 23:58:38 And at least some documented cases of judges getting kickbacks for sending people to them. 23:58:40 (via http://rjlipton.wordpress.com/2009/07/03/is-pnp-an-ill-posed-problem/) 23:58:52 Best kind of fucking prison! 23:58:55 yes, Lipton's book is good. 23:58:57 The public ones just don't give you any privacy. 23:59:05 elliott: No no no, the public ones are an orgy. 23:59:06 -!- elliott has quit (Read error: Connection reset by peer). 23:59:22 -!- elliott has joined. 23:59:26 u u 23:59:29 u u 23:59:31 u u 23:59:36 uuuuuuuuuu 23:59:47 that's letter two