00:01:05 <Gregor> “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 <Gregor> OK, I got to the first operation and now my head is spinning.
00:05:14 <Gregor> 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 <elliott> ais523: nice my irc client doesn't include the !s
00:06:19 <elliott> Radixal!!!! is an esoteric language created collaboratively by the #esoteric IRC channel on 7 December Category:2012.
00:06:55 <shachaf> http://esolangs.org/wiki/Radixal%21%21%21%21
00:07:28 <Gregor> “Radixal!!!! is not obviously either Turing-complete, or not Turing-complete”
00:12:58 <oerjan> isn't it also a problem that integer->digit is ambiguous?
00:14:16 <oerjan> ok there's a specification of which is chosen...
00:15:02 <Sgeo|web> I don't see how it's dififcult
00:15:12 <Sgeo|web> Is it possible to go over base 10?
00:15:13 <olsner> is it possible for same-length digit strings in different bases to have the same digit sum?
00:15:16 <Sgeo|web> If not, just try all the bases
00:16:23 <olsner> hmm, I read it as being arbitrarily large bases
00:16:46 <oerjan> olsner: "The accepted digits are 0, 1, 2, 3, 4, 5, 6, 7, 8, and 9"
00:16:50 <olsner> i.e. that the source is limited to base 10, but the internal representation is arbitrary-precision
00:17:08 <oerjan> olsner: the base is always 1+largest digit
00:17:34 <Sgeo|web> Let's say I want to encode the number eleven
00:18:39 <Sgeo|web> And since "102" contains the digit for base-1, it works
00:18:44 <lambdabot> (Integral a, Show a) => a -> (Int -> Char) -> a -> ShowS
00:18:51 <Sgeo|web> Although makes sense to keep checking for smaller working strings, I think
00:19:07 <Sgeo|web> Or maybe it should try in other direction, so strings would be smaller?
00:19:12 <Bike> hm, 23 should work too
00:19:34 <Sgeo|web> Oh, "lowest total sum of digits" hmm
00:19:46 <Sgeo|web> What happens if there's a tie?
00:20:13 <oerjan> @define radixals n = [rep | b <- [2..9], let rep = showIntAtBase b intToDigit n "", maximum rep == [show (b-1)]]
00:20:49 <Bike> i guess 102 would be the canonical version, then?
00:20:51 <oerjan> @define radixals n = [rep | b <- [2..9], let rep = showIntAtBase b intToDigit n "", maximum rep == [show (b-1)]]
00:20:53 <Sgeo|web> What happens if there's a tie among shortest?
00:21:16 <oerjan> @let radixals n = [rep | b <- [2..9], let rep = showIntAtBase b intToDigit n "", maximum rep == [show (b-1)]]
00:21:17 <lambdabot> Couldn't match expected type `Char' with actual type `[t0...
00:21:38 <oerjan> @let radixals n = [rep | b <- [2..9], let rep = showIntAtBase b intToDigit n "", [maximum rep] == show (b-1)]
00:22:09 <oerjan> @let radixals n = [rep | b <- [3..9], let rep = showIntAtBase b intToDigit n "", [maximum rep] == show (b-1)]
00:22:36 <Bike> > radixals 432
00:23:40 <Sgeo|web> 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 <olsner> I suspect that showIntAtBase takes a base
00:24:56 <Bike> > radixals 1999
00:25:13 <oerjan> @let radixals n = [rep | b <- [3..10], let rep = showIntAtBase b intToDigit n "", [maximum rep] == show (b-1)]
00:25:29 <Bike> >radixals 1999
00:25:49 <Bike> > radixals 1999
00:25:54 -!- nooga has quit (Ping timeout: 240 seconds).
00:26:06 <fizzie> Let's radixal like it's 1999?
00:26:28 <oerjan> well this cannot possibly be hard work, so someone is abusing lambdabot elsewhere
00:27:08 <Bike> "1999" is the answer.
00:27:10 <Sgeo|web> Oh, that would show up as [] I guess
00:27:38 <lambdabot> ["2202001","133033","30444","3717","1999"]
00:27:46 <Bike> or, i guess it's not! oops.
00:28:21 <oerjan> 2202001 has the smallest sum
00:28:26 <elliott> oerjan: you need more exclamation marks.
00:28:30 <olsner> hmm, maybe base 3 always wins
00:28:51 <oerjan> @let r!!!!x = radixals x
00:29:10 <lambdabot> ["2202112","133130","13152","5603","3734"]
00:29:20 <Bike> > radixals!!!! 5
00:29:34 <Bike> wait, what did I do wrong...
00:29:38 <Bike> oh. yes. silly me.
00:30:35 <Bike> > radixals!!!! 8
00:32:16 <Bike> i suppose it doesn't "win" if the base-3 doesn't work anyway.
00:32:30 <elliott> oh i guess 15 in base 6 is 11?
00:32:37 <elliott> i like how you can't do 10
00:32:46 <Bike> yeah, some numbers aren't representable, so
00:32:52 <elliott> > filter (null . radixals) [0..]
00:33:00 <olsner> Bike: yeah, so the lowest possible base perhaps?
00:33:01 <oerjan> > radixals!!!! 9 -- i think this won't be base 3 :P
00:34:05 <oerjan> i'm sure there must be something which doesn't give the lowest possible base
00:34:21 <olsner> ISTR that the optimal base (in terms of lowest number of digits on average) is e
00:34:59 <olsner> which is not exactly the same as the lowest digit sum, but fewer digits helps I guess
00:35:07 <oerjan> now i'm wondering if the tie breaker is sure to work
00:36:33 <Bike> 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 <olsner> 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 <oerjan> > [radixals!!!! n | n <- [0..]]
00:37:20 <lambdabot> [[],[],["2"],["3"],["4"],["12","5"],["20","6"],["21","13","7"],["22","8"],[...
00:37:36 <oerjan> > [radixals!!!! n | n <- [9..]]
00:37:38 <lambdabot> [["14","9"],[],["102","23","15"],["30"],["31","16"],["112","32","24"],["120...
00:38:18 <lambdabot> ["22121022020212200","13112330310111","223101104124","20130035113","3026236...
00:38:40 <oerjan> > [radixals!!!! n | n <- [15..]]
00:38:42 <lambdabot> [["120","33","17"],["121"],["122","25","18"],["200"],["201","103","34","19"...
00:38:42 <Bike> olsner: what about negative bases, huh!
00:38:55 <elliott> oerjan: imo define a reverse function
00:39:12 <oerjan> > [radixals!!!! n | n <- [19..]]
00:39:14 <lambdabot> [["201","103","34","19"],["202","40","26"],["210","41"],["211","42"],["212"...
00:39:17 <Bike> can't you just filter it to do the test for you
00:42:46 <oerjan> > [r' | n <- [0..], let r = radixals!!!!n; sm = minimum[sum(fromEnum r)]; r' = [s|s <- r, sum(fromEnum r) == sm]]
00:42:48 <lambdabot> Couldn't match expected type `[a0]'
00:44:26 <oerjan> > [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 <lambdabot> [[],[],["2"],["3"],["4"],["5"],["6"],["7"],["8"],["9"],[],["23"],["30"],["3...
00:45:33 <oerjan> that's of course wrong...
00:47:00 <olsner> looks like 2 wins about 99.2% of the first million integers
00:47:09 <olsner> and only 31 of them were impossible?
00:47:33 <fizzie> Both sum to 5, both have a length of 5.
00:47:52 <fizzie> Five, ten; what matter.
00:48:08 <Bike> well, five is 10 in base five
00:48:09 <Bike> so it's all good
00:48:11 <fizzie> (Found by a really crummy filter, that's why I did it in private.)
00:48:11 <olsner> hmm, nm, I forgot to sort by digit sum
00:48:14 <oerjan> ais523: your tie breaking is insufficient
00:49:18 <oerjan> @tell ais523 742 has two representations ["23212","10432"] that your tie breaking won't distinguish
00:50:02 <shachaf> 16:46 <elliott> newtype NonEmpty f a = NonEmpty a (f a)
00:50:21 <elliott> shachaf: It would be a good idea!!!
00:51:21 <oerjan> fizzie: hey my filter was even crummier! it didn't even work!
00:51:27 <Jafet> That's an advanced newtype
00:51:45 <olsner> if it's ambiguous it should just crash according to the same rule as binary numbers
00:52:58 <fizzie> oerjan: Mine only looked at cases where there were exactly two representations, and had a (\[a,b] -> ...) in it. :/
00:53:31 <elliott> fizzie: I bet you could use: LENS.
00:53:39 <fizzie> The opposite of fancy, I'd say.
00:54:19 <oerjan> elliott: could you educate fizzie on the meaning of OKAY, fancy and shocking plz?
00:54:34 <Gregor> ais523: I missed any/everything since my initial comments, but I don't see any reply by you, sooooooo.
00:54:43 <oerjan> understanding them yourself is optional.
00:55:46 <oerjan> (hm you might want to add that one)
00:55:48 <olsner> Gregor: what will you call your competitor for Radixal!!!!?
00:59:24 -!- GreyKnight has joined.
00:59:31 <oerjan> > [n | n <- [0..], null(radicals!!!!n)]
00:59:34 <GreyKnight> <zzo38> Is there any 3D modeling that you can write x^2+y^2+z^2=25 and it will work?
00:59:34 <lambdabot> Could not find module `Data.Monoid.Lens'
00:59:34 <lambdabot> It is a member of the hidden pack...
00:59:50 <oerjan> > [n | n <- [0..], null(radicals!!!!n)]
00:59:51 <lambdabot> Could not find module `Data.Monoid.Lens'
00:59:51 <lambdabot> It is a member of the hidden pack...
01:00:13 <oerjan> > [n | n <- [0..], []==radicals!!!!n]
01:00:14 <lambdabot> Could not find module `Data.Monoid.Lens'
01:00:14 <lambdabot> It is a member of the hidden pack...
01:00:15 <kmc> i don't remember if the old Mac OS graphing calculator could do that
01:00:22 <kmc> it was pretty sweet though
01:00:28 <lambdabot> Could not find module `Data.Monoid.Lens'
01:00:28 <lambdabot> It is a member of the hidden pack...
01:02:12 <oerjan> > 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 <lambdabot> Could not find module `Data.Monoid.Lens'
01:02:13 <lambdabot> It is a member of the hidden pack...
01:02:20 <oerjan> > 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 <lambdabot> Could not find module `Data.Monoid.Lens'
01:02:22 <lambdabot> It is a member of the hidden pack...
01:02:34 <lambdabot> Could not find module `Data.Monoid.Lens'
01:02:34 <lambdabot> It is a member of the hidden pack...
01:02:53 <lambdabot> Could not find module `Data.Monoid.Lens'
01:02:53 <lambdabot> It is a member of the hidden pack...
01:03:03 <elliott> your complaint has been relayed.
01:03:08 <oerjan> GreyKnight: i think lambdabot is seriously broken at the moment
01:03:36 <olsner> 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:40 <lambdabot> Could not find module `Data.Monoid.Lens'
01:03:40 <lambdabot> It is a member of the hidden pack...
01:04:33 <oerjan> GreyKnight: a quantum amount
01:04:50 <lambdabot> Could not find module `Data.Monoid.Lens'
01:04:50 <lambdabot> It is a member of the hidden pack...
01:05:48 <oerjan> olsner: hm a lot at about 27000
01:05:57 <GreyKnight> olsner: not in OEIS (is it interesting enough to submit?)
01:09:30 <fungot> 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:58 <FireFly> a number is radixal if it's expressible as a number in radixal?
01:10:30 <FireFly> Surprisingly few numbers that can't be represented that way
01:10:42 <fungot> 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 <olsner> 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:24 <fungot> Selected style: europarl (European Parliament speeches during approx. 1996-2006)
01:11:32 <oerjan> 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 <fungot> 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:12:00 <GreyKnight> fizzie: I think there might be a tiny bug in the discworld style
01:12:14 <oerjan> that gets harder and harder as the numbers get larger
01:12:59 <fizzie> Yeah, they're from elinks -dump or something.
01:14:26 <oerjan> `addquote <GreyKnight> fungot, sing me to sleep <fungot> 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 <GreyKnight> This is not a very good song
01:14:28 <fungot> 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 <HackEgo> 864) <GreyKnight> fungot, sing me to sleep <fungot> 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 <GreyKnight> This is not a very good song
01:14:49 <fizzie> Now my shame is immortal. :/
01:15:04 <HackEgo> 499) <fizzie> 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.) <fizzie> The "Why are you still asleep? I told the cat to wake you up." comment does come pretty close, though.
01:15:50 <HackEgo> 57) <oklopol> 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 <HackEgo> 845) <tswett> But let's ignore the fact that i doesn't exist. Is it even or odd?
01:15:50 <HackEgo> 718) * Phantom_Hoover moves 0.5 Phantom_Hoover into the Atlantic, and captures fizzie's upper body with 0.5 Phantom_Hoover. <fizzie> Glurk.
01:15:51 <HackEgo> 527) <elliott> well, oerjan has a lot of opinions on this, so I'll hand it over to him
01:16:35 <ais523> oerjan: bleh, I meant to put a tiebreak on the tiebreak, but forgot
01:16:35 <lambdabot> ais523: You have 1 new message. '/msg lambdabot @messages' to read it.
01:17:10 <GreyKnight> I don't know if I get a vote, but if so, rm 718
01:17:19 <oerjan> it's tiebreaks all the way down!
01:17:35 <Phantom_Hoover> GreyKnight, that quote from me was a continuous chess joke btw
01:18:01 <HackEgo> 7) <SimonRC> TODO: sex life \ 436) <NihilistDandy> Non sequitur is my forte <NihilistDandy> On-topic discussion is my piano <Taneb> Bowls of sugary breakfast cereal is my mezzoforte <Taneb> Full fat milk is my pianissimo <Taneb> On which note, I'm hungry
01:18:19 <HackEgo> 249) <ais523> gah, who'd have thought removing concurrency from algol could be so difficult \ 284) <zzo38> 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) <Gregor> You have no idea how desperately I want to avoid being a GC guy :P <Gregor> Every year I go to ISMM
01:18:21 <lambdabot> 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 <elliott> what if you used the redundant representations to express the inexpressable numbers.
01:19:27 <ais523> but the inexpressable numbers are the whole point
01:19:29 <Gregor> I didn't know I was supposed to @tell X_X
01:19:32 <ais523> do you like my output method, btw?
01:19:45 <ais523> it can't do prime codepoints, nor certain nonprime codepoints either
01:19:45 <Gregor> <Gregor> 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 <olsner> there are like 7 bases left over for each representable number
01:20:04 <HackEgo> *poof* <elliott> well, oerjan has a lot of opinions on this, so I'll hand it over to him
01:20:13 <elliott> ais523: that is pretty good except (a) you forgot a ")" (b) it doesn't involve !
01:20:27 <elliott> but making cat impossible is very cool and stupid
01:20:34 <ais523> you can make an approximate cat
01:20:34 <Sgeo|web> 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 <ais523> which chooses similar-looking codepoints
01:21:18 -!- greyooze has joined.
01:21:26 <ais523> Gregor: it's complete, there's no way to come up with an unrepresentable number
01:21:32 <ais523> because all the numbers are generated by converting back from digit strings
01:21:46 <greyooze> <GreyKnight> Phantom_Hoover: hm okay that context makes it better
01:21:47 <ais523> and if they're strings of 0s and 1s, we add an extra non-0 non-1 digit at the start
01:21:50 <greyooze> <GreyKnight> (continuous chess covers a multitude of sins)
01:22:16 -!- GreyKnight has quit (Ping timeout: 252 seconds).
01:22:31 <ais523> I imagine there aren't many unrepresentable numbers as you get higher up
01:22:39 <ais523> they'd have to be represented only with 0s and 1s in /every/ base
01:22:39 <Gregor> I guess the operation isn't that difficult, too… just go from base 10 down and choose whichever one works, if any.
01:23:01 <ais523> yeah, you basically only need to convert it to 8 different bases then compare
01:23:08 <Sgeo|web> Gregor: yes. If you've been paying attention, we implemented it and played with it quite a bit
01:23:11 <HackEgo> 756) <kmc> haters gonna make som valid points
01:23:15 <olsner> ais523: how about extending it to arbitrary bases instead of only going to base 10?
01:23:17 <Gregor> Sgeo|web: I haven't ;)
01:23:26 <Gregor> I was driving, making a phone call, ...
01:23:28 <oerjan> ais523: olsner found a surprising number just above 27000
01:23:41 <greyooze> 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:51 <HackEgo> 517) <Phantom_Hoover> Hmm, I really need to institute dwarven birth control.
01:23:54 <elliott> GreyKnight: it makes more sense in context
01:23:54 -!- Gregor has changed nick to TheSmooze.
01:23:58 <HackEgo> 434) <Vorpal> ais523, how are we supposed to guess before you tell us unless you give us more hints?
01:23:58 <HackEgo> 830) <oklopol> my best guess is 4 years ago but possibly also yesterday
01:23:59 <HackEgo> 110) <alise> cmake is a nuclear powered waffle iron powered by a burning-hot testicle attachment <alise> and it burns one of the waffles and doesn't touch the other.
01:24:22 <kmc> the cornballer!
01:24:29 <ais523> 830 and 110 are both good
01:24:39 <ais523> I don't really like 517 or 756
01:24:54 <ais523> although 756 is better out of those
01:25:08 <oerjan> <ais523> 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 <elliott> 434 is there to mock vorpal more or less
01:25:51 <TheSmooze> So, the tiebreaker should choose the shortest (first priority), lowest base (second priority), yes?
01:26:29 <oerjan> <greyooze> 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 <HackEgo> *poof* <Phantom_Hoover> Hmm, I really need to institute dwarven birth control.
01:26:32 <elliott> someone who hasn't been around Vorpal can't vote on mocks of him, of course
01:26:45 <elliott> oerjan: the joke is mainly the person I was getting to talk to you.
01:26:50 <GreyKnight> I met Vorpal a little bit in #feather-lang
01:27:09 <HackEgo> 226) <ais523> gah, why does lose keep winning?
01:27:10 <HackEgo> 287) <monqy> I've only watched bad movies about video game. I enjoyed every second of it. \ 324) <monqy> 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) <monqy> `quote django
01:27:25 <GreyKnight> it wasn't that bad, maybe I didn't get the full experience :-?
01:27:39 <elliott> Vorpal stopped being bad and started being boring so now we grudgingly accept his presence
01:27:45 <elliott> @tell Vorpal hi was just talking about you today!!
01:27:49 <elliott> thought he was in the channel but in fact he wasn't
01:27:54 <HackEgo> 802) <elliott> I couldn't survive an apocalypse. I don't even have any bitcoins.
01:27:54 <HackEgo> 454) <Taneb> So it's like... Rummy mixed with... breakout?
01:27:54 <HackEgo> 659) <monqy> i cnat eve begin to understand what you meant with that "one"
01:27:54 <HackEgo> 424) <Taneb> Look, I often walk my dog through a field with cows in it. And I punched myself in the face once.
01:27:59 <ais523> and zeroth priority is lowest sum of digits
01:28:05 <ais523> basically, because it's harder to game than other tiebreaks would be
01:28:13 <elliott> when was I funny enough to come up with 802
01:28:18 <elliott> this must be some other elliott
01:28:29 <ais523> and indeed out of character for you
01:28:38 <ais523> `pastlog survive an apocalypse.*bitcoins
01:28:50 <ais523> let's hope it hits the original quote, rather than the addquote
01:28:58 <Sgeo|web> `pastelog survive an apocalypse.*bitcoins
01:29:04 <FireFly> I like the recommended rejection method for binary numbers in Radixal programs
01:29:23 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.8553
01:29:37 <TheSmooze> <ais523> and zeroth priority is lowest sum of digits // I don't like this
01:29:40 <elliott> anyway i like all thoes quotes
01:29:48 <elliott> 659 is probably bad but it amuses me
01:30:06 <ais523> I don't know why 454 is funny, but it is
01:30:07 <TheSmooze> Because then we acknowledge that unrepresentable numbers exist.
01:30:15 <TheSmooze> Since they might be the sum of digits.
01:30:22 <HackEgo> 309) <tswett> Grr. Why does it exist? Why can't I kill it?
01:30:30 <ais523> TheSmooze: it's fine to acknowledge that, we acknowledge them on input too
01:30:37 <ais523> monqy: well it looks like an innuendo
01:30:43 <ais523> that's inherently funny
01:31:08 <HackEgo> 697) <fungot> [...] we choose only die fittest people of nigeria [...]
01:31:11 <HackEgo> 373) <coppro> elliott: actually, it's worse right now, I'm in the USA <coppro> where the solution to counterfeiting problems is "add more ink" <coppro> eventually all US bills will just be solid green
01:31:12 <HackEgo> 86) <Gregor> I don't know that I've ever heard apocalypi described in terms of depth ...
01:31:12 <HackEgo> 719) <kmc> damn i should make a quasiquoter for inline FORTRAN
01:31:19 <GreyKnight> I don't see how it looks like an innuendo either TBH
01:31:25 <ais523> btw, we've deleted approximately 31 quotes over approximately the last 6 months
01:31:41 <ais523> the `pastelog shows the quote number decreasing
01:31:55 <lambdabot> cheater says: and i'm kinda like an ad-hoc dr phil.
01:31:56 <olsner> how many have we added in the same time?
01:32:00 <elliott> i think we deleted all of cheater's quotes
01:32:09 <GreyKnight> maybe we should get pizza and have a deletion party :>
01:32:11 <lambdabot> cheater says: drupal is a bit like working with the facebook api while someone keeps dropping concussion grenades in your office
01:32:23 <Sgeo|web> ais523: but quotes higher than that one won't show up as part of that quote's decrease
01:32:23 <elliott> it's not very good for a fungot quote
01:32:25 <fungot> 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:33 <HackEgo> *poof* <fungot> [...] we choose only die fittest people of nigeria [...]
01:32:33 <ais523> Sgeo|web: that's why "approximately"
01:32:39 <elliott> ais523: you could just look at `help
01:32:42 <elliott> or even hg log inside the vm
01:32:47 <GreyKnight> 697 or 309 (might be funnier with context)
01:32:55 <HackEgo> 195) <zzo38> Invent the game called "Sandwich - The Card Game" and "Professional Octopus of the World" (these names are just generated by randomly)
01:32:55 <lambdabot> No quotes match. My mind is going. I can feel it.
01:32:56 <HackEgo> 190) "Every physicist wants to violate Einstein, but thus far the great man has remained pretty chaste." --Kode Vicious
01:32:57 <lambdabot> No quotes match. Have you considered trying to match wits with a rutabaga?
01:33:21 <HackEgo> 394) <Phantom_Hoover> pikhq, living in the future sucks. <Phantom_Hoover> The past just keeps coming up to us and trying to make us feel guilty.
01:33:21 <HackEgo> 479) <itidus20> now theodore seuss is dead... so screw him
01:33:24 <HackEgo> 190) "Every physicist wants to violate Einstein, but thus far the great man has remained pretty chaste." --Kode Vicious
01:33:38 <ais523> has this ever happened before, and do we have rules for it?
01:33:57 <ais523> but 191 might be really good
01:33:58 <olsner> we could draw another quote, but then we've broken the rule of five
01:34:05 <shachaf> How many quotes are there?
01:34:14 <HackEgo> 191) <fizzie> The Perl script is probably slower than the Befunge code.
01:34:19 <ais523> `addquote <shachaf> How many quotes are there?
01:34:22 <HackEgo> 862) <shachaf> How many quotes are there?
01:34:46 <HackEgo> *poof* <shachaf> How many quotes are there?
01:34:50 <ais523> (this is /totally/ the official way to count quotes)
01:35:04 <fungot> 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 <HackEgo> 11) <fungot> GregorR-L: i bet only you can prevent forest fires. basically, you know. \ 15) <fizzie after embedding some of his department research into fungot> Finally I have found some actually useful purpose for it. \ 17) <fungot> 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:11 <oerjan> ais523: but you got a race condition on the number!
01:35:17 <elliott> 01:33:38 <ais523> has this ever happened before, and do we have rules for it?
01:35:22 <elliott> the rule is to start from scratch I think
01:35:30 <ais523> OK, that's a sensible rule
01:35:35 <olsner> delete the quote database and start over?
01:35:36 <GreyKnight> The pensioners' party want to do together :-o Try to prevent that eventuality, fungot!
01:35:37 <fungot> 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:39 <ais523> shachaf: stop botspamming
01:35:51 <HackEgo> 437) <elliott> 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 <HackEgo> 469) <itidus20> anyway, notational systems are a function of the euclidean plane
01:36:51 <ais523> 437 is not a good pun and it even doesn't work
01:37:24 <olsner> I think we have like 15 `quotes queued now
01:37:39 <HackEgo> 682) <tswett> 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. <tswett> He lives in Detroit. <tswett> I... think we might have found the wrong one.
01:37:42 <HackEgo> 314) <zzo38> <elliott> <quintopia> i know it's unusual, but i agree with you both to some extent
01:37:43 <HackEgo> 276) <ZOMGMODULES> elliott: parents who put just "Chris" on a birth certificate are... like parents who put just "Bob" on a birth certificate.
01:37:55 <HackEgo> 201) <Phatom__Hovver> LoTR actually compresses pretty well into a film; the large amount of description becomes unnecessary. <pikh> LotR would compress pretty well into a book; the large amount of description *is* unnecessary.
01:37:57 <HackEgo> 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 <HackEgo> 438) <zzo38> 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 <HackEgo> 36) <ehird> `translatefromto hu en Hogy hogy hogy ami kemeny <HackEgo> How hard is that
01:38:14 <HackEgo> 127) <Sgeo> Why shouldn't I just do everything in non-Microsoft-specific C#? <ais523> it's like trying to write non-IE-specific JavaScript with only Microsoft documentation and only IE to test on
01:38:41 <shachaf> Why can't HackEgo be more like lambdabot?
01:38:56 <ais523> shachaf: why can't it be more like, say, heptagram or nickserv, too?
01:39:12 <HackEgo> 282) [After a long monologue] <oklopol> i think i have to escape this heated discussion before it becomes a flamewar
01:39:13 <shachaf> ais523: All good questions.
01:39:17 <monqy> why can't hackego be more like shachaf
01:39:27 <shachaf> monqy: did you learn lens yet
01:39:29 <GreyKnight> Sometimes I suspect zzo38 of being a bot
01:39:31 <HackEgo> 808) <zzo38> Sleep on the ceiling next Sunday.
01:39:42 -!- Bike has left.
01:39:47 <HackEgo> 424) <Taneb> Look, I often walk my dog through a field with cows in it. And I punched myself in the face once.
01:39:47 <ais523> zzo38 is reasonably hard to imitate, although you can imitate him if you want to anyway
01:39:49 <HackEgo> 529) <Phantom_Hoover> OK, making myself emergency doctor on the advice of IRC.
01:39:54 <FireFly> EgoBot: did you learn lens yet?
01:39:57 <HackEgo> 185) <Sgeo> Oh. Stuff that uses actual physical numbers stemming from science. Bleh *gets bored*
01:40:01 <HackEgo> 172) <oklopol> well i just ate some stuff and watched family guy <oklopol> and i own a piano <oklopol> and i'm not wearing socks
01:40:28 <HackEgo> 449) <Phantom_Hoover> Sgeo_, the origin of suffering is desire for e-book readers.
01:40:29 <tswett> EgoBot: I miss you, too!
01:40:35 <HackEgo> Linux umlbox 3.0.8-umlbox #2 Sun Nov 13 21:30:28 UTC 2011 x86_64 GNU/Linux
01:40:35 <tswett> EgoBot: where are you?
01:40:46 <HackEgo> 851) <oerjan> `welcome Rawlie * zzo38 has joined #esoteric <Rawlie> thank you <zzo38> You're welcome.
01:40:47 <HackEgo> 340) <GregorR> 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! <CakeProphet> I have the weirdest boner right now.
01:40:47 <HackEgo> 36) <ehird> `translatefromto hu en Hogy hogy hogy ami kemeny <HackEgo> How hard is that
01:41:13 <elliott> TheSmooze: kill HackEgo plz
01:41:16 <elliott> or we will never get it synchronised
01:41:19 <ais523> 851 actually made me laugh out loud (in real life)
01:41:29 <ais523> mostly because of the <zzo38>, admittedly
01:41:51 <ais523> 340 is the worst there
01:42:01 <GreyKnight> good, because that was the funny part of it
01:42:12 <ais523> elliott: it might not be
01:42:17 <ais523> remember it's asynchronous
01:42:20 <elliott> `echo im really reallydone
01:42:22 <shachaf> @@ @echo @echo @echo @echo
01:42:23 <lambdabot> echo; msg:IrcMessage {msgServer = "freenode", msgLBName = "lambdabot", msgPrefix = "shachaf!~shachaf@unaffiliated/shachaf", msgCommand = "PRIVMSG", msgParams = ["#esoteric",":@@ @echo @echo @echo @
01:42:23 <lambdabot> echo"]} rest:"echo; msg:IrcMessage {msgServer = \"freenode\", msgLBName = \"lambdabot\", msgPrefix = \"shachaf!~shachaf@unaffiliated/shachaf\", msgCommand = \"PRIVMSG\", msgParams = [\"#esoteric\",\"
01:42:23 <lambdabot> :@@ @echo @echo @echo @echo\"]} rest:\"echo; msg:IrcMessage {msgServer = \\\"freenode\\\", msgLBName = \\\"lambdabot\\\", msgPrefix = \\\"shachaf!~shachaf@unaffiliated/shachaf\\\", msgCommand = \\\"
01:42:23 <lambdabot> PRIVMSG\\\", msgParams = [\\\"#esoteric\\\",\\\":@@ @echo @echo @echo @echo\\\"]} rest:\\\"echo; msg:IrcMessage {msgServer = \\\\\\\"freenode\\\\\\\", msgLBName = \\\\\\\"lambdabot\\\\\\\", msgPrefix
01:42:23 <lambdabot> = \\\\\\\"shachaf!~shachaf@unaffiliated/shachaf\\\\\\\", msgCommand = \\\\\\\"PRIVMSG\\\\\\\", msgParams = [\\\\\\\"#esoteric\\\\\\\",\\\\\\\":@@ @echo @echo @echo @echo\\\\\\\"]} rest:\\\\\\\"\\\\\\
01:42:47 <monqy> shachaf............................................
01:42:49 <elliott> okay i will assume HackEgo synchronised up now
01:42:59 <ais523> can I delete 340 anyway?
01:43:01 <HackEgo> 179) <tswett> That is the mark of Gregor right there. <ais523> tswett: except that Gregor didn't write that <tswett> It's still the mark of Gregor.
01:43:08 <lambdabot> @ executes plugin invocations in its arguments, parentheses can be used.
01:43:08 <lambdabot> The commands are right associative.
01:43:08 <lambdabot> is the same as: @ (@pl (@undo code))
01:43:28 <lambdabot> help <command>. Ask for help for <command>. Try 'list' for all commands
01:43:31 <ais523> elliott: we'll delete it once this quoteset happens
01:43:37 <ais523> so as not to get confused about the numbers
01:43:39 <elliott> ais523: if it ever happens
01:43:48 <HackEgo> 19) IN AN ALTERNATE UNIVERSE: <bsmntbombdood> there is plenty of room to get head twice at once
01:43:51 <HackEgo> 140) <fungot> 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 <HackEgo> 675) <zzo38> 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 <HackEgo> 615) <Vorpal> anyway fungot is the only esolang irc bot I know of that doesn't depend on nethack or a similar helper
01:44:10 <HackEgo> *poof* <GregorR> 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! <CakeProphet> I have the weirdest boner right now.
01:44:13 <elliott> ais523: now we'll just get confused about the numbers in this batch
01:44:27 <elliott> i'll just use the old numbers to talk about them
01:44:32 <ais523> I don't really get 674
01:44:42 <ais523> hmm, it's about middle for fungot, IMO
01:44:43 <fungot> 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 <elliott> ais523: it's "acts 16:31 your bible" that makes it
01:45:00 <elliott> like it says some crap and can't even think of a proper citation
01:45:23 <fungot> Selected style: irc (IRC logs of freenode/#esoteric, freenode/#scheme and ircnet/#douglasadams)
01:45:24 <ais523> 19 is not really out of character for bsmntbombdood, so I don't see why the alternate universe is required
01:45:39 <elliott> you can't really delete 19
01:45:45 <elliott> without also deleting 10 other classic quotes or so
01:46:00 <elliott> I don't personally like 615 that much
01:46:05 <elliott> 675 isn't that great either tho
01:46:06 <ais523> I'd delete 674, I think
01:46:36 <elliott> can't delete a zzo quote personally
01:46:44 <HackEgo> *poof* <zzo38> 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:57 <ais523> the thing with fungot and zzo quotes
01:46:57 <fungot> ais523: i just checked, and the whole purpose of this is not necessary....
01:47:07 <ais523> is that those people say a lot of good quotable things
01:47:11 <ais523> like that one, for instance
01:47:15 <fungot> GreyKnight: down comforter! vectors are no match for " fnord
01:47:26 <ais523> and yet people sometimes quote the bad ones instead :(
01:47:44 <lambdabot> 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 <ais523> `addquote [after a session of saying five quotes and deleting one] <fungot> ais523: i just checked, and the whole purpose of this is not necessary....
01:47:48 <fungot> 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 <HackEgo> 10) <Madelon> 11 holes for me :D
01:48:00 <HackEgo> 860) [after a session of saying five quotes and deleting one] <fungot> ais523: i just checked, and the whole purpose of this is not necessary....
01:48:13 <ais523> `addquote [after a session of requesting five quotes and deleting one] <fungot> ais523: i just checked, and the whole purpose of this is not necessary....
01:48:14 <fungot> 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 <HackEgo> *poof* [after a session of saying five quotes and deleting one] <fungot> ais523: i just checked, and the whole purpose of this is not necessary....
01:48:41 <elliott> how about just "after a quote deletion session"
01:48:48 <Sgeo|web> That is seriously shockingly coherent for fungot
01:48:49 <fungot> 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 <ais523> but I'm really confused about the async dependencies now
01:48:56 <HackEgo> 565) <ais523> if all my Facebook friends were to visit a page, it wouldn't make any difference at all
01:48:56 <HackEgo> 678) <Phantom_Hoover> Here in Scotland we have a rigorous and well-tested theory of brothels.
01:48:58 <HackEgo> 399) <Sgeo> Dear eHow: Please don't assume that my toilet works like that <Sgeo> Or, at least, my toilet looks different
01:48:58 <HackEgo> 778) <ion> 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 <HackEgo> 861) [after a session of requesting five quotes and deleting one] <fungot> ais523: i just checked, and the whole purpose of this is not necessary....
01:49:16 <ais523> haha, it's 861 as well
01:49:52 <ais523> the conflict was resolved the correct way after all
01:49:57 <ais523> if I add another quote now it'll be 860
01:50:08 <ais523> `addquote [after a quote deletion session] <fungot> ais523: i just checked, and the whole purpose of this is not necessary....
01:50:09 <fungot> 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 <HackEgo> 860) [after a quote deletion session] <fungot> ais523: i just checked, and the whole purpose of this is not necessary....
01:50:19 <elliott> ais523: well it is meant to say *poof*
01:50:23 <elliott> your delquotes actually did nothing
01:50:27 <ais523> for the first delquote
01:50:31 <elliott> 01:49:22 <ais523> `delquote 860
01:50:32 <elliott> 01:49:28 <HackEgo> No output.
01:50:32 <elliott> 01:49:29 <ais523> `delquote 860
01:50:32 <elliott> 01:49:33 <HackEgo> No output.
01:50:38 <ais523> those were the second and third
01:50:49 <ais523> which were intended to do nothing if the conflict went the right way
01:50:52 <HackEgo> 62) <fungot> i am sad ( of course by analogy) :) smileys)
01:50:53 <ais523> and to fix it if it went the wrong way
01:50:54 <HackEgo> 108) <fungot> [...] i'm a law student so i am loving my bread machine
01:51:09 <ais523> 108 is also quite good
01:51:18 <HackEgo> 754) <ais523> 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 <ais523> I can imagine fungot proudly standing over its bread machine
01:51:19 <fungot> ais523: it does... on edwin it doesn't for me. i could case me through it, with which i'm unfamiliar?
01:51:21 <olsner> 108 is better than 62 I think
01:51:24 <HackEgo> 359) <Phantom_Hoover> The eigenratio of reality has to be enormous, though.
01:51:26 <HackEgo> 382) <Gregor> "<Gregor> Damn right!" wouldn't be much of a quote :P
01:51:38 <ais523> 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:54 <ais523> I was going to say 382 too
01:52:12 <HackEgo> *poof* <Gregor> "<Gregor> Damn right!" wouldn't be much of a quote :P
01:52:12 <GreyKnight> I kind of want to know the solution to 754 as well :-o
01:52:12 <Sgeo|web> How does a color have free will?
01:52:26 <ais523> Sgeo|web: if there's a human controlling what it does
01:52:27 <HackEgo> 721) <fizzie> Quinary computers replace the cache with a quiche.
01:52:37 <ais523> GreyKnight: this is related to elliottcraft
01:53:07 <kmc> silly humans thinking they have free wil
01:53:11 <HackEgo> 771) <Gregor> Very much like "cen" is Latin for "horse", "yak" is Latin for "yak".
01:53:11 <HackEgo> 354) <ais523> I think I managed something like a one-expression increment that was only a few hundred characters long
01:53:14 <HackEgo> 385) <NihilistDandy> elliott: His mouse obeys the law of the excluded middle :/
01:53:14 <ais523> 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 <HackEgo> 89) <Miya> I perceived it so hard I actually went away :O
01:53:28 <ais523> and is named after elliott rather than me because it's rare to name personal projects after someone else
01:53:59 <ais523> those are all good IMO
01:54:01 <GreyKnight> well, I like minecraft, rubicon, and Life, so this can only lead to good things
01:54:19 <ais523> it doesn't hurt my head nearly as much as Feather
01:54:28 <ais523> it's just "this is too big a task for me", rather than "ouch stop thinking about it"
01:55:28 <monqy> elliott: idk but what's a mouse obeying the law of the excluded middle supposed to mean
01:55:38 <elliott> monqy: that's a good question
01:55:53 <ais523> monqy: it means that either the mouse, or not the mouse
01:56:01 <elliott> `pastlog <NihilistDandy> elliott: His mouse obeys the law of the excluded middle :/
01:56:28 <ais523> Sgeo|web: it's like `log except not today
01:56:39 <ais523> pastlog and pastelog both being commands is annoying
01:56:42 <lambdabot> cheater says: drupal is a bit like working with the facebook api while someone keeps dropping concussion grenades in your office
01:56:43 <lambdabot> cheater says: let's all just delete haskell from our hdds and drink mercury
01:56:43 <ais523> because one looks like a typo for the other
01:56:43 <lambdabot> cheater says: and i'm kinda like an ad-hoc dr phil.
01:56:44 <lambdabot> cheater says: every time kmc trolls, i troll through his actions.
01:56:44 <lambdabot> cheater says: let's all just delete haskell from our hdds and drink mercury
01:56:46 <ais523> also pastlog often doesn't work
01:56:49 <Sgeo|web> It's a command that hasn't worked the times I saw it tried to be used
01:56:50 <olsner> should call it pastalog or passedlog
01:56:56 <ais523> due to hackego timing out
01:57:08 <ais523> shachaf: please stop bot abusing
01:57:24 -!- greyooze has joined.
01:57:26 <ais523> there's a difference between running commands because the output is interesting / aids a conversation
01:57:32 <greyooze> <elliott> and also: the first #esoteric meeting ever <-- that's really never happened?
01:57:33 <ais523> and running commands to try to spam the channel to make a point
01:57:46 <olsner> greyooze: it almost did
01:57:57 <olsner> that time when fizzie was a train
01:58:08 <greyooze> 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 <elliott> `pastelogs <NihilistDandy> elliott: His mouse obeys the law of the excluded middle :/
01:59:12 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.27584
01:59:32 <olsner> there's some continued discussion later on about other people here who have actually met
01:59:47 <HackEgo> http://codu.org/logs/log/_esoteric/2011-07-01
01:59:48 <olsner> I think it was concluded that none of those meetings were #esoteric meetings
02:00:03 <ais523> elliott: it seems to have been mostly out of context
02:00:28 <HackEgo> 202) <j-invariant> 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. <j-invariant> HAHA [...] <j-invariant> this is amazing, like meeting a Mormon or something
02:00:30 <elliott> apparently the context is http://www.youtube.com/watch?v=Iu6lgNgAH38 o rsomething
02:00:37 <elliott> i have not watched this video
02:00:40 <elliott> i wonder if it is worth watching???
02:00:48 <elliott> preliminary observations suggest no
02:01:07 <ais523> I remember a particularly frustrating argument in another channel
02:01:20 <Sgeo|web> I think context is actually http://www.youtube.com/watch?v=myfZ8hmmApE ?
02:01:22 <ais523> 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 <shachaf> monqy: haskell supports uml though
02:01:26 <elliott> i accidentally did one too many
02:01:31 <elliott> well let's just ignore the last one
02:01:38 <HackEgo> 483) <elliott> I MIGHT BECOME GHOST
02:01:44 <Sgeo|web> Wait, no, firs tlinked video makes more sense
02:01:49 <HackEgo> 602) <Phantom_Hoover> You know what annoys me about Deep Space 9. <Phantom_Hoover> It wasn't in deep space. <Phantom_Hoover> It was orbiting Bajor.
02:01:59 * ais523 wonders if YouTube has a "random video" button
02:02:02 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: unquote: not found
02:02:04 <ais523> Google needs a "random webpage" button
02:02:26 <olsner> obviously Bajor is in deep space
02:02:38 <HackEgo> 830) <Gregor> 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 <ais523> well so is Earth, right?
02:02:43 <HackEgo> 405) <fizzie> 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 <HackEgo> 464) <Phantom_Hoover> You realise the micromanagement it took to make quintopia encrust my silver throne with emeralds rather than a jug?
02:02:47 <HackEgo> 152) <Vorpal> dc -e '[a=]P?[b=]P?[dSarLa%d0<a]dsax+[GCD:]Pp' # easier-to-read version
02:03:10 <olsner> hmm, earth isn't even in space, I think
02:03:16 <ais523> 464 is one of the better DF quotes
02:03:33 <ais523> 830 is pretty insightful
02:05:11 <HackEgo> 325) <Gregor> Google Maps has options for "avoid highways" and "avoid tolls", but no "avoid Chicago"
02:06:08 <HackEgo> 821) <kmc> yeah well, petty theft > federal obstruction of justice
02:06:08 <HackEgo> 86) <Gregor> I don't know that I've ever heard apocalypi described in terms of depth ...
02:06:09 <HackEgo> 417) <oklofok> god created the natural numbers, the rationals were done by man and the work was finally completed (topologically) by satan himself
02:06:09 <HackEgo> 431) <monqy> rest in peace lambdabot???? <ais523> monqy: it'll probably be back later <monqy> nap in peace
02:07:40 <olsner> I vote for 821 and 431
02:08:36 <olsner> someone else vote then and we can see who wins
02:09:32 -!- TeruFSX has joined.
02:10:32 -!- GreyKnight has quit (Ping timeout: 250 seconds).
02:10:43 <ais523> would have typed that faster but things kept stealing focus
02:11:01 <ais523> the latest version of Ubuntu has fixed one focus-stealing monstrosity but added two more
02:11:27 <ais523> shachaf: yeah, 431 is good
02:11:35 <ais523> elliott: I think I'm getting a little bored of pentaquoting, anyway
02:11:36 <Sgeo|web> Is OpenSUSE better than Kubuntu?
02:11:45 <HackEgo> 519) <Phantom_Hoover> I'm sacrificing the animals, then I'm going to bed.
02:11:47 <elliott> ais523: maybe that means there are no bad quotes left
02:12:01 <ais523> most of the DF quotes aren't so great
02:12:24 <ais523> were you /always/ this immature, and I just didn't notice?
02:12:30 <Sgeo|web> o.O shachaf actually listens to me? This is scary.
02:12:32 <ais523> or have you become less mature as you grew up?
02:12:43 <ais523> elliott: I was going to `delquote, but `revert works too
02:12:50 <HackEgo> 184) <pikhq> zzo38: A better definition would probably fix Avogadro's number. <Sgeo> It's broken?
02:12:55 <HackEgo> 339) <Sgeo> Oracle's awesome
02:12:57 <elliott> also I think less unreliable
02:12:58 <HackEgo> 596) <elliott> fizzie: It's like a JIT, if JITs were... strings.
02:12:59 <HackEgo> 603) <fizzie> 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. <fizzie> Also probably works in real life?
02:13:22 <elliott> 02:11:45 <HackEgo> 519) <Phantom_Hoover> I'm sacrificing the animals, then I'm going to bed.
02:13:26 <monqy> oh no..what got reverted.....
02:13:26 <elliott> there's also this one in case you missed it
02:13:31 -!- GreyKnight has joined.
02:13:33 <ais523> elliott: I mentioned it tangentially
02:13:43 <ais523> I'd probably delete 339 though
02:13:52 <GreyKnight> I only just reconnected from the last failure! Furrfu
02:14:32 <HackEgo> *poof* <Sgeo> Oracle's awesome
02:14:54 <HackEgo> 629) <Ngevd> It's like single player Hackiki in a way(?) <tswett> Ngevd: yes, but with multiple players.
02:14:54 <HackEgo> 688) <oklopol> 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:15:29 -!- tswett has left.
02:15:45 <ais523> I like 699 too but not as much
02:15:46 <HackEgo> 797) <elliott> I couldn't survive an apocalypse. I don't even have any bitcoins.
02:15:48 <HackEgo> 111) <coppro> we'd care about a turing-complete pencil
02:15:50 <HackEgo> 850) <Fiora> omg <Fiora> that JIT is really amazing [...] <Gregor> 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:16:00 <ais523> 111 is true but not that funny
02:16:10 <ais523> 850 isn't so great either
02:16:48 <monqy> what does it mean for a pencil to be turing complete....
02:17:00 <ais523> monqy: it's the same concept as USB sushi, really
02:17:58 <ais523> btw, anyone follow tdwtf sidebar? there was the best snoofle post ever today
02:18:15 <HackEgo> *poof* <coppro> we'd care about a turing-complete pencil
02:21:36 <HackEgo> 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:22:02 <olsner> "<monqy> hi" has to be a quote
02:22:15 <olsner> lest the meme be forgotten?
02:22:29 <ais523> TheSmooze: does HackEgo have an ignore list? if so, you may want to consider adding shachaf to it
02:22:42 <elliott> it contains exactly one entry
02:22:53 <fungot> ais523: don't use modules i don't like it
02:23:38 <elliott> (http://codu.org/projects/hackbot/hg/index.cgi/file/9fe46bf600be/multibot_cmds/PRIVMSG/tr_60.cmd#l49)
02:23:42 <ais523> 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:38 <oerjan> `addquote <monqy> what does it mean for a pencil to be turing complete.... <ais523> monqy: it's the same concept as USB sushi, really
02:24:46 <HackEgo> 858) <monqy> what does it mean for a pencil to be turing complete.... <ais523> monqy: it's the same concept as USB sushi, really
02:24:49 -!- GreyKnight has joined.
02:24:56 <ais523> oerjan: OK, I like that followup quote
02:25:02 <ais523> even if I was slightly aiming to be quoted there
02:25:06 <Fiora> usb sushi is dangerous. I think I would try to eat it
02:25:09 <ais523> (USB sushi actually does exist, btw)
02:25:17 <ais523> (although it's just sushi with an embedded flash drive)
02:25:33 <elliott> `addquote <Fiora> usb sushi is dangerous. I think I would try to eat it
02:25:37 <elliott> that reminds me of a previous quote
02:25:37 <HackEgo> 859) <Fiora> usb sushi is dangerous. I think I would try to eat it
02:25:40 <elliott> although i don't know which
02:27:00 <monqy> there've been a few quotes like that
02:28:38 <olsner> shachaf: are you trying to apply reverse psychology?
02:28:51 <ais523> olsner: if he said either no /or/ yes, would you believe him?
02:30:00 <olsner> if he said yes, I would
02:30:15 <ais523> but you wouldn't if he said no?
02:30:30 <olsner> if he said no I would interpret it as yes and believe him
02:30:51 <ais523> hmm, in which case there isn't much of a point in receiving an answer to the question
02:31:10 <ais523> (it's still useful to some extent for its rhetorical effect)
02:31:17 <olsner> I wonder if there's a name for this kind of 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 <greyooze> <oklofok> lament is so positive and full of hope in the 2003 logs
02:42:36 <greyooze> @tell tswett Wait, are you ihope??
02:46:52 <oerjan> tswett is ihope, also kerlo; elliott is alise, also tusho. or was that the other way around.
02:47:39 <oerjan> i am oerjan, also oerjan_.
02:48:30 <ais523> oh, I forgot about tusho
02:48:39 -!- ais523 has changed nick to scarf.
02:48:45 <scarf> haven't used this nick in a while
02:48:55 <HackEgo> 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 <shachaf> oerjan: Are you also oerjan__?
02:49:17 <olsner> shachaf: no, that's me
02:49:31 <oerjan> i have irssi set only to know about oerjan_, so i dunno why i did that.
02:49:52 <shachaf> I am shachaf, also shachaf_.
02:50:04 <shachaf> My Freenode account is named "Shachaf" for some reason, though.
02:50:10 <shachaf> I guess I was a bad person when I made it.
02:52:21 -!- greyooze has joined.
02:53:05 <oerjan> poor greyooze will never know the secrets just revealed.
02:55:22 <oerjan> instead he must make up his own false ones
02:56:08 <greyooze> <shachaf> oerjan: Are you also oerjan__?
02:56:13 <greyooze> <olsner> shachaf: no, that's me
02:56:58 <greyooze> zzo38: I wish to examine your gopherhole (nmiaow), can you recommend a client?
03:08:11 <zzo38> greyooze: What operating system?
03:11:12 -!- greyooze has quit (Ping timeout: 250 seconds).
03:11:33 <oerjan> someone should recommend an isp instead.
03:11:37 <Fiora> 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 <Gregor> “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 <Gregor> 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 <oerjan> it's ok the world ends in two weeks anyway
03:22:03 <lambdabot> Perhaps you meant `reflect' (imported from Control.Monad.Logic)
03:22:10 <lambdabot> Graphics.Rendering.OpenGL.GL.Selection module Graphics.Rendering.OpenGL.GL.Selection
03:22:10 <lambdabot> Graphics.Rendering.OpenGL.GL.Selection Select :: RenderMode
03:22:45 <oerjan> hm must be a privately defined function
03:37:55 <kmc> google gotta get paid
03:38:34 -!- Bike has joined.
03:39:42 <lambdabot> Bike: You have 1 new message. '/msg lambdabot @messages' to read it.
03:41:21 <Gregor> 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 <Bike> misc the oisc? why?
03:44:34 <Gregor> Just fit my imaginings of how this weird-radix language would work.
03:44:56 <Gregor> 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 <Bike> needs moar intercal operators
03:50:33 <Gregor> I'm kinda not of the esolang design of “pile every weird feature together and see what happens” X-D
03:50:48 <Gregor> I prefer “choose a few particularly weird features and make everything else relatively straightforward”
03:51:13 <Bike> well, i meant the "mingle" operator or whatever it is
03:51:34 <Bike> 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 <kmc> did you know that 10.5 / 7 is 1.5?
04:20:54 <kmc> kinda weird
04:24:45 <kmc> that's all
04:25:10 <shachaf> did you know 105/70 is also 1.5?
04:25:33 <Arc_Koen> I'm sure you didn't check that it was right shachaf
04:26:47 <Arc_Koen> 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 <Arc_Koen> well I mean the limit is 1/89 if you take an infinity of numbers
04:27:33 <Arc_Koen> among other things it means that it will repeat after some time
04:29:05 <oerjan> sum(F_n/10^n)/10, hm...
04:30:00 <Arc_Koen> have a good time proving it; if I recall correctly the 89 comes as 10^2-10-1 or something
04:31:52 <Arc_Koen> that's why of the reasons why 89 is my favourite number
04:36:17 <kmc> Arc_Koen: woah
04:36:55 <kmc> so there's a closed form for fibonacci numbers
04:37:13 <shachaf> Arc_Koen: 89 should only be your favorite number if you think 10 is important.
04:37:20 <Bike> eh, why wouldn't there be?
04:37:33 <Arc_Koen> yeah I know there was something wrong with that
04:37:42 <Arc_Koen> I wonder if it works with some other bases too
04:37:58 <Arc_Koen> I seem to remember wondering the same thing back in high school when I first discovered that
04:38:21 <Arc_Koen> but also, it's not the only reason why 89 is my favourite number; others involve the year 1989
04:38:22 <oerjan> b^2-b-1 should work similarly, i should think
04:38:40 <kmc> i meant "so, there's a closed form for fibnacci numbers, that should help in proving it"
04:39:14 <Bike> http://www.wolframalpha.com/input/?i=sum(F_n%2F2%5En)%2F2 and apparently it does work.
04:41:28 <oerjan> (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:43:41 <oerjan> silly those have the same sign, don't cancel
04:44:58 <Arc_Koen> other interesting properties I remember, sum(F_k up to k = n+2) = F(n+2) + 1
04:45:19 <Bike> you could probably do it with the generating function
04:45:52 <Arc_Koen> I had made a program to display the sequence on my calculator and it should also display the sum
04:46:27 <Arc_Koen> and at some point I noticed it and thought "wait, is that really the sum? is that a bug?"
04:47:01 <quintopia> is it possible to permanently trcik steam into thinking i'm in russia? know any good russia proxy?
04:48:19 <oerjan> > let fib = fix((0:).scanl(+)1) in fib
04:48:21 <lambdabot> [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 <oerjan> > let fib = fix((0:).scanl(+)1) in scanl1(+)fib
04:48:38 <lambdabot> [0,1,2,4,7,12,20,33,54,88,143,232,376,609,986,1596,2583,4180,6764,10945,177...
04:49:14 <shachaf> oerjan: Hah, that's a nice way of looking at it.
04:50:56 <shachaf> btw the true fibonacci sequence starts with 1 1
04:51:37 <quintopia> there is no true fibonacci sequence
04:51:48 <oerjan> i consider F_0 = 0 to be an important term in the sequence
04:52:08 <shachaf> actually it's F_0 = 1 F_1 = (sqrt(5)+1)/2
04:52:09 <Arc_Koen> yeah, especially when computing the sum
04:52:35 * oerjan swats shachaf -----###
04:53:00 <Arc_Koen> 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 <oerjan> we calculated here on the channel once that gcd(F_m, F_n) = F_gcd(m,n)
04:55:10 <oerjan> you need to put F_0 = 0 for that
04:56:22 <lambdabot> [1,2,4,8,16,32,64,128,256,512,1024,2048,4096,8192,16384,32768,65536,131072,...
04:57:03 <Arc_Koen> I'm gonna try to spend the next two hours sleeping
04:57:40 -!- Arc_Koen has quit (Quit: Comment on appelle un mec qui pilote un avion ?).
05:05:56 -!- quintopia has quit (Ping timeout: 252 seconds).
05:16:29 -!- quintopia has joined.
05:43:48 <HackEgo> 582) <fizzie dictionary> 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 <HackEgo> 141) <fungot> Vonlebio: well, i'm only back in denmark because my work visa expired. please insert token to continue.
05:44:15 <HackEgo> 227) <quintopia> who is guido van rossum <olsner> you could say he's a man who grew a beard but acquired none of the associated good properties
05:44:16 <HackEgo> 83) <Warrigal> Making a small shrine to Lawlabee in my basement is something I should get around to at some point.
05:44:19 <HackEgo> 795) < oklopol> oh god another crazy haskell understander < oklopol> i have to leave
05:45:00 <coppro> oh hey, 795 is about me
05:45:12 <coppro> 141 is great. 83 is meh
05:45:12 <shachaf> Are you a crazy Haskell understander?
05:45:20 <coppro> I think I was at the time maybe
05:58:49 <HackEgo> *poof* <Warrigal> Making a small shrine to Lawlabee in my basement is something I should get around to at some point.
05:58:50 <HackEgo> 243) <elliott> lol @ closed character set standard <elliott> "What does this codepoint represent?" "Nobody knows."
05:59:08 <HackEgo> 448) <monqy> beautiful summer / fuck fuck fuck fuck fuck fuck fuck / fuck fuck fuck fuck fuck
05:59:47 <HackEgo> 476) <itidus20> software patents strike again <ais523_> that's got to be at least three times, now <ais523_> are they out yet?
06:00:03 <HackEgo> 335) <olsner> two quotes about quotes about django <olsner> I guess the worst part is that I appear in all three hackego quotes about django
06:00:07 <HackEgo> 666) <oklopol> 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:22 <HackEgo> 366) <Sgeo> I used to be more irritated by alcohol <olsner> Sgeo: you're not supposed to put it in your eyes
06:27:32 <HackEgo> 276) <olsner> django is named after a person? <olsner> thought it would be a giraffe or something \ 324) <cpressey> `quote django <HackEgo> 352) <olsner> django is named after a person? <olsner> thought it would be a giraffe or something <cpressey> thankfully only one \ 325) <monqy> `quote django <HackEgo> 352) <olsner> django is named after a person? <olsner> thought it would be a giraffe or something
06:28:44 <Sgeo|web> django is sort of this black hole of the quotiverse, sucking everything in to a singularity about one quote
06:38:24 <HackEgo> *poof* <monqy> Sgeo: also do you know how to write a parser <Sgeo> monqy, how hard could it be?
06:38:32 <HackEgo> *poof* <monqy> `quote django <HackEgo> 352) <olsner> django is named after a person? <olsner> thought it would be a giraffe or something \ 407) <cpressey> `quote django <HackEgo> 352) <olsner> django is named after a person? <olsner> thought it would be a giraffe or something <cpressey> thankfully only one <monqy> thankfully only two
06:38:55 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: undo: not found
06:39:19 <HackEgo> 352) <Sgeo> I hope type inference isn't difficult
06:39:31 <HackEgo> 352) <Sgeo> I hope type inference isn't difficult
06:39:44 <HackEgo> 276) <olsner> django is named after a person? <olsner> thought it would be a giraffe or something \ 324) <cpressey> `quote django <HackEgo> 352) <olsner> django is named after a person? <olsner> thought it would be a giraffe or something <cpressey> thankfully only one \ 325) <monqy> `quote django <HackEgo> 352) <olsner> django is named after a person? <olsner> thought it would be a giraffe or something
06:39:54 <HackEgo> *poof* <monqy> `quote django <HackEgo> 352) <olsner> django is named after a person? <olsner> thought it would be a giraffe or something \ 407) <cpressey> `quote django <HackEgo> 352) <olsner> django is named after a person? <olsner> thought it would be a giraffe or something <cpressey> thankfully only one <monqy> thankfully only two
06:40:05 <coppro> actually you know what?
06:40:42 <HackEgo> 610) <Phantom_Hoover> I'd insult you behind your back, but I don't care which side of your back I insult you on.
06:40:53 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: bedtime: not found
06:41:41 <shachaf> monqy: did you learn lens yet
06:52:08 -!- monqy has quit (Quit: hello).
07:00:46 <zzo38> Now I made the "stretcher" command in Csound, and I like the effects it make!
07:01:49 <zzo38> // ares stretcher ain, idelay, xduty, [kfeedback], [kscanspeed] == Rapid stretch and unstretch the signal
07:04:38 -!- Sgeo|web_ has joined.
07:06:17 -!- Sgeo|web has quit (Ping timeout: 245 seconds).
07:09:47 <pikhq> shachaf: I'm telling you.
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:27:01 -!- epicmonkey has joined.
10:58:48 -!- Zerker has quit (Quit: Colloquy for iPad - Timeout (10 minutes)).
11:19:43 <Sgeo|web_> 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 <Sgeo|web_> 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 <Taneb> Phantom_Hoover, any reply to the complainant?
14:50:10 <Sgeo|web_> 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 <Phantom_Hoover> have you considered getting professional help for your habit of randomly ejaculating your opinions on languages into the channel
14:51:25 <Taneb> Sgeo|web_, does Sgeo know how to get a slice of an array in Haskell?
14:53:09 <Sgeo|web_> PubNub is not a language. I am also not a language.
15:30:57 -!- carado has joined.
15:35:05 <HackEgo> 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: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 <fizzie> I think carado is correlated with corrado.
15:46:43 <carado> corrado ? i have no idea what thas is.
15:53:15 -!- FreeFull has quit (Ping timeout: 260 seconds).
15:53:55 <Sgeo|web_> 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 <Sgeo|web_> I still feel like a shitty programmer. I can't blame the language for my globals abuse, the way I do with LS
15:58:14 -!- sirdancealot7 has quit (Ping timeout: 240 seconds).
15:59:23 <Sgeo|web_> Not the only significant one though
16:04:41 -!- GreyKnight has joined.
16:09:51 <GreyKnight> @tell ais523 There is a local company called AIS Gas. Thought you should know.
16:10:02 -!- Sgeo|web_ has quit (Ping timeout: 245 seconds).
16:14:29 <Phantom_Hoover> maybe we could do that birmingham #esoteric meetup and i could threaten him
16:15:25 <GreyKnight> 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 <GreyKnight> (Or, at least, we are all crazy in a good way)
16:16:52 <Phantom_Hoover> i thought 'ian' first, but he said it wasn't and iirc he gave no comment on 'ivan'
16:19:16 <GreyKnight> imaginative, that is quite appropriate
16:20:53 <GreyKnight> Perhaps he won't come to a meetup on account of being immiscible
16:21:36 <Jafet> Maybe the I stands for I
16:22:25 <Jafet> I wonder if the a stands for a.
16:28:50 <elliott> guys help I have an email in my inbox with the subject "Esolang e-mail from user "Star651""
16:29:25 <elliott> Deewiant: his languages are too innovative
16:29:37 <FireFly> What do you know, it might be an e-mailbomb
16:29:39 <Deewiant> elliott: "too innovative" in what sense
16:29:45 <elliott> Deewiant: in... well have you seen them
16:30:25 <elliott> anyway I preemptively blame whoever 86.146.80.103 is
16:30:43 <FreeFull> How many non-deterministic esolangs are there?
16:31:11 <FireFly> http://esolangs.org/wiki/Category:Nondeterministic http://esolangs.org/wiki/Category:Probabilistic count 'em
16:31:55 -!- Nisstyre has joined.
16:32:38 <Jafet> C++ is the most esoteric
16:33:22 * FireFly wonders whether APL would qualify for an article on the wiki
16:34:13 <GreyKnight> APL makes more sense to me than C++ some days...
16:34:43 <Phantom_Hoover> 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 <FireFly> It's certainly an experiment in a seldom-used direction
16:34:55 <GreyKnight> APL has been successfully used by *managers*, it can't be that esoteric :o)
16:36:00 <Jafet> http://uncyclopedia.org/wiki/Haskell
16:36:12 <olsner> 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 <olsner> what if APL was invented by the first speaker of a 1922 committee meeting
16:36:43 <elliott> if you think APL's unusual feature is its terse syntax you don't know much about APL
16:38:32 -!- Jafet has quit (Quit: Leaving.).
16:40:20 <Phantom_Hoover> But being unusual alone doesn't make a language esoteric; Haskell and Lisp aren't really esoteric.
16:41:14 <GreyKnight> 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 <olsner> not if you put them at APL keyboards?
16:42:38 <GreyKnight> We couldn't get funding for a million APL keyboards :-(
16:42:58 <FreeFull> 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 <FireFly> Is there such a thing as an invalid TECO program?
16:44:36 <Phantom_Hoover> I can see an article about sed, dc and m4 being worthwhile.
16:47:05 <olsner> and Ursala, though it claims to be a non-esoteric language
16:47:07 -!- Nisstyre_ has joined.
16:47:24 <GreyKnight> 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:58 -!- Nisstyre has quit (Read error: Operation timed out).
16:56:17 <Phantom_Hoover> isn't that the crazy functional language written by a bank manager or something
16:56:48 <Taneb> I thought Ursala was a disney character
16:57:29 <olsner> https://github.com/gueststar/Ursala/blob/master/contrib/sudoku.fun
16:58:16 <olsner> I want to write code that goes "~&al?\~&ar ~&aa^&~&afahPRPfafatPJPRY+ ~&farlthlriNCSPDPDrlCS2DlrTS2J" and know what it does
16:58:33 <Deewiant> It doesn't look like it involves bears
16:59:55 <FireFly> Are you sure that isn't just embedded Malbolge or something?
17:01:17 -!- sirdancealot7 has joined.
17:01:29 <Phantom_Hoover> 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 <Phantom_Hoover> olsner, are you sure the garbled strings aren't bytecode
17:04:22 <olsner> "Pointer expressions such as ̃&nSiiDPSLrlXS from Listing 1.2, are a [shorthand] for a great variety of frequently occurring patterns."
17:04:50 <FireFly> The most obscure thing I've written is probably gen =: * @: (=&3@:] + =&3@:-~) +/^:2 @: (offsets & |.)
17:05:16 <FireFly> which isn't all that bad :(
17:05:27 <Phantom_Hoover> wait, who was the last poor bastard trying to do an eodermdrome interpreter
17:05:34 <elliott> monqy knows a fair amount of ursala
17:06:06 <FreeFull> The code I posted just now is ibniz :D
17:07:02 <FreeFull> 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: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 <shachaf> kmc: http://lens.github.com/
18:21:01 <olsner> lenses remind me of ursala's pointer expressions
18:22:25 -!- TeruFSX has joined.
18:24:31 -!- ion has joined.
18:24:32 <kmc> shachaf: woah, nice
18:25:00 <Lumpio-> I think this was easier in Python
18:26:28 <kmc> did you put this together shachaf ?
18:27:11 <kmc> you were working on lens docs, though, right?
18:28:29 <shachaf> 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 <shachaf> You should go to edwardk's talk talk in NYC!
18:33:21 <shachaf> I wonder whether he'll talk about prisms.
18:33:34 -!- Taneb has joined.
18:37:49 <kmc> what are prisms?
18:38:01 -!- TeruFSX2 has joined.
18:38:23 <Taneb> Extrusions of a plane in a perpendicular dimension
18:38:56 <shachaf> Prisms : sums = lenses : products.
18:39:12 <elliott> isomorphisms that are partial in one direction
18:39:53 <shachaf> Lens s t a b = (s -> a, (s, b) -> t)
18:40:05 <elliott> Deewiant: like "left" or "right"
18:40:06 <shachaf> Prism s t a b = (b -> t, s -> Either t a)
18:40:23 <lambdabot> Perhaps you meant `stripPrefix' (imported from Data.List)
18:40:32 <elliott> @type Data.List.Lens.strippingPrefix
18:40:33 <lambdabot> (Eq a, Applicative f, Prismatic k) => [a] -> k ([a] -> f [a]) ([a] -> f [a])
18:40:42 <lambdabot> MonadReader s m => Getting a s t a b -> m a
18:41:22 <kmc> so s=t, a=b is a simple useful case right
18:41:25 <kmc> so let me think about that first
18:42:09 <kmc> (a -> s, s -> Either s a)
18:42:25 <shachaf> In that can you can just think of it as (a -> s, s -> Maybe a)
18:42:30 <kmc> ok, that's what i suspected
18:42:49 <elliott> kmc: _just :: Prism (Maybe a) (Maybe b) a b :: (b -> Maybe b, a -> Either (Maybe b) a)
18:42:55 <kmc> but in the more general case, what do you return when the match "fails"?
18:42:59 <elliott> (The Either is just a trick to make sure you can set s=t)
18:43:05 <shachaf> 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 <elliott> (For the laws to hold for any lenslike you need to be able to set s=t, a=b)
18:43:27 <elliott> (i.e. putting the same type back in as you got out)
18:43:38 <elliott> Also my signature was wrong.
18:43:58 <elliott> You can think of _left as (a -> Either a b, Either a b -> Maybe a)
18:44:12 <elliott> But it's actually (a' -> Either a' b, Either a b -> Either (Either a' b) a)
18:44:33 <elliott> (obviously if it's actually a Right, you can set the first type parameter to anything)
18:44:37 <elliott> kmc: so you can change the type
18:44:56 <elliott> data Foo a = Foo { bar :: [a] } -- you can make a proper lens for bar in lens but not other lens libraries
18:45:02 <elliott> _bar :: Lens (Foo a) (Foo b) [a] [b]
18:45:11 <elliott> (But that's not relevant to the core idea of prisms.)
18:45:17 <kmc> yeah i get that
18:45:24 <kmc> so it's just the same thing for prisms
18:46:03 <elliott> kmc: basically you can make a lens for each element of a product
18:46:06 <elliott> (e.g. each field of a record)
18:46:11 <elliott> and a prism for each alternative of a sum
18:47:05 <kmc> 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:37 <kmc> out of curiosity how many infix operators does this library define
18:47:47 <elliott> but most of them follow a common pattern
18:48:00 <elliott> like foo +~ bar is foo %~ (+bar)
18:48:04 <elliott> you can mix these prisms with other lenses too
18:48:15 <Deewiant> Most of them are for arithmetic
18:48:32 <elliott> like you can do _left._1 %~ show
18:48:52 <shachaf> Look at my fancy commutative diagram!
18:48:52 <elliott> which applies "show" to the first element of the tuple in a "Left" and leaves "Right _" unchanged
18:48:57 <kmc> :t _left._1 %~ show
18:48:58 <lambdabot> (Show a, Field1 a1 b a String) => Either a1 c -> Either b c
18:49:09 <elliott> (Show a) => Either (a,b) c -> Either (String,b) c
18:49:18 <elliott> modulo the typeclasses for tuples of arbitrary (up to 9) size
18:49:24 <shachaf> There's another one that goes Lens -> {PartialLens, NonEmptyTraversal} -> Traversal
18:49:50 <elliott> which is not very exciting on its own of course
18:50:00 <elliott> that's the (a' -> Either a' b) part
18:50:16 <elliott> > "prefix" ^. strippingPrefix "pre"
18:50:17 <lambdabot> Perhaps you meant `stripPrefix' (imported ...
18:50:21 <elliott> > "prefix" ^. Data.List.Lens.strippingPrefix "pre"
18:50:23 <lambdabot> Not in scope: `Data.List.Lens.strippingPrefix'
18:50:36 <shachaf> > Unsafe.Coerce.unsafeCoerce "hi"
18:50:38 <lambdabot> Not in scope: `Unsafe.Coerce.unsafeCoerce'
18:51:05 <elliott> > (Left (1,2), Right ()) & both._left._1 %~ show
18:51:13 <elliott> > (Left (1,2), Left (3,"x")) & both._left._1 %~ show
18:51:15 <lambdabot> No instance for (GHC.Num.Num [GHC.Types.Char])
18:51:19 <elliott> > (Left (1,2), Left (3,4)) & both._left._1 %~ show
18:51:23 <elliott> would need type signatures for that
18:54:03 <kmc> what's "remit" do?
18:54:20 <elliott> kmc: well, prism is (b -> t, s -> Either t a)
18:54:25 <elliott> remit gives you the (b -> t) part as a Getter
18:54:58 <elliott> 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:42 <kmc> 99 operators but a switch ain't one
18:56:03 <elliott> kmc: you can imagine view patterns working with prisms also
18:56:33 <elliott> 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:40 <FreeFull> > (xor) <$> [0..15] <*> [0..15]
18:56:41 <lambdabot> [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 <elliott> problem is that they can only view single values -- it separates sums and products
18:56:57 <elliott> i.e. if you have data Foo a b = Foo a b | ...
18:57:01 <elliott> the prism has to view (a,b) or whatever instead
18:57:07 <shachaf> elliott: You can use partial lenses to view sums of products.
18:57:09 <FreeFull> I reeeally took a liking to Control.Applicative once I got introduced to it
18:57:13 <shachaf> They work fine, you just can't reconstruct from them.
18:57:59 <shachaf> elliott: The worst part about PartialLens is that it would require a mempty-only version of Monoid to do "properly".
18:58:20 <kmc> isn't that class called Default or something?
18:58:38 <elliott> it's called "meaningless" :(
18:58:42 <shachaf> instance Default m => Pointed (Const m) where ...
19:03:56 <shachaf> How can partial lenses be so great while Pointed is so terrible?
19:05:44 <elliott> shachaf: btw I think the pointed package has that instance
19:11:32 <elliott> kmc: http://hackage.haskell.org/package/acme-comonad
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 <Gregor> “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 <zzo38> 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 <lambdabot> Vorpal: You have 1 new message. '/msg lambdabot @messages' to read it.
21:13:12 <lambdabot> elliott said 19h 45m 29s ago: hi was just talking about you today!!
21:14:13 <zzo38> Vorpal: Actually, decimicrons.
21:14:46 <zzo38> Which is one tenth of one micron. And it is fraction of decimicrons so it can be smaller than that.
21:15:20 <Vorpal> also why not call it micrometre which is the official name of that unit
21:15:37 <Vorpal> anyway that precision is quite extreme
21:17:56 <zzo38> A micron is the same as a micrometre, but this is a decimicron.
21:19:21 <zzo38> TeX units are smaller, specifically 1/4736286.72 inch.
21:20:40 <zzo38> The Haskell typesetting library I made, uses the same units as TeX by default, but they are in lowest terms.
21:20:49 <Vorpal> zzo38, and what is that in metric?
21:21:15 <zzo38> I think 1 inch = 2.54 cm
21:22:16 <olsner> i.e. "hey, you can google that!"
21:22:51 <olsner> incidentally, that also brings up three earlier conversations in #esoteric mentioning this number
21:24:20 <fizzie> 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 <olsner> maybe someone tried to spin it backwards and broke the whole thing
21:26:55 <olsner> the program wheel, that is
21:27:25 <fizzie> I don't think anyone did. I certainly didn't.
21:27:40 -!- Phantom_Hoover has joined.
21:28:04 <fizzie> When we stopped it and told it to run a "spin only" program, it did that and stopped normally.
21:28:15 <fizzie> So perhaps it was a transient failure. But it's still kind of weird.
21:30:29 <fizzie> 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: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 <GreyKnight> Did I miss the revelation of what the i in ais523 stands for?
21:46:46 <GreyKnight> Hey, why are you more important than me?!
21:47:40 <Taneb> Phantom_Hoover, aren't you a few months younger than me?
21:48:00 <lambdabot> elliott: You have 1 new message. '/msg lambdabot @messages' to read it.
21:48:10 <elliott> i thought Taneb was younger than me or something
21:53:21 -!- greyooze has joined.
21:53:41 <greyooze> GreyKnight: get out, I am the superior clone!
21:54:01 -!- GreyKnight has quit (Quit: sadface).
21:54:05 <Taneb> Phantom_Hoover, yes
21:54:15 -!- greyooze has changed nick to GreyKnight.
21:55:32 <kmc> washing machine or... time machine?!?
21:55:49 <GreyKnight> ever wondered where the missing socks disappear to?!
21:56:01 <kmc> 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 <elliott> kmc: ok please write a film called washing machine or time machine
21:56:40 <shachaf> elliott: instead you should watch primer
21:57:06 <Taneb> Detention is a good film
21:57:30 <Taneb> Involving time travel
21:57:32 <Bike> well, there's always Hot Tub Time Machine
21:57:34 <Taneb> It's a bad film otherwise
21:58:04 <kmc> hot tub washing machine
22:00:55 <GreyKnight> fungot: should I learn more Haskell or do something else?
22:00:56 <fungot> GreyKnight: http://esolangs.org/ wiki/ rail
22:01:32 <fungot> kmc: could you add these too?
22:02:01 <fungot> kmc: what's fnord errr
22:02:06 <fungot> 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 <kmc> ^style qwantz
22:02:16 <fungot> Selected style: qwantz (Dinosaur Comics transcriptions 2003-2011)
22:02:19 <fungot> kmc: people in car car simulator trucko boat 3.
22:02:26 <fungot> 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 <GreyKnight> that was pretty interesting fungot, thanks! Even if your URL formatting does suck.
22:02:29 <fungot> 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:46 <fungot> 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 <kmc> fungot: i have
22:03:06 <fungot> 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 <GreyKnight> fungot, I've been to the bottom of a bottle... of milk!
22:03:29 <fungot> GreyKnight: to to me, but you'd be spoiling ( in small text) crazy utahraptor!
22:04:13 <fungot> Selected style: darwin (Books by Charles Darwin -- you know, that evilution guy)
22:04:20 <fungot> 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:58 <fungot> Selected style: fungot (What I've said myself)
22:05:14 <fungot> 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 <kmc> fungot: ♥ columba livia
22:05:28 <fungot> 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:06:15 <fizzie> Darwin and the smileys: will it never be fixed?
22:06:25 <GreyKnight> 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 <fungot> http://git.zem.fi/fungot/blob/HEAD:/fungot.b98
22:07:21 <fungot> 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:09:02 <GreyKnight> 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 <GreyKnight> It will handily distract me from doing something useful
22:10:12 <Vorpal> GreyKnight, iirc fizzie runs some arcane perl script on a massive cluster at his work place to generate it or something,
22:10:12 <lambdabot> Vorpal: You have 1 new message. '/msg lambdabot @messages' to read it.
22:10:34 <Vorpal> @tell elliott Hi, how are you today?
22:11:45 <fungot> Selected style: sms (National University of Singapore SMS corpus, 2011-08-20)
22:12:03 <fungot> 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:32 <fungot> Selected style: nethack (NetHack 3.4.3 data.base, rumors.tru, rumors.fal)
22:12:35 <fungot> FireFly: they say that an axe named cleaver once belonged to a philosophy of the alignment system,...
22:13:13 <fungot> 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:14:04 -!- Taneb has quit (Read error: Operation timed out).
22:16:43 <fizzie> 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 <fungot> 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 <fizzie> 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 <fizzie> 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 <oerjan> (Past) Phantom_Hoover: Whew!
23:17:22 <elliott> oerjan: Welcome to America!
23:17:22 <lambdabot> elliott: You have 1 new message. '/msg lambdabot @messages' to read it.
23:17:57 -!- SingingBoyo has joined.
23:20:52 <oerjan> <coppro> 352 sucked anyway <-- i'm wondering if the quote database survived last night
23:21:58 <HackEgo> 1) <Slereah> EgoBot just opened a chat session with me to say "bork bork bork" \ 2) <Quas_NaArt> Hmmm... My fingers and tongue seem to be as quick as ever, but my lips have definitely weakened... <Quas_NaArt> More practice is in order. \ 3) <AnMaster> that's where I got it <AnMaster> rocket launch facility gift shop \ 4) <Warrigal> GKennethR: he should be told that you should always ask someone before killing them.
23:22:16 <elliott> wait were people deleting quotes without me.
23:22:25 <HackEgo> 56) <oklopol> hmm, this is hard \ 73) <Warrigal> Ah, vulva. <Warrigal> What is that, anyway? \ 98) <Quas_NaArt> Hooray! <Quas_NaArt> I'm an idiot. \ 310) <crystal-cola> 3 = 7/2 \ 555) <myndzi> lol :( \ 606) <kmc> COCKS [...] <kmc> truly cocks
23:22:38 <oerjan> elliott: it certainly looked messy
23:23:09 <oerjan> somehow not containing e improves 73 immensely
23:23:16 <elliott> coppro deleted all the good django quotes
23:23:19 <HackEgo> Runs arbitrary code in GNU/Linux. Type "`<command>", or "`run <command>" for full shell commands. "`fetch <URL>" downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert <rev>" can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/
23:23:29 <HackEgo> 276) <olsner> django is named after a person? <olsner> thought it would be a giraffe or something \ 324) <cpressey> `quote django <HackEgo> 352) <olsner> django is named after a person? <olsner> thought it would be a giraffe or something <cpressey> thankfully only one \ 334) <olsner> two quotes about quotes about django <olsner> I guess the worst part is that I appear in all three hackego quotes about django
23:24:19 <elliott> oerjan: have restored universal order & hth.
23:24:47 <HackEgo> 856) <GreyKnight> fungot, sing me to sleep <fungot> 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 <GreyKnight> This is not a very good song
23:24:59 <oerjan> GreyKnight: these things take time
23:25:05 <elliott> enjoying these log sgeo rants
23:25:09 -!- Nisstyre has quit (Quit: Leaving).
23:25:22 <GreyKnight> oerjan: I couldn't remember what it was I got quoted for!
23:25:56 <elliott> 15:29:04: * FreeFull fucks Sgeo|web_
23:26:07 <elliott> oerjan: i think someone made this log up to confuse people
23:26:17 <Bike> what log is this
23:26:19 <oerjan> FreeFull: please use a private channel next time okthxbye
23:26:33 <elliott> Bike: that's a damn good question
23:26:52 <Bike> all my questions are
23:27:29 <oerjan> what log is this, to the tune of greensleeves
23:28:34 <Bike> some erlang thing
23:29:27 <oerjan> <Sgeo|web_> 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:31:07 -!- Nisstyre has joined.
23:32:16 <oerjan> @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:33:15 <oerjan> @tell Sgeo There are all these other kinds of similar hierarchy theorems in complexity etc., although i don't know this one specifically
23:35:14 <oerjan> <Phantom_Hoover> i think the proper term is 'complainer' <-- complainteuriste hth
23:36:25 <GreyKnight> complaint tourist, n. someone who travels the Internet looking for things to moan about.
23:36:42 <oerjan> <Phantom_Hoover> pubnub just sounds like some sort of euphemism <-- nubile pubes hth
23:36:43 <olsner> or travels to scotland and sues people?
23:37:15 <Bike> that is a useful term, i'm going to go ahead and take it
23:39:15 <oerjan> Bike: i demand royalties for derivative work!
23:39:50 <Phantom_Hoover> hey Bike did you actually get anywhere with that eodermdrome interpreter
23:40:31 <Bike> you already asked me that, and the answer is "eh"
23:41:17 <oerjan> <Phantom_Hoover> is lsl really your main programming experience <-- hey don't dis him, my first C family language was LPC
23:42:24 <GreyKnight> 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 <oerjan> and my path to ed/vim went through the LPMud comment system :P
23:43:09 <oerjan> oh wait _derivatives_, ignore me then.
23:44:57 <oerjan> 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 <GreyKnight> nobody has a copy of the interpreter anymore?
23:45:44 <oerjan> 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:48 <oerjan> 16:13:52: <GreyKnight> (joke: I actually don't know)
23:46:48 <oerjan> 16:14:09: <Phantom_Hoover> neither do i
23:47:16 <oerjan> in fact i even found internet proof recently
23:48:12 <oerjan> small matter of programming?
23:48:45 <oerjan> i mean internet proof of what the I stands for
23:49:18 <GreyKnight> Yes, I was suggesting that perhaps the I stands for "Internet"
23:50:06 <oerjan> you know what the A and S stand for?
23:51:24 <GreyKnight> 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:30 <olsner> albatross imogen sneezes?
23:51:40 <oerjan> GreyKnight: you don't need to mention them
23:51:58 <GreyKnight> Phantom_Hoover, there was one of those in God-Emperor!
23:52:04 -!- monqy has joined.
23:52:35 <lambdabot> monqy: You have 2 new messages. '/msg lambdabot @messages' to read them.
23:52:42 <GreyKnight> The Fremen word is "sietch", I don't know if "seitch" is a word