00:00:17 excitervous? 00:00:31 nervited 00:01:05 GreyKnight: yes 00:01:54 what 00:04:11 -!- augur has quit (Remote host closed the connection). 00:05:17 Arc_Koen: it would have been if i weren't up in the backscroll answering a completely different question 00:06:04 you do know your answer won't appear up in the backscroll, right? 00:06:17 GreyKnight: every comic on that website is avant-garde, of course 00:06:19 It does if you use featherIRC 00:07:27 some so much that they are dead 00:07:29 oerjan: well, it's DMM. He practically oozes avantgardicity from every pore. 00:07:48 yep 00:09:22 (I hear you can get cream for that) 00:12:13 can u pick me up? whatt comic? which website? 00:14:31 -!- sploknee has quit (Ping timeout: 260 seconds). 00:14:46 ah yes 00:14:48 -!- sploknee has joined. 00:15:50 'no eternal reward will forgive us now for wasting the dawn' 00:16:05 hagb4rd: http://www.mezzacotta.net/postcard/ 00:16:10 thx 00:18:14 i wondered if the cross in the scandinavian flags is somehow related to christianity.. or what else 00:18:22 last night 00:18:31 is it? 00:22:03 “Will meet at Shell station at I-69 and south 96th for sale” Yeah, that's not creepy. 00:23:00 a real adventure 00:23:30 you haven't thought that you just can go and buy one..did you 00:23:39 you have to earn it 00:24:01 @karma gregor 00:24:01 gregor has a karma of 1 00:24:35 hagb4rd: I've already gone through all this once. 00:24:38 Drove for two hours to buy one. 00:24:43 But that was less creepy. 00:24:56 It wasn't "I'll meet you at the gas station and we'll exchange a secret handshake" 00:25:09 I'm wearing a red carnation 00:25:33 "the truck stop labeled with three thumbs up signs" "those aren't thumbs" 00:26:08 -!- Phantom__Hoover has joined. 00:26:20 Gregor, what's this shady deal for? 00:26:24 codephrase: "The forests of Timber have changed." countersign "But the owls are still around." 00:28:01 "Excuse me but do you have a cousin named Sven?" -"No but I once had a barber named Dominique" 00:28:59 (melee island) 00:29:09 -!- sploknee has quit (Ping timeout: 248 seconds). 00:29:49 thumbs up if you like guybrush triftwood 00:31:40 You fight like a dairy farmer! 00:32:58 Phantom__Hoover: An accordion. 00:35:50 i wondered if the cross in the scandinavian flags is somehow related to christianity.. or what else <-- of course it is. 00:36:13 the english flag has a cross too 00:36:52 There are perfectly justifiable reasons to want to go elsewhere to sell something, and frankly I'm safer at some random Shell station than some random person's house, but that is SOOOO shady >_> 00:37:55 FreeFull: itym 3 crosses 00:38:04 wait 00:38:08 you said english 00:38:11 never mind 00:38:14 I did say english 00:38:19 Red cross on white background 00:39:17 Gregor: maybe *he* doesn't want *you* to know where he lives 00:39:21 I don't know if the scottish flag would count as having a cross since it's diagonal and the two lines aren't at 90° 00:39:34 in case you're a shady character :-| 00:39:45 FreeFull: it's called a saltire cross 00:40:04 The Polish flag is pretty simple 00:40:09 White top, red bottom 00:40:09 Done 00:40:10 (I guess because it sort of looks like a jumping man if you squint?) 00:40:25 The old Libyan one was best. "Just green" 00:40:58 Gregor: maybe *he* doesn't want *you* to know where he lives // yes, that's one of the perfectly justifiable reasons. 00:41:07 But a GAS STATION? 00:41:10 Why not a mall. 00:41:12 -!- monqy has joined. 00:41:13 Or a park. 00:41:17 Or, y'know. Not a gas station. 00:41:22 monqy: hello 00:41:46 GreyKnight: i think it's not that old since gadhdhafi founded it afaik 00:41:56 shachaf: ???hi 00:41:56 yeah the one before was more like the one they have now 00:41:56 monqy: You have 4 new messages. '/msg lambdabot @messages' to read them. 00:42:00 it was black, red, white before.. iirc 00:42:01 maybe he needs to get petrol as well ¯\(°_o)/¯ 00:42:09 maybe the same?? 00:42:15 monqy: what 00:42:24 hagb4rd: I mean "old" in the sense of "previous" (IIRC they ditched it) 00:42:48 yea.. times are changing in the arabic world 00:42:56 -!- ais523_ has joined. 00:43:01 heat++ 00:43:02 aha but there was also a Libyan Arab Republic flag and then a Federation of Arab Republics flag 00:43:03 -!- ais523 has quit (Read error: Operation timed out). 00:44:00 -!- ais523_ has changed nick to ais523. 00:44:05 there so many flags.. more flags than nations 00:45:28 http://www.otago.ac.nz/philosophy/Staff/JoshParsons/flags/alpha.html 00:46:40 I just want more single-flat-colour flags, is that so wrong? ._. 00:47:35 `? misspellings of croissant 00:47:36 misspellings of crosant? ¯\(°_o)/¯ 00:47:38 'Automatic weapons on a flag are especially bad. Appears to have been designed by a committee all of whom had stupid ideas for pictures of extra things to put on the flag.' 00:48:55 guess the green color (and of course the half moon) mostly represents islamic infuence 00:49:15 just put a nuclear bomb on your flag and get it over with 00:49:19 -!- Bike has joined. 00:49:26 hi Bike 00:49:36 have you ever considered the nick Bicycle 00:49:40 it would suit you 00:49:41 "Serbians will have a chance to change this flag when Montenegro secedes from Yugoslavia. I suggest they take it." 00:49:43 well they did 00:50:09 put a crown eagle thingy on it 00:50:10 Why would it suit me? 00:50:30 I like Nepal's choice of flag 00:50:39 Rectangular flags are so typical 00:50:47 and Црне Горе ended up with something totally different 00:51:12 libya's flag under gadaffi is my favorite. 00:51:49 FreeFull: oerjan: doesn't it bug you that the various crosses on the Union Jack don't line up?!? 00:52:04 it means you can have one that's upside down or backwards 00:52:07 oh yes, Nepal is good 00:52:21 and the most depressing flag is definitely Mozambique's 00:52:22 Hm isn't there another country with a Nepal-shaped flag? 00:52:50 kmc: A Polish flag can be upside-down too 00:52:50 kmc: well if it weren't that way how would you tell which way up you had it?!? 00:53:05 FreeFull: true facts 00:53:06 I don't see how you hang a flag backwards though 00:53:18 A flag always has two sides 00:53:31 What if you hang it on a wall? 00:53:45 well one side is generally designated as the side the pole's on 00:53:48 FreeFull: wait until someone invents a möbius flag for their country 00:53:49 Then you knock down the wall 00:53:57 Glorious 00:54:03 kmc: Klein bottle flag? 00:54:14 a bit harder to manage 00:54:19 is that why the british flag is symmetrical? 00:54:29 it's not symmetrical! 00:55:11 I feel stupid now 00:55:17 I am in favour of nonorientable flags 00:55:19 but would you notice if it were hanged backwards? 00:55:27 Arc_Koen: i wouldn't 00:55:29 but some people would 00:55:40 i don't know which way is correct but wikipedia says 00:56:01 they should have a referendum to symmetricize the flag 00:56:13 saving billions of pounds 00:56:24 lol 00:56:29 btw how can quarks with the 1/2 spin appear the same only when turned 720 degrees.. also how many dimensions does it take to prove we're not wrong 00:56:31 s/sav/wast/ 00:57:13 well if you rotate it 360 degrees then the spin is pointing the wrong way! 00:57:14 the US state of Rhode Island had a referendum on changing the name to Rhode Island 00:57:17 and it failed 00:57:24 the current name is actually the State of Rhode Island and Providence Plantations 00:57:42 haha 00:57:45 is that like how massachusetts is "actuall a commonwealth" and north dakota "isn't a state" 00:58:03 ND is a state 00:58:04 kmc: if my vague impression is correctly recalled, the crosses are strangely arranged in order that none of them be more prominent than the others according to heraldic rules 00:58:15 ah heraldry 00:58:20 another great nomic 00:58:30 i don't know anything about North Dakota not being a state 00:58:36 coppro: there was some thing a few months ago about how some technicality meant they weren't (like it matters) 00:58:57 http://newsfeed.time.com/2011/07/14/because-of-constitution-error-north-dakota-is-not-a-state-and-never-has-been/ 00:59:01 Bike: see previous comments re: nomic I guess :-) 00:59:19 is that a Saint Andrew's Cross on the union jack? 00:59:26 which previous comments 00:59:26 every piddling little detail matters in a nomic B-) 00:59:29 haha 00:59:34 there are so many! i'm still waiting on my bicyclocity 00:59:40 is that like Pope John XX 01:00:05 «There has never been a Pope John XX, because the 20th pope of this name, formerly Petrus Hispanus, when elected Pope in 1276, decided to skip the number XX and to be counted as John XXI instead» yesssss 01:00:45 antipopes are still the best though 01:00:47 there are also off-by-one errors on all the Popes Stephen because the one who was going to be Stephen II died before he technically got all the way popeified 01:00:49 Bike: why? 01:00:55 why what 01:01:02 so Stephen VI is sometimes called Stephen VII, etc 01:01:02 though the high numbers symbolize continuity 01:01:05 (re: skipping XX) 01:01:14 GreyKnight: oh, it just amuses me 01:01:27 there was confusion on whether there had already been a John XX i think 01:01:36 hagb4rd: yes (re: St Andrew's Cross) 01:01:38 the history of the papacy is really amusing and interesting 01:01:47 Bike: I mean, why did he skip it? 01:02:04 just wait till Pope John XXX 01:02:21 what is then? 01:02:22 Motherboy XXX 01:02:38 i don't think it'll wrap over soon :p 01:03:13 GreyKnight: like kmc said, there was some confusion about which johns there had been so far 01:04:27 there are two thousand years of popes, it's hard to keep records for that long 01:04:43 or, 1200 years of popes, at the time 01:04:46 how can this be? the history of popes is documented very well (since the clerks were able to write) 01:04:48 It's easy to take modern record-keeping for granted 01:05:02 hagb4rd: the rotation thing makes sense if you think of the particles not just as isolated in space, but actually connected to the outside by threads; if you have a ball like that and try to rotate it 360 degrees it turns out you _cannot_ untangle the threads, but if you rotate it 720 degrees you can 01:05:05 but maybe they have excomunicated the one or the other 01:05:24 hagb4rd: being able to write doesn't necessarily mean your records are accurate... 01:05:26 well for the first few hundred years, christianity was a persecuted minority cult 01:05:29 so there's that 01:05:38 and there have been various schisms 01:05:39 yeah pretty much all of the first ones were martyred 01:05:41 oerjan: A subatomic particle is a bit like a monad 01:05:42 hagb4rd: that's only like another 10 johns 01:05:46 or people invade and take over your city 01:05:47 etc 01:05:59 GreyKnight: well they have the nuclear waste part right, at least 01:06:03 also we've changed date systems a couple times 01:06:12 so there goes that time accuracy 01:06:34 http://en.wikipedia.org/wiki/Pope_Hyginus so we end up with a lack of information like so 01:06:37 You rotate the particle and put up a flag. Then you put the flag in a space suit and jump into some nuclear waste. You can take as many burritos as you want! 01:06:41 -!- augur has joined. 01:06:49 oerjan: phew.. that's hard to imagine 01:07:05 hagb4rd: I lied. 7 more Johns 01:07:19 off-by-john error 01:07:25 lol 01:08:07 back later 01:08:08 hm I haven't read the burrito one yet actually... to the search engine! 01:08:16 kmcu 01:08:32 i thought "monads were like burritos" was from that article about monad tutorials sucking 01:09:06 every year, the vatican publishes a list of popes 01:09:07 *why* 01:10:43 Someone managed to actually map the properties of a monad to burritos: http://blog.plover.com/prog/burritos.html 01:12:16 GreyKnight: turns out categories crop up every now and then in real life 01:12:19 especially poset categories 01:12:36 Are IRC channels categories 01:12:42 :-| 01:12:59 fungot: would you like to be in a category?! You would fit right in! 01:13:00 GreyKnight: call it by name. 01:13:21 fungot: how about we call it... Fungot? 01:13:22 GreyKnight: i think i did that wrong anyway." ( interactive) ( let ( ( z ' get)) 01:13:23 GreyKnight: maybe 01:13:33 GreyKnight: for instance, you can form a poset category from a bunch of tiles 01:14:00 a set of tiles comes before another set if the first set can be cut up to produce the second 01:14:04 BAM! category 01:14:06 oh, that's why somebody was conflating category theory with bathroom interior design the other day :-D 01:14:18 yay maths 01:14:40 `addquote GreyKnight: for instance, you can form a poset category from a bunch of tiles oh, that's why somebody was conflating category theory with bathroom interior design the other day :-D 01:14:44 908) GreyKnight: for instance, you can form a poset category from a bunch of tiles oh, that's why somebody was conflating category theory with bathroom interior design the other day :-D 01:14:56 hmm 01:15:05 `addquote this quote is formatted wrong to annoy quitopia also it's not a quote 01:15:07 elliott will shout about the spacing 01:15:09 909) this quote is formatted wrong to annoy quitopia also it's not a quote 01:15:10 hagb4rd: http://www.youtube.com/watch?v=Rzt_byhgujg 01:15:17 `quote 01:15:18 590) "Facekicker" Hird is a member of the Hird family Ngevd, world-renowned detective. 01:15:30 `quoerjan 01:15:32 361) I'm not even going to try and understand what you're proposing. i understand it perfectly. it's completely nuts. \ 109) alise: mainly it's the fact it blows so hard i cannot avoid hitting the walls of the thing, which completely goes against my basic public toilet hygiene principles \ 16) oerjan: are you 01:15:50 on one has "pictureofapotato.com" 01:15:51 why not 01:15:52 *no one 01:15:55 fungot: are you 01:15:56 shachaf: unfortunately i still don't know my t-shirt size? :) ( of course, they're for the easiest machine mangling as a quote 01:17:02 fungot: I'm not buying you a T-shirt if you're just going to machine-mangle it 01:17:03 GreyKnight: syntax-rules is fun as a palindrome? predicate" seems like a 01:17:21 hagb4rd: not quite the same but i couldn't quite find what i am thinking of 01:17:31 fungot wants bash to support syntax-rules? 01:17:31 GreyKnight: i prefer darcs? cool)... but it's not 01:17:59 `? GreyKnight 01:18:02 GreyKnight? ¯\(°_o)/¯ 01:18:13 HackEgo I thought we were friends :< 01:18:45 orerjan: yea. it is hard to explain and imagine.. but i think i have a vague picture of what're out to say 01:19:16 hagb4rd: i'm wondering if what i said is literally correct, it _should_ be possible to make a video of it if it is true 01:19:39 -!- augur has quit (Remote host closed the connection). 01:19:47 in 3D please :p 01:20:05 Ørjan's Video Representation Hypothesis 01:20:27 if it is true, it is possible to make a video of it 01:21:00 hagb4rd further conjectures that the video can be in 3D 01:21:17 hmm 01:21:38 First, consider a spherical video... 01:21:51 i doubt it 01:22:56 (i even marked it as irony for sure) 01:23:06 *as ironic 01:23:40 arg forget this expressions 01:23:46 monqy: do you know a lot about functors 01:24:11 of course it can be in 3D. 01:26:16 maybe..i tried to imply that the mathematicians need more than 3 dimensions.. but it may work for your analogy 01:26:46 they don't need 3 for the cup demonstration or the belt trick 01:26:53 * hagb4rd looks for his stereo glasses 01:26:59 it's a theorem about rotations _in_ 3d, after all 01:31:30 there seem to be an affinity to a moebius strip (in which it takes two rounds to get back to start) 01:33:05 shachaf: what's a lot 01:34:41 metaquestion 01:34:42 monqy: not sure 01:35:19 alright 01:35:29 my answers not sure, too 01:35:48 monqy: you know the operation p a -> p (a,b)? 01:35:53 and the operation p a -> p (Either a b) 01:36:06 does that have names. 01:36:28 whoa how'd that b get in there!!!! 01:36:40 EXACTLY 01:37:11 so do you know anything about these things 01:37:21 -!- sebbu has quit (Read error: Connection reset by peer). 01:37:30 wild guess: the left one is {-# LANGUAGE TupleSections #-} fmap (,b), and the second one is fmap Left 01:37:33 am i right??? 01:37:44 -!- sebbu has joined. 01:37:44 monqy: no it's forall a b. 01:37:53 :oooooo 01:38:06 and also you can't use fmap 01:38:14 because you don't know the variance of the functors 01:38:31 all you know is invariant ie (a -> b) -> (b -> a) -> p a -> p b 01:38:34 and this operation 01:39:54 -!- Phantom__Hoover has quit (Remote host closed the connection). 01:40:54 forall b..........spooky.............. 01:41:24 monqy: not really spooky when you use it contravariantly!! 01:41:24 -!- epicmonkey has quit (Ping timeout: 265 seconds). 01:41:34 like newtype Op r a = Op (a -> r) 01:41:39 that's not spooky 01:42:28 but then the second one is spooky. the one with the either???? 01:42:40 but then just use the second one covariantly 01:42:45 qed??? 01:43:07 but you said i didnt know the variances...... 01:43:23 monqy: you don't know the variances when you use the operations 01:43:39 but then you can pick p when you're instantiating p yourself 01:44:08 kɑpɹoʊ 01:44:58 monqy: another good invariant functor: Endo???? 01:45:03 newtype Endo a = Endo (a -> a) 01:45:27 monqy: i'd like to mention that Endo supports both of these operations?? 01:47:25 ok 01:48:01 monqy: btw you can sort of generalisze them to any comonad/monad? 01:48:12 what do you mean 01:48:36 p a -> p (w a), p a -> p (m a) 01:49:52 ok 02:02:07 monqy: So ideally these operations would be on superclasses of Functor/Contravariant? 02:04:07 idk is invariant "any good" 02:08:49 monqy: well pretty much every haskell type is invariant 02:08:56 except for the "weird ones"?? 02:08:57 like ioref 02:09:01 but every adt 02:09:14 also "weird one??" like gadts 02:09:15 and rank2 02:09:26 does that mean it's "any good" 02:10:23 it means it's "the goodest" 02:10:45 -!- ais523 has quit. 02:11:16 oh 02:16:24 -!- dessos has left. 02:24:56 -!- azaq23 has quit (Quit: Leaving.). 02:26:32 -!- DHeadshot has joined. 02:43:01 -!- sebbu2 has joined. 02:43:20 -!- sebbu2 has quit (Changing host). 02:43:20 -!- sebbu2 has joined. 02:46:25 -!- sebbu has quit (Ping timeout: 248 seconds). 02:47:28 -!- TeruFSX has joined. 02:50:39 n8 03:01:37 oops..wrong window 03:02:09 * oerjan thought that was a 1337 way of saying good night 03:04:19 oerjan: it is yes. in german it is "gute nacht" or shortly "nacht" and 8 is "acht" 03:04:35 it almost works in english 03:05:29 except .. WHY ARE YOU STILL HERE THEN 03:05:45 * oerjan inquisitates 03:07:00 as i mentioned it was the wrong window. i was n8ing someone in a query. 03:07:03 :> 03:07:32 oh right it's not a symmetric relation 03:07:40 nope 03:07:41 * oerjan cackles madly 03:07:56 at least i think it is not 03:08:49 -!- copumpkin has quit (Ping timeout: 248 seconds). 03:08:54 hm almost works in italian or french too 03:09:20 -!- copumpkin has joined. 03:09:58 mysterious relation in the etymology of "night" and "eight" 03:10:07 maybe 03:10:41 they're probably all inheriting both words from common indoeuropean 03:15:32 @remember camccann Clearly the reason why edwardk uses Haskell now is because every C++ compiler has a restraining order against him. 03:15:32 Good to know. 03:15:45 @quote cmccann learly 03:15:45 cmccann says: Clearly the reason why edwardk uses Haskell now is because every C++ compiler has a restraining order against him. 03:16:15 @forget camccann Clearly the reason why edwardk uses Haskell now is because every C++ compiler has a restraining order against him. 03:16:15 Done. 03:16:22 cmccann is his nick in IRC. 03:16:28 YOU SO DARN FAST 03:16:29 (It used to be syntaxglitch, I think?) 03:17:00 oerjan: what do you think of the "isomorphism" between ((a,b,c),a) and (a,b,c) 03:17:04 pretty cool isomorphism huh 03:17:14 WAT 03:20:30 this is obviously some strange usage of the word "isomorphism" that I hadn't previously been aware of. 03:21:42 well it's (\((_,y,z),x') -> (x',y,z)) (\(x,y,z) -> ((x,y,z), x)) 03:21:46 great isomorphism imo 03:22:20 :t (\((_,y,z),x') -> (x',y,z)) (\(x,y,z) -> ((x,y,z), x)) 03:22:21 The lambda expression `\ (x, y, z) -> ...' has one argument, 03:22:22 but its type `((t0, t2, t3), t1)' has none 03:22:22 In the first argument of `\ ((_, y, z), x') -> (x', y, z)', namely 03:22:28 HUMBUG 03:22:58 oerjan: that's two lambdas................... 03:23:03 @ty iso (\((_,y,z),x') -> (x',y,z)) (\(x,y,z) -> ((x,y,z), x)) 03:23:04 (Functor f, Isomorphic k) => k ((t1, t2, t3) -> f (t4, t5, t6)) (((t, t2, t3), t1) -> f ((t4, t5, t6), t4)) 03:23:31 19:23 (Functor f, Isomorphic k) => k ((t1, t2, t3) -> f (t4, t5, t6)) (((t, t2, t3), t1) -> f ((t4, t5, t6), t4)) 03:23:36 qed 03:27:11 quite easily done 03:27:11 -!- DHeadshot has quit (Read error: Connection reset by peer). 03:27:20 -!- DH____ has joined. 03:27:21 Wow, Evince downloaded this document all the way to 274% before opening it. 03:27:31 *That's* a dedicated PDF viewer. 03:31:30 today in zombie 6.001 we used as an example this function (translated to Haskell): 03:31:33 unique [] = []; unique (x:xs) = x : unique (filter (/= x) xs) 03:31:59 this is amusingly similar to 03:31:59 primes [] = []; primes (x:xs) = x : primes (filter ((/= 0) . (`mod` x)) xs) 03:33:17 -!- DH____ has quit (Read error: Connection reset by peer). 03:33:38 -!- DHeadshot has joined. 03:33:48 nub? 03:33:51 :t let foo f g k [] = k; foo f g k (x:xs) = f x (foo f g k (g xs)) in foo 03:33:52 (t -> t1 -> t1) -> ([t] -> [t]) -> t1 -> [t] -> t1 03:34:09 monqy: hm, I guess this does relate to the super small prime sieve using nubBy 03:34:10 > nubBy((>1).).gcd)[2..] 03:34:12 :1:17: parse error on input `)' 03:34:18 Well, one more ( 03:34:23 I think it's pretty directly related. 03:34:28 Except, hmm, not quite. 03:34:30 is the 'foo' i just defined a something-morphism? 03:35:15 (a -> b -> b) -> ([a] -> [a]) -> b -> [t] -> b? 03:35:21 * shachaf can't read those types with the digits. 03:35:34 I missed one. 03:35:38 (a -> b -> b) -> ([a] -> [a]) -> b -> [a] -> b? 03:35:47 That looks a lot like a fold with an extra filtering step. 03:35:53 that's what it is 03:35:53 @ty foldr 03:35:54 (a -> b -> b) -> b -> [a] -> b 03:36:01 Oh, right. 03:36:03 a fold with an extra "something" 03:36:10 who knows what it could be 03:36:17 But not really a fold because you get an extra concrete list. 03:36:21 Sort of like a paramorphism? 03:36:28 Is my old college likely to have advisor that alumni can speak to 03:36:29 also at the end we trolled the students with ((\x -> x x) (\x -> x x)) 03:36:30 > 03:36:30 ? 03:36:44 Sgeo: that depends on what you want this advisor to do 03:36:50 if the answer is "beg you for money" then certainly 03:36:58 kmc: When do you get to ((call/cc call/cc) (call/cc call/cc))? 03:36:59 if other things then maybe 03:37:05 Help me decide whether it's a good idea to go to grad school or just look for a job 03:37:07 shachaf: I don't even know that one :/ 03:37:26 don't go to grad school 03:37:42 kmc, hm? 03:38:00 kmc: Well, start with (call/cc call/cc) 03:38:13 (define x (call/cc call/cc)) 03:38:14 (x 5) 03:38:15 x 03:38:17 5 03:38:46 Er, the first three lines have a "λ> " in front of them. 03:39:04 * Sgeo 's mind breaks 03:39:14 what 03:39:21 What's a good Scheme interpreter to use to test things? 03:39:26 how does it... 03:39:27 oh god 03:39:32 Usually I use "scm" because it's easy to remember the name. 03:39:34 shachaf: i just tested it in DrRacket 03:39:36 plt-r5rs? 03:39:38 that's what we're using for the class 03:39:39 shachaf's is an infinite loop, isn't it 03:39:40 it's not exactly Scheme 03:39:48 kmc, there's an R5RS mode 03:39:48 is anything exactly Scheme 03:39:52 Oh, I seem to remember that waas good. 03:39:56 yeah but something is broken about it 03:40:11 Oh, it wants to download 60MB. 03:41:05 * shachaf doesn't have that kind of bandwidth! 03:41:11 :( 03:41:14 tin can internet? 03:41:25 Something like that. 03:41:36 Well, it's not that bad. 03:41:53 The issue is a stupid router that makes everything unusable when a download is going on. 03:41:57 Bike, shachaf's is a one-shot mutation. Somehow. 03:41:59 buffer bloat :( 03:42:07 Yep. 03:42:17 Sgeo: Well, not necessarily, I think? 03:42:18 Sgeo: i mean (c(call/cc call/cc) (call/cc call/cc)). the define thing is relatively simple 03:42:21 you could rate-limit your download to be just under your max bandwidth 03:42:24 *-c 03:42:43 kmc: I could, but the bandwidth is also somewhat variable. 03:42:43 then interactivity will improve 03:42:46 yeah :/ 03:42:55 Also I don't know a good way of doing it without coöperation from a process. 03:43:01 Which doesn't really work for a typical browser, say. 03:43:02 does it vary as a poisson process whose rate is subject to brownian motion but is 'sticky' at zero? 03:43:16 It's something you *could* do from outside the process but I don't think Linux supports it. 03:43:20 (rather is packet delivery modeled as such) 03:43:31 netem can throttle things i think 03:43:43 Hmm. 03:44:00 i'm trying to figure out what the second call/cc does in (define x (call/cc call/cc)) 03:45:25 it gets called? 03:45:34 -!- DHeadshot has quit (Read error: Connection reset by peer). 03:45:38 well yes 03:46:43 (define x (call/cc call/cc)) => (define x (call/cc (define x []))) => (define x (define x [])), I think 03:47:18 er no, there's the side effect of defining x in there i suppose? 03:49:16 oh 03:49:21 i see 03:49:29 that is mind-twisty 03:49:39 saw what about it? theres a few wacky things going on 03:49:44 Bike: http://esolangs.org/wiki/Subtle_cough 03:50:40 subtle cough is cute 03:50:54 ternary logic through continuations, it's what i always wanted 03:51:36 don't know what in particular, i just understand the evaluation steps and why they produce the resulting behavior 03:51:47 ah 03:52:35 imo it's easier to see if you throw out the 2nd call/cc and replace it with an identity function, but then it's not as confusing or aesthetically pleasant 03:53:20 hm that does work too 03:53:32 i was real into that sorta junk a few years ago 03:53:52 what sorta junk are you into now 03:53:57 different junk 03:54:03 proofs or something? 03:54:11 you could say that........ 03:56:19 type systems? 03:56:26 you could say that too! 03:56:30 who knows :'( 03:56:32 is it lenses 03:57:04 lenses are neato but i wouldnt say i'm real "into" them at the moment 03:57:22 what are you into!! 03:57:23 but maybe i am??? 03:57:26 who knows 03:57:40 monqy: do you like "simple lenses" 03:57:51 ie http://slbkbs.org/s.hs 04:00:00 what does simple mean here...im guessing theres no relation to the Simple type alias in the lens package..... 04:00:25 lots of relation 04:00:30 :ooo 04:00:34 pretty much all these lenses are simple 04:00:38 "i.e. nonpolymorphic" 04:00:42 how boring ! 04:00:46 so you have Lens s a instead of Lens s t a b 04:00:52 i know :'( 04:00:56 100% less stabby 04:01:08 it looks a bit overcomplicated if you're not even polymorphic gosh 04:01:14 what's the twist 04:01:16 the excitement 04:01:18 monqy: the idea was to get insights!!!! 04:01:20 what makes it worth it 04:01:20 oh 04:01:23 ask elliott 04:02:13 monqy: we're not actually going to use these "are you crazy??" 04:02:16 (call/cc identity) is very easy to understand 04:02:37 shachaf: are you going to use the insights 04:02:46 Sgeo: (identity identity) is even easier to understand. 04:02:51 :t easy 04:02:51 "maximal easiness?" 04:02:52 Not in scope: `easy' 04:03:26 But (call/cc identity) has the same external effect as (call/cc call/cc) (even if they work differently, I have no idea) 04:03:41 : ) 04:04:01 but it's Aesthetically Undesirable 04:05:15 monqy: so what are you actually into 04:05:29 idk stuff 04:05:33 pl stuff 04:05:41 like what 04:05:46 maybe lenses too who knows 04:05:56 pff how should i know 04:05:58 what "sorta" pl stuff 04:06:02 racket seems to have every possible kind of delimited continuations 04:06:38 I still only understand shift/reset :/ 04:06:50 And have no idea how the continuation model of Racket works 04:07:15 who needs continuations just use coroutines?? 04:07:21 almost as good 04:07:39 stern 04:07:59 i'm kind of surprised there is apparently no get/cc ? 04:08:26 shachaf said it was More Powerful 04:08:27 That's callCC (return . fix) in Haskell! 04:09:00 Bike: Well, in Haskell, callCC (return . fix) lets you do more things than callCC 04:09:06 Like get your program into an infinite loop. 04:09:09 "always a popular choice" 04:09:17 an important thing to do 04:09:47 :t return . fix 04:09:49 Monad m => (a -> a) -> m a 04:11:11 @ty callCC (\k -> return (fix k)) 04:11:12 MonadCont m => m (m b) 04:18:18 The Racket logo is pretty http://docs.racket-lang.org/images/pict_101.png 04:19:09 hm that's not the one on http://racket-lang.org/ though 04:19:26 the one you linked is pretty busy 04:19:32 there's a shadow and a bubble and a lens flare (?) 04:19:44 i agree it's pretty, but it's not a good logo 04:19:56 10 million hours in POV-ray 04:19:59 haha 04:20:05 The Racket logo looks like the Tnuva logo. 04:20:16 http://www.apax.com/media/2041/Tnuva.JPG 04:20:23 haha 04:21:16 does tnuva look like tuna for a reason or did they just pick a silly name 04:21:50 monqy: it's in hebrew............. 04:22:04 is the logo meant to be a stylized tav 04:22:12 what's the hebrew for "tuna"? 04:22:37 "tuna" 04:22:38 kmc: Yep. 04:22:45 Well, I think so, anyway? 04:23:37 it's hard to know how much it looks like a letter, without being someone who uses this script 04:23:42 "tuna" <-- fucking loanwords 04:24:14 shachaf: does that mean it looks like tuna in hebrew too 04:24:16 Well, it's pretty stylized. 04:24:39 monqy: no because tuna is spelled with a tet 04:24:49 Maybe if I rewrite the call/ccs into a more recognizable form 04:24:53 http://en.wikipedia.org/wiki/Teth 04:24:55 http://en.wikipedia.org/wiki/Tav_(letter) 04:25:01 (call/cc (lambda (k1) (call/cc k1))) 04:25:34 very recognizable 04:26:06 makes perfect sense 04:26:28 @ask gregor you said the sandbox behind hackego is designed to support the usage of external webservices in a native(?) way. can you give me hint, or a short example how it's done? or just a keyword i should look for? (what i'd like to do is sth like `run | | paste) 04:26:28 Consider it noted. 04:26:32 (call/cc (lambda (k1) (call/cc (lambda (k2) (k1 k2))))) 04:26:46 I think 04:26:47 whoa sgeo we don't want to get too recognizable here 04:26:51 Sgeo: does clojure even have call/cc........ 04:26:55 hagb4rd: It's DESIGNED to, but it doesn't work right now. It's just an HTTP proxy. 04:26:56 Gregor: You have 1 new message. '/msg lambdabot @messages' to read it. 04:26:57 shachaf, no 04:27:15 shachaf still doesn't understand me :( 04:27:22 Sgeo: ? 04:27:25 `run echo $http_proxy 04:27:26 http://127.0.0.1:3128 04:27:30 Is Racket the new Clojure? 04:27:40 yes 04:27:44 call-with-current-proxyfactorybean 04:28:09 I prefer call-with-current-proxyfactorybeansingleton 04:28:14 Maybe if I rewrite into let/cc 04:28:28 (let/cc let/cc)???????? 04:28:29 (let/cc k1 (let/cc k2 (k1 k2))) 04:28:34 Sgeo: so what's the new factor 04:28:43 gregor: so would i use this proxy to call a service (if it wasn't broken)? a short example 04:28:44 monqy: that's also Racket 04:28:51 shachaf: are you sure.... 04:28:56 monqy: Racket is just that good 04:28:59 gregor: so how would i use .. 04:29:03 are you sgeo? I hear you still don't understand him 04:29:13 monqy: don't believe everything you hear 04:29:18 hagb4rd: Depends on what language you're doing this in. They each have their own way to use an HTTP proxy. If you just want to curl or wget, those'll work out of the box. 04:30:13 gregor: as described i want to use it the shell 04:30:27 tells me nothing though. 04:30:44 Is that call just a curl call? If so, just use it, curl knows how to handle $http_proxy. 04:30:57 `curl http://slbkbs.org/hi 04:30:59 ​ % Total % Received % Xferd Average Speed Time Time Time Current \ Dload Upload Total Spent Left Speed \ 04:31:01 aw it's just like fetching an url ..not more 04:31:10 if wget will work things are fine 04:31:15 wget would work fine. 04:31:30 I only mentioned curl because usually it's more scriptable. 04:31:49 curl is cool too 04:32:01 so what exactly is broken 04:32:05 the proxy itself? 04:32:23 My sandbox's ability to communicate with the proxy. 04:32:29 can i help you fix it? 04:32:35 i know you're quite busy 04:32:54 -!- david_werecat has quit (Read error: Connection reset by peer). 04:33:14 -!- david_werecat has joined. 04:33:14 Well, I'm not sure if it's a problem with umlbox or something else. If you fetch umlbox and see if you can get its -L option to work, that'd give me a headstart, but it would be hours of work for you, or ten minutes for me ;) 04:33:37 lol 04:33:46 `curl larr mo 04:33:47 ​ \ curl: (7) couldn't connect to host 04:34:03 okay.. i'll give it a try 04:34:26 monqy: how into lenses are you 04:34:35 monqy: enough to join #haskell-lens?? 04:36:35 `run curl http://google.com/ 04:36:37 ​ \ curl: (7) couldn't connect to host 04:36:45 Hrrng 04:36:49 `run echo $http_proxy 04:36:51 http://127.0.0.1:3128 04:36:55 `run wget http://google.com/ 04:36:56 ​--2013-01-11 04:36:56-- http://google.com/ \ Connecting to 127.0.0.1:3128... failed: Connection refused. 04:37:00 `run wget http://www.google.com/ 04:37:02 ​--2013-01-11 04:37:01-- http://www.google.com/ \ Connecting to 127.0.0.1:3128... failed: Connection refused. 04:38:24 are you sure there is no blacklist/whitelist at all? 04:38:39 hm 04:38:44 hagb4rd: The whitelist is on the proxy. This is failing to connect TO the proxy. 04:38:55 k 04:40:56 OK, double-WTF. 04:41:06 It works if I run it on the shell, but not from the bot... 04:44:15 `ls - l bin/wget 04:44:16 ls: invalid option -- ' ' \ Try `ls --help' for more information. 04:44:30 `run ls - l bin/wget 04:44:31 ls: cannot access -: No such file or directory \ ls: cannot access l: No such file or directory \ ls: cannot access bin/wget: No such file or directory 04:44:35 `run curl http://google.com/ 04:44:36 ​ \ curl: (7) couldn't connect to host 04:44:40 `run curl http://www.google.com/ 04:44:41 ​ \ curl: (7) couldn't connect to host 04:45:07 `run curl http://www.google.com/ 04:45:09 ​ % Total % Received % Xferd Average Speed Time Time Time Current \ Dload Upload Total Spent Left Speed \ 04:45:14 Hm 04:45:24 `run wget http://www.google.com/ 04:45:26 ​--2013-01-11 04:45:25-- http://www.google.com/ \ Connecting to 127.0.0.1:3128... failed: Connection refused. 04:45:29 >_< 04:45:37 `run sleep 5 ; wget http://www.google.com/ 04:45:51 ​--2013-01-11 04:45:50-- http://www.google.com/ \ Connecting to 127.0.0.1:3128... connected. \ Proxy request sent, awaiting response... 200 OK \ Length: unspecified [text/html] \ Saving to: `index.html' \ \ 04:45:57 Aha. 04:46:02 curiouser and curiouser 04:46:18 `head index.html 04:46:19 what is it? connection timeout`? 04:46:22 hagb4rd: The problem is that it can't communicate when it's initialized. As a temporary workaround, sleep for a second before making the request. 04:46:35 okay cool 04:46:37 Or bombard the server with connection requests for a while. 04:46:49 fäncy 04:47:00 thx gregor 04:47:38 `run sleep 1 ; translatefromto en de Does this work any longer? 04:47:42 Traceback (most recent call last): \ File "/hackenv/bin/json", line 4, in \ data = json.loads(sys.stdin.read().decode('utf-8')) \ File "/opt/python27/lib/python2.7/json/__init__.py", line 310, in loads \ return _default_decoder.decode(s) \ File "/opt/python27/lib/python2.7/json/decoder.py", line 346, in decode \ obj, end 04:47:55 i take that as a no 04:48:06 `run sleep 1 ; translatefromto 'en de Does this work any longer?' 04:48:11 Traceback (most recent call last): \ File "/hackenv/bin/json", line 4, in \ data = json.loads(sys.stdin.read().decode('utf-8')) \ File "/opt/python27/lib/python2.7/json/__init__.py", line 310, in loads \ return _default_decoder.decode(s) \ File "/opt/python27/lib/python2.7/json/decoder.py", line 346, in decode \ obj, end 04:49:00 i vaguely recall they discontinued that service, anyhow 04:50:41 `cat bin/translatefromto 04:50:42 ​#!/bin/bash \ TEXT="$1" \ FROM=`echo "$TEXT" | sed 's/ .*$//'` \ TEXT=`echo "$TEXT" | sed 's/^[^ ]* //'` \ TO=`echo "$TEXT" | sed 's/ .*$//'` \ TEXT=`echo "$TEXT" | sed 's/^[^ ]* //'` \ if [ "$FROM" = "auto" ] ; then FROM="" ; fi \ \ curl -e http://codu.org/ http://ajax.googleapis.com/ajax/services/language/translate \ \ --data-urlenco 04:51:02 `run cat bin/translatefromto | tac 04:51:03 ​ json 'data["responseData"]["translatedText"]' \ --data-urlencode langpair="$FROM"'|'"$TO" 2> /dev/null | \ --data-urlencode q="$TEXT" \ \ --data-urlencode v=1.0 \ \ curl -e http://codu.org/ http://ajax.googleapis.com/ajax/services/language/translate \ \ \ if [ "$FROM" = "auto" ] ; then FROM="" ; fi \ TEXT=`ec 04:51:38 `run grep -l curl bin/* 04:51:40 bin/tclkit \ bin/translatefromto 04:51:48 `run grep -l wget bin/* 04:51:49 bin/lua \ bin/luac \ bin/macro \ bin/units 04:53:09 `url bin/translatefromto 04:53:11 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/bin/translatefromto 05:16:14 Gregor: one more thing: would you mind to install mono on that sandbox? (i promise i'll stop buggin you..at least for today :P) 05:21:49 -!- GreyKnight has quit (Remote host closed the connection). 05:31:56 -!- TeruFSX has quit (Ping timeout: 265 seconds). 06:02:14 'Take the Chanukah dreidel game, combine it with poker, and you've got a new dreidel experience that is truly fun. You'll check, bet, raise, or fold depending on the strength of your dreidel hand (or how much you like to bluff).' 06:05:17 I hope they actually describe the game more thoroughly than "Take the Chanukah dreidel game, combine it with poker" 06:05:59 quite an interesting concept, deserving of explanation 06:06:11 Oh, there's a video of an explanation 06:06:18 are there any dreidel-based esolangs 06:06:34 Don't entirely understand what there is to pay for, exactly 06:07:10 i think drawing the cards/whatever as independent trials fundamentally destroys a lot of the poker strategy 06:07:44 -!- copumpkin has quit (Ping timeout: 252 seconds). 06:08:16 -!- copumpkin has joined. 06:15:45 -!- Sgeo has quit (Read error: Operation timed out). 06:16:14 -!- Sgeo has joined. 06:21:43 -!- Bike_ has joined. 06:23:36 -!- Bike has quit (Ping timeout: 264 seconds). 06:24:04 -!- copumpkin has quit (Ping timeout: 244 seconds). 06:24:35 -!- copumpkin has joined. 06:26:20 -!- Bike_ has quit (Ping timeout: 255 seconds). 06:27:58 -!- Bike has joined. 06:51:24 -!- oerjan has quit (Quit: Good night). 06:59:56 -!- david_werecat has quit (Ping timeout: 246 seconds). 07:43:04 kmc: how so? 07:43:15 hmm 07:43:57 perhaps that's true 07:44:02 well in hold 'em, some of the information asymmetry between players comes from using the cards only you can see to modify you probability estimate for what cards other people have 07:45:37 that is a very fine point 07:45:44 sorry i even asked 07:45:57 i don't really know how important it is though 07:46:05 cause i don't play poker very much or have any skill whatsoever 07:46:06 yeah who knows 07:46:51 i've never understood how poker is supposedly not at all about luck when there's so little information you get during the game 07:49:13 the idea is that you can get the information you need from reading the other players, isn't it 07:49:34 like their faces and shit? 07:49:38 yes 07:49:53 taken to its most extreme form in indian poker, of course 07:50:08 the people i know who play both internet poker and real poker don't seem to consider them different games. 07:50:42 maybe they are bad at poker :P 07:50:54 maye 07:50:56 maybe 07:51:10 and of course, reading isn't limited to facial expressions 07:51:14 e.g. watching how they bet 07:51:26 yeah they do talk about that kind of reading 07:51:29 That's true, you can read e.g. books. 07:52:12 which of course adds another layer of play since you have to watch how you bet to make sure they're getting the possibly false information you want to have, and so on up the levels 07:52:57 epic piece of acoustic art --> http://hagbard.host-ed.me/media/weltamdraht.html 07:53:20 like, even if you're randomly dealt a royal flush, that won't do you any good if you can't convince people to bet lots of money that round for you to win 08:02:59 oklofok: in hold 'em there is a fair amount of shared information 08:03:33 and so there's a fair amount of strategy, in addition to the luck and psychology elements 08:04:00 which is probably why hold 'em became so popular 08:06:05 and it's not just about who has the best hand at the end 08:06:21 there are multiple rounds of betting, and a lot of strategy about what to bet when and how much 08:06:24 especially in no-limit games 08:06:45 and a lot of hands are won by everyone else folding, in which case nobody shows their private cards 08:07:13 the problem i have with hold 'em is that statistically, most hands are not worth playing 08:08:08 but it's boring to fold many hands in a row 08:08:30 isn't there a total order on the final hands? 08:08:38 yes 08:09:19 (you can have multiple winners due to ties or side pots, but that's not super important) 08:09:43 i'm just wondering where "not worth playing" comes from 08:10:24 about 1/n of hands are statistically worth playing with n players no matter what the rules are? 08:11:12 (not true but perhaps you have some wisdom that answers the underlying wonderingment.) 08:12:50 (might be true, dunno) 08:13:25 -!- Bike has quit (Quit: leaving). 08:13:29 also in this sort of game, the best strategys could depend on culture among poker players 08:14:00 people sharing some misconceptions say 08:14:09 well gotta go 08:14:57 ok ttyl 08:15:30 -!- epicmonkey has joined. 08:15:30 i think it is based on some assumption about other people's behavior 08:16:13 people with bad hands will generally fold 08:17:04 which I guess means on average you're playing against only the people who think they have good hands, right? 08:17:23 yeah 08:17:25 so people who have bad hands don't contribute to the pot, which makes things worse than 1/n 08:22:21 if everyone always stayed in, then you would have a 1/n chance, but the strategy of folding bad hands will beat that and so the former isn't stable 08:23:29 and the way the math for a stable strategy works out, the "bad hands" you want to fold are most of them 08:23:36 judging only from the two private cards you see initially 08:23:42 but i haven't done the math, this is just what people tell me 08:25:10 got to sleep now, 'night all :) 08:25:39 people with bad hands will generally fold <- only poker noobies do that 08:28:42 nini~ 08:29:04 there are players out there who don't even look at their cards..just to avoid any physiological reaction 08:40:44 -!- FreeFull has quit. 08:45:21 -!- epicmonkey has quit (Ping timeout: 248 seconds). 09:07:14 hagb4rd: but if the other players know you haven't looked at your cards, you're giving them too much information already! 09:50:34 -!- epicmonkey has joined. 10:07:14 -!- monqy has quit (Quit: hello). 10:20:55 Arc_Koen: yes it's not easy looking at your cards without looking at your cards ;) 10:25:34 but anyway.. the hand itself isn't that important. sure you can try to make your opponents think that you only play good hands (in order to do so you sometimes need to fold good hands)..unexpected behaviour.. variation... and suggestion 10:27:51 -!- carado has joined. 10:57:34 -!- mig22 has joined. 11:25:18 -!- Taneb has joined. 11:28:15 -!- epicmonkey has quit (Remote host closed the connection). 11:28:27 -!- epicmonkey has joined. 11:44:33 -!- sebbu2 has quit (Ping timeout: 248 seconds). 11:49:41 -!- sebbu has joined. 11:49:41 -!- sebbu has quit (Changing host). 11:49:41 -!- sebbu has joined. 12:01:27 -!- GreyKnight has joined. 12:02:13 `addquote the idea is that you can get the information you need from reading the other players, isn't it [...] and of course, reading isn't limited to facial expressions [...] That's true, you can read e.g. books. 12:02:23 910) the idea is that you can get the information you need from reading the other players, isn't it [...] and of course, reading isn't limited to facial expressions [...] That's true, you can read e.g. books. 12:02:47 For the record, I didn't read (pun not intended) the first comment. 12:03:09 I only played poker once (not for money), I used the abovementioned "just ignore what your cards say" approach. It was pretty funny, I cleaned up :-) 12:03:20 (having a naturally impassive face helps) 12:03:31 Sgeo: update 12:04:38 shachaf: update 12:04:59 fungot: update 12:04:59 fizzie: imitate riastradh _failure_continuation_ is for. 12:05:49 * GreyKnight proposes the creation of #esoteric-update 12:10:55 I think people expect me to complain that 910 is formatted incorrectly, so here's a line. 12:48:43 elliott, Taneb Fiora, not-a-certain-someone-else: Also be sure to click the little icons at the top 12:50:12 (has elliott caught up again?) 12:50:48 Taneb: I don't think you understand the List. 12:53:06 Sgeo: omg 12:54:54 elliott: you seriously need to write down these formatting rules, I TRY to follow them but nobody ever specifies, they just complain 12:55:06 `? quote formatting 12:55:08 quote formatting? ¯\(°_o)/¯ 12:55:12 You and me both, HackEgo 12:55:35 pleased to be of service! 12:57:04 s/of/of no/ 12:57:10 `log space between 12:57:37 2011-05-12.txt:10:40:56: for example the space between the source items could, inside the editor, be zero-width 12:57:52 `run pastelog space between 12:57:58 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.14698 12:58:17 `run diff bin/pastelog{,s} 12:58:18 No output. 12:58:21 hm. 12:59:12 `run pastelog oerjan.*space.*between 12:59:25 Mao: the quote formatting game 12:59:29 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.1037 13:00:13 oh look one of those is actually relevant *faints* 13:00:38 `learn quote-fromatting "two spaces between quoted lines. only one space on each side of [...] ellipses. no space between nicks and the surrounding <>'s." 13:00:39 it still doesn't tell how many spaces to use around an [...] which is itself between quoted lines 13:00:41 I knew that. 13:00:58 maybe I'll compromise, put one space before such a lacuna, and two after 13:01:04 "perfect" 13:01:32 `run mv wisdom/quote-fromatting "quote formatting" 13:01:34 mv: cannot stat `wisdom/quote-fromatting': No such file or directory 13:02:00 `ls wisdom/qu* 13:02:01 ls: cannot access wisdom/qu*: No such file or directory 13:02:10 `run ls wisdom/q* 13:02:11 wisdom/qdb \ wisdom/qdbformat \ wisdom/quine 13:02:58 `run echo " "two spaces between quoted lines. only one space on each side of [...] ellipses. no space between nicks and the surrounding <>'s." > "wisdom/quote formatting" 13:02:58 -!- Taneb has quit (Ping timeout: 245 seconds). 13:02:59 bash: -c: line 0: unexpected EOF while looking for matching `'' \ bash: -c: line 1: syntax error: unexpected end of file 13:03:19 `run echo " "two spaces between quoted lines. only one space on each side of [...] ellipses. no space between nicks and the surrounding <>'s." > wisdom/quote formatting 13:03:20 bash: -c: line 0: unexpected EOF while looking for matching `'' \ bash: -c: line 1: syntax error: unexpected end of file 13:03:28 `run echo " "two spaces between quoted lines. only one space on each side of [...] ellipses. no space between nicks and the surrounding <>'s." > wisdom/quote-formatting 13:03:30 bash: -c: line 0: unexpected EOF while looking for matching `'' \ bash: -c: line 1: syntax error: unexpected end of file 13:03:42 `run echo "two spaces between quoted lines. only one space on each side of [...] ellipses. no space between nicks and the surrounding <>'s." > wisdom/quote formatting 13:03:45 No output. 13:03:52 phew 13:04:01 `run ls wisdom/q* 13:04:03 wisdom/qdb \ wisdom/qdbformat \ wisdom/quine \ wisdom/quote 13:04:31 quote should be good 13:05:00 `? quote 13:05:02 two spaces between quoted lines. only one space on each side of [...] ellipses. no space between nicks and the surrounding <>'s. formatting 13:05:28 `ls wisdom 13:05:29 ​`? \ ? \ ⌨ \ ☃ \ 🐐 \ ais523 \ atriq \ augur \ banach-tarski \ boily \ bonvenon \ brain \ brainf**k \ brainfuck \ brick \ c \ cakeprophet \ category \ coffee \ comonad \ coppro \ egobot \ elliott \ endofunctor \ endomorphism \ england \ esoteric \ europe \ everyone \ finland \ finnish \ finns \ fizzie \ flower \ freefull \ friendship \ fun 13:05:44 . 13:06:01 what a mess. 13:06:20 `? fun 13:06:21 fun? ¯\(°_o)/¯ 13:06:29 I suppose it was just a cut. :/ 13:06:34 `? everyone 13:06:36 Everyone in here is mad. 13:06:42 That's not fun. 13:06:43 `? brain 13:06:45 Brains are just receptacles for bricks. 13:06:56 `? flower 13:06:57 flower. what IS a flower? 13:07:10 IMO these entries do not all live up to the high standards of the wisdom database 13:07:28 There's wisdom, and then there's wisdom. 13:08:00 `run ls wisdom | paste 13:08:04 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.29398 13:08:29 -!- Nisstyre has quit (Ping timeout: 246 seconds). 13:08:58 `? misspellings of croissant 13:09:00 misspellings of crosant? ¯\(°_o)/¯ 13:09:12 I admit that one is pretty good 13:09:31 `? qdb 13:09:32 `? qdbformat 13:09:33 qdb is used like: `quote; `quote regexp; `quote id; `addquote ...; `delquote id; `pastequotes regexp; `pastenquotes [n]; see also qdbformat 13:09:34 qdbformat is: message; * nick action; two spaces between messages; all elisions marked with [...] other than irrelevant intervening messages; for messages separated by elision, one space on each side, not two 13:09:35 `? quote 13:09:36 two spaces between quoted lines. only one space on each side of [...] ellipses. no space between nicks and the surrounding <>'s. formatting 13:09:48 `run rm wisdom/quote # content already present 13:09:52 No output. 13:09:56 `pastelogs qdbformat 13:10:09 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.3726 13:14:16 it`s a shitty name 13:15:01 who cares about where it's stored? (db).. also what is q 13:15:20 as your lawyer i suggest to rename this entry 13:15:40 @elliott 13:15:41 Unknown command, try @list 13:15:53 hagb4rd: q = quote 13:16:11 greyknight :< 13:16:34 qdbformat is inconsistent with actual practice, for a bonus. I added a quote with irrelevant messages removed and oerjan put a [...] in there instead 13:16:50 starting to think maybe everybody has their own idea of "correct" here 13:17:41 hagb4rd: things like this are often called "QDBs" even if, as in this case, they aren't stored in a real database 13:17:45 i mean who will find this if you name it qdbformat? this sounds more like a documenation of a database architecture 13:18:04 i think you completely misunderstand what i'm saying 13:18:15 I would probably put it on wisdom/addquote personally 13:18:21 yesss 13:18:31 now we're home bro 13:18:34 I didn't, I was just explicating 13:18:36 -!- sploknee has joined. 13:18:52 (you didn't seem to have run into the term "QDB" before) 13:19:19 -!- david_werecat has joined. 13:19:28 also we are not brothers? At least AS FAR AS I KNOW :-OOO 13:20:03 dun dun duuuun 13:20:29 ^rot13 qdbformat 13:20:29 dqosbezng 13:21:07 dqos = distributed quote organisation system 13:21:34 :) 13:21:36 okay 13:21:57 I don't know what bezng is ._. 13:22:25 -!- TeruFSX has joined. 13:22:36 me and hagb4rd have been bezng without you every friday afternoon 13:22:37 GreyKnight: It's the next generation bez. 13:22:39 it doesn't matter as long no one finds the information he's looking for in wisdom 13:22:58 `? monad tutorial 13:22:59 Think of a monad as a spacesuite full of nuclear waste in the ocean next to a container of apples. now, you can't put oranges in the space suite or the nucelar waste falls in the ocean, but the apples are carried around anyway, and you just take what you need. 13:24:11 -!- Nisstyre has joined. 13:24:51 -!- TeruFSX has quit (Client Quit). 13:30:51 bez = Basic Existence of Zzo38 13:33:16 also the whole addqote thing is bullshit. one needs to quote in raw db-format. never seen such a stupid system. at least you don't need to paste it compressed as zip or sth 13:33:41 GreyKnight: i dont think said existence has been established. i mean, who's ever seen the guy? 13:39:30 hagb4rd, wat 13:40:58 I think I'm going to have to second that "wat". 13:41:23 wat wat 13:43:18 Tat wat. 13:44:20 it's symptomatic no one is able to add a simple quote the intuitive way. not even the prehistoric #esoteric members. you can just take a look at the 'corrected' version of the quotes file. ridiculous 13:44:50 and that's not only the old ones no 13:45:15 if you don't agree, you could express yourself clearly 13:47:36 Why doesn't bin/addquote just smoosh the formatting to be correct anyway? It would save a lot of griping. 13:47:43 SIMPLES 13:48:51 I certainly don't agree if the suggestion is that the quote system should somehow try to heuristically guesstimate and normalize spacing and formatting, as opposed to being a simple "store a line of text" system. 13:49:02 Sgeo: the icons at the top don't do anything for me :( 13:49:30 coppro, hmm. Flash block? 13:49:56 Also, your volume is up? 13:50:59 fizzie: maybe it can automatically notify oerjan and elliott to review and correct the quote before adding it 13:51:37 /hackenv/bin/mechanical-turk 13:51:40 Sgeo: ah that could be it 13:51:46 GreyKnight: good idea 13:52:01 Sgeo: I also like how you told fiora of an update after fiora told you 13:52:13 lol 13:52:18 *sigh 13:52:33 coppro, I only told her (and everyone) to click the things at the top 13:52:55 And also wanted to prove that I did in fact remember to not notify he-who-must-not-be-notified-of-Homestuck-updates 13:53:02 hagb4rd accidentally laughed instead of sighing 13:53:41 yes it was a horrible sound.. on the edge of madness and desperation 13:54:25 and that means it's time for: 13:54:26 ^style lovecraft 13:54:26 Selected style: lovecraft (H. P. Lovecraft's writings) 13:54:32 yea :D 13:54:42 fungot: hagb4rd accidentally laughed instead of sighing 13:54:45 GreyKnight: the next day, and at vast intervals the small brown fnord nestling amidst huge trees beneath vertical precipices of fragrant brier and fnord. candlesticks and lot no. fnord, pabodie, and mctighe made an exhaustive aeroplane cruise over all the rest reigned that riot of luminous amorphousness, that alien and undimensioned rainbow of cryptic poison from the soil. he was hideously sure that in fnord there exists a basi 13:55:23 the dreaded small brown fnord! 13:55:24 GreyKnight: aeons ago, before even the gods had sent to the bottom; forgetting that all things appear as they do. i paint in the cellar the laboratory with the long table under the electric lights. 13:55:32 ! 13:55:36 fnord 13:55:45 fizzie: what just happened :-o 13:55:57 oh, that bug again 13:56:00 The same thing that always happens. 13:56:30 fungot: Why do you keep doing that? 13:56:30 fizzie: we met no person, and as my hands went higher i knew that the room to a huge mahogany chest. he selected one, automatically. 13:56:50 They're fungot, fungot and the fizzie 13:56:52 GreyKnight: now, in response to their requests, it was made the visitors could see that allen had already formed plans for dealing with the non-terrestrial planets. those sides fnord up so darkly and fnord that one wishes they would keep their distance, but this was not guessed till afterward, when old wateley drove his sleigh through the snow into dunwich village and discoursed incoherently to the group of loungers at osborne' 13:57:23 "non-terrestrial planets", i.e. almost all of them 13:59:33 hey Gregor, is there a convenient way to get a list of nicks currently in the channel from a HackEgo command? I had an idea 14:01:21 maybe have some code outside of the sandbox which maintains a list, then HackEgo can access it as a service via the HTTP proxy? 14:01:35 I should probably go back to sleep 14:01:47 `run cat bin/pastelog | paste 14:01:51 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.6763 14:02:56 `ls /var/irclogs 14:02:58 _ai \ _corewars \ _esoteric \ _esoteric-chess-variants \ _esoteric-minecraft \ _glogbot \ index.php \ log \ log.css \ log.js \ _plof \ raw \ _scapegoat \ stalker.php 14:03:02 `ls /var/irclogs/_esoteric 14:03:04 2003-01-18-raw.txt \ 2003-01-18.txt \ 2003-01-19-raw.txt \ 2003-01-19.txt \ 2003-01-20-raw.txt \ 2003-01-20.txt \ 2003-01-21-raw.txt \ 2003-01-21.txt \ 2003-01-22-raw.txt \ 2003-01-22.txt \ 2003-01-23-raw.txt \ 2003-01-23.txt \ 2003-01-24-raw.txt \ 2003-01-24.txt \ 2003-01-25-raw.txt \ 2003-01-25.txt \ 2003-01-26-raw.txt \ 2003-01-26.txt \ 2003-01- 14:03:44 hm maybe we can just scrape it from the logs I suppose 14:04:23 in fact what I really want is "recently active online users" which is easy this way 14:04:26 That's nontrivial since it requires potentially (in theory, anyway) starting from the 2003 logs, and even that's not entirely reliable. 14:04:30 Oh, well, that's different. 14:04:34 Gregor: nevermind found a way :-) 14:04:44 fizzie: yeah that was what made me realise what I really wanted 14:04:57 What do you want it for? 14:05:50 I made a joke about a mechanical-turk command there but I figure I can actually do that: pick a user, send them the instructions, do something with their response :-) 14:05:50 yes.. you forgot to complete explaining your idea ;) what happens with this list? or is it a secret-surprise? ;) 14:06:12 ("send them..." in a private message) 14:06:40 -!- Taneb has joined. 14:07:20 -!- david_werecat has quit (Ping timeout: 252 seconds). 14:08:02 the application to quote formatting is obvious, I leave other applications of this idea to your imagination 14:08:19 I suppose this is a variant of http://esolangs.org/wiki/IRP 14:08:32 And how do you propose to send a private message from HackEgo? 14:08:45 (To someone else, I mean.) 14:08:50 oh! 14:08:56 I hadn't thought of that :< 14:08:56 privmsg 14:09:01 It's not a general-purpose IRC spambot, you know. 14:09:10 woa 14:09:43 hagb4rd: HackEgo communicates with us by virtue of his stdout being sent to the channel, he doesn't have a concept of IRC within the actual sandbox :-/ 14:09:45 whazzup fizzie? i alway thought you're cool 14:09:48 hmmmmmm 14:10:10 allowing privmsgs from inside the sandbox would probably be a hilariously bad idea 14:10:11 greyknight 14:10:22 you can speak with hackego in private 14:10:31 that's not what you mean? don't yo? 14:10:35 *yout 14:11:19 erm... i guess i don't get it 14:11:43 fungot.. why can't hackego send private messages? 14:11:44 hagb4rd: freely and fnord. the legend had the effect of publicity would be to avoid paine, since the primal life history of this literary form. 14:12:09 ^style sms 14:12:09 Selected style: sms (National University of Singapore SMS corpus, 2011-08-20) 14:12:36 fungot: What do you think about the idea of HackEgo being able to send privmsgs to anyone? 14:12:36 fizzie: hey i am in extreme situations: first- before getting it... second- after loosing it." ( muslim) *to start ur day today at ktv. later she buy one not i ask de. she wanna go also. hehe 14:12:48 Right. 14:18:09 hagb4rd: there is a wrapper layer which talks to IRC: it accepts commands, passes them to the sandbox. The sandbox returns some output. The wrapper combines it all onto one line and sends it over IRC to the place the command came from (maybe a channel, or a private conversation) 14:18:47 right 14:18:51 so far so good 14:19:20 and your idea was? 14:20:03 what I wanted to do was have the sandbox command, mid-execution, talk to a *different* place on IRC (a private conversation with some user), then take the response, do something, and finally produce output from the original command. There's no way to do this in the aforementioned model 14:20:44 beecause the sandbox doesn't understand IRC, only the wrapper does :-) 14:21:35 (hm actually I guess the user's response would need to be handled via some sort of callback, but that's beside the point) 14:21:42 -!- yiyus has quit (Ping timeout: 240 seconds). 14:23:11 of course there is good reason not to allow arbitrary privmsg sending, consider the following script: while true do irc.users["hagb4rd"].privmsg("spam spam spam") end 14:23:30 -!- Taneb has quit (Quit: Leaving). 14:24:03 sure.. but y not use hackego as the adapter between irc and the sandbox? this point is still not clear: ""then take the response, do something, and finally produce output from the original command" 14:24:53 well "do something" would depend on what you wanted to do (mechanical-turk would be a facility for creating commands) 14:25:31 "y not use hackego as the adapter between irc and the sandbox?" not sure what this means 14:26:04 HackEgo-the-IRC-username corresponds to the adapter layer that communicates between IRC and the sandbox 14:26:23 all the commands we have in /hackenv/bin/ are run *inside* the sandbox and hence can't see outside of it 14:26:26 i can execute the command on the shellbox --> take the response -> do whatever i want -> send it back -> and so on and so on 14:26:36 you can use services for that 14:26:44 in particular they don't know they're attached to IRC, you could run HackEgo on your desktop 14:26:56 not hackego 14:27:05 well the sandbox :-P 14:27:43 * GreyKnight decides to give a worked example: 14:28:10 the sandbox sends a http request to your desktop -> receives the response --> executes sth in the sandbox --> send this another service --> gets the response --> send it private to you 14:28:13 whatever 14:28:19 someone uses `newaddquote < fred> lol incorrect formatting :-3 14:29:04 send it private to you (by using hackegos interface) 14:29:25 i would like to scratch on some paper 14:29:33 that would make things clear i guess 14:29:53 IRC <-> HACKEGO <-> SANDBOX <-> webservice 14:29:56 we could use services to ask the adapter to send something over privmsg but that is kind of exploitable :-) 14:29:59 this way 14:31:04 the communication should be only between these tiers 14:31:39 yes this works, but it doesn't solve the problem of control over how much/what kind of communication 14:31:52 you could spam people via such a thing :-/ 14:32:59 `tell GreyKnight this is a test 14:33:01 I think you mean "@tell GreyKnight this is a test" instead? 14:34:09 the lambdabot is able to send private messsages. also hackego could provide such a service. (including flood control etc) 14:34:35 okay 14:34:42 But arbitrary code running on lambdabot is not able to send private messages. 14:34:52 lambdabot is attached directly to IRC :-P 14:34:57 IRC <-> HACKEGO <-> SANDBOX <-> webservice 14:35:34 The > [Haskell here] evaluator can't send privmsgs, and I seriously doubt it is ever going to be made to be able to do that. 14:35:52 similarly for HackEgo 14:35:53 (Even with any sort of flood control.) 14:36:12 okay 14:36:15 (Plus @tell does not send private messages either.) 14:36:37 most likely approach would be to make some sort of third-party web service, have the service's engine join IRC itself, and somehow convince Gregor to whitelist that service 14:37:02 (last part is the most difficult :-D) 14:37:05 GreyKnight: You could just be submitting that stuff to the real Mechanical Turk and volunteer to pay for it. 14:37:20 fizzie, not NIH-y enough 14:41:37 greyknight.. we wouldn't need to get another bot. but we could leave messages in the sandbox...hackego could read this message and if so joins (or becomes active) he could notify this user that there are messages waiting for him on the sandbox (like the lambdabot does, but w/out sandbox).. then the user can read this messages by activly excuting a command 14:42:36 that is exactly what lambdabot already does so Gregor is even less likely to implement that :-) 14:43:50 it was your idea to execute commands in the sandbox and send private msg with some results of that operations to other users (lambdabot is not able to do that;) 14:45:09 the functionality you described is exactly what lambdabot does, except accessible to the sandbox, which makes it exploitable. (imagine checking your messages and getting 350 "male enhancement" messages) So Gregor will probably not be up for that 14:45:31 I am not either really! 14:46:29 *sigh that's why i took it for an example. but i guess it (your idea) is not that relevant, because you're able to operate on the sandbox and pasting the result to lambdabot or whatever 14:47:05 if that was not your idea.. i still haven't got it. but nevermind ;) 14:47:09 -!- NihilistDandy has joined. 14:47:30 -!- NihilistDandy has quit (Client Quit). 14:47:51 (i'm happy with the given configuration so far.. now having services..muahrhrhrhr) 14:48:00 soon soon 14:48:01 My idea is supposed to be automatable, copy-pasting is no good. But without some sort of external webservice I don't see a way to do it safely. Even that may have safety problems, so I suppose I will just leave it. 14:49:38 Your idea was http://sprunge.us/NBfW if I got it right. 14:49:59 btw.. it wouldn't be a problem to exploit lambdabots functions .. a tiny script and you get your 350 male enhancement messages ;) 14:50:23 (as long as lambdabot does not provide a flood control or other resrtrictions) 14:50:28 we can test it 14:50:29 fizzie: yes that is pretty much it 14:50:30 shall we? 14:50:44 hagb4rd: I doubt lambdabot's owners will be happy... 14:50:57 me neither 14:51:21 why is hagb4rd talking 14:51:25 why are you all talking to hagb4rd 14:51:50 sorry we didn't get permission before having a conversation 14:51:57 have you not all realised that he's at least as dumb as itidus, but he's also under the delusion that he's intelligent? 14:52:11 o okay 14:52:34 sploknee, I didn't forget sploknee 14:52:51 does calling someone dumb makes him cleverer? 14:53:02 if only 14:53:09 Where has itidus been? 14:57:49 -!- sploknee has quit (Ping timeout: 264 seconds). 14:59:19 class is more fun when the prof prefers telling people that they're stupid to telling them that they're wrong 15:02:01 what if he tells them they're wrong *and* stupid? 15:02:07 even better 15:03:09 maybe they start to cry 15:03:30 no, then it's cruel :( 15:15:11 -!- asiekierka has quit (Quit: ZNC - http://znc.sourceforge.net). 15:17:17 -!- nooodl_ has joined. 15:19:49 -!- david_werecat has joined. 15:29:14 run/fcontrol is interesting 15:30:03 -!- sploknee has joined. 15:30:50 how does that one work? 15:31:34 run dynamically sets a handler that specifies what happens when you call fcontrol 15:31:44 fcontrol is a function on a single argument 15:32:02 And the handler that run specifies receives that argument and the continuation 15:32:03 -!- sebbu2 has joined. 15:32:03 -!- sebbu2 has quit (Changing host). 15:32:03 -!- sebbu2 has joined. 15:32:49 -!- sebbu has quit (Ping timeout: 248 seconds). 15:34:04 apparently control/prompt work like a monad 15:34:13 it all comes back to monads in the end! 15:34:18 So, if the handler to run ignore the continuation and just returns the argument from fcontrol, within the thunk passed to run, fcontrol is an abort 15:36:55 Gregor: i guess ZEE is done for, now that someone has actually written the enhancement algorithm :D http://brainwindows.files.wordpress.com/2010/03/picture-101.png 15:38:03 quintopia: CSI will be very interested!! 15:38:31 didn't someone use a similar approach to vectorise old 8-bit sprites? 15:39:11 that's nice :) 15:40:39 http://research.microsoft.com/en-us/um/people/kopf/pixelart/paper/pixel.pdf 15:40:45 GreyKnight: photoshop uses a very similar thing to fill in deleted areas of images "smartly" 15:40:46 ZEE? 15:43:24 -!- davidwerecat has joined. 15:46:09 -!- david_werecat has quit (Ping timeout: 248 seconds). 15:48:52 -!- davidwerecat has left ("Sorry, got to go."). 15:51:16 davidwerecat: hi, bye 15:52:33 * Sgeo WILL try to understand Racket's evaluation model 15:53:35 just write a metacircular evaluator in Racket, do all your work in there, then you know exactly how it is evaluating :o) 15:55:21 :P 15:56:40 -!- mekeor has joined. 15:58:51 * GreyKnight puts some cookies inside a forcefield ⌇⌇ o o o ⌇⌇ 15:59:11 what now c00kiemon5ter?!? 15:59:26 those aren't cookies 15:59:28 those are o's 15:59:33 quote GreyKnight 15:59:36 `quote GreyKnight 15:59:38 845) fungot, sing me to sleep GreyKnight: 53. file://localhost/ mnt/ space/ media/ books/ 1000+sci-fi%20books/%5bebooks%5d%201000+%20sciencefiction%20%26%20fantasy%20novels%20%28.lit%20forma/ pratchett%2c%20terry/ text/ 14/ fnord This is not a very good song \ 855) headache + train with screeching b 15:59:38 I couldn't find a Unicode cookie :< 15:59:47 @brain are you thinking what GreyKnight is thinking 15:59:47 Now, Pinky, if by any chance you are captured during this mission, 15:59:47 remember you are Gunther Heindriksen from Appenzell. You moved to Grindelwald 15:59:47 to drive the cog train to Murren. Can you repeat that? 16:02:36 -!- ais523 has joined. 16:03:51 looks like c00kiemon5ter has been deterred (also: I just tried to tab-complete"looks". Just kill me now.) 16:03:59 ((insert spaces to taste)) 16:07:36 * c00kiemon5ter omnomnomnomnomnomnomnom 16:09:03 but how did he get through the forcefield?!? @u@ 16:10:26 I did not! the cookielicious force within me grew outside the forcefield absording the crumbles 16:10:53 darn cookie physics 16:11:29 (d/dx) cookies = ? 16:11:41 om 16:12:04 sin^2(cookies) + cos^2(cookies) = ?? 16:12:30 "My usual approach is useless here" 16:13:06 btw, e^(i pi) + 1 = o 16:13:24 -!- sebbu2 has changed nick to sebbu. 16:14:02 sin^2(cookies) + cos^2(cookies) = tan^(cookies) = nom 16:14:24 tan to the cookies? 16:14:39 Arc_Koen: cookies are beyond your feeble rules of mathematics 16:15:03 tan xor cookies = nom 16:15:22 silly koen 16:16:46 I don't know... trying to get tanned with chocolate... weird idea 16:17:42 -!- sebbu has quit (Ping timeout: 240 seconds). 16:19:34 -!- david_werecat has joined. 16:19:42 maybe they're ultraviolet cookies 16:20:02 hm 16:20:24 dough + white chocolate chips + parma violets = ultraviolet cookie?? 16:20:30 someone try this 16:20:49 -!- epicmonkey has quit (Ping timeout: 244 seconds). 16:24:20 -!- ogrom has joined. 16:24:49 -!- davidwerecat has joined. 16:27:13 -!- david_werecat has quit (Ping timeout: 248 seconds). 16:30:35 -!- Taneb has joined. 16:30:44 -!- david_werecat has joined. 16:31:44 `addquote * GreyKnight puts some cookies inside a forcefield ⌇⌇ o o o ⌇⌇ what now c00kiemon5ter?!? * c00kiemon5ter omnomnomnomnomnomnomnom but how did he get through the forcefield?!? @u@ I did not! the cookielicious force within me grew outside the forcefield absording the crumbles darn cookie physics 16:31:48 911) * GreyKnight puts some cookies inside a forcefield ⌇⌇ o o o ⌇⌇ what now c00kiemon5ter?!? * c00kiemon5ter omnomnomnomnomnomnomnom but how did he get through the forcefield?!? @u@ I did not! the cookielicious force within me grew outside the forcefield absording the crumbles darn c 16:31:57 shit 16:32:03 too long 16:32:35 -!- davidwerecat has quit (Ping timeout: 255 seconds). 16:33:05 http://sprunge.us/SjGB 16:33:15 an informal introduction 16:40:28 :D 16:40:30 -!- sebbu has joined. 16:40:30 -!- sebbu has quit (Changing host). 16:40:30 -!- sebbu has joined. 16:41:03 `ls 16:41:04 bin \ canary \ egobot.tar.xz \ etc \ factor \ factor-linux-x86-64-0.95.tar.gz \ foo \ foo.err \ foo.out \ gktemp \ ibin \ index.html \ interps \ karma \ lib \ luabuild \ paste \ quotes \ quotese \ run \ share \ test \ wisdom \ zalgo.hs 16:41:18 `url quotes 16:41:19 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/quotes 16:48:37 c00kiemon5ter: cookie-based esolang plox 16:49:46 -!- sebbu2 has joined. 16:49:46 -!- sebbu2 has quit (Changing host). 16:49:46 -!- sebbu2 has joined. 16:50:26 :) 16:50:41 -!- sebbu has quit (Ping timeout: 248 seconds). 16:58:45 Taneb: WHAT'S NOT TO THINK ABOUT HOMESTUCK 17:00:20 coppro, did you get top banner working? 17:00:26 yeah 17:00:29 was muted before 17:00:44 which was a shame because I missed the ENGAGING remix of Homestuck Anthem 17:03:53 I'm certain that someone predicted this, but was not taken seriously 17:06:34 I think that describes most of Homestuck 17:08:13 Someone apparently predicted the big reveal of [S] Cascade as a joke 17:09:12 I think that Jane's in Eridan's dream bubble, looking at it 17:10:53 That looks Land of Angels, certainly 17:11:00 Not so mach Land of Wrath, though 17:11:43 It looks like the Land of WTFIDON'TEVENKNOWANYMORE 17:11:57 LOWTF 17:13:00 LOWTF 17:13:00 YES 17:13:00 THAT IS IT 17:13:00 Tell Taneb I approve. 17:13:14 :) 17:13:36 Tell him his approval is appreciated 17:13:46 Or her 17:13:57 Or whatever pronoun techloveArtist likes 17:14:20 Taneb, join us! 17:14:26 Where! 17:14:45 irc.swiftirc.net #MSPA 17:16:21 -!- sebbu has joined. 17:16:44 -!- GreyKnight has quit (Quit: <<=). 17:17:20 -!- sebbu2 has quit (Ping timeout: 260 seconds). 17:24:35 -!- FreeFull has joined. 17:35:04 -!- Bike has joined. 18:01:06 -!- copumpkin has quit (Ping timeout: 252 seconds). 18:01:37 -!- copumpkin has joined. 18:02:58 -!- Taneb has quit (Quit: GOING AWAY OR SOMETHING). 18:03:55 -!- impomatic has joined. 18:21:30 "When someone says: 'I want a programming language in which I need only say what I wish done', give him a lollipop." 18:23:14 and He said "Let there be Forth!", and Forth was 18:24:09 btw (Sgeo), I think I like Factor, though I have done nothing with it, just show some talks and read some docs 18:24:32 c00kiemon5ter, cool 18:26:10 -!- copumpkin has quit (Ping timeout: 248 seconds). 18:26:39 -!- copumpkin has joined. 18:27:23 I should finish watching DS9 at some point 18:27:28 But I should also work on my SL project 18:27:33 And put my resume out 18:35:48 you should probably do the last first 18:35:49 and the first second 18:35:54 and probably the second never 18:36:23 happy birthday 18:38:08 SL is what ? 18:38:37 elliott: happy birthday 18:39:08 coppro: merry christmas! 18:40:01 coppro, arguably, I should do the second first, and the third second 18:40:30 The second is something I could potentially put on a resume 18:40:42 elliott: happy halloween! 18:41:04 coppro: no... 18:41:06 it's not halloween 18:41:14 -!- copumpkin has quit (Ping timeout: 252 seconds). 18:41:45 -!- augur has joined. 18:41:46 -!- copumpkin has joined. 18:41:49 elliott: :( 18:41:53 copumpkin: can I carve you? 18:41:56 or cocarve you 18:44:47 -!- GreyKnight has joined. 18:45:07 In dual category, copumpkin carves *you*! 18:45:19 Sgeo: yes what is SL in this context 18:45:28 Second Life 18:45:45 What is it? 18:45:47 -!- mekeor has quit (Quit: bye). 18:45:49 `quote 18:45:50 618) VMS Mosaic? I hope that's not Mosaic ported to VMS. Hmm. It's Mosaic ported to VMS. 18:45:54 a game about furries 18:45:57 (The project, not SL) 18:46:10 Bike, no that's Furcadia :-) 18:46:52 GreyKnight, just a little ride 18:46:59 Roll up the tube, roll down the tube 18:47:17 What's the CVable part? 18:47:27 Or resumeable, whatever 18:47:43 I thought any programming work I did that I could talk about counted as resumeable? 18:49:02 I don't know anything about SL, you can code stuff for it then? 18:49:05 Does Clojure support resuming? I thought it didn't have first-class continuations. 18:53:38 GreyKnight, yes 18:54:05 What language? A custom one? 18:54:22 shachaf, even ignoring the fact that you're still acting as though Clojure is my current obsession, CL has resumable exceptions without having first-class continuations 18:54:26 GreyKnight, yes, LSL. 18:55:08 CL barely has first-class functions. 18:56:23 what does it mean for soemthing to be first-class? can you have a language entirely without first-class constructs? 19:00:57 -!- GreyKnight has quit (Remote host closed the connection). 19:01:20 -!- GreyKnight has joined. 19:02:18 shachaf is a lisp-2 h8er 19:02:44 GreyKnight: It's true. 19:02:52 olsner: hmm do you need variables for "first-class" to be meaningful? 19:03:53 olsner: brainfuck probably doesn't have any first-class constructs 19:04:07 are there any lisp-3s? 19:04:24 CL has a lot more than two namespaces, so yes 19:04:29 I guess you need a concept of "variables" at least 19:04:34 CL is a lisp-5 or something even excluding configurable stuff. 19:04:54 alternately, obscure joke about reflective experimental lisps here 19:05:08 Idea: make qoppa a lisp_3 19:05:15 Er obvious typo 19:05:22 variables, applicatives, and operatives? 19:06:25 Yep 19:06:35 you can have the same name bound to both an applicative and an operative? 19:07:03 that would be confusing as hell 19:07:25 yeah i'm not sure how that would work with wrapping and all 19:08:14 You need to use an operative to apply an applicative 19:08:15 Easy, use (applicative) and [operative] 19:08:19 app 19:08:59 -!- david_werecat has quit (Ping timeout: 260 seconds). 19:09:26 «it's all «combination» in the end» 19:16:37 -!- ogrom has quit (Ping timeout: 276 seconds). 19:16:42 GreyKnight: no i don't think you need variables for the concept of 'first class' 19:16:50 just values 19:17:10 so integers are first class in brainfuck? 19:17:23 probably 19:17:29 it's not like a terribly well-defined thing 19:19:23 -!- Taneb has joined. 19:24:26 http://arstechnica.com/gadgets/2013/01/17000-linux-powered-rifle-brings-auto-aim-to-the-real-world/ wooooonderful, a rifle with a wifi access point built in 19:24:30 i'm sure it is completely secure 19:27:20 i can use my phone to remotely spot for my sniper friend? it's just what i've always wanted 19:27:47 "There's a social media aspect, too" ok, this is hilarious. 19:30:31 -!- GreyKnight has quit (Ping timeout: 265 seconds). 19:32:39 kmc, well yes, it is. 19:32:55 It says in the article that it physically cannot fire unless the trigger is being held down. 19:33:22 what if someone hacks in and changes the video feed to the scope 19:33:25 wouldn't that be fun? 19:33:35 The worst it could do is make it possible to fire it by just pulling the trigger. 19:34:14 the worst it could do is make someone think they are shooting at one thing, when they are actually shooting at something else 19:34:19 seems pretty bad 19:35:43 Assuming they don't check what the gun's pointed at without the scope. 19:36:21 -!- azaq23 has joined. 19:36:21 i'm no gun expert but i believe doing so would defeat the point of the scope 19:36:35 -!- azaq23 has quit (Max SendQ exceeded). 19:36:49 I'm no gun expert either but I believe a basic part of safety is situational awareness. 19:37:00 -!- azaq23 has joined. 19:37:23 I liked the bit where it's expensive enough to come with an iPad preloaded with the fancy video feed software. 19:37:32 oh it actually comes with the ipad? 19:38:05 "The price is relatively highthe rifles start at about $17,000" 19:38:09 that 19:38:12 is quite high 19:38:37 The article I was reading said it's around $25 grand (which is compatible with that figure, of course) and comes with it. 19:38:44 Maybe at $17k you don't get it. 19:39:17 No, you get it for the 17k version too. 19:43:10 Oh. Oh well. But what if you're a flaming NetBSD enthusiast or something and don't want your rifle to come with an Apple product? 19:43:45 the coveted BSD sniper market 19:44:49 http://www.tpdnews411.com/2013/01/marijuana-fqa.html 'Q) I have a warrant for my arrest and just wanted to smoke a "little weed" while riding my train. My warrant had nothing to do with my marijuana, what's the problem?' 19:48:16 amazing 19:51:03 Incidentally, is there a free Android IRC client that does client-side SSL certificates? (AndroIRC seems to, but it costs moneys, and I'm a cheapskate.) 19:52:00 AndChat just says "SSL Support" with no mention of client-side certs, Yaaic I can't really tell of. 19:55:05 (Oh, AndroIRC doesn't cost money, the version that does is to disable ads. Well, anyway.) 19:55:22 (It was "Android IRC" that costed money.) 19:55:30 (These are all very imaginatively named.) 19:57:19 -!- oerjan has joined. 20:03:04 -!- nortti has changed nick to moe. 20:03:20 -!- moe has changed nick to nortti. 20:03:31 O_o 20:05:29 Ø_ø 20:06:26 Ö_ö 20:07:12 ö is a smiley all by its own 20:07:19 Ő_ő 20:09:21 hungarian eyebrows 20:15:56 it still doesn't tell how many spaces to use around an [...] which is itself between quoted lines 20:16:35 -!- WeThePeople has joined. 20:17:08 @tell it still doesn't tell how many spaces to use around an [...] which is itself between quoted lines <-- one space on each side, in fact those are the main kind 20:17:08 Consider it noted. 20:17:35 oerjan: thats not how @tell works 20:17:43 dammit 20:17:54 @tell GreyKnight it still doesn't tell how many spaces to use around an [...] which is itself between quoted lines <-- one space on each side, in fact those are the main kind 20:17:54 Consider it noted. 20:18:02 can you @untell? 20:18:13 @redact 20:18:20 By which I mean probably not 20:18:34 @unperson Taneb 20:18:34 Unknown command, try @list 20:18:56 olsner: the only way i know is by nick stealing 20:19:18 < and > are probably not allowed in a nick, what a shame 20:19:18 which is a bit rude you could say 20:19:29 olsner: indeed i had that pointed out last time i did this 20:20:50 elliott: if GreyKnight just had the sense to be online when i join, i would not make most of these errors! 20:21:18 or the sense not to log out 20:24:04 well that's not as good, i'm weary of message people who are long time idle 20:24:11 *messaging 20:24:30 wary? 20:24:58 MAYBE 20:25:10 (next time open wiktionary _before_ speaking) 20:25:37 easily upmiscible words 20:32:34 `quote 910 20:32:36 910) the idea is that you can get the information you need from reading the other players, isn't it [...] and of course, reading isn't limited to facial expressions [...] That's true, you can read e.g. books. 20:33:13 `run sed -i '910s/ [[]...] /[...]/g' quotes 20:33:17 No output. 20:33:19 `quote 910 20:33:21 910) the idea is that you can get the information you need from reading the other players, isn't it [...] and of course, reading isn't limited to facial expressions [...] That's true, you can read e.g. books. 20:33:47 elliott: YOU LAZY BUM 20:35:02 oerjan: my complaint was badly-received enough that I did not feel like spending the effort, sorry! 20:35:45 Quotes, the leading cause of nickpings these days. 20:36:10 oerjan: btw I feel the [...] there are probably obfuscatory. 20:37:10 `quote fizzie 20:37:12 14) Finally I have found some actually useful purpose for it. \ 38) Seconds. 30 of them. Did I forget the word? \ 144) It's like mathematicians, where the next step up from "trivial" is "open research question". "Nope... No...This problem can't be done 20:38:09 I forget which word I forgot there. 20:38:14 (having a naturally impassive face helps) <-- always keep an impassive face near inflammable materials 20:39:07 elliott: you need to write a thesis on proper [...] use 20:43:34 `? quote formatting 20:43:36 quote formatting? ¯\(°_o)/¯ 20:43:53 `? qdbformat 20:43:55 qdbformat is: message; * nick action; two spaces between messages; all elisions marked with [...] other than irrelevant intervening messages; for messages separated by elision, one space on each side, not two 20:44:10 for all the whining that entry has been there for over a year 20:44:49 WOW I NEVER KNEW 20:45:34 good you told me before i added my completely silly explanation based on quantum pair production of spaces. 20:45:49 `quote different 20:45:50 188) Maybe they should just get rid of Minecraft. If more people want it someone can make using GNU GPL v3 or later version, with different people, might improve slightly. \ 312) Scotland turns from red and yellow to A DIFFERENT SHADE OF YELLOW \ 364) You just went from "no sexualized ads" to "we have ads for dildo 20:46:30 ioccc just keeps impressing me 20:48:03 `? qdb 20:48:05 qdb is used like: `quote; `quote regexp; `quote id; `addquote ...; `delquote id; `pastequotes regexp; `pastenquotes [n]; see also qdbformat 20:49:07 `? 20:49:08 cat: wisdom/: Is a directory 20:49:10 `? 20:49:11 cat: wisdom/: Is a directory 20:49:23 `? help 20:49:24 help? ¯\(°_o)/¯ 20:49:36 -!- epicmonkey has joined. 20:49:41 `? `? 20:49:42 See `? for further details. 20:50:07 `ls wisdom 20:50:08 ​`? \ ? \ ⌨ \ ☃ \ 🐐 \ ais523 \ atriq \ augur \ banach-tarski \ boily \ bonvenon \ brain \ brainf**k \ brainfuck \ brick \ c \ cakeprophet \ category \ coffee \ comonad \ coppro \ egobot \ elliott \ endofunctor \ endomorphism \ england \ esoteric \ europe \ everyone \ finland \ finnish \ finns \ fizzie \ flower \ freefull \ friendship \ fun 20:50:14 `? wisdom 20:50:15 wisdom is always factually accurate, except for this entry 20:50:30 `? ? 20:50:32 ​? is wisdom 20:50:49 HackEgo supports cat wisdom now? 20:50:54 the `? wisdom entry is, of course, completely a lie 20:50:58 `cat wisdom/* 20:51:00 cat: wisdom/*: No such file or directory 20:51:03 `run cat wisdom/* 20:51:05 See `? for further details. \ ? is wisdom \ ☃ brrr... \ You are probably using one right now! \ 🐐 <(Unicode goat laments your inability to render Unicode goat.) \ Agent "Iä" Smith is an alien with a strange allergy to avian body covering, which he is trying to retroactively prevent from ever evolving. \ atriq or two \ augur took no cakes. \ " 20:54:57 `cat bin/learn 20:54:59 ​#!/bin/sh \ topic=$(echo "$1" | sed 's/ .*//' | tr A-Z a-z) \ info=$(echo "$1" | sed 's/[^ ]* //') \ echo "$1" >"wisdom/$topic" \ echo "I knew that." 20:55:35 -!- ogrom has joined. 20:55:37 `run ls wisdom/* | grep -v ngevd | xargs -i grep cake "{}" 20:55:45 augur took no cakes. \ Gregor took forty cakes. He took 40 cakes. That's as many as four tens. And that's terrible. 20:56:28 `run file wisdom/ngevd 20:56:31 wisdom/ngevd: symbolic link to `/dev/urandom' 20:56:36 Oh. 20:56:46 That was an exercise in frustration. ngevd's /dev/urandom link made a plain "grep ... *" not work, and the straight-forward | xargs grep hit the spaces. 20:56:59 Maybe a find -print0 | xargs -0 would've been better, though. 20:57:18 find … | xargs … can usually be replaced with find … -exec …, too. 20:57:31 `run grep -l cake wisdom/* | xargs cat 20:58:02 No output. 20:58:36 `run find wisdom -not -name ngevd -print0 | xargs -0 grep -h cake 20:58:36 btw the new bond movie appears to be completely pointless 20:58:38 augur took no cakes. \ Gregor took forty cakes. He took 40 cakes. That's as many as four tens. And that's terrible. 20:58:51 It's arguably better but not shorter. 20:59:34 (-exec would've also been hokay.) 21:00:02 Also "run find wisdom -not -name ngevd" reads like a story. 21:00:11 Run, find wisdom; don't ask anyone called ngevd. 21:01:55 -!- zzo38 has joined. 21:01:57 ?messages 21:01:57 FireFly said 3d 5h 29m 41s ago: (re. puzzle.1) You only need two retreats I think: http://hastebin.com/wohodetece 21:01:57 GreyKnight said 1d 1h 55m 6s ago: What are your thoughts on plan9? Inquiring minds want to know. 21:02:54 `? quote 21:02:54 quote? ¯\(°_o)/¯ 21:03:02 `? oerjan 21:03:03 Your evil overlord oerjan is a lazy expert in future computation. Also a lying Norwegian. 21:03:13 how do i take a cake! 21:04:34 Huh, do hastebin pastes expire? 21:04:41 Yes, puzzle.1 requires only two retreats. 21:04:44 is hastebin like pastebin, but faster? 21:04:52 However, some puzzles need other number of retreats. 21:05:07 http://hastebin.com/jopafacoko that was my solution 21:05:19 `run echo "Quotes are just elements of the quantum dilapitated bogosphere. See qdb." >wisdom/quote 21:05:23 No output. 21:05:23 er, by puzzle.1 I meant puzzle.3 I think 21:05:31 `? quote 21:05:32 Quotes are just elements of the quantum dilapitated bogosphere. See qdb. 21:05:37 oh hm 21:05:56 `run echo "Quotes are just elements of the quantum dilapitated bogosphere. See qdb." >wisdom/quote #elliott doesn't like double spaces _other_ than between quotes 21:06:00 No output. 21:06:03 `? quote 21:06:04 Quotes are just elements of the quantum dilapitated bogosphere. See qdb. 21:06:13 Yes, puzzle.3 also need only two retreats. Well, actually it depends what your opponent will play, I think. 21:06:43 `? freefull 21:06:43 FreeFull is either full of freedom or free of fulldom, we are not sure. \ F 21:07:20 bleh, now I want to !bfjoust something and randomly get top 10 on the leaderboard 21:07:22 but that's hard :( 21:07:23 http://newyork.cbslocal.com/2012/01/11/embed-map-test/ 21:07:27 FireFly: With a name like that... (re hastebin and expiration) 21:08:27 `? FreeFull 21:08:28 FreeFull is either full of freedom or free of fulldom, we are not sure. \ F 21:08:37 Do sprunge pastes expire? Would've thought they'd be running out of the four-character namespace soon otherwise. 21:08:39 -!- Phantom__Hoover has joined. 21:08:40 > 36^4 21:08:42 1679616 21:08:47 That's not a whole lot. 21:09:20 Maybe they expand it? 21:10:05 `run sed -i '2,$d' wisdom/freefull 21:10:08 No output. 21:10:10 `? FreeFull 21:10:12 FreeFull is either full of freedom or free of fulldom, we are not sure. 21:10:28 FireFly: Did you solve puzzle.3 what is your solution? 21:10:49 FreeFull: i didn't realize your revert 0 back when was actually trying to revert something that needed reversion 21:10:55 -!- sploknee has quit (Ping timeout: 264 seconds). 21:10:58 or wait 21:11:06 FreeFull: bah, those weren't the same date 21:11:27 zzo38: yes, I think so, and http://hastebin.com/jopafacoko that was my solution 21:11:38 (I misremembered when I said I solved puzzle.1) 21:13:14 er, "WIND" should be Gust of Wind 21:13:15 `run find wisdom -type f -not -name ngevd -exec wc -l {} \; | grep -v '^1 ' 21:13:24 2 wisdom/pie 21:13:26 `? pie 21:13:27 I like pie \ I like pie 21:13:34 I suppose that's fair. 21:13:42 Oh, it shouldn't. it was a move apparently 21:14:47 FireFly: It is not a helpmate; you must consider all opponent's possibility. 21:15:43 Also, your Clefairy has no energy. 21:16:08 O no wait, it does. 21:16:44 Still, you need to consider the opponent's possibility of retreating. 21:16:49 Oh, hm, I didn't consider that the opponend could retreat the Ponyta for Rapidash 21:16:52 opponent* 21:16:59 Yes; that is what I meant. 21:17:19 ...discussing pokemon tactics 21:17:24 how far we hath fallen 21:18:28 FireFly: Now that you consider the opponent can retreat, then do you have idea to play next? 21:18:53 esolang based on pokemon. go. 21:19:58 Phantom__Hoover: Look in the list of ideas; if you don't like the ones already there based on Pokemon, add one! 21:20:55 I'm thinking... 21:21:44 Let's see.. if we assume the opponent retreats to Rapidash, we could stall for another turn by using WIND again, and then continue 'til the opponent runs out of cards 21:21:48 But I don't think that counts 21:22:24 (and if the opponent doesn't retreat or retreats to the other Ponyta you could just OHKO it via curse + ember) 21:23:52 Continuing until the opponent runs out of cards does count; however, since you used BILL, you will run out of cards first. 21:24:16 Oh, good point 21:24:52 Hmm, and I do need the BILL in order to start it off 21:28:31 hmmm 21:28:51 I think I get it 21:29:12 instead of using bill, we retreat for Haunter, then retreat again for Clefairy and discard the recycle energy 21:29:20 thus getting it back to the hand so we can attach it to Clefairy 21:29:42 and thus, we could still follow the stall-or-KO-ponyta tactic 21:30:36 (did I miss something again?) 21:30:53 Haunter's retreat cost is zero. 21:31:31 But it is close. 21:31:40 Bah! evolve to Gengar then 21:31:46 just to up the retreat cost 21:32:10 Yes. 21:32:17 -!- augur has quit (Ping timeout: 248 seconds). 21:32:44 -!- augur has joined. 21:36:04 Imagine if *nix had lazy files 21:36:12 So they could be infinite in size 21:36:38 Like pipes? 21:36:53 I guess what you really want is a special file the starts a process when you open the file 21:37:14 you can probably do that with fuse 21:38:04 There are systems where it's more integral than using fuse. 21:38:08 have you not all realised that he's at least as dumb as itidus, but he's also under the delusion that he's intelligent? 21:38:59 FireFly: Do you know the puzzle.1 and puzzle.2 and can you make any of your own Pokemon Card puzzles? 21:39:21 I am under the impression that Hurd has a lot of translators that do not need any terribly special privileges in order to provide "file-like" interfaces. 21:39:50 Phantom__Hoover: i hope you are just lousy at making jokes here. 21:40:16 http://www.gnu.org/software/hurd/hurd/translator.html -- that kind of thing. 21:40:36 oerjan, no comment due to not knowing what you're talking about. 21:40:54 Phantom__Hoover: see the above paste. 21:41:02 I do. 21:41:04 zzo38: I did make one but I haven't triple-checked that it's not solvable in an easier way than what I intend 21:41:07 -!- WeThePeople has quit (Quit: Leaving). 21:41:08 (and it's not all that hard) 21:41:28 FireFly: I would like to see anyways 21:41:42 http://hastebin.com/kodagalime 21:41:42 Phantom__Hoover: i take it you were, then. 21:42:15 Nope, still don't see what you actually mean. 21:43:44 FireFly: Is it OK with you if I make a copy? (I can add your name and whatever else you want on it, if you wanted) 21:43:54 zzo38: sure, go ahead 21:44:25 You could credit me with my nickname, that'll do 21:46:16 Phantom__Hoover: i don't think insulting someone like that is acceptable if it's not _clearly_ a joke to all involved. 21:46:59 Unless the person doing it is a troll or something, then you couldn't care less. 21:47:19 FireFly: OK. 21:48:32 ...that is precisely the kind of response a troll would give, isn't it. 21:49:29 Perhaps you'll even kick people who complain about me now. 21:49:56 -!- ChanServ has set channel mode: +o oerjan. 21:50:07 -!- oerjan has set channel mode: +b *!*sploknee@unaffiliated/phantom-hoover/x-3377486. 21:50:07 -!- oerjan has kicked Phantom__Hoover Have a break!. 21:50:14 -!- oerjan has set channel mode: -o oerjan. 21:50:19 PERHAPS 21:50:29 hey keep cool guys. i'm don't feel insulted. 21:50:39 he just had a bad day i guess 21:50:58 FireFly: I have done; I have added your name, converted to ASCII, and corrected the spelling of "Defending". 21:51:12 Other than that I have made no changes. 21:51:28 hagb4rd: good, good. i've decided he needs a lesson nonetheless. 21:52:30 fizzie: you miscalculated 21:52:50 also my statements were kind of harsh too, 21:53:20 fizzie: the four character name space is 14.7m because case-sensitive 21:53:38 but yeah, i assume they will overwrite things eventually 21:56:27 hagb4rd: this isn't really about a single event. i don't find it acceptable that he insults other people _and_ complains about my lax moderation at the same time. 21:57:52 then he shouldn't be surprised if i suddenly decide to make it stricter. 21:58:17 ok :) 22:02:08 -!- Nisstyre has quit (Quit: Leaving). 22:02:39 -!- monqy has joined. 22:07:36 -!- Phantom_Hoover has joined. 22:07:58 oerjan, FTR lax moderation is one thing; actively contrarian moderation is quite another. 22:07:58 Phantom_Hoover: You have 2 new messages. '/msg lambdabot @messages' to read them. 22:08:02 -!- ChanServ has set channel mode: +o oerjan. 22:08:40 -!- oerjan has set channel mode: +b *!*@unaffiliated/phantom-hoover/x-3377486. 22:08:53 -!- oerjan has kicked Phantom_Hoover Ban evasion. 22:08:53 true. Phantom_Hoover is correct, oerjan. actively contrarian is far better than lax moderation. 22:09:23 I can't take this madness any more 22:09:37 I'm going to move to the next track of this muse album 22:09:50 :D 22:09:55 lol 22:10:08 u m-m-m-m-m-m-m-m-mad-mad-mad bro? 22:10:10 Hey, I like this song 22:10:19 why the heck doesn't mode allow removing stricter -b instances 22:10:24 -!- oerjan has set channel mode: -o oerjan. 22:10:38 We've arrived at panic station 22:11:06 is that a muse song? i thought it was someone else 22:11:20 (it's all a p fun board game) 22:11:28 ah, Panic Station is the song that comes after Madness 22:12:03 on some muse album 22:17:21 `quote 911 22:17:22 911) * GreyKnight puts some cookies inside a forcefield ⌇⌇ o o o ⌇⌇ what now c00kiemon5ter?!? * c00kiemon5ter omnomnomnomnomnomnomnom but how did he get through the forcefield?!? @u@ I did not! the cookielicious force within me grew outside the forcefield absording the crumbles darn c 22:18:09 `sed -i '911s/>/> /' quotes 22:18:09 Usage: sed [OPTION]... {script-only-if-no-other-script} [input-file]... \ \ -n, --quiet, --silent \ suppress automatic printing of pattern space \ -e script, --expression=script \ add the script to the commands to be executed \ -f script-file, --file=script-file \ add the contents of script- 22:18:12 `run sed -i '911s/>/> /' quotes 22:18:16 No output. 22:18:18 `quote 911 22:18:19 911) * GreyKnight puts some cookies inside a forcefield ⌇⌇ o o o ⌇⌇ what now c00kiemon5ter?!? * c00kiemon5ter omnomnomnomnomnomnomnom but how did he get through the forcefield?!? @u@ I did not! the cookielicious force within me grew outside the forcefield absording the crumbles darn 22:18:25 argh 22:18:37 oh 22:18:40 `revert 22:18:43 Done. 22:18:48 `run sed -i '911s/>/> /g' quotes 22:18:52 No output. 22:18:55 `quote 911 22:18:57 911) * GreyKnight puts some cookies inside a forcefield ⌇⌇ o o o ⌇⌇ what now c00kiemon5ter?!? * c00kiemon5ter omnomnomnomnomnomnomnom but how did he get through the forcefield?!? @u@ I did not! the cookielicious force within me grew outside the forcefield absording the crumbles da 22:23:30 -!- Arc_Koen has quit (Quit: Arc_Koen). 22:24:24 I presume the cutoff isn't intentional 22:24:48 hackego cuts it off actually 22:24:50 Maybe remove the last line 22:24:51 `run quote 911 | rev 22:24:53 scisyhp eikooc nrad >thginKyerG< selbmurc eht gnidrosba dleifecrof eht edistuo werg em nihtiw ecrof suoicileikooc eht !ton did I >ret5nomeik00c< @u@ ?!?dleifecrof eht hguorht teg eh did woh tub >thginKyerG< monmonmonmonmonmonmonmo ret5nomeik00c * ?!?ret5nomeik00c won tahw >thginKyerG< ⌇⌇ o o o ⌇⌇ dleifecrof a edisni seikooc emos stup t 22:25:12 Oh, heh 22:25:45 thginKyerG 22:25:45 elliott: You have 1 new message. '/msg lambdabot @messages' to read it. 22:25:54 elliott, monqy Taneb Fiora 22:26:04 `run quote 911 | cut -c100- 22:26:06 ​ c00kiemon5ter?!? * c00kiemon5ter omnomnomnomnomnomnomnom but how did he get through the forcefield?!? @u@ I did not! the cookielicious force within me grew outside the forcefield absording the crumbles darn cookie physics 22:26:18 ... the bot may have lied 22:26:46 `run sed -i '911s/^ */$/' quotes 22:26:50 No output. 22:26:52 oops 22:26:54 bot did not lie 22:26:56 `revert 22:26:58 Done. 22:26:58 There really is an update 22:27:13 `run sed -i '911s/^ *//' quotes 22:27:17 No output. 22:27:20 `quote 911 22:27:21 911) * GreyKnight puts some cookies inside a forcefield ⌇⌇ o o o ⌇⌇ what now c00kiemon5ter?!? * c00kiemon5ter omnomnomnomnomnomnomnom but how did he get through the forcefield?!? @u@ I did not! the cookielicious force within me grew outside the forcefield absording the crumbles dar 22:27:23 Jane is heading to Jake's planet... oh. oh dear. 22:27:32 ONE MORE CHARACTER 22:27:50 Jake is new? 22:27:56 oh.. wrong kind of character 22:29:28 `quote 909 22:29:29 909) this quote is formatted wrong to annoy quitopia also it's not a quote 22:29:32 `delquote 909 22:29:36 ​*poof* this quote is formatted wrong to annoy quitopia also it's not a quote 22:29:47 IT WAS INEVITABLE 22:29:52 `quoteadd *poof* *poof* 22:29:53 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: quoteadd: not found 22:30:00 ...addquote, I guess 22:30:00 also worst misspelling of elliott i've seen 22:30:06 `addquote *poof* *poof* 22:30:10 911) *poof* *poof* 22:30:16 `delquote 911 22:30:21 ​*poof* *poof* *poof* 22:30:57 Sgeo: you might want to take elliott off your list. just a friendly hint before i go out to buy some horse heads. 22:31:28 Wait, did elliott say he wanted to come off the list? I forget? 22:31:45 I remember someone claimed he wanted that, I think, but he didn't say it himself? 22:32:02 `quote quote 22:32:03 30) i can get an erection out of a plank, you can quote me on that. \ 70) [Warrigal] `addquote hahaha, Lawlabee is running windows 'cuz it's pretty awesome. [Lawlabee] Warrigal: :( \ 71) Note that quote number 124 is not actually true. \ 79) let's put that in the HackEgo quotes files, just to completely mys 22:32:47 `quote 124 22:32:49 124) Why shouldn't I just do everything in non-Microsoft-specific C#? it's like trying to write non-IE-specific JavaScript with only Microsoft documentation and only IE to test on 22:33:18 I guess the indices have been shifted 22:34:11 -!- Taneb has quit (Quit: Leaving). 22:34:18 At some point I will write a program to retrieve every quote that has ever been in there 22:35:14 Also, the formatting in #70 looks weird to me 22:36:03 i think i didn't dare edit #70 because recursion (the _quoted_ part of quotes should be accurate) 22:36:11 70 is one of those quotes broken enough that you just give up and let it be. 22:36:15 `quote 70 22:36:16 70) [Warrigal] `addquote hahaha, Lawlabee is running windows 'cuz it's pretty awesome. [Lawlabee] Warrigal: :( 22:36:20 like the django quotes 22:36:33 `quote Lawlabee 22:36:35 70) [Warrigal] `addquote hahaha, Lawlabee is running windows 'cuz it's pretty awesome. [Lawlabee] Warrigal: :( \ 82) Making a small shrine to Lawlabee in my basement is something I should get around to at some point. \ 747) ais523: well, Dylan said "hahaha, Lawlabee is running windows", and then Lawlabee s 22:36:57 Apparently his windows box is pretty well-known 22:39:12 oh hm 22:39:46 elliott, do you wish to be removed from the list or remain on the list? 22:40:02 That is the question. 22:40:07 `run sed -i '70s/ *[[]/ [/' quotes # i think this is the most logical 22:40:10 No output. 22:40:14 `quote 70 22:40:14 Bike: do you wish to be removed from the list or remain on the list? 22:40:15 70) [Warrigal] `addquote hahaha, Lawlabee is running windows 'cuz it's pretty awesome. [Lawlabee] Warrigal: :( 22:40:18 Fiora: do you wish to be removed from the list or remain on the list? 22:40:22 monqy: do you wish to be removed from the list or remain on the list? 22:41:15 should we add a limit of character as convention for the quotes? or do we have one? if so, it'd be nice when hackego would give a warning about this or sth. and some basic formatting (like trimming leading spaces) maybe could be implemented without much effort.. 22:42:04 I like being on the list 22:42:20 what is the list? 22:42:25 It could break after the last (double-space-delimited) line that fits, and append […] if such a break happens 22:42:58 yes .. sth like that 22:43:29 at least if oerjan doesn't mind if we steal his job ;) 22:44:39 olsner: sgeo pings people when there's homestuck updates 22:44:57 Which reminds me, maybe I should start reading homestuck 22:44:58 Sometimes 22:45:00 you should write a hackego command for doing that 22:45:05 FireFly, yes 22:45:29 or perhaps all of you should just subscribe to the RSS feed 22:45:43 FireFly: you should 22:45:50 `pastequotes django 22:45:55 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.5404 22:46:15 I'm still in all of them :( 22:46:29 someone else get quoted saying django please 22:46:43 `quote 321 22:46:45 321) `quote django ​352) django is named after a person? thought it would be a giraffe or something \ 407) `quote django ​352) django is named after a person? thought it would be a giraffe or something thankfully only one thankfully only two 22:46:54 * FireFly accidentally nickpings half the channel 22:47:36 olsner: it's tempting to addquote that line 22:48:10 `addquote `pastequotes django http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.5404 I'm still in all of them :( someone else get quoted saying django please 22:48:14 911) `pastequotes django http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.5404 I'm still in all of them :( someone else get quoted saying django please 22:48:46 Obviously. 22:50:30 olsner: HAPPY TO HELP 22:50:52 The second expansion of "HTH" 22:51:16 oerjan: NOT HELPING 22:51:37 `url bin/addquote 22:51:38 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/bin/addquote 22:53:17 that's a hell of a script :P 22:53:46 unrefactorable 22:55:21 `addquote 22:55:23 No output. 22:56:39 `url bin/quote 22:56:41 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/bin/quote 22:58:42 Huh, neat, didn't know about `nl` 22:58:54 i can write a script a script as proposal if you like. (not changing the way things are stored, but just doing the very basic clean job/control functions) 22:59:23 you can decide if you like it then 23:01:05 oerjan or who ever feels responsable: do we need a limit of characters per quote? 23:01:19 no. 23:01:19 what's a list 23:01:21 ok 23:06:04 Bike: a roped-off enclosure where medieval knights jousted. 23:06:05 *responsible ("in charge" also is great :) 23:06:21 o 23:06:59 Oh, that's apparently "the lists", in plural. 23:12:49 -!- GreyKnight has joined. 23:13:16 Gregor: one more thing: would you mind to install mono on that sandbox? <-- in theory you could do it yourself you know :-) 23:13:16 GreyKnight: You have 1 new message. '/msg lambdabot @messages' to read it. 23:15:42 I've just noticed Netcetera have removed all the binary downloads from my website :-( 23:15:43 greyknight: no i didn't know. i mean: i don't know if i'm allowed to do so, since even my wisdom entries got deleted 23:16:24 `run echo $SHELL 23:16:25 ​/bin/sh 23:16:28 oh people delete quotes and wisdom all the time :-) 23:16:34 `which bash 23:16:36 ​/bin/bash 23:16:37 `which zsh 23:16:38 No output. 23:16:42 Gregor: am i allowed to install mono? 23:16:50 just to make sure 23:16:52 "it's easier to ask forgiveness than permission" 23:16:54 `ls 23:16:56 bin \ canary \ egobot.tar.xz \ etc \ factor \ factor-linux-x86-64-0.95.tar.gz \ foo \ foo.err \ foo.out \ gktemp \ ibin \ index.html \ interps \ karma \ lib \ luabuild \ paste \ quotes \ quotese \ run \ share \ test \ wisdom \ zalgo.hs 23:16:57 ;-) 23:17:04 :D 23:17:21 that's a good one 23:17:30 Pretty sure it's fine 23:17:33 I mean, it's meant to be sandboxed anyway.. 23:17:41 cool cool 23:17:53 Speaking of which, what was the reason for the crash a few days ago? 23:18:39 hagb4rd: not quite sure how a 4-lin escript counts as unrefactorable by any definition... 23:19:02 that was a joke 23:19:09 dear elliott 23:19:15 fizzie: I use AndroIRC, although I haven't tried the SSL thing. General experience: "It's okay." 23:20:03 Dear elliott, please recompile your sense of humour. All my love, GreyKnight xoxo 23:20:20 `cat zalgo.hs 23:20:21 import Random;main=mapM_((>>(י=< elliott: it's that i expected sth horrible, not that cute sober 4 lines of pure code 23:20:39 I guess you need a concept of "variables" at least <-- i think unlambda manages to have functions first-class and characters second-class without having variables 23:20:45 Does HackEgo have haskell 23:20:53 `runhaskell zalgo.hs Test 23:20:59 Warning: ignoring unrecognised input `zalgo.hs Test' \ \ zalgo.hs Test:1:33: \ Not in scope: `main' \ Perhaps you meant `min' (imported from Prelude) 23:21:24 oerjan: I meant to say "values" there 23:21:32 ah 23:21:43 I was out walking in the rain so my typing may have been slightly erratic 23:22:06 `run runhaskell zalgo.hs Test 23:22:09 FreeFull: lambdabot has haskell 23:22:10 ​ \ zalgo.hs:1:8: \ Could not find module `Random' \ It is a member of the hidden package `haskell98-2.0.0.2'. \ Use -v to see a list of the files searched for. 23:22:18 /golfclap 23:22:26 `cat zalgo.hs 23:22:27 import Random;main=mapM_((>>(י=< `run echo Test | zalgo 23:22:38 Ṯeͮs̤tͮ \ ̦ 23:23:25 for all the whining that entry has been there for over a year <-- now if only anybody had known where it was 23:23:47 `run ln -s wisdom/qdbformat "wisdom/quote formatting" 23:23:50 ln: accessing `wisdom/quote formatting': Not a directory 23:24:29 what have I done 23:24:33 `run ln -s wisdom/qdbformat wisdom/"quote formatting" 23:24:35 ln: accessing `wisdom/quote formatting': Not a directory 23:24:49 dunno 23:24:54 Anyway at least we can all agree that 188 is best quote 23:25:06 `quote 188 23:25:07 188) Maybe they should just get rid of Minecraft. If more people want it someone can make using GNU GPL v3 or later version, with different people, might improve slightly. 23:25:34 not the best quote 23:26:36 i'm gonna guess a quote number and hope it's the best one 23:26:42 `quote 132 23:26:43 132) * Phantom_Hoover sticks crayons in his nose 23:27:10 welp 23:27:11 could be worse 23:27:37 `quote 99 23:27:39 99) you move on the tape and shit 23:27:41 Cue rainbows pouring out of Phantom_Hoover's nose 23:27:44 Not *much* worse, but some 23:27:45 this isn't going well 23:28:04 `quote 37 23:28:04 Meanwhile, oklopol is relieving himself on a tape 23:28:06 37) actually, I pretended to be a hobo to get directions 23:28:15 `run wc -l quotes 23:28:17 911 quotes 23:28:28 i like "you move on the tape and shit" 23:28:38 `quote 444 23:28:40 444) I actually had a Neopets account. I later gained a second digit in my age. 23:28:44 TMI I think 23:29:19 `quote 643 23:29:20 643) the point of a university is research and training new researchers. the point of the world is to enable this. 23:29:32 `quote 1 23:29:34 1) I used computational linguistics to kill her. 23:29:41 `run quote 777 # this can't go wrong, can it? 23:29:43 `quoerjandom 23:29:43 777) you are like the linux torvalds of quiz engines 23:29:44 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: quoerjandom: not found 23:29:45 i wonder if the world has been informed of this relationship 23:30:10 is there an online quote database or something 23:30:23 `url quotes 23:30:24 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/quotes 23:30:32 THERE 23:30:43 @what quotes 23:30:43 I know nothing about quotes. 23:30:49 `run quote $(echo $((RANDOM % $(cat quotes | wc -l)))) 23:30:51 858) I kept telling my therapist I wanted more conventional, non-hip-hop-oriented treatment, but it was no use. my shrinkwrapped. okay i hate myself for making a pun that bad please kill me :( 23:31:03 did you just reinvent `quote? 23:31:06 GreyKnight: Very useful one liner you've got there. 23:31:07 isn't that basically what `quote does 23:31:08 `quote 23:31:09 797) elliott___: we have been calling a book new for 2000 years and it took einstein to figure out relativity 23:31:22 Bike: yes 23:31:23 itidus21: what 23:31:55 FireFly: not only that: I reinvented quote in terms of itsemf 23:32:01 except spelt correctly 23:32:25 ooh 23:32:26 metacircular quotation! 23:32:34 `run quote $(quote | sed 's/\).*//') 23:32:36 sed: -e expression #1, char 8: Unmatched ) or \) \ 714) what a world it would be if you could actually *steal* code so that the other project has to rewrite it or infiltrate your project to steal it back 23:32:51 `run quote $(quote | sed 's/).*//') 23:32:53 59) * oerjan swats FireFly since he's easier to hit -----### Meh * FireFly dies 23:32:59 Ouch 23:33:14 olsner: sort of related: http://www.bash.org/?104052 23:33:20 * FireFly swats oerjan for swatting him ------### 23:33:25 GreyKnight: yes 23:33:36 now _that_ was unexpected. 23:33:53 the flies are rising 23:34:17 `quote sed 23:34:17 RE: earlier talk of how many sprunge.us identifiers there are: they have both cases of letters, so the total available 4-character identifiers would be: 23:34:18 1) I used computational linguistics to kill her. \ 62) ehird: every set can be well-ordered. corollary: every set s has the same diagram used from famous program talisman with fnord windows to cascade, someone i would never capitalize " i" \ 64) i use dynamic indentation, i indent lines k times, if they are used O(n^k) t 23:34:27 > (26+26+10)^4 23:34:28 14776336 23:34:59 i like 62, let's use 62 23:35:02 (IMAO it would be better to not have 0 and O both valid characters, mind you) 23:35:13 hmm, did any of those quotes contain the word sed? 23:35:27 "used" inthe first one 23:35:28 They contain the substring sed 23:35:32 `quote " sed " 23:35:34 No output. 23:35:44 ah, used, yes 23:36:03 oh "used" in the other two as well actually 23:36:04 is a sprunge like a funge? 23:36:06 `run quote $(quote | sed 's/).*//') 23:36:08 577) l;le;ler;le;lr;e;ler;ler;le;lerr;le;le;erle;e;rler;lere;er;lerrelrrerererlanggt 23:36:11 Dynamic indentation is best indentation 23:37:13 I wonder if CakeProphet got rid of the dirt on his keys 23:37:26 No 23:37:30 The keys are dirt 23:37:39 `run sed s/tat/dat/ wisdom/quote 23:37:41 Quotes are just elements of the quantum dilapidated bogosphere. See qdb. 23:38:06 Did you mean to -i that? 23:38:23 Yes 23:38:40 `run sed -i s/tat/dat/ wisdom/quote 23:38:51 No output. 23:38:53 It's late, I'm cold and wet (and tired) 23:39:57 `quote sprunge 23:39:59 236) !bfjoust furry_furry_strapon_pegging_girls http://sprunge.us/eKWa * Sgeo had no idea that Gregor was hetero 23:40:32 You and your bfjoust knight names 23:40:38 `quote bfjoust 23:40:43 225) !bfjoust test (-)*10000 Score for Vorpal_test: 12.9 yay \ 226) !bfjoust test (++-)*1000000 probably will suck Score for Vorpal_test: 30.4 what \ 234) !bfjoust sm3 < Score for Deewiant_sm3: 43.4 \ 236) !bfjoust furry_furry_strapon_pegging_girls htt 23:40:56 `? quote 23:40:58 Quotes are just elements of the quantum dilapidated bogosphere. See qdb. 23:42:26 Wait, how did sm3 get >0? 23:42:49 * Sgeo has breached 2k worthless Internet points 23:42:52 The only game it could possibly win is against another copy of itself, if the other program goes first, as far as I can tell 23:42:57 FireFly: bug in the hill 23:43:01 Ah 23:43:06 it basically muddled wins with losses 23:43:17 Calling them "worthless Internet points" totally disguises being actually interested in them 23:43:29 @karma sgeo 23:43:30 sgeo has a karma of 2 23:43:53 * FireFly concludes that worthless Internet points are millilambdabotkarmas 23:44:06 my favourite thing about @karma is just how it triggers on random ++ and -- comments 23:44:16 thus, why C is doing so well 23:44:17 @karma C 23:44:17 C has a karma of 1 23:44:23 hmm, was it reset? 23:44:32 @karma ##c 23:44:32 ##c has a karma of 35 23:44:35 @karma c 23:44:35 c has a karma of 1 23:44:36 C has always been special-cased. 23:44:42 FSVO always 23:44:45 ++c 23:45:03 @karma g 23:45:03 g has a karma of 106 23:45:04 Add 1 to karma giving karma 23:45:24 c++ 23:45:26 @karma c 23:45:26 c has a karma of 1 23:45:29 yeah, I see 23:45:56 -!- GreyKnight has quit (Ping timeout: 255 seconds). 23:46:01 @karma i 23:46:02 i has a karma of 20 23:46:40 Hmm, does the special-casing work on C-- too or just C++? 23:46:43 @karma C 23:46:44 C has a karma of 1 23:46:50 c--++ 23:46:54 I'm scared to try it, don't know if it's reversible 23:46:56 C-- 23:46:58 @karma C 23:46:59 C has a karma of 1 23:47:19 Hmm, I can't think of any common sequence ending with -- 23:47:31 @karma 23:47:31 You have a karma of 1 23:47:39 haskell lack-of-comments? 23:48:05 some style guides state that there should be no space between a word and an em dash 23:48:27 would you keep the whitespace after the dashes then? 23:48:32 but this convention is rarely followed when using '--' to represent an em dash 23:49:05 @karma - 23:49:06 - has a karma of -793 23:49:09 hah 23:49:12 * shachaf doesn't like that style guide. 23:49:20 @karma + 23:49:21 + has a karma of 106 23:49:45 > 1 + 1 --- test 23:49:47 2 23:49:49 @karma - 23:49:49 - has a karma of -794 23:50:10 "cool" 23:50:16 -!- GreyKnight has joined. 23:50:56 `quote 71 23:50:58 71) Note that quote number 124 is not actually true. 23:50:58 -++ 23:51:11 `quote 124 23:51:13 124) Why shouldn't I just do everything in non-Microsoft-specific C#? it's like trying to write non-IE-specific JavaScript with only Microsoft documentation and only IE to test on 23:51:21 shachaf: djb doesn't like the RDRAND instruction 23:51:28 he says that an application should only get entropy from the operating system 23:51:32 i'm not sure why though 23:51:58 * GreyKnight intends to delete quote 71 without one objection 23:52:11 Where does he say that? 23:54:14 GreyKnight: I like it 23:54:24 twitter 23:54:46 elliott: You like the idea of deleting the quote? Or the quote itself? 23:54:54 the latter 23:54:58 * GreyKnight continues his merciless crusade against pronouns 23:54:58 it's sad, because C# is actually a pretty nice language 23:56:04 kmc: pascal tends to be a more mathematical programming language from my experience. haskell discards a lot of mathematical concepts by denying volatile types 23:56:29 "elliott aka worst of #haskell" 23:56:39 71 doesn't follow the quote laws 23:56:48 *GASP* 23:56:49 kmc: it takes weeks to months for somebody to learn using monads 23:56:55 kmc: i watched over 3 hours of monad lessons and i still cant tell a monad from a yumad 23:57:09 y'all are awfully mean to one another 23:57:29 it's hard to be nice when you hate everyone 23:57:30 elliott: think of it like a burrito 23:57:46 `quote burrito 23:57:47 907) btw, I finally discovered what a burrito was, recently they're kind of nice to eat but don't really resemble monads 23:57:56 kmc: Lots of people seem to say C# is a nice language. 23:58:00 GreyKnight: If we try hard enough we can make this place worse than #haskell and kmc will leave. 23:58:43 elliott: what 23:58:50 elliott: I'd rather you don't do that. 23:59:05 is that an actual #haskell quote 23:59:45 I think this person might be a troll. 23:59:59 kmc: Yes.