00:01:05 “Although any sort of crash is acceptable and complies with the spec, we recommend segfaults, or on Windows, Blue Screens of Death.” lul 00:04:05 OK, I got to the first operation and now my head is spinning. 00:05:14 I'm not convinced that this language is implementable, since it actually has to perform the integer->digit string conversion to operate, and that operation is both incomplete and of unknown complexity. 00:05:37 ais523: nice my irc client doesn't include the !s 00:05:38 in the link 00:06:19 Radixal!!!! is an esoteric language created collaboratively by the #esoteric IRC channel on 7 December Category:2012. 00:06:55 http://esolangs.org/wiki/Radixal%21%21%21%21 00:07:28 “Radixal!!!! is not obviously either Turing-complete, or not Turing-complete” 00:07:29 Profound. 00:12:58 isn't it also a problem that integer->digit is ambiguous? 00:14:16 ok there's a specification of which is chosen... 00:15:02 I don't see how it's dififcult 00:15:12 Is it possible to go over base 10? 00:15:13 is it possible for same-length digit strings in different bases to have the same digit sum? 00:15:16 If not, just try all the bases 00:16:23 hmm, I read it as being arbitrarily large bases 00:16:26 Sgeo|web: indeed 00:16:46 olsner: "The accepted digits are 0, 1, 2, 3, 4, 5, 6, 7, 8, and 9" 00:16:50 i.e. that the source is limited to base 10, but the internal representation is arbitrary-precision 00:17:08 olsner: the base is always 1+largest digit 00:17:34 Let's say I want to encode the number eleven 00:18:15 102, isn't it 00:18:36 :t showInt 00:18:37 Integral a => a -> ShowS 00:18:39 And since "102" contains the digit for base-1, it works 00:18:43 :t showIntAtBase 00:18:44 (Integral a, Show a) => a -> (Int -> Char) -> a -> ShowS 00:18:51 Although makes sense to keep checking for smaller working strings, I think 00:19:07 Or maybe it should try in other direction, so strings would be smaller? 00:19:12 hm, 23 should work too 00:19:34 Oh, "lowest total sum of digits" hmm 00:19:46 What happens if there's a tie? 00:19:58 Oh, by shortest 00:20:13 @define radixals n = [rep | b <- [2..9], let rep = showIntAtBase b intToDigit n "", maximum rep == [show (b-1)]] 00:20:26 *sigh* 00:20:45 @ping 00:20:45 pong 00:20:49 i guess 102 would be the canonical version, then? 00:20:51 @define radixals n = [rep | b <- [2..9], let rep = showIntAtBase b intToDigit n "", maximum rep == [show (b-1)]] 00:20:53 What happens if there's a tie among shortest? 00:21:00 > radixals 11 00:21:02 Not in scope: `radixals' 00:21:07 oh 00:21:16 @let radixals n = [rep | b <- [2..9], let rep = showIntAtBase b intToDigit n "", maximum rep == [show (b-1)]] 00:21:17 :1:92: 00:21:17 Couldn't match expected type `Char' with actual type `[t0... 00:21:38 @let radixals n = [rep | b <- [2..9], let rep = showIntAtBase b intToDigit n "", [maximum rep] == show (b-1)] 00:21:40 Defined. 00:21:44 > radixals 11 00:21:46 ["1011","102","23","15"] 00:21:51 oops 00:21:53 @undefine 00:22:09 @let radixals n = [rep | b <- [3..9], let rep = showIntAtBase b intToDigit n "", [maximum rep] == show (b-1)] 00:22:10 Defined. 00:22:36 > radixals 432 00:22:38 ["121000","12300"] 00:23:40 Wait, how does that definition work? Is b a base (in which case where is 10) or is b a digit (in which case where is 2)? 00:24:32 I suspect that showIntAtBase takes a base 00:24:56 > radixals 1999 00:25:00 oh right 00:25:01 mueval-core: Time limit exceeded 00:25:04 @undefine 00:25:13 @let radixals n = [rep | b <- [3..10], let rep = showIntAtBase b intToDigit n "", [maximum rep] == show (b-1)] 00:25:26 Defined. 00:25:29 >radixals 1999 00:25:39 space 00:25:45 bleh. 00:25:49 > radixals 1999 00:25:53 mueval-core: Time limit exceeded 00:25:54 -!- nooga has quit (Ping timeout: 240 seconds). 00:26:03 > radixals 1999 00:26:06 Let's radixal like it's 1999? 00:26:07 mueval-core: Time limit exceeded 00:26:28 well this cannot possibly be hard work, so someone is abusing lambdabot elsewhere 00:26:59 Or there's just no answer 00:27:08 "1999" is the answer. 00:27:10 Oh, that would show up as [] I guess 00:27:15 Oh, derp 00:27:36 > radixals 1999 00:27:38 ["2202001","133033","30444","3717","1999"] 00:27:46 or, i guess it's not! oops. 00:28:21 2202001 has the smallest sum 00:28:25 yeah 00:28:26 oerjan: you need more exclamation marks. 00:28:30 hmm, maybe base 3 always wins 00:28:51 @let r!!!!x = radixals x 00:28:52 Defined. 00:29:08 > radixals!!!! 2012 00:29:10 nah, 5 is 11 00:29:10 ["2202112","133130","13152","5603","3734"] 00:29:13 good. 00:29:20 > radixals!!!! 5 00:29:22 ["12","5"] 00:29:34 wait, what did I do wrong... 00:29:34 11 is forbidden 00:29:38 oh. yes. silly me. 00:30:35 > radixals!!!! 8 00:30:36 ["22","8"] 00:30:55 why not 20? 00:31:11 because that's base 3 00:31:24 ~_~ 00:32:14 > radixals!!!! 11 00:32:16 i suppose it doesn't "win" if the base-3 doesn't work anyway. 00:32:16 ["102","23","15"] 00:32:18 > radixals!!!! 10 00:32:20 [] 00:32:24 so what does this do 00:32:30 oh i guess 15 in base 6 is 11? 00:32:37 i like how you can't do 10 00:32:46 yeah, some numbers aren't representable, so 00:32:52 > filter (null . radixals) [0..] 00:32:56 mueval-core: Time limit exceeded 00:33:00 Bike: yeah, so the lowest possible base perhaps? 00:33:01 > radixals!!!! 9 -- i think this won't be base 3 :P 00:33:03 ["14","9"] 00:33:28 > radixals!!!! 100 00:33:30 ["10201","400"] 00:33:36 mm 00:34:05 i'm sure there must be something which doesn't give the lowest possible base 00:34:21 ISTR that the optimal base (in terms of lowest number of digits on average) is e 00:34:21 100 didn't 00:34:35 oh right 00:34:59 which is not exactly the same as the lowest digit sum, but fewer digits helps I guess 00:35:07 now i'm wondering if the tie breaker is sure to work 00:36:33 so, find two strings that have the same number of digits, the same digital sum, and are both totes radixal strings, I guess 00:36:49 indeed, "The base e is the most economical choice of radix β > 1 (Hayes 2001), where the radix economy is measured as the product of the radix and the length of the string of symbols needed to express a given range of values." 00:37:18 > [radixals!!!! n | n <- [0..]] 00:37:20 [[],[],["2"],["3"],["4"],["12","5"],["20","6"],["21","13","7"],["22","8"],[... 00:37:36 > [radixals!!!! n | n <- [9..]] 00:37:38 [["14","9"],[],["102","23","15"],["30"],["31","16"],["112","32","24"],["120... 00:38:17 > radixals!!!! 123456789 00:38:18 ["22121022020212200","13112330310111","223101104124","20130035113","3026236... 00:38:39 these are beautiful 00:38:40 > [radixals!!!! n | n <- [15..]] 00:38:42 [["120","33","17"],["121"],["122","25","18"],["200"],["201","103","34","19"... 00:38:42 olsner: what about negative bases, huh! 00:38:55 oerjan: imo define a reverse function 00:39:12 > [radixals!!!! n | n <- [19..]] 00:39:14 [["201","103","34","19"],["202","40","26"],["210","41"],["211","42"],["212"... 00:39:17 can't you just filter it to do the test for you 00:42:46 > [r' | n <- [0..], let r = radixals!!!!n; sm = minimum[sum(fromEnum r)]; r' = [s|s <- r, sum(fromEnum r) == sm]] 00:42:48 Couldn't match expected type `[a0]' 00:42:48 with actual type `GHC.Type... 00:42:55 POSSIBLY 00:44:26 > [r' | n <- [0..], let r = radixals!!!!n; sm = minimum[sum(fromEnum<$>s)|s<-r]; r' = [s|s <- r, sum(fromEnum<$>s) == sm]] 00:44:28 [[],[],["2"],["3"],["4"],["5"],["6"],["7"],["8"],["9"],[],["23"],["30"],["3... 00:45:33 that's of course wrong... 00:46:59 > radixals 742 00:47:00 looks like 2 wins about 99.2% of the first million integers 00:47:01 ["23212","10432"] 00:47:09 and only 31 of them were impossible? 00:47:33 Both sum to 5, both have a length of 5. 00:47:37 OKAY 00:47:39 sum to 10? 00:47:44 Uh, yes. 00:47:46 * oerjan relaxes 00:47:52 Five, ten; what matter. 00:48:08 well, five is 10 in base five 00:48:09 so it's all good 00:48:11 (Found by a really crummy filter, that's why I did it in private.) 00:48:11 hmm, nm, I forgot to sort by digit sum 00:48:14 ais523: your tie breaking is insufficient 00:48:34 also you're idle. 00:49:18 @tell ais523 742 has two representations ["23212","10432"] that your tie breaking won't distinguish 00:49:18 Consider it noted. 00:50:02 16:46 newtype NonEmpty f a = NonEmpty a (f a) 00:50:21 shachaf: It would be a good idea!!! 00:50:55 good newtype 00:51:21 fizzie: hey my filter was even crummier! it didn't even work! 00:51:27 That's an advanced newtype 00:51:45 if it's ambiguous it should just crash according to the same rule as binary numbers 00:51:45 Jafet: you'd think 00:52:58 oerjan: Mine only looked at cases where there were exactly two representations, and had a (\[a,b] -> ...) in it. :/ 00:53:19 fancy 00:53:31 fizzie: I bet you could use: LENS. 00:53:39 The opposite of fancy, I'd say. 00:54:19 elliott: could you educate fizzie on the meaning of OKAY, fancy and shocking plz? 00:54:34 ais523: I missed any/everything since my initial comments, but I don't see any reply by you, sooooooo. 00:54:43 understanding them yourself is optional. 00:55:19 oerjan: OKAY. 00:55:37 good, good 00:55:46 (hm you might want to add that one) 00:55:48 Gregor: what will you call your competitor for Radixal!!!!? 00:56:14 olsner: Radical Ixün 00:56:50 Californ Ixün 00:59:24 -!- GreyKnight has joined. 00:59:31 > [n | n <- [0..], null(radicals!!!!n)] 00:59:34 Is there any 3D modeling that you can write x^2+y^2+z^2=25 and it will work? 00:59:34 Could not find module `Data.Monoid.Lens' 00:59:34 It is a member of the hidden pack... 00:59:40 wat 00:59:41 try POV-Ray's isofunctions 00:59:50 > [n | n <- [0..], null(radicals!!!!n)] 00:59:51 Could not find module `Data.Monoid.Lens' 00:59:51 It is a member of the hidden pack... 01:00:00 the hidden pack...! 01:00:12 the big conspiracy 01:00:13 > [n | n <- [0..], []==radicals!!!!n] 01:00:14 Could not find module `Data.Monoid.Lens' 01:00:14 It is a member of the hidden pack... 01:00:15 i don't remember if the old Mac OS graphing calculator could do that 01:00:22 it was pretty sweet though 01:00:27 > radixals!!!!10 01:00:28 Could not find module `Data.Monoid.Lens' 01:00:28 It is a member of the hidden pack... 01:00:31 ic 01:00:36 SABOTAGE 01:01:37 oerjan: I blame shachaf personally 01:02:12 > let radixals=undefined;_!!!!n = [rep | b <- [3..10], let rep = showIntAtBase b intToDigit n "", [maximum rep] == show (b-1)] in [n | n <- [0..], []==radicals!!!!n] 01:02:13 Could not find module `Data.Monoid.Lens' 01:02:13 It is a member of the hidden pack... 01:02:17 @undefine 01:02:20 > let radixals=undefined;_!!!!n = [rep | b <- [3..10], let rep = showIntAtBase b intToDigit n "", [maximum rep] == show (b-1)] in [n | n <- [0..], []==radicals!!!!n] 01:02:21 Could not find module `Data.Monoid.Lens' 01:02:22 It is a member of the hidden pack... 01:02:33 > 2+2 01:02:34 Could not find module `Data.Monoid.Lens' 01:02:34 It is a member of the hidden pack... 01:02:42 was afraid of that 01:02:46 @undefine 01:02:52 > 2+2 01:02:53 Could not find module `Data.Monoid.Lens' 01:02:53 It is a member of the hidden pack... 01:03:03 your complaint has been relayed. 01:03:08 GreyKnight: i think lambdabot is seriously broken at the moment 01:03:36 hmm, these numbers are not entirely without patterns (nonradixals in the first 100000): [10,36,37,40,81,82,85,256,280,20776,27216,27217,27300,27301] 01:03:39 > 0 01:03:40 Could not find module `Data.Monoid.Lens' 01:03:40 It is a member of the hidden pack... 01:03:56 Perhaps a tiny bit 01:04:33 GreyKnight: a quantum amount 01:04:49 > Data.Monoid.Lens 01:04:49 :t 0 01:04:50 Num a => a 01:04:50 Could not find module `Data.Monoid.Lens' 01:04:50 It is a member of the hidden pack... 01:05:48 olsner: hm a lot at about 27000 01:05:57 olsner: not in OEIS (is it interesting enough to submit?) 01:09:29 fungot, sing me to sleep 01:09:30 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 01:09:41 This is not a very good song 01:09:58 a number is radixal if it's expressible as a number in radixal? 01:10:30 Surprisingly few numbers that can't be represented that way 01:10:37 is this that radix thing someone mentioned 01:10:42 ^style 01:10:42 Available: agora alice c64 ct darwin discworld* europarl ff7 fisher fungot homestuck ic irc iwcs jargon lovecraft nethack pa qwantz sms speeches ss wp youtube 01:10:59 Phantom_Hoover: yes this is the radix thing that's been going on for half an hour 01:11:01 * FireFly wonders if Discworld contains lots of URIs 01:11:23 ^style europarl 01:11:24 Selected style: europarl (European Parliament speeches during approx. 1996-2006) 01:11:31 fungot: write me a poem 01:11:32 FireFly: to not be a radixal, a numbers representation in each base 3-10 must not contain the largest digit in the base. 01:11:34 FireFly: mr president, tomorrow' s vote. i would thus like to see the israeli soldier who has been suspended and the foreign minister, mr michel stated that the council is unwilling to apply the consensus and conciliatory approach that characterize this parliament to draw up a policy to boost economic growth and employment, mark a step in the right direction. 01:11:37 *'s 01:11:46 fizzie: nice leak 01:12:00 fizzie: I think there might be a tiny bug in the discworld style 01:12:14 that gets harder and harder as the numbers get larger 01:12:43 "Whoops." 01:12:59 Yeah, they're from elinks -dump or something. 01:14:26 `addquote 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 01:14:28 oerjan: mr president-in-office, not allied forces, mr president-in-office, two initiatives: the french, the belgians and the irish referendum and that is to say, ' mary, you are preparing to vote for or against a government in any case, all pay merits work. this situation cannot be allowed to increase under any circumstances, be resolved without difficulty. slovenia has proved particularly mature in its consensual and moderate 01:14:30 864) 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 01:14:43 `quote 01:14:43 `quote 01:14:44 `quote 01:14:44 `quote 01:14:44 `quote 01:14:49 Now my shame is immortal. :/ 01:15:04 499) That's the stupidest thing I've heard all morning. (Though I did wake up five minutes ago, so I haven't had a chance to hear very much.) The "Why are you still asleep? I told the cat to wake you up." comment does come pretty close, though. 01:15:05 yay I'm internet famous 01:15:50 57) actually just ate some of the dog food because i didn't have any human food... after a while they start tasting like porridge 01:15:50 845) But let's ignore the fact that i doesn't exist. Is it even or odd? 01:15:50 718) * Phantom_Hoover moves 0.5 Phantom_Hoover into the Atlantic, and captures fizzie's upper body with 0.5 Phantom_Hoover. Glurk. 01:15:51 527) well, oerjan has a lot of opinions on this, so I'll hand it over to him 01:16:35 oerjan: bleh, I meant to put a tiebreak on the tiebreak, but forgot 01:16:35 ais523: You have 1 new message. '/msg lambdabot @messages' to read it. 01:16:37 I'll do that now 01:17:10 I don't know if I get a vote, but if so, rm 718 01:17:19 it's tiebreaks all the way down! 01:17:34 i vote against that 01:17:35 GreyKnight, that quote from me was a continuous chess joke btw 01:17:40 imo 527 or 718 01:17:50 and you want it removed :( 01:17:52 ARGH 01:17:54 `quote imo 01:18:01 7) TODO: sex life \ 436) Non sequitur is my forte On-topic discussion is my piano Bowls of sugary breakfast cereal is my mezzoforte Full fat milk is my pianissimo On which note, I'm hungry 01:18:16 `quote emo 01:18:19 249) gah, who'd have thought removing concurrency from algol could be so difficult \ 284) elliott: I doubt water memory can last for even one second in a gravitational field (or even outside of a gravitational field), but other people think they can make water memory with telephones. \ 358) You have no idea how desperately I want to avoid being a GC guy :P Every year I go to ISMM 01:18:21 @messages 01:18:21 oerjan said 29m 3s ago: 742 has two representations ["23212","10432"] that your tie breaking won't distinguish 01:18:32 * ais523 adds tiebreak to tiebreak 01:18:52 what if you used the redundant representations to express the inexpressable numbers. 01:18:56 are there enough :D 01:19:20 elliott: profound :) 01:19:27 but the inexpressable numbers are the whole point 01:19:29 I didn't know I was supposed to @tell X_X 01:19:32 do you like my output method, btw? 01:19:45 it can't do prime codepoints, nor certain nonprime codepoints either 01:19:45 * elliott looks 01:19:45 I'm not convinced that this language is implementable, since it actually has to perform the integer->digit string conversion to operate, and that operation is both incomplete and of unknown complexity. 01:19:48 fine, 527 is worse 01:19:48 there are like 7 bases left over for each representable number 01:20:00 `delquote 527 01:20:02 wtf lag 01:20:04 ​*poof* well, oerjan has a lot of opinions on this, so I'll hand it over to him 01:20:13 ais523: that is pretty good except (a) you forgot a ")" (b) it doesn't involve ! 01:20:27 but making cat impossible is very cool and stupid 01:20:34 you can make an approximate cat 01:20:34 Gregor, the operation is clearly doable fairly easily, so what does complexity have to do with it? The language might be slow? 01:20:41 which chooses similar-looking codepoints 01:20:43 well, probably 01:21:13 Call it kitten 01:21:18 -!- greyooze has joined. 01:21:26 Gregor: it's complete, there's no way to come up with an unrepresentable number 01:21:32 because all the numbers are generated by converting back from digit strings 01:21:38 Ohyeah X-D 01:21:46 Phantom_Hoover: hm okay that context makes it better 01:21:47 and if they're strings of 0s and 1s, we add an extra non-0 non-1 digit at the start 01:21:50 (continuous chess covers a multitude of sins) 01:22:16 -!- GreyKnight has quit (Ping timeout: 252 seconds). 01:22:17 continuous sin chess? 01:22:31 I imagine there aren't many unrepresentable numbers as you get higher up 01:22:39 they'd have to be represented only with 0s and 1s in /every/ base 01:22:39 I guess the operation isn't that difficult, too… just go from base 10 down and choose whichever one works, if any. 01:22:43 from 3 to 10 01:22:56 `quote 01:22:57 `quote 01:22:57 `quote 01:22:58 `quote 01:22:58 `quote 01:23:01 yeah, you basically only need to convert it to 8 different bases then compare 01:23:08 Gregor: yes. If you've been paying attention, we implemented it and played with it quite a bit 01:23:11 756) haters gonna make som valid points 01:23:15 ais523: how about extending it to arbitrary bases instead of only going to base 10? 01:23:17 Sgeo|web: I haven't ;) 01:23:22 * elliott seconds olsner 01:23:26 I was driving, making a phone call, ... 01:23:28 ais523: olsner found a surprising number just above 27000 01:23:41 also, I thought 527 was kind of funny because elliott is calling someone else opinionated ;-) 01:23:41 -!- greyooze has changed nick to GreyKnight. 01:23:43 > 0 01:23:44 0 01:23:51 517) Hmm, I really need to institute dwarven birth control. 01:23:51 Grey Ooze? 01:23:52 > product[1..10] 01:23:53 3628800 01:23:54 GreyKnight: it makes more sense in context 01:23:54 -!- Gregor has changed nick to TheSmooze. 01:23:55 The Smooze! 01:23:58 434) ais523, how are we supposed to guess before you tell us unless you give us more hints? 01:23:58 830) my best guess is 4 years ago but possibly also yesterday 01:23:59 110) cmake is a nuclear powered waffle iron powered by a burning-hot testicle attachment and it burns one of the waffles and doesn't touch the other. 01:24:06 > foldl1' lcm[1..10] 01:24:07 2520 01:24:10 434 is not funny 01:24:18 hm it's not that then 01:24:22 the cornballer! 01:24:29 830 and 110 are both good 01:24:39 I don't really like 517 or 756 01:24:54 although 756 is better out of those 01:25:08 they'd have to be represented only with 0s and 1s in /every/ base <-- no, just not use the largest digit of the base 01:25:09 434 is there to mock vorpal more or less 01:25:19 imo 517 01:25:51 So, the tiebreaker should choose the shortest (first priority), lowest base (second priority), yes? 01:26:04 517 or 434 01:26:22 `delquote 517 01:26:29 also, I thought 527 was kind of funny because elliott is calling someone else opinionated ;-) <-- no the joke is i don't have any opinions 01:26:31 ​*poof* Hmm, I really need to institute dwarven birth control. 01:26:32 someone who hasn't been around Vorpal can't vote on mocks of him, of course 01:26:45 oerjan: the joke is mainly the person I was getting to talk to you. 01:26:50 I met Vorpal a little bit in #feather-lang 01:26:53 `quote 01:26:54 `quote 01:26:54 `quote 01:26:54 `quote 01:26:55 `quote 01:26:57 `quote monqy 01:27:03 GreyKnight, we're sincerely sorry 01:27:09 226) gah, why does lose keep winning? 01:27:10 287) I've only watched bad movies about video game. I enjoyed every second of it. \ 324) my most fresh dream is one where I'm at a soup contest and a chicken really wants to participate but he's disqualified so he becomes the judge. when all the soups are done and he's ready to taste them he just stares at the soup and then I become the chicken and I really want to make soup \ 327) `quote django 01:27:25 it wasn't that bad, maybe I didn't get the full experience :-? 01:27:39 Vorpal stopped being bad and started being boring so now we grudgingly accept his presence 01:27:45 @tell Vorpal hi was just talking about you today!! 01:27:45 Consider it noted. 01:27:49 thought he was in the channel but in fact he wasn't 01:27:51 TheSmooze: yes 01:27:53 a shame 01:27:54 802) I couldn't survive an apocalypse. I don't even have any bitcoins. 01:27:54 454) So it's like... Rummy mixed with... breakout? 01:27:54 659) i cnat eve begin to understand what you meant with that "one" 01:27:54 424) Look, I often walk my dog through a field with cows in it. And I punched myself in the face once. 01:27:59 and zeroth priority is lowest sum of digits 01:28:05 basically, because it's harder to game than other tiebreaks would be 01:28:13 when was I funny enough to come up with 802 01:28:18 this must be some other elliott 01:28:23 802 is indeed funny 01:28:27 misattributed quote? 01:28:29 and indeed out of character for you 01:28:38 `pastlog survive an apocalypse.*bitcoins 01:28:50 let's hope it hits the original quote, rather than the addquote 01:28:58 `pastelog survive an apocalypse.*bitcoins 01:29:04 I like the recommended rejection method for binary numbers in Radixal programs 01:29:17 No output. 01:29:23 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.8553 01:29:37 and zeroth priority is lowest sum of digits // I don't like this 01:29:40 anyway i like all thoes quotes 01:29:44 maybe 454 is worst? 01:29:48 659 is probably bad but it amuses me 01:29:57 let's keep them all 01:30:06 I don't know why 454 is funny, but it is 01:30:07 `quote 01:30:07 `quote 01:30:07 Because then we acknowledge that unrepresentable numbers exist. 01:30:07 `quote 01:30:07 `quote 01:30:08 `quote 01:30:15 Since they might be the sum of digits. 01:30:22 309) Grr. Why does it exist? Why can't I kill it? 01:30:26 659 is bad 01:30:30 TheSmooze: it's fine to acknowledge that, we acknowledge them on input too 01:30:37 monqy: well it looks like an innuendo 01:30:39 except it isn't 01:30:43 no it doesn't........ 01:30:43 that's inherently funny 01:31:06 monqy; hi 01:31:08 697) [...] we choose only die fittest people of nigeria [...] 01:31:11 373) elliott: actually, it's worse right now, I'm in the USA where the solution to counterfeiting problems is "add more ink" eventually all US bills will just be solid green 01:31:12 86) I don't know that I've ever heard apocalypi described in terms of depth ... 01:31:12 719) damn i should make a quasiquoter for inline FORTRAN 01:31:19 I don't see how it looks like an innuendo either TBH 01:31:25 btw, we've deleted approximately 31 quotes over approximately the last 6 months 01:31:41 the `pastelog shows the quote number decreasing 01:31:42 that's ... not a lot 01:31:43 `quote cheater 01:31:50 No output. 01:31:55 @quote cheater 01:31:55 cheater says: and i'm kinda like an ad-hoc dr phil. 01:31:56 how many have we added in the same time? 01:32:00 i think we deleted all of cheater's quotes 01:32:04 373 is good 01:32:05 (because he isn't funny) 01:32:09 maybe we should get pizza and have a deletion party :> 01:32:10 @quote cheater 01:32:11 cheater says: drupal is a bit like working with the facebook api while someone keeps dropping concussion grenades in your office 01:32:20 IMO 697 01:32:23 ais523: but quotes higher than that one won't show up as part of that quote's decrease 01:32:23 it's not very good for a fungot quote 01:32:25 elliott: i welcome the initiative that has been developed mainly to fill the jobs in our countries are too reliant on connections to russia, but to the level of youth unemployment. in this connection, i should also like to congratulate the irish presidency for the clarification it has given before, is discrimination, because it allows people to enter the european union 01:32:25 elliott: agreed 01:32:29 `delquote 697 01:32:33 ​*poof* [...] we choose only die fittest people of nigeria [...] 01:32:33 Sgeo|web: that's why "approximately" 01:32:39 ais523: you could just look at `help 01:32:42 or even hg log inside the vm 01:32:43 `quote 01:32:44 `quote 01:32:44 `quote 01:32:45 `quote 01:32:47 697 or 309 (might be funnier with context) 01:32:47 `quote 01:32:55 hm I was too slow! 01:32:55 195) Invent the game called "Sandwich - The Card Game" and "Professional Octopus of the World" (these names are just generated by randomly) 01:32:55 @quote neutrino 01:32:55 No quotes match. My mind is going. I can feel it. 01:32:56 190) "Every physicist wants to violate Einstein, but thus far the great man has remained pretty chaste." --Kode Vicious 01:32:57 @quote neutrino_ 01:32:57 No quotes match. Have you considered trying to match wits with a rutabaga? 01:33:21 394) pikhq, living in the future sucks. The past just keeps coming up to us and trying to make us feel guilty. 01:33:21 479) now theodore seuss is dead... so screw him 01:33:24 190) "Every physicist wants to violate Einstein, but thus far the great man has remained pretty chaste." --Kode Vicious 01:33:33 190 is there twice! 01:33:38 has this ever happened before, and do we have rules for it? 01:33:46 delete it twice 01:33:57 but 191 might be really good 01:33:58 we could draw another quote, but then we've broken the rule of five 01:34:05 How many quotes are there? 01:34:11 `quote 191 01:34:13 gasp 01:34:14 191) The Perl script is probably slower than the Befunge code. 01:34:19 `addquote How many quotes are there? 01:34:22 862) How many quotes are there? 01:34:23 `revert 01:34:24 `delquote 862 01:34:24 861 01:34:26 Done. 01:34:46 ​*poof* How many quotes are there? 01:34:50 (this is /totally/ the official way to count quotes) 01:34:55 `qc 01:34:58 861 quotes 01:34:59 `run hi 01:35:03 hi 01:35:04 `quote fungot 01:35:04 FireFly: mr president, you are right, mr president! the pensioners' party, who have been, so to speak, i will try to prevent this eventuality, they want to do together. 01:35:08 11) GregorR-L: i bet only you can prevent forest fires. basically, you know. \ 15) Finally I have found some actually useful purpose for it. \ 17) oerjan: are you a man, if there weren't evil in this kingdom to you! you shall find bekkler! executing program. please let me go... put me out! he's really a tricycle! pass him! \ 62) 01:35:10 `hi monqy 01:35:11 ais523: but you got a race condition on the number! 01:35:14 hi 01:35:17 01:33:38 has this ever happened before, and do we have rules for it? 01:35:22 the rule is to start from scratch I think 01:35:30 `quote 01:35:30 `quote 01:35:30 OK, that's a sensible rule 01:35:30 `quote 01:35:30 `quote 01:35:31 `quote 01:35:33 `quote 01:35:35 delete the quote database and start over? 01:35:36 `quote 01:35:36 The pensioners' party want to do together :-o Try to prevent that eventuality, fungot! 01:35:37 GreyKnight: mr president, i too handled asbestos when making and connecting pipes and tubing. in retrospect, i probably consumed incredible amounts of fibres, threads and cloth and also the rapporteur's proposed resolution, i should like to ask you whether, in the past. 01:35:38 `quote 01:35:39 shachaf: stop botspamming 01:35:41 `quote 01:35:51 437) in the title of the page it says "Well-Typed - The Haskell Consultants" but i want to know who are the haskell conraisins? 01:35:59 469) anyway, notational systems are a function of the euclidean plane 01:36:35 `welcome shachaf 01:36:51 437 is not a good pun and it even doesn't work 01:36:59 it's good i like it A+ 01:37:01 anyway 01:37:01 `quote 01:37:02 `quote 01:37:02 `quote 01:37:05 `quote 01:37:07 `quote 01:37:24 I think we have like 15 `quotes queued now 01:37:39 682) Hey, I found Gregor on Spokeo. He's a married black male in his late 50s who lives in an apartment worth about $37,000. He did not go to college and works in sales. He lives in Detroit. I... think we might have found the wrong one. 01:37:42 314) i know it's unusual, but i agree with you both to some extent 01:37:43 276) elliott: parents who put just "Chris" on a birth certificate are... like parents who put just "Bob" on a birth certificate. 01:37:55 201) LoTR actually compresses pretty well into a film; the large amount of description becomes unnecessary. LotR would compress pretty well into a book; the large amount of description *is* unnecessary. 01:37:57 shachaf: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 01:38:05 438) If in some day, I publish some book, that might include some of the programs I have written too, but also some other books, possibly. However I never yet publish any book. 01:38:11 36) `translatefromto hu en Hogy hogy hogy ami kemeny How hard is that 01:38:14 127) 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 01:38:15 ais523: oh, it throttled 01:38:26 `echo q 01:38:31 @yarr 01:38:31 Swab the deck! 01:38:41 Why can't HackEgo be more like lambdabot? 01:38:47 `run uname -a 01:38:53 @botsnack 01:38:53 :) 01:38:55 q 01:38:56 shachaf: why can't it be more like, say, heptagram or nickserv, too? 01:39:01 finally 01:39:02 `quote 01:39:02 `quote 01:39:02 `quote 01:39:03 `quote 01:39:05 `quote 01:39:12 282) [After a long monologue] i think i have to escape this heated discussion before it becomes a flamewar 01:39:13 ais523: All good questions. 01:39:17 why can't hackego be more like shachaf 01:39:27 monqy: did you learn lens yet 01:39:29 Sometimes I suspect zzo38 of being a bot 01:39:31 808) Sleep on the ceiling next Sunday. 01:39:35 GreyKnight: he isn't 01:39:42 -!- Bike has left. 01:39:44 do we know for sure? 01:39:47 424) Look, I often walk my dog through a field with cows in it. And I punched myself in the face once. 01:39:47 zzo38 is reasonably hard to imitate, although you can imitate him if you want to anyway 01:39:49 529) OK, making myself emergency doctor on the advice of IRC. 01:39:54 EgoBot: did you learn lens yet? 01:39:57 185) Oh. Stuff that uses actual physical numbers stemming from science. Bleh *gets bored* 01:40:01 172) well i just ate some stuff and watched family guy and i own a piano and i'm not wearing socks 01:40:12 @tell bike we miss you 01:40:13 Consider it noted. 01:40:28 449) Sgeo_, the origin of suffering is desire for e-book readers. 01:40:29 EgoBot: I miss you, too! 01:40:35 Linux umlbox 3.0.8-umlbox #2 Sun Nov 13 21:30:28 UTC 2011 x86_64 GNU/Linux 01:40:35 EgoBot: where are you? 01:40:46 851) `welcome Rawlie * zzo38 has joined #esoteric thank you You're welcome. 01:40:47 340) How to make a tasty deep-fried treat: 1) Buy ingredients: Large vat of boiling oil, dry ice and a small Filipino boy. 2) Place Filipino boy in dry ice until frozen solid. 3) Shatter now-frozen Filipino boy into boiling oil. 4) Wait fifteen minutes, drain and enjoy! I have the weirdest boner right now. 01:40:47 36) `translatefromto hu en Hogy hogy hogy ami kemeny How hard is that 01:41:13 TheSmooze: kill HackEgo plz 01:41:16 or we will never get it synchronised 01:41:19 851 actually made me laugh out loud (in real life) 01:41:29 mostly because of the , admittedly 01:41:51 340 is the worst there 01:41:53 it just isn't funny 01:41:58 `echo im done 01:42:01 good, because that was the funny part of it 01:42:06 im done 01:42:12 elliott: it might not be 01:42:17 remember it's asynchronous 01:42:20 `echo im really reallydone 01:42:22 @@ @echo @echo @echo @echo 01:42:23 echo; msg:IrcMessage {msgServer = "freenode", msgLBName = "lambdabot", msgPrefix = "shachaf!~shachaf@unaffiliated/shachaf", msgCommand = "PRIVMSG", msgParams = ["#esoteric",":@@ @echo @echo @echo @ 01:42:23 echo"]} rest:"echo; msg:IrcMessage {msgServer = \"freenode\", msgLBName = \"lambdabot\", msgPrefix = \"shachaf!~shachaf@unaffiliated/shachaf\", msgCommand = \"PRIVMSG\", msgParams = [\"#esoteric\",\" 01:42:23 :@@ @echo @echo @echo @echo\"]} rest:\"echo; msg:IrcMessage {msgServer = \\\"freenode\\\", msgLBName = \\\"lambdabot\\\", msgPrefix = \\\"shachaf!~shachaf@unaffiliated/shachaf\\\", msgCommand = \\\" 01:42:23 PRIVMSG\\\", msgParams = [\\\"#esoteric\\\",\\\":@@ @echo @echo @echo @echo\\\"]} rest:\\\"echo; msg:IrcMessage {msgServer = \\\\\\\"freenode\\\\\\\", msgLBName = \\\\\\\"lambdabot\\\\\\\", msgPrefix 01:42:23 = \\\\\\\"shachaf!~shachaf@unaffiliated/shachaf\\\\\\\", msgCommand = \\\\\\\"PRIVMSG\\\\\\\", msgParams = [\\\\\\\"#esoteric\\\\\\\",\\\\\\\":@@ @echo @echo @echo @echo\\\\\\\"]} rest:\\\\\\\"\\\\\\ 01:42:23 im really reallydone 01:42:25 \"\\\"\"" 01:42:30 340 is bad 01:42:43 I think lambdabot just threw up 01:42:47 shachaf............................................ 01:42:49 okay i will assume HackEgo synchronised up now 01:42:50 `quote 01:42:50 `quote 01:42:51 `quote 01:42:51 `quote 01:42:53 `quote 01:42:56 but 340 01:42:58 Uhh. What does @@ do? 01:42:59 can I delete 340 anyway? 01:43:01 179) That is the mark of Gregor right there. tswett: except that Gregor didn't write that It's still the mark of Gregor. 01:43:03 ais523: sure 01:43:07 @help @ 01:43:07 @ [args]. 01:43:08 monqy: what 01:43:08 @ executes plugin invocations in its arguments, parentheses can be used. 01:43:08 The commands are right associative. 01:43:08 For example: @ @pl @undo code 01:43:08 is the same as: @ (@pl (@undo code)) 01:43:28 @help @@ 01:43:28 help . Ask for help for . Try 'list' for all commands 01:43:31 elliott: we'll delete it once this quoteset happens 01:43:37 so as not to get confused about the numbers 01:43:39 ais523: if it ever happens 01:43:48 19) IN AN ALTERNATE UNIVERSE: there is plenty of room to get head twice at once 01:43:51 140) Sgeo: hahaah, and i love when they announced it i dare u to press alt f4 and your house ( acts 16:31 your bible) 01:43:53 675) The book "Science Made Stupid" ends with a list of things that might happen in the future (some already have), one of them is a woman president. Some things in the list are reasonable but a few are just funny instead. 01:43:53 615) anyway fungot is the only esolang irc bot I know of that doesn't depend on nethack or a similar helper 01:43:56 there it is 01:44:00 `delquote 340 01:44:09 ... 01:44:10 ​*poof* How to make a tasty deep-fried treat: 1) Buy ingredients: Large vat of boiling oil, dry ice and a small Filipino boy. 2) Place Filipino boy in dry ice until frozen solid. 3) Shatter now-frozen Filipino boy into boiling oil. 4) Wait fifteen minutes, drain and enjoy! I have the weirdest boner right now. 01:44:13 OK, 614 is good 01:44:13 ais523: now we'll just get confused about the numbers in this batch 01:44:17 I won't! 01:44:27 i'll just use the old numbers to talk about them 01:44:32 I don't really get 674 01:44:33 140 is really good 01:44:42 hmm, it's about middle for fungot, IMO 01:44:43 ais523: mr president, the aim of which is to issue a statement making it absolutely clear: wood is an industrial commodity under community law. 01:44:52 ais523: it's "acts 16:31 your bible" that makes it 01:45:00 like it says some crap and can't even think of a proper citation 01:45:06 OK 01:45:22 ^style irc 01:45:23 Selected style: irc (IRC logs of freenode/#esoteric, freenode/#scheme and ircnet/#douglasadams) 01:45:24 19 is not really out of character for bsmntbombdood, so I don't see why the alternate universe is required 01:45:39 you can't really delete 19 01:45:43 It's part of a series I think 01:45:44 178 is quite funny 01:45:45 without also deleting 10 other classic quotes or so 01:45:47 yes 01:45:51 deleting 1 01:46:00 I don't personally like 615 that much 01:46:05 675 isn't that great either tho 01:46:06 I'd delete 674, I think 01:46:32 I'll let you 01:46:36 can't delete a zzo quote personally 01:46:41 `delquote 674 01:46:41 or 614? 01:46:44 ​*poof* The book "Science Made Stupid" ends with a list of things that might happen in the future (some already have), one of them is a woman president. Some things in the list are reasonable but a few are just funny instead. 01:46:48 I like 614 01:46:57 the thing with fungot and zzo quotes 01:46:57 ais523: i just checked, and the whole purpose of this is not necessary.... 01:47:07 is that those people say a lot of good quotable things 01:47:11 like that one, for instance 01:47:15 fungot does not approve of quote game 01:47:15 GreyKnight: down comforter! vectors are no match for " fnord 01:47:26 and yet people sometimes quote the bad ones instead :( 01:47:35 `quote 01:47:35 `quote 01:47:36 `quote 01:47:36 `quote 01:47:36 `quote 01:47:43 @quote 01:47:44 companion_cube says: why bother with complicated abstractions like monads, when you can enjoy the taste of the sun on your skin? 01:47:47 `addquote [after a session of saying five quotes and deleting one] ais523: i just checked, and the whole purpose of this is not necessary.... 01:47:48 ais523: in this case is a huge installed base out there, whatever it's failings? :) i'm implementing the rabin-miller strong pseudoprime test, etc. 01:47:50 10) 11 holes for me :D 01:48:00 ais523: "saying"? 01:48:00 860) [after a session of saying five quotes and deleting one] ais523: i just checked, and the whole purpose of this is not necessary.... 01:48:05 err, right 01:48:09 `delquote 860 01:48:13 `addquote [after a session of requesting five quotes and deleting one] ais523: i just checked, and the whole purpose of this is not necessary.... 01:48:14 ais523: this sucks. eval evaluates my sexp on top level. no such semantics exists. cps is inherently a monadic entity. if you 01:48:22 ​*poof* [after a session of saying five quotes and deleting one] ais523: i just checked, and the whole purpose of this is not necessary.... 01:48:41 how about just "after a quote deletion session" 01:48:47 hmm, OK 01:48:48 That is seriously shockingly coherent for fungot 01:48:49 Sgeo|web: and the smooth stream in smoother numbers fnord that hasn't come up one single time i try i get new messages.) to google, some eileen cohen died last may. 01:48:54 but I'm really confused about the async dependencies now 01:48:56 565) if all my Facebook friends were to visit a page, it wouldn't make any difference at all 01:48:56 678) Here in Scotland we have a rigorous and well-tested theory of brothels. 01:48:58 399) Dear eHow: Please don't assume that my toilet works like that Or, at least, my toilet looks different 01:48:58 778) 99 bugs in the bug tracker, 99 reports of bugs. Take one down and commit a fix, 106 bugs in the bug tracker. 01:49:09 861) [after a session of requesting five quotes and deleting one] ais523: i just checked, and the whole purpose of this is not necessary.... 01:49:16 haha, it's 861 as well 01:49:17 10 is a bit boring 01:49:18 as expected 01:49:22 `delquote 860 01:49:28 No output. 01:49:30 `delquote 860 01:49:33 No output. 01:49:36 that didn't work 01:49:38 need to wait a bit 01:49:43 no, it did 01:49:52 the conflict was resolved the correct way after all 01:49:57 if I add another quote now it'll be 860 01:50:08 `addquote [after a quote deletion session] ais523: i just checked, and the whole purpose of this is not necessary.... 01:50:09 ais523: why not? is there a way to transmit any information between two numbers, and outputs a scheme program. in this case 01:50:11 860) [after a quote deletion session] ais523: i just checked, and the whole purpose of this is not necessary.... 01:50:14 se 01:50:16 *see 01:50:19 ais523: well it is meant to say *poof* 01:50:23 your delquotes actually did nothing 01:50:24 it did 01:50:27 for the first delquote 01:50:31 01:49:22 `delquote 860 01:50:32 01:49:28 No output. 01:50:32 01:49:29 `delquote 860 01:50:32 01:49:33 No output. 01:50:38 those were the second and third 01:50:40 anyway let's start again 01:50:41 `quote 01:50:42 `quote 01:50:42 `quote 01:50:42 `quote 01:50:44 `quote 01:50:49 which were intended to do nothing if the conflict went the right way 01:50:52 62) i am sad ( of course by analogy) :) smileys) 01:50:53 and to fix it if it went the wrong way 01:50:54 108) [...] i'm a law student so i am loving my bread machine 01:51:00 OK, 62 is funny 01:51:09 108 is also quite good 01:51:18 754) and then I spent much of the rest of the time trying to work out how to implement 3D Hashlife efficiently when at least one of the colors has free will 01:51:18 I can imagine fungot proudly standing over its bread machine 01:51:19 ais523: it does... on edwin it doesn't for me. i could case me through it, with which i'm unfamiliar? 01:51:21 108 is better than 62 I think 01:51:24 359) The eigenratio of reality has to be enormous, though. 01:51:25 agreed 01:51:26 382) " Damn right!" wouldn't be much of a quote :P 01:51:38 754 is good, and I still want to know the solution to that 01:51:48 -!- Phantom_Hoover has quit (Remote host closed the connection). 01:51:48 382 is not very good 01:51:51 agreed 01:51:53 agreed 01:51:54 I was going to say 382 too 01:52:02 so I will 01:52:04 382 01:52:08 `delquote 382 01:52:12 ​*poof* " Damn right!" wouldn't be much of a quote :P 01:52:12 I kind of want to know the solution to 754 as well :-o 01:52:12 How does a color have free will? 01:52:14 `quote 01:52:14 `quote 01:52:15 `quote 01:52:15 `quote 01:52:15 `quote 01:52:23 (also, the question) 01:52:26 Sgeo|web: if there's a human controlling what it does 01:52:27 721) Quinary computers replace the cache with a quiche. 01:52:37 GreyKnight: this is related to elliottcraft 01:52:37 ohh 01:52:54 = minecraft + elliott - mine ? 01:53:07 silly humans thinking they have free wil 01:53:11 771) Very much like "cen" is Latin for "horse", "yak" is Latin for "yak". 01:53:11 354) I think I managed something like a one-expression increment that was only a few hundred characters long 01:53:14 385) elliott: His mouse obeys the law of the excluded middle :/ 01:53:14 which is, basically, something I've been inventing which has a very slight resemblance to minecraft, and also a slight resemblance to Rubicon 01:53:19 89) I perceived it so hard I actually went away :O 01:53:28 and is named after elliott rather than me because it's rare to name personal projects after someone else 01:53:59 those are all good IMO 01:54:01 well, I like minecraft, rubicon, and Life, so this can only lead to good things 01:54:13 i request monqy's vote 01:54:14 yeah 01:54:19 it doesn't hurt my head nearly as much as Feather 01:54:28 it's just "this is too big a task for me", rather than "ouch stop thinking about it" 01:55:28 elliott: idk but what's a mouse obeying the law of the excluded middle supposed to mean 01:55:38 monqy: that's a good question 01:55:39 should we find out 01:55:53 monqy: it means that either the mouse, or not the mouse 01:55:54 no exceptions 01:56:01 `pastlog elliott: His mouse obeys the law of the excluded middle :/ 01:56:10 WHAT'S WITH PASTLOG? 01:56:22 * Sgeo|web shoves an e into everyone 01:56:28 Sgeo|web: it's like `log except not today 01:56:30 hi 01:56:30 pastlog 01:56:30 is a command 01:56:39 pastlog and pastelog both being commands is annoying 01:56:39 No output. 01:56:42 @quote cheater 01:56:42 cheater says: drupal is a bit like working with the facebook api while someone keeps dropping concussion grenades in your office 01:56:42 @quote cheater 01:56:43 cheater says: let's all just delete haskell from our hdds and drink mercury 01:56:43 @quote cheater 01:56:43 because one looks like a typo for the other 01:56:43 cheater says: and i'm kinda like an ad-hoc dr phil. 01:56:43 @quote cheater 01:56:44 cheater says: every time kmc trolls, i troll through his actions. 01:56:44 @quote cheater 01:56:44 cheater says: let's all just delete haskell from our hdds and drink mercury 01:56:46 also pastlog often doesn't work 01:56:49 It's a command that hasn't worked the times I saw it tried to be used 01:56:50 should call it pastalog or passedlog 01:56:56 due to hackego timing out 01:57:08 shachaf: please stop bot abusing 01:57:24 What's the difference? 01:57:24 -!- greyooze has joined. 01:57:26 there's a difference between running commands because the output is interesting / aids a conversation 01:57:32 and also: the first #esoteric meeting ever <-- that's really never happened? 01:57:33 and running commands to try to spam the channel to make a point 01:57:46 greyooze: it almost did 01:57:57 that time when fizzie was a train 01:58:08 that is the log I am quoting from 01:58:42 -!- GreyKnight has quit (Ping timeout: 255 seconds). 01:58:52 -!- greyooze has changed nick to GreyKnight. 01:58:59 `pastelogs elliott: His mouse obeys the law of the excluded middle :/ 01:59:12 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.27584 01:59:32 there's some continued discussion later on about other people here who have actually met 01:59:45 `logurl 2011-07-01 01:59:47 http://codu.org/logs/log/_esoteric/2011-07-01 01:59:48 I think it was concluded that none of those meetings were #esoteric meetings 02:00:03 elliott: it seems to have been mostly out of context 02:00:15 hm 02:00:25 `quote meeting 02:00:28 202) 22:55 < qfr> How am I supposed to develop software in Haskell if I can't even prepare my projects in UML?! It seems like an impossible task. HAHA [...] this is amazing, like meeting a Mormon or something 02:00:30 apparently the context is http://www.youtube.com/watch?v=Iu6lgNgAH38 o rsomething 02:00:37 i have not watched this video 02:00:40 i wonder if it is worth watching??? 02:00:47 it's hard to know 02:00:48 preliminary observations suggest no 02:01:01 hmm 02:01:07 I remember a particularly frustrating argument in another channel 02:01:18 `quote 02:01:18 `quote 02:01:18 `quote 02:01:18 `quote 02:01:18 `quote 02:01:20 I think context is actually http://www.youtube.com/watch?v=myfZ8hmmApE ? 02:01:21 `quote 02:01:22 where I was trying to explain that I could have a good idea that something wasn't worth watching without watching it 02:01:24 fuck 02:01:24 monqy: haskell supports uml though 02:01:26 i accidentally did one too many 02:01:31 well let's just ignore the last one 02:01:36 `unquote 02:01:38 483) I MIGHT BECOME GHOST 02:01:44 Wait, no, firs tlinked video makes more sense 02:01:49 602) You know what annoys me about Deep Space 9. It wasn't in deep space. It was orbiting Bajor. 02:01:59 * ais523 wonders if YouTube has a "random video" button 02:02:02 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: unquote: not found 02:02:04 Google needs a "random webpage" button 02:02:22 Yeah, context is the Iu6 02:02:26 obviously Bajor is in deep space 02:02:38 830) My latest FB post: The worst part of floating point math is not the fact that 0.1 + 0.2 yields 0.30000000000000004, but trying to explain to people why their language is horribly broken if 0.1 + 0.2 does NOT yield 0.30000000000000004. 02:02:40 well so is Earth, right? 02:02:43 405) Deewiant: Well, I guess you could argue so. But to me a it's not a real clobbering if you can still tell there was something that got clobbered. 02:02:43 464) You realise the micromanagement it took to make quintopia encrust my silver throne with emeralds rather than a jug? 02:02:47 152) dc -e '[a=]P?[b=]P?[dSarLa%d0 152 is awesome 02:03:10 hmm, earth isn't even in space, I think 02:03:16 464 is one of the better DF quotes 02:03:33 830 is pretty insightful 02:04:39 hmm 02:04:42 let's just roll again 02:04:43 `quote 02:04:44 `quote 02:04:44 `quote 02:04:44 `quote 02:04:47 `quote 02:05:11 325) Google Maps has options for "avoid highways" and "avoid tolls", but no "avoid Chicago" 02:06:08 821) yeah well, petty theft > federal obstruction of justice 02:06:08 86) I don't know that I've ever heard apocalypi described in terms of depth ... 02:06:09 417) god created the natural numbers, the rationals were done by man and the work was finally completed (topologically) by satan himself 02:06:09 431) rest in peace lambdabot???? monqy: it'll probably be back later nap in peace 02:07:40 I vote for 821 and 431 02:08:06 you can only delete one!! 02:08:36 someone else vote then and we can see who wins 02:09:06 ais523: we need you 02:09:32 -!- TeruFSX has joined. 02:10:06 wb me 02:10:32 -!- GreyKnight has quit (Ping timeout: 250 seconds). 02:10:36 325 or 821 02:10:43 would have typed that faster but things kept stealing focus 02:11:01 the latest version of Ubuntu has fixed one focus-stealing monstrosity but added two more 02:11:12 431 is good 02:11:18 `quote 02:11:18 `quote 02:11:18 `quote 02:11:18 don't delete it 02:11:19 `quote 02:11:19 `quote 02:11:27 shachaf: yeah, 431 is good 02:11:35 elliott: I think I'm getting a little bored of pentaquoting, anyway 02:11:36 Is OpenSUSE better than Kubuntu? 02:11:45 519) I'm sacrificing the animals, then I'm going to bed. 02:11:47 ais523: maybe that means there are no bad quotes left 02:11:57 hmm 02:11:59 We could always add some! 02:12:01 `addquote hi 02:12:01 most of the DF quotes aren't so great 02:12:09 shachaf 02:12:11 no 02:12:17 shachaf: please 02:12:24 were you /always/ this immature, and I just didn't notice? 02:12:27 860) hi 02:12:30 o.O shachaf actually listens to me? This is scary. 02:12:32 or have you become less mature as you grew up? 02:12:33 `revert 02:12:35 `delquote 860 02:12:43 elliott: I was going to `delquote, but `revert works too 02:12:49 less typing 02:12:50 184) zzo38: A better definition would probably fix Avogadro's number. It's broken? 02:12:53 Done. 02:12:55 339) Oracle's awesome 02:12:57 also I think less unreliable 02:12:58 async-wise 02:12:58 596) fizzie: It's like a JIT, if JITs were... strings. 02:12:59 603) If you jump a car from a ramp and hit the wall of a building, in midair, you tend to get ejected up and fly to the sky-ceiling, then slowly slide at that height to one corner of the world; then you land, make a complicated spinning-around thing for a while, and then explode. Also probably works in real life? 02:13:01 184 is good 02:13:11 596 is good 02:13:15 339 is not good 02:13:17 ​*poof* hi 02:13:22 02:11:45 519) I'm sacrificing the animals, then I'm going to bed. 02:13:24 `pastelog Oracle's awesome 02:13:25 603 is good though 02:13:26 oh no..what got reverted..... 02:13:26 there's also this one in case you missed it 02:13:27 I must know the context 02:13:31 -!- GreyKnight has joined. 02:13:33 elliott: I mentioned it tangentially 02:13:35 it's not so good 02:13:43 I'd probably delete 339 though 02:13:52 I only just reconnected from the last failure! Furrfu 02:13:56 No output. 02:14:29 `delquote 339 02:14:32 ​*poof* Oracle's awesome 02:14:33 let's do one more 02:14:34 `quote 02:14:35 `quote 02:14:35 `quote 02:14:35 `quote 02:14:38 `quote 02:14:54 629) It's like single player Hackiki in a way(?) Ngevd: yes, but with multiple players. 02:14:54 688) i think i'll just take the usual route and go do post doc research somewhere far away and never come back and become a drug lord and kill myself 02:14:54 `pastelog Oracle.* 02:15:27 * tswett rolls out. 02:15:29 -!- tswett has left. 02:15:37 No output. 02:15:40 :/ 02:15:41 I like 629 02:15:45 I like 699 too but not as much 02:15:45 wtf was the context? 02:15:46 797) I couldn't survive an apocalypse. I don't even have any bitcoins. 02:15:48 111) we'd care about a turing-complete pencil 02:15:49 *688 02:15:50 850) omg that JIT is really amazing [...] I hear if you listen carefully to the rustling wind on a warm night with a full moon, you can hear the sound of the JIT building ARM functions. 02:15:53 797 is good 02:16:00 111 is true but not that funny 02:16:10 850 isn't so great either 02:16:48 what does it mean for a pencil to be turing complete.... 02:17:00 monqy: it's the same concept as USB sushi, really 02:17:58 btw, anyone follow tdwtf sidebar? there was the best snoofle post ever today 02:18:05 `delquote 111 02:18:15 ​*poof* we'd care about a turing-complete pencil 02:19:25 aw I liked 111 :< 02:21:07 pfffff 02:21:13 Fiora: hi 02:21:16 hi 02:21:30 `welcome elliott 02:21:36 elliott: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 02:21:57 shachaf… 02:22:02 " hi" has to be a quote 02:22:15 lest the meme be forgotten? 02:22:29 TheSmooze: does HackEgo have an ignore list? if so, you may want to consider adding shachaf to it 02:22:36 it does 02:22:42 it contains exactly one entry 02:22:52 fungot? egobot? 02:22:53 ais523: don't use modules i don't like it 02:23:17 ais523: For what reason? 02:23:19 ^bf ,[.,]!`echo test 02:23:20 `echo test 02:23:23 test 02:23:38 (http://codu.org/projects/hackbot/hg/index.cgi/file/9fe46bf600be/multibot_cmds/PRIVMSG/tr_60.cmd#l49) 02:23:42 TheSmooze: he's been repeatedly spamming bot commands, especially in the middle of conversations / attempts to use other bot commands, mostly using HackEgo, to no real benefit 02:24:14 -!- GreyKnight has quit (Ping timeout: 252 seconds). 02:24:36 elliott: Second opinion? 02:24:38 `addquote what does it mean for a pencil to be turing complete.... monqy: it's the same concept as USB sushi, really 02:24:46 858) what does it mean for a pencil to be turing complete.... monqy: it's the same concept as USB sushi, really 02:24:49 -!- GreyKnight has joined. 02:24:56 oerjan: OK, I like that followup quote 02:25:02 even if I was slightly aiming to be quoted there 02:25:06 usb sushi is dangerous. I think I would try to eat it 02:25:09 (USB sushi actually does exist, btw) 02:25:13 hmph 02:25:17 (although it's just sushi with an embedded flash drive) 02:25:33 `addquote usb sushi is dangerous. I think I would try to eat it 02:25:37 that reminds me of a previous quote 02:25:37 859) usb sushi is dangerous. I think I would try to eat it 02:25:40 although i don't know which 02:25:46 oh 02:25:49 it's monqy's first one 02:26:01 not the petrol quote? 02:26:19 maybe 02:27:00 there've been a few quotes like that 02:28:01 TheSmooze: I say yes. 02:28:38 shachaf: are you trying to apply reverse psychology? 02:28:51 olsner: if he said either no /or/ yes, would you believe him? 02:30:00 if he said yes, I would 02:30:15 but you wouldn't if he said no? 02:30:30 if he said no I would interpret it as yes and believe him 02:30:51 hmm, in which case there isn't much of a point in receiving an answer to the question 02:31:04 indeed 02:31:10 (it's still useful to some extent for its rhetorical effect) 02:31:17 I wonder if there's a name for this kind of question 02:32:12 rhetorical question 02:33:13 -!- greyooze has joined. 02:33:17 -!- GreyKnight has quit (Ping timeout: 252 seconds). 02:34:52 -!- carado has quit (Ping timeout: 246 seconds). 02:39:54 lament is so positive and full of hope in the 2003 logs 02:41:30 dawww 02:42:36 @tell tswett Wait, are you ihope?? 02:42:37 Consider it noted. 02:45:46 yes 02:46:52 tswett is ihope, also kerlo; elliott is alise, also tusho. or was that the other way around. 02:47:12 i contain multitudes 02:47:39 i am oerjan, also oerjan_. 02:48:30 oh, I forgot about tusho 02:48:33 `pastlog oerjan__ 02:48:39 -!- ais523 has changed nick to scarf. 02:48:45 haven't used this nick in a while 02:48:55 2012-04-09.txt:20:14:37: -!- oerjan is now known as oerjan__. 02:49:03 -!- greyooze has quit (Ping timeout: 252 seconds). 02:49:09 oerjan: Are you also oerjan__? 02:49:17 shachaf: no, that's me 02:49:31 i have irssi set only to know about oerjan_, so i dunno why i did that. 02:49:52 I am shachaf, also shachaf_. 02:50:04 My Freenode account is named "Shachaf" for some reason, though. 02:50:10 I guess I was a bad person when I made it. 02:50:53 a Capital mistake? 02:52:21 -!- greyooze has joined. 02:53:05 poor greyooze will never know the secrets just revealed. 02:54:39 olsner is oerjan__ 02:55:22 instead he must make up his own false ones 02:56:08 oerjan: Are you also oerjan__? 02:56:13 shachaf: no, that's me 02:56:28 I provide citations! 02:56:58 zzo38: I wish to examine your gopherhole (nmiaow), can you recommend a client? 03:08:11 greyooze: What operating system? 03:11:12 -!- greyooze has quit (Ping timeout: 250 seconds). 03:11:33 someone should recommend an isp instead. 03:11:37 eep. MEMORY_MANAGEMENT bluescreen... I think I'm going to need to run some memtest tonight >_< 03:13:20 -!- TheSmooze has changed nick to Gregor. 03:13:35 “Starting today, we're no longer accepting new sign-ups for the free version of Google Apps (the version you're currently using).” 03:14:00 Takin' all bets on how much time there is between that and “Starting next month, we're canceling all free memberships. You can upgrade for the low low price of money!” 03:16:27 it's ok the world ends in two weeks anyway 03:16:35 * oerjan hides under rock 03:22:02 :t select 03:22:03 Not in scope: `select' 03:22:03 Perhaps you meant `reflect' (imported from Control.Monad.Logic) 03:22:10 @hoogle select 03:22:10 Graphics.Rendering.OpenGL.GL.Selection module Graphics.Rendering.OpenGL.GL.Selection 03:22:10 Graphics.Rendering.OpenGL.GL.Selection Select :: RenderMode 03:22:10 Text.Html select :: Html -> Html 03:22:45 hm must be a privately defined function 03:25:28 Gregor: nice. 03:37:55 google gotta get paid 03:38:34 -!- Bike has joined. 03:38:50 Bike: welcome back!!!!!! 03:39:42 what is love 03:39:42 Bike: You have 1 new message. '/msg lambdabot @messages' to read it. 03:39:58 hi 03:41:21 So, Radixal!!!! isn't quite what I'd hoped. I was hoping for something similar to MISC, but with an absurdly awkward encoding. 03:43:54 misc the oisc? why? 03:44:34 Just fit my imaginings of how this weird-radix language would work. 03:44:56 Main thing is, I don't see a lot of individual digit manipulation, which would have all the deliciously weird effects we want. 03:45:30 needs moar intercal operators 03:50:33 I'm kinda not of the esolang design of “pile every weird feature together and see what happens” X-D 03:50:48 I prefer “choose a few particularly weird features and make everything else relatively straightforward” 03:51:13 well, i meant the "mingle" operator or whatever it is 03:51:34 maybe just have the builtin arithmetic be digit-wise only 04:12:12 -!- scarf has quit. 04:15:08 -!- nys has quit (Quit: quit). 04:18:03 -!- torwier has joined. 04:18:48 -!- torwier has quit (Client Quit). 04:20:52 did you know that 10.5 / 7 is 1.5? 04:20:54 kinda weird 04:22:09 * shachaf isn't following. 04:24:45 that's all 04:25:10 did you know 105/70 is also 1.5? 04:25:33 I'm sure you didn't check that it was right shachaf 04:26:47 kmc: did you know that 0.01 + 0.001 + 0.0002 + 0.00003 + 0.000005 + 0.0000008 + 0.00000013 + ... (fibonacci numbers, shifted one digit to the right every time) is *exactly* equal to 1/89? 04:27:05 well I mean the limit is 1/89 if you take an infinity of numbers 04:27:20 I find that amazing 04:27:33 among other things it means that it will repeat after some time 04:29:05 sum(F_n/10^n)/10, hm... 04:30:00 have a good time proving it; if I recall correctly the 89 comes as 10^2-10-1 or something 04:31:11 seems about right 04:31:52 that's why of the reasons why 89 is my favourite number 04:32:04 one* 04:36:17 Arc_Koen: woah 04:36:27 I KNOW RIGHT 04:36:55 so there's a closed form for fibonacci numbers 04:37:13 Arc_Koen: 89 should only be your favorite number if you think 10 is important. 04:37:16 But 10 is the devil. 04:37:20 eh, why wouldn't there be? 04:37:33 yeah I know there was something wrong with that 04:37:42 I wonder if it works with some other bases too 04:37:58 I seem to remember wondering the same thing back in high school when I first discovered that 04:38:21 but also, it's not the only reason why 89 is my favourite number; others involve the year 1989 04:38:22 b^2-b-1 should work similarly, i should think 04:38:40 i meant "so, there's a closed form for fibnacci numbers, that should help in proving it" 04:38:49 oh, sorry 04:39:14 http://www.wolframalpha.com/input/?i=sum(F_n%2F2%5En)%2F2 and apparently it does work. 04:41:28 (100-10-1)*F_1/100 + (100-10-1)*F_2/1000 + (100-10-1)*F_3/10000 + ... = 1 - F_2/1000 + (100-10-1)*F_3/10000 + ... 04:42:00 because F_1 = F_2 = 1 04:42:25 hm wait 04:43:41 silly those have the same sign, don't cancel 04:43:55 hi 04:44:31 hi quintopia 04:44:58 other interesting properties I remember, sum(F_k up to k = n+2) = F(n+2) + 1 04:45:00 or something like that 04:45:11 = F_n + 1, I mean 04:45:19 you could probably do it with the generating function 04:45:52 I had made a program to display the sequence on my calculator and it should also display the sum 04:46:27 and at some point I noticed it and thought "wait, is that really the sum? is that a bug?" 04:47:01 is it possible to permanently trcik steam into thinking i'm in russia? know any good russia proxy? 04:48:19 > let fib = fix((0:).scanl(+)1) in fib 04:48:21 [0,1,1,2,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2584,4181,6765,10946... 04:48:36 > let fib = fix((0:).scanl(+)1) in scanl1(+)fib 04:48:38 [0,1,2,4,7,12,20,33,54,88,143,232,376,609,986,1596,2583,4180,6764,10945,177... 04:49:14 oerjan: Hah, that's a nice way of looking at it. 04:49:15 looks like - 1 to me 04:50:56 btw the true fibonacci sequence starts with 1 1 04:50:57 not 0 1 04:51:37 there is no true fibonacci sequence 04:51:48 i consider F_0 = 0 to be an important term in the sequence 04:52:03 or the function 04:52:08 actually it's F_0 = 1 F_1 = (sqrt(5)+1)/2 04:52:09 yeah, especially when computing the sum 04:52:35 * oerjan swats shachaf -----### 04:53:00 like, can you tell me whether n(n+1)/2 is sum(k, k=1..n) or sum(k, k=0..n)? I can never remember that 04:53:21 * oerjan swats Arc_Koen -----### 04:54:36 we calculated here on the channel once that gcd(F_m, F_n) = F_gcd(m,n) 04:55:10 you need to put F_0 = 0 for that 04:56:20 > fix(scanl(+)1) 04:56:22 [1,2,4,8,16,32,64,128,256,512,1024,2048,4096,8192,16384,32768,65536,131072,... 04:56:50 that sequence looks familiar 04:56:59 eerily 04:57:03 I'm gonna try to spend the next two hours sleeping 04:57:15 have fun 04:57:23 bye 04:57:40 -!- Arc_Koen has quit (Quit: Comment on appelle un mec qui pilote un avion ?). 04:58:50 > scanl(+)1[1,1,2,3,5] 04:58:51 [1,2,3,5,8,13] 05:05:56 -!- quintopia has quit (Ping timeout: 252 seconds). 05:16:29 -!- quintopia has joined. 05:43:31 `quote 05:43:39 `quote 05:43:40 `quote 05:43:40 `quote 05:43:41 `quote 05:43:48 582) An 'ad hobbitem' fallacy is when you try to undermine someone's credibility by referring to how hairy his/her feets are. 05:43:50 141) Vonlebio: well, i'm only back in denmark because my work visa expired. please insert token to continue. 05:44:15 227) who is guido van rossum you could say he's a man who grew a beard but acquired none of the associated good properties 05:44:16 83) Making a small shrine to Lawlabee in my basement is something I should get around to at some point. 05:44:19 795) < oklopol> oh god another crazy haskell understander < oklopol> i have to leave 05:44:53 795? 141? 83? 05:45:00 oh hey, 795 is about me 05:45:07 hi coppro 05:45:12 141 is great. 83 is meh 05:45:12 Are you a crazy Haskell understander? 05:45:20 I think I was at the time maybe 05:58:44 `delquote 83 05:58:46 `quote 05:58:47 `quote 05:58:49 ​*poof* Making a small shrine to Lawlabee in my basement is something I should get around to at some point. 05:58:50 243) lol @ closed character set standard "What does this codepoint represent?" "Nobody knows." 05:59:08 448) beautiful summer / fuck fuck fuck fuck fuck fuck fuck / fuck fuck fuck fuck fuck 05:59:41 `quote 05:59:41 `quote 05:59:42 `quote 05:59:47 476) software patents strike again that's got to be at least three times, now are they out yet? 06:00:03 335) two quotes about quotes about django I guess the worst part is that I appear in all three hackego quotes about django 06:00:07 666) why not just give the gays their own state so people could finally pray in peace 06:16:13 -!- oerjan has quit (Quit: leaving). 06:22:19 `quote 06:22:22 366) I used to be more irritated by alcohol Sgeo: you're not supposed to put it in your eyes 06:27:29 `quote django 06:27:32 276) django is named after a person? thought it would be a giraffe or something \ 324) `quote django ​352) django is named after a person? thought it would be a giraffe or something thankfully only one \ 325) `quote django ​352) django is named after a person? thought it would be a giraffe or something 06:28:44 django is sort of this black hole of the quotiverse, sucking everything in to a singularity about one quote 06:38:21 `delquote 352 06:38:24 ​*poof* Sgeo: also do you know how to write a parser monqy, how hard could it be? 06:38:29 `delquote 325 06:38:32 ​*poof* `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 06:38:50 ugh 06:38:52 `undo 06:38:55 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: undo: not found 06:39:01 `revert 06:39:01 `revert 06:39:04 Done. 06:39:07 :0 06:39:13 `quote 352 06:39:14 monqy: What's :0? 06:39:19 352) I hope type inference isn't difficult 06:39:19 :-0 06:39:23 Done. 06:39:24 ... crap 06:39:28 `quote 352 06:39:31 352) I hope type inference isn't difficult 06:39:40 `quote django 06:39:44 276) django is named after a person? thought it would be a giraffe or something \ 324) `quote django ​352) django is named after a person? thought it would be a giraffe or something thankfully only one \ 325) `quote django ​352) django is named after a person? thought it would be a giraffe or something 06:39:49 `delquote 325 06:39:54 ​*poof* `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 06:40:05 actually you know what? 06:40:07 monqy: You grew a nose? 06:40:07 352 sucked anyway 06:40:13 :--0 06:40:18 :⿐0 06:40:30 :-: 06:40:39 `quote 06:40:42 610) I'd insult you behind your back, but I don't care which side of your back I insult you on. 06:40:50 `bedtime 06:40:53 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: bedtime: not found 06:41:41 monqy: did you learn lens yet 06:41:52 : 06:41:59 : 06:50:38 > 06:52:08 -!- monqy has quit (Quit: hello). 07:00:46 Now I made the "stretcher" command in Csound, and I like the effects it make! 07:01:49 // ares stretcher ain, idelay, xduty, [kfeedback], [kscanspeed] == Rapid stretch and unstretch the signal 07:01:56 hi zzo38 07:02:41 Hello 07:04:38 -!- Sgeo|web_ has joined. 07:06:17 -!- Sgeo|web has quit (Ping timeout: 245 seconds). 07:09:47 shachaf: I'm telling you. 07:09:53 shachaf: 目鼻口 07:10:53 O 鼻! 07:48:20 -!- Bike has quit (Ping timeout: 255 seconds). 07:49:42 -!- epicmonkey has joined. 07:50:25 -!- Bike has joined. 08:23:59 -!- Bike has quit (Quit: dead). 08:37:12 -!- zzo38 has quit (Remote host closed the connection). 08:53:31 -!- epicmonkey has quit (Ping timeout: 244 seconds). 09:17:41 -!- TeruFSX has quit (Ping timeout: 248 seconds). 09:56:54 -!- nooga has joined. 10:03:08 -!- Zerker has joined. 10:04:35 -!- evitable has joined. 10:09:43 eyenosemouth 10:27:01 -!- epicmonkey has joined. 10:58:48 -!- Zerker has quit (Quit: Colloquy for iPad - Timeout (10 minutes)). 11:19:43 If BB is the busy beaver function, is there an n such that, if BB(n) were known, it could be used to solve the halting problem? 11:21:52 -!- SingingBoyo has quit (Ping timeout: 255 seconds). 11:51:37 -!- carado has joined. 12:11:41 -!- evitable has quit (Ping timeout: 276 seconds). 12:19:30 -!- sebbu has quit (Read error: Connection reset by peer). 12:20:06 -!- sebbu has joined. 12:20:06 -!- sebbu has quit (Changing host). 12:20:06 -!- sebbu has joined. 12:20:17 Just because my project has some security issues doesn't mean I need to allow XSS as well 12:55:00 -!- monqy has joined. 12:59:48 -!- Nisstyre has quit (Read error: Connection reset by peer). 13:11:42 -!- epicmonkey has quit (Ping timeout: 255 seconds). 13:18:21 -!- Nisstyre has joined. 13:24:05 -!- Nisstyre has quit (Ping timeout: 248 seconds). 13:26:49 -!- cokel has joined. 13:28:00 -!- cokel has quit (Client Quit). 13:55:17 -!- carado has quit (Ping timeout: 246 seconds). 13:57:59 -!- Taneb has joined. 14:31:10 -!- Phantom_Hoover has joined. 14:32:53 Phantom_Hoover, any reply to the complainant? 14:33:00 from, rather. 14:33:30 not afaik 14:33:43 nope 14:34:20 i think the proper term is 'complainer' 14:34:28 Who knows 14:35:17 i know it's the correct term in scots law 14:50:10 Fuck Python, Fuck PubNub, Fuck the idiot called "Sgeo" who apparently doesn't know how to program without millions of global variables 14:51:23 have you considered getting professional help for your habit of randomly ejaculating your opinions on languages into the channel 14:51:25 Sgeo|web_, does Sgeo know how to get a slice of an array in Haskell? 14:52:11 It's something I can google.. 14:53:09 PubNub is not a language. I am also not a language. 14:54:15 pubnub just sounds like some sort of euphemism 15:29:04 * FreeFull fucks Sgeo|web_ 15:30:57 -!- carado has joined. 15:34:53 `welcome carado 15:35:05 carado: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 15:35:28 is carado related to corrado i wonder 15:37:13 -!- monqy has quit (Quit: hello). 15:37:35 -!- ogrom has joined. 15:38:02 -!- ogrom has left. 15:40:28 -!- hellok has quit. 15:45:42 I think carado is correlated with corrado. 15:46:43 corrado ? i have no idea what thas is. 15:50:05 corrado bohm is a guy 15:52:50 oh. what do he do ? 15:53:15 -!- FreeFull has quit (Ping timeout: 260 seconds). 15:53:55 I need something recreational to do while I relax my mind from programming for maybe half an hour 15:54:18 -!- FreeFull has joined. 15:54:31 I still feel like a shitty programmer. I can't blame the language for my globals abuse, the way I do with LS 15:54:32 LSL 15:56:25 is lsl really your main programming experience 15:58:14 -!- sirdancealot7 has quit (Ping timeout: 240 seconds). 15:59:01 It's one of the significant ones 15:59:23 Not the only significant one though 16:04:41 -!- GreyKnight has joined. 16:09:51 @tell ais523 There is a local company called AIS Gas. Thought you should know. 16:09:52 Consider it noted. 16:10:02 -!- Sgeo|web_ has quit (Ping timeout: 245 seconds). 16:10:21 @tell ais523 what does the i in your name stand for 16:10:22 Consider it noted. 16:10:48 Imogen 16:11:46 !! 16:13:52 (joke: I actually don't know) 16:14:09 neither do i 16:14:21 iambic? 16:14:29 maybe we could do that birmingham #esoteric meetup and i could threaten him 16:15:25 I think this is one of the few channels I would consider meeting people from. The crazy population seems quite low here 16:15:37 (Or, at least, we are all crazy in a good way) 16:16:10 Maybe i is for ichneumon O_O 16:16:30 or the crazies have been quiet lately 16:16:52 i thought 'ian' first, but he said it wasn't and iirc he gave no comment on 'ivan' 16:18:04 idocrase 16:19:16 imaginative, that is quite appropriate 16:19:24 iconoclast? 16:19:38 that would be quite the irony, after all 16:20:53 Perhaps he won't come to a meetup on account of being immiscible 16:21:36 Maybe the I stands for I 16:22:15 It's I all the way down 16:22:25 I wonder if the a stands for a. 16:23:03 nah, we know it stands for alex 16:23:18 maybe 'ivanovich'? 16:24:34 Alex A. Aleksyich 16:26:44 icosahedron 16:28:50 guys help I have an email in my inbox with the subject "Esolang e-mail from user "Star651"" 16:28:55 should I open it 16:28:57 yes 16:29:01 yes you should 16:29:05 Why shouldn't you 16:29:25 Deewiant: his languages are too innovative 16:29:28 It's not going to explode 16:29:36 emailbomb 16:29:37 What do you know, it might be an e-mailbomb 16:29:39 elliott: "too innovative" in what sense 16:29:40 Damn it, Phantom_Hoover 16:29:42 emaillang 16:29:45 Deewiant: in... well have you seen them 16:29:52 elliott: Yes 16:30:17 open! 16:30:25 anyway I preemptively blame whoever 86.146.80.103 is 16:30:43 How many non-deterministic esolangs are there? 16:31:11 http://esolangs.org/wiki/Category:Nondeterministic http://esolangs.org/wiki/Category:Probabilistic count 'em 16:31:16 Does C++ count 16:31:31 Not many 16:31:44 Jafet: C++ isn't esoteric 16:31:55 -!- Nisstyre has joined. 16:32:21 this email confuses me 16:32:27 ...just confusing 16:32:38 C++ is the most esoteric 16:33:22 * FireFly wonders whether APL would qualify for an article on the wiki 16:33:58 not really 16:34:03 maybe a brief mention 16:34:13 APL makes more sense to me than C++ some days... 16:34:43 apl mainly just has ultra-terse syntax, it's only viewed as 'esoteric' because of that law kmc so loves to mention 16:34:49 It's certainly an experiment in a seldom-used direction 16:34:55 APL has been successfully used by *managers*, it can't be that esoteric :o) 16:35:15 Phantom_Hoover, which law? 16:35:26 uh 16:35:30 walders 16:35:39 waddlers? 16:35:46 wadlers, that's it 16:36:00 http://uncyclopedia.org/wiki/Haskell 16:36:09 oh joy, an uncyclopedia article 16:36:12 apparently there's also "Walder coined "Walder's Law" which stated that the first speaker at any 1922 Committee meeting was insane." 16:36:28 -!- Nisstyre has quit (Ping timeout: 244 seconds). 16:36:38 what if APL was invented by the first speaker of a 1922 committee meeting 16:36:43 if you think APL's unusual feature is its terse syntax you don't know much about APL 16:36:57 elliott, i didn't say 'unusual' 16:38:32 -!- Jafet has quit (Quit: Leaving.). 16:38:53 APL is perler than perl 16:40:20 But being unusual alone doesn't make a language esoteric; Haskell and Lisp aren't really esoteric. 16:41:14 If you put a million monkeys at a million keyboards, one of them will eventually write a valid C++ program. The rest will write valid Perl and TECO programs. 16:41:34 not if you put them at APL keyboards? 16:42:38 We couldn't get funding for a million APL keyboards :-( 16:42:58 Put a million monkeys at a million apl keyboards, and each of them will write some version of Windows 16:43:46 -!- Nisstyre has joined. 16:44:03 Is there such a thing as an invalid TECO program? 16:44:36 I can see an article about sed, dc and m4 being worthwhile. 16:47:05 and Ursala, though it claims to be a non-esoteric language 16:47:07 -!- Nisstyre_ has joined. 16:47:24 FireFly, I don't think so? Not 100% sure 16:48:11 -!- Nisstyre has quit (Ping timeout: 260 seconds). 16:48:20 -!- Nisstyre_ has changed nick to Nisstyre. 16:54:45 elliott, so what did he have to say 16:54:53 still confused 16:54:55 olsner: i love ursala 16:54:58 -!- Nisstyre has quit (Read error: Operation timed out). 16:56:17 isn't that the crazy functional language written by a bank manager or something 16:56:48 I thought Ursala was a disney character 16:57:16 no that's ursula 16:57:29 https://github.com/gueststar/Ursala/blob/master/contrib/sudoku.fun 16:58:08 ur-salad 16:58:16 I want to write code that goes "~&al?\~&ar ~&aa^&~&afahPRPfafatPJPRY+ ~&farlthlriNCSPDPDrlCS2DlrTS2J" and know what it does 16:58:33 It doesn't look like it involves bears 16:59:55 Are you sure that isn't just embedded Malbolge or something? 17:01:17 -!- sirdancealot7 has joined. 17:01:29 it seems to come with a thing to make it comprehensible 17:03:44 * FreeFull has written code like 0!0@8r0@10r^0@19r+10r1%xMp0 before 17:03:46 olsner, are you sure the garbled strings aren't bytecode 17:04:22 "Pointer expressions such as ̃&nSiiDPSLrlXS from Listing 1.2, are a [shorthand] for a great variety of frequently occurring patterns." 17:04:45 hmm 17:04:50 The most obscure thing I've written is probably gen =: * @: (=&3@:] + =&3@:-~) +/^:2 @: (offsets & |.) 17:05:16 which isn't all that bad :( 17:05:27 wait, who was the last poor bastard trying to do an eodermdrome interpreter 17:05:34 monqy knows a fair amount of ursala 17:05:39 Phantom_Hoover: bike 17:05:52 "shorthand" 17:06:06 The code I posted just now is ibniz :D 17:06:08 did he get anywhere 17:07:02 It's a stack-based language where all opcodes are one character ( number constants are up to 9 characters though, eg FFFF.FFFF ) 17:12:55 -!- GreyKnight has quit (Ping timeout: 252 seconds). 17:16:59 -!- Zerker has joined. 17:26:53 -!- Zerker has quit (Quit: Colloquy for iPad - Timeout (10 minutes)). 17:27:56 -!- Bike has joined. 17:33:44 -!- Nisstyre has joined. 17:50:25 oi oerjan (future oerjan) 17:50:40 your bct program's subgraphs aren't encoded correctly 17:51:13 wait they are i'm just reading the wrong way 17:54:56 -!- sirdancealot7 has quit (Read error: No route to host). 17:55:30 -!- sirdancealot7 has joined. 18:15:33 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 18:17:10 -!- Taneb has quit (Quit: Leaving). 18:18:48 kmc: http://lens.github.com/ 18:21:01 lenses remind me of ursala's pointer expressions 18:22:25 -!- TeruFSX has joined. 18:24:31 -!- ion has joined. 18:24:32 shachaf: woah, nice 18:25:00 I think this was easier in Python 18:26:28 did you put this together shachaf ? 18:26:37 No, edwardk did. 18:27:06 ok 18:27:11 you were working on lens docs, though, right? 18:28:19 A bit. 18:28:29 More on the code than the documentation. 18:29:19 * shachaf is meaning to write some sort of introduction but hasn't gotten to it yet. 18:29:36 You should go to edwardk's talk talk in NYC! 18:29:42 I guess that's a bit far. 18:33:21 I wonder whether he'll talk about prisms. 18:33:34 -!- Taneb has joined. 18:37:49 what are prisms? 18:38:01 -!- TeruFSX2 has joined. 18:38:23 Extrusions of a plane in a perpendicular dimension 18:38:44 Prisms are colenses. 18:38:56 Prisms : sums = lenses : products. 18:39:06 kmc: first-class patterns 18:39:12 isomorphisms that are partial in one direction 18:39:20 That too. 18:39:53 Lens s t a b = (s -> a, (s, b) -> t) 18:39:54 Like either? 18:40:05 Deewiant: like "left" or "right" 18:40:06 Prism s t a b = (b -> t, s -> Either t a) 18:40:12 or "just" 18:40:22 stab 18:40:22 @ty strippingPrefix 18:40:23 Not in scope: `strippingPrefix' 18:40:23 Perhaps you meant `stripPrefix' (imported from Data.List) 18:40:32 @type Data.List.Lens.strippingPrefix 18:40:33 (Eq a, Applicative f, Prismatic k) => [a] -> k ([a] -> f [a]) ([a] -> f [a]) 18:40:40 a good type signature 18:40:41 @ty view 18:40:42 MonadReader s m => Getting a s t a b -> m a 18:40:53 Getting a stab????? 18:41:22 so s=t, a=b is a simple useful case right 18:41:25 so let me think about that first 18:42:09 (a -> s, s -> Either s a) 18:42:25 In that can you can just think of it as (a -> s, s -> Maybe a) 18:42:30 ok, that's what i suspected 18:42:49 kmc: _just :: Prism (Maybe a) (Maybe b) a b :: (b -> Maybe b, a -> Either (Maybe b) a) 18:42:55 but in the more general case, what do you return when the match "fails"? 18:42:59 (The Either is just a trick to make sure you can set s=t) 18:43:05 It's like Left. The two things you can do with Left is match on it (that's s -> Maybe a) and construct (Left x) from (x) (that's a -> s). 18:43:08 (For the laws to hold for any lenslike you need to be able to set s=t, a=b) 18:43:27 (i.e. putting the same type back in as you got out) 18:43:38 Also my signature was wrong. 18:43:58 You can think of _left as (a -> Either a b, Either a b -> Maybe a) 18:44:12 But it's actually (a' -> Either a' b, Either a b -> Either (Either a' b) a) 18:44:31 why 18:44:33 (obviously if it's actually a Right, you can set the first type parameter to anything) 18:44:37 kmc: so you can change the type 18:44:56 data Foo a = Foo { bar :: [a] } -- you can make a proper lens for bar in lens but not other lens libraries 18:45:02 _bar :: Lens (Foo a) (Foo b) [a] [b] 18:45:11 (But that's not relevant to the core idea of prisms.) 18:45:17 yeah i get that 18:45:24 so it's just the same thing for prisms 18:45:28 right 18:46:03 kmc: basically you can make a lens for each element of a product 18:46:06 (e.g. each field of a record) 18:46:11 and a prism for each alternative of a sum 18:46:15 (e.g. Left/Right) 18:47:05 so i could use _left to write a function of type (Either Int Bool) -> (Either String Bool) which applies 'show' to Left values and leaves Right values alone 18:47:16 yep 18:47:19 over _left show 18:47:24 or _left %~ show 18:47:37 out of curiosity how many infix operators does this library define 18:47:39 99 18:47:41 a lot 18:47:46 Exactly 99 18:47:47 but most of them follow a common pattern 18:48:00 like foo +~ bar is foo %~ (+bar) 18:48:04 you can mix these prisms with other lenses too 18:48:12 Partial lens -> Prism 18:48:14 v v 18:48:15 Most of them are for arithmetic 18:48:15 Lens -> Iso 18:48:32 like you can do _left._1 %~ show 18:48:52 Look at my fancy commutative diagram! 18:48:52 which applies "show" to the first element of the tuple in a "Left" and leaves "Right _" unchanged 18:48:57 :t _left._1 %~ show 18:48:58 (Show a, Field1 a1 b a String) => Either a1 c -> Either b c 18:49:04 cool 18:49:09 (Show a) => Either (a,b) c -> Either (String,b) c 18:49:18 modulo the typeclasses for tuples of arbitrary (up to 9) size 18:49:21 yeah 18:49:23 arbitrary, n. <= 9 18:49:24 There's another one that goes Lens -> {PartialLens, NonEmptyTraversal} -> Traversal 18:49:42 kmc: you can also do 18:49:46 > 123 ^. remit _left 18:49:47 Left 123 18:49:50 which is not very exciting on its own of course 18:50:00 that's the (a' -> Either a' b) part 18:50:16 > "prefix" ^. strippingPrefix "pre" 18:50:17 Not in scope: `strippingPrefix' 18:50:17 Perhaps you meant `stripPrefix' (imported ... 18:50:21 > "prefix" ^. Data.List.Lens.strippingPrefix "pre" 18:50:23 Not in scope: `Data.List.Lens.strippingPrefix' 18:50:27 hmph 18:50:36 > Unsafe.Coerce.unsafeCoerce "hi" 18:50:38 Not in scope: `Unsafe.Coerce.unsafeCoerce' 18:51:05 > (Left (1,2), Right ()) & both._left._1 %~ show 18:51:07 (Left ("1",2),Right ()) 18:51:13 > (Left (1,2), Left (3,"x")) & both._left._1 %~ show 18:51:15 No instance for (GHC.Num.Num [GHC.Types.Char]) 18:51:15 arising from the literal ... 18:51:17 er, right 18:51:19 > (Left (1,2), Left (3,4)) & both._left._1 %~ show 18:51:21 (Left ("1",2),Left ("3",4)) 18:51:23 would need type signatures for that 18:51:49 Type signatures? 18:52:01 for the forall 18:52:34 MSPA is back up 18:54:03 what's "remit" do? 18:54:20 kmc: well, prism is (b -> t, s -> Either t a) 18:54:25 remit gives you the (b -> t) part as a Getter 18:54:58 so _left is (Left, \x -> case x of Left a -> Right a; Right a -> Right a) (the use of Either makes this confusing...) 18:55:03 remit _left = to Left 18:55:42 99 operators but a switch ain't one 18:56:03 kmc: you can imagine view patterns working with prisms also 18:56:16 foo (_left -> x) = ... 18:56:33 or even a language where all pattern-matching is based on prisms -- i.e. instead of "Left" being a constructor, it would be a prism: 18:56:39 foo (Left x) = ... 18:56:40 > (xor) <$> [0..15] <*> [0..15] 18:56:41 [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,1,0,3,2,5,4,7,6,9,8,11,10,13,12,15,1... 18:56:50 problem is that they can only view single values -- it separates sums and products 18:56:57 i.e. if you have data Foo a b = Foo a b | ... 18:57:01 the prism has to view (a,b) or whatever instead 18:57:07 elliott: You can use partial lenses to view sums of products. 18:57:09 I reeeally took a liking to Control.Applicative once I got introduced to it 18:57:13 They work fine, you just can't reconstruct from them. 18:57:16 shachaf: yeah 18:57:59 elliott: The worst part about PartialLens is that it would require a mempty-only version of Monoid to do "properly". 18:58:20 isn't that class called Default or something? 18:58:38 it's called "meaningless" :( 18:58:42 instance Default m => Pointed (Const m) where ... 18:58:47 :-( 19:03:56 How can partial lenses be so great while Pointed is so terrible? 19:04:00 it don't add up 19:05:44 shachaf: btw I think the pointed package has that instance 19:06:05 Oh, so it does. 19:11:32 kmc: http://hackage.haskell.org/package/acme-comonad 19:15:30 heh 19:41:27 A nice package indeed 19:58:15 -!- iamcal_ has joined. 20:00:36 -!- iamcal has quit (Remote host closed the connection). 20:00:50 -!- iamcal_ has changed nick to iamcal. 20:26:13 “I am the princess of the night. Thus it is my duty to come into your dreams.” Creeeeepy 20:41:09 -!- Vorpal has joined. 20:55:14 -!- TeruFSX has quit (Ping timeout: 252 seconds). 20:55:45 -!- TeruFSX2 has quit (Ping timeout: 276 seconds). 21:01:43 -!- zzo38 has joined. 21:02:36 The units of measurement for DVI is specified in the header in decimicrons, as a fraction. For some reason, the number TeX puts there is not in lowest terms. Do you know why? 21:13:00 microns? Seriously? 21:13:00 Vorpal: You have 1 new message. '/msg lambdabot @messages' to read it. 21:13:11 @messages 21:13:12 elliott said 19h 45m 29s ago: hi was just talking about you today!! 21:13:18 elliott, oh? 21:13:35 @tell elliott oh? 21:13:36 Consider it noted. 21:13:43 brb 21:14:13 Vorpal: Actually, decimicrons. 21:14:46 Which is one tenth of one micron. And it is fraction of decimicrons so it can be smaller than that. 21:15:20 also why not call it micrometre which is the official name of that unit 21:15:37 anyway that precision is quite extreme 21:17:56 A micron is the same as a micrometre, but this is a decimicron. 21:18:39 so a decimicrometre 21:18:42 Yes. 21:19:21 TeX units are smaller, specifically 1/4736286.72 inch. 21:20:40 The Haskell typesetting library I made, uses the same units as TeX by default, but they are in lowest terms. 21:20:49 zzo38, and what is that in metric? 21:21:15 I think 1 inch = 2.54 cm 21:21:41 about 5.36 nm 21:22:16 i.e. "hey, you can google that!" 21:22:51 incidentally, that also brings up three earlier conversations in #esoteric mentioning this number 21:24:20 That was a weird. Our washing machine just... decided not to stop. The program select-o-tron went at least once if not twice through the "STOP" position, and it spent something like over three hours doing... something. 21:26:38 maybe someone tried to spin it backwards and broke the whole thing 21:26:55 the program wheel, that is 21:27:25 I don't think anyone did. I certainly didn't. 21:27:40 ouch 21:27:40 -!- Phantom_Hoover has joined. 21:28:04 When we stopped it and told it to run a "spin only" program, it did that and stopped normally. 21:28:15 So perhaps it was a transient failure. But it's still kind of weird. 21:30:29 It's also just a bit over 8 years old, and it coincidentally came with an 8-year optional extended warranty (that we didn't take). 21:34:00 -!- asiekierka has quit (Excess Flood). 21:35:28 -!- asiekierka has joined. 21:38:07 -!- ais523 has joined. 21:39:22 fizzie, heh 21:40:46 -!- Nisstyre has quit (Disconnected by services). 21:41:04 -!- Nisstyre has joined. 21:44:09 -!- TeruFSX has joined. 21:44:24 -!- TeruFSX2 has joined. 21:44:37 -!- GreyKnight has joined. 21:45:15 Did I miss the revelation of what the i in ais523 stands for? 21:45:44 more importantly, did i? 21:46:36 hmm I SUPPOSE I could check the logs 21:46:46 Hey, why are you more important than me?! 21:47:16 i've waited 21:47:17 for years 21:47:22 years 21:47:40 Phantom_Hoover, aren't you a few months younger than me? 21:47:54 as far as i know 21:48:00 what 21:48:00 elliott: You have 1 new message. '/msg lambdabot @messages' to read it. 21:48:07 presumably you're 18 by now 21:48:09 November 84 21:48:10 i thought Taneb was younger than me or something 21:48:12 *94 21:48:35 @tell Vorpal hi 21:48:35 Consider it noted. 21:53:21 -!- greyooze has joined. 21:53:33 Taneb, was there any actual reason for asking that 21:53:41 GreyKnight: get out, I am the superior clone! 21:53:53 ;_; 21:54:01 -!- GreyKnight has quit (Quit: sadface). 21:54:05 Phantom_Hoover, yes 21:54:07 Every reason 21:54:15 -!- greyooze has changed nick to GreyKnight. 21:54:48 any specific ones? 21:55:16 Yes 21:55:16 no, you don't understand 21:55:18 EVERY reason 21:55:32 washing machine or... time machine?!? 21:55:40 both! 21:55:49 ever wondered where the missing socks disappear to?! 21:56:01 the clothes inside experienced several weeks of time as they bounced back and forth between the beginning and end of the cycle 21:56:20 kmc: ok please write a film called washing machine or time machine 21:56:22 i would watch it 21:56:24 thanks 21:56:40 elliott: instead you should watch primer 21:57:06 Detention is a good film 21:57:30 Involving time travel 21:57:32 well, there's always Hot Tub Time Machine 21:57:34 It's a bad film otherwise 21:58:04 hot tub washing machine 22:00:55 fungot: should I learn more Haskell or do something else? 22:00:56 GreyKnight: http://esolangs.org/ wiki/ rail 22:01:31 fungot: 22:01:32 kmc: could you add these too? 22:02:00 fungot: 22:02:01 kmc: what's fnord errr 22:02:06 ^style 22:02:06 Available: agora alice c64 ct darwin discworld europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack pa qwantz sms speeches ss wp youtube 22:02:15 ^style qwantz 22:02:16 Selected style: qwantz (Dinosaur Comics transcriptions 2003-2011) 22:02:18 fungot: 22:02:19 kmc: people in car car simulator trucko boat 3. 22:02:25 fungot: 22:02:26 kmc: have i, perhaps, a hint! i bet it'll all come flooding, then i'll certainly be blue, or yellow! the orange one", " kinda weird hugs. it would be fun, eh? it's the problem with island gigantism: as soon as i realized it i get really cheezed 22:02:29 that was pretty interesting fungot, thanks! Even if your URL formatting does suck. 22:02:29 GreyKnight: a book by t-rex, ps, i was purple the entire time, t-rex, i think i've figured you out, my life is not that the cows could understand! 22:02:45 fungot: 22:02:46 kmc: like, say, a big meteor strikes! good to see you too, morris! how are you today, gertie! i've never been to the bottom of a bottle. i've never had a chance to 22:03:05 fungot: i have 22:03:06 kmc: it's so good, dromiceiomimus. i just invented. the point is that i came, i'd have to throw away a good chunk of it for the days i've already lived. 22:03:29 fungot, I've been to the bottom of a bottle... of milk! 22:03:29 GreyKnight: to to me, but you'd be spoiling ( in small text) crazy utahraptor! 22:04:13 ^style darwin 22:04:13 Selected style: darwin (Books by Charles Darwin -- you know, that evilution guy) 22:04:19 fungot 22:04:20 olsner: mr. washington matthews says, in ( boston journal :) natural history,' vol. ii. 1869, p. 139. on groups :) species,' in/ ( atti della soc. dei naturalisti,' 1867, p. 269), from/ rock-pigeon, or columba livia " including under this term several geographical races can be formed. 22:04:27 oh, that was not good 22:04:58 ^style fungot 22:04:58 Selected style: fungot (What I've said myself) 22:05:13 (Y fungot) 22:05:14 GreyKnight: it's what that guy in medina, a village near the mystic mountain" 65,000,000 b. c.? yes, i'd have done something very brave? fnord 06:22, 29, no. 2, 2, 3, 4, 8, 13, 1(::**) ...bad insn! 22:05:27 fungot: ♥ columba livia 22:05:28 kmc: more simply put: siod sucks as a general purpose ( similar, and i'd like to see that mystical forest powers, but this time on the impact of the introduction to theoretical computer, fnord of the fnord here is one that only takes predicates and has not named a 22:05:44 fnord of the fnord 22:05:53 not just your average fnord 22:06:15 Darwin and the smileys: will it never be fixed? 22:06:25 full disclosure: I made a typo in that post at first, but luckily I also failed to press the enter button properly. So I had a chance to edit it after all. 22:07:19 ^source 22:07:19 http://git.zem.fi/fungot/blob/HEAD:/fungot.b98 22:07:20 ^style 22:07:21 Available: agora alice c64 ct darwin discworld europarl ff7 fisher fungot* homestuck ic irc iwcs jargon lovecraft nethack pa qwantz sms speeches ss wp youtube 22:07:24 Oh 22:09:02 fizzie: how would one go about contributing to the styles list? I should like to make an RnRS style, if people would be amused by such. 22:09:13 It will handily distract me from doing something useful 22:10:12 GreyKnight, iirc fizzie runs some arcane perl script on a massive cluster at his work place to generate it or something, 22:10:12 Vorpal: You have 1 new message. '/msg lambdabot @messages' to read it. 22:10:16 @messages 22:10:16 elliott said 21m 42s ago: hi 22:10:34 @tell elliott Hi, how are you today? 22:10:34 Consider it noted. 22:11:45 ^style sms 22:11:45 Selected style: sms (National University of Singapore SMS corpus, 2011-08-20) 22:12:03 fungot: speak your mind 22:12:03 FireFly: me to ghar se h0kar 6 bje tk wapas ajana n lucky bhai ko b uthana paka n btata hu puri bt she didnt mind. he gv lv lttrs, bt her frnds threw me into a game to play, in the car haha. i'm at lvl. 22:12:31 ^style nethack 22:12:32 Selected style: nethack (NetHack 3.4.3 data.base, rumors.tru, rumors.fal) 22:12:35 fungot: speak your mind 22:12:35 FireFly: they say that an axe named cleaver once belonged to a philosophy of the alignment system,... 22:13:13 fungot: Please accept this donation 22:13:13 GreyKnight: they say that if you teleport to heaven is just a trick: once you know they sell kind of great dark worm, but snow white grew, it grants the one who sucks the blood of men whose very souls were under siege; men to whom death meant not mere extinction, but you can only hear your heartbeat. 22:13:35 Oh my 22:14:04 -!- Taneb has quit (Read error: Operation timed out). 22:16:43 GreyKnight: It's kind of documented at http://git.zem.fi/fungot/blob/HEAD:/varikn/readme.txt but I've kind of accepted the contributions in the format of the results of step 1, i.e. one-line-per-example-of-a-thing-for-fungot-to-say text files. 22:16:43 fizzie: ever tamed a shopkeeper? i wanted to think so, to have impersonated at various times a mare, flea, fly, falcon, by michael moorcock) 22:18:41 I used to have a program for it, but I've never released it anywhere, and most of the styles are done with VariKN now. 22:18:58 Except that 'irc' and the other "old ones" aren't. 22:19:06 -!- GreyKnight has quit (Ping timeout: 250 seconds). 22:19:37 -!- Arc_Koen has joined. 22:22:35 -!- GreyKnight has joined. 22:31:24 -!- GreyKnight has quit (Ping timeout: 264 seconds). 22:31:38 -!- GreyKnight has joined. 22:54:27 -!- Bike has quit (Quit: Reconnecting). 22:54:43 -!- Bike has joined. 23:05:31 -!- GreyKnight has quit (Ping timeout: 244 seconds). 23:07:57 -!- greyooze has joined. 23:08:46 -!- greyooze has changed nick to GreyKnight. 23:14:26 -!- oerjan has joined. 23:16:45 (Past) Phantom_Hoover: Whew! 23:17:14 time travel? 23:17:22 oerjan: Welcome to America! 23:17:22 elliott: You have 1 new message. '/msg lambdabot @messages' to read it. 23:17:57 -!- SingingBoyo has joined. 23:20:52 352 sucked anyway <-- i'm wondering if the quote database survived last night 23:21:53 `quote e 23:21:58 1) EgoBot just opened a chat session with me to say "bork bork bork" \ 2) Hmmm... My fingers and tongue seem to be as quick as ever, but my lips have definitely weakened... More practice is in order. \ 3) that's where I got it rocket launch facility gift shop \ 4) GKennethR: he should be told that you should always ask someone before killing them. 23:22:16 wait were people deleting quotes without me. 23:22:21 `quote ^[^e]*$ 23:22:23 I'll have you all hanged 23:22:25 56) hmm, this is hard \ 73) Ah, vulva. What is that, anyway? \ 98) Hooray! I'm an idiot. \ 310) 3 = 7/2 \ 555) lol :( \ 606) COCKS [...] truly cocks 23:22:38 elliott: it certainly looked messy 23:23:09 somehow not containing e improves 73 immensely 23:23:12 wtf 23:23:16 coppro deleted all the good django quotes 23:23:16 `help 23:23:19 Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ 23:23:26 `quote django 23:23:29 276) django is named after a person? thought it would be a giraffe or something \ 324) `quote django ​352) django is named after a person? thought it would be a giraffe or something thankfully only one \ 334) two quotes about quotes about django I guess the worst part is that I appear in all three hackego quotes about django 23:23:34 `revert 949 23:23:37 Done. 23:24:19 oerjan: have restored universal order & hth. 23:24:41 yw 23:24:44 `quote GreyKnight 23:24:47 856) 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 23:24:59 GreyKnight: these things take time 23:25:05 enjoying these log sgeo rants 23:25:09 -!- Nisstyre has quit (Quit: Leaving). 23:25:22 oerjan: I couldn't remember what it was I got quoted for! 23:25:44 <-- secretly a goldfish 23:25:56 15:29:04: * FreeFull fucks Sgeo|web_ 23:25:57 what. 23:26:07 oerjan: i think someone made this log up to confuse people 23:26:17 what log is this 23:26:19 FreeFull: please use a private channel next time okthxbye 23:26:22 elliott: He said "fuck sgeo" 23:26:33 Bike: that's a damn good question 23:26:52 all my questions are 23:27:08 FreeFull x Sgeo OTP 23:27:29 what log is this, to the tune of greensleeves 23:27:49 * FreeFull sails the ship 23:27:54 Arrr 23:28:15 what's OTP 23:28:34 some erlang thing 23:29:27 If BB is the busy beaver function, is there an n such that, if BB(n) were known, it could be used to solve the halting problem? <-- only for programs of size n, afaik 23:29:49 One True Pairing 23:30:04 hm no sgeo here 23:30:33 BB(inf) 23:31:07 -!- Nisstyre has joined. 23:32:16 @tell Sgeo BB(n) can be used to solve the halting problem for programs of size <= n. i suspect you can make some variation of the usual halting problem proof to show it won't help much above n, similar to how you prove the "banana scheme" hierarchy doesn't collapse 23:32:16 Consider it noted. 23:33:15 @tell Sgeo There are all these other kinds of similar hierarchy theorems in complexity etc., although i don't know this one specifically 23:33:15 Consider it noted. 23:35:14 i think the proper term is 'complainer' <-- complainteuriste hth 23:35:42 *complaint tourist 23:36:25 complaint tourist, n. someone who travels the Internet looking for things to moan about. 23:36:42 pubnub just sounds like some sort of euphemism <-- nubile pubes hth 23:36:42 (...I could give examples) 23:36:43 or travels to scotland and sues people? 23:37:15 that is a useful term, i'm going to go ahead and take it 23:39:15 Bike: i demand royalties for derivative work! 23:39:21 olsner, idk if it's used in civil law 23:39:50 hey Bike did you actually get anywhere with that eodermdrome interpreter 23:40:31 you already asked me that, and the answer is "eh" 23:41:17 is lsl really your main programming experience <-- hey don't dis him, my first C family language was LPC 23:41:38 first /= main 23:42:24 conjecture: the reason BF is so popular as a base for derivative esolangs is that it has a swearword in the name and most of the perpetrators are teenage boys 23:42:27 and my path to ed/vim went through the LPMud comment system :P 23:42:44 GreyKnight: fuck you 23:42:51 <- 42 23:42:59 Not even for your birthday 23:43:09 oh wait _derivatives_, ignore me then. 23:43:28 /ignore oerjan 23:43:32 oops 23:43:38 :v 23:44:57 i note there has been an eodermdrome interpreter, and there's a proof eodermdrome is tc, but they didn't exist simultaneously so no one's ever got to test it. 23:45:27 nobody has a copy of the interpreter anymore? 23:45:44 oklofok lost it, and i don't think he ever gave anyone a copy 23:45:45 -!- nooga has quit (Ping timeout: 260 seconds). 23:46:43 should be a SMOP 23:46:48 16:13:52: (joke: I actually don't know) 23:46:48 16:14:09: neither do i 23:46:53 i know *MWAHAHAHA* 23:46:56 me too 23:47:16 in fact i even found internet proof recently 23:47:17 :< 23:47:28 is it "Internet"? 23:47:35 wat 23:47:51 also, what's SMOP 23:48:00 Well. You never know. 23:48:12 small matter of programming? 23:48:25 precisely 23:48:45 i mean internet proof of what the I stands for 23:48:46 (usually used tongue-in-cheek) 23:49:18 Yes, I was suggesting that perhaps the I stands for "Internet" 23:49:22 nope 23:49:44 Well, I'm out of ideas 23:50:06 you know what the A and S stand for? 23:51:14 albatross sneezes 23:51:24 anachronistic seitch 23:51:24 yes, although I'm not sure if (a) I've remembered them correctly, and (b) if I'm okay to mention them on open channel anyway! 23:51:29 elliott: good, good 23:51:30 albatross imogen sneezes? 23:51:40 GreyKnight: you don't need to mention them 23:51:58 Phantom_Hoover, there was one of those in God-Emperor! 23:51:58 oh, sietch I mean 23:52:04 -!- monqy has joined. 23:52:13 monqy: hi 23:52:15 olsner: yes. 23:52:20 i'm not sure if i meant sietch or seitch 23:52:35 hello 23:52:35 monqy: You have 2 new messages. '/msg lambdabot @messages' to read them. 23:52:42 The Fremen word is "sietch", I don't know if "seitch" is a word 23:52:46 oh, it was a mixup of 'sietch' and 'seich'