00:00:05 <Bike> "You Fancy Languages? The polyglot programmer hangout." oh nooooo
00:00:06 <monqy> channel with sgeo and a bunch of bots in it and that's it
00:00:38 <Bike> no public logging hmmmmm what are you getting up to in there sgeo
00:00:45 <elliott> i like how this is half people from #haskell
00:00:55 <elliott> imo this place is less cosy than #esoteric
00:01:14 <monqy> did you guys join yfl
00:01:47 <Bike> n o i m e a n t # e s o t e r i c
00:02:05 <monqy> yfl seems to have a thing for erlang
00:02:40 <monqy> Object Orientation supporting languages. Just to show that there's more to them than just C++ and Java.
00:02:42 <monqy> There are currently no items in this folder.
00:03:21 <elliott> guess there's not more to them than just C++ and java
00:03:46 <monqy> their fp 'folder' is erlang, sicp, high vs low level languages, erlang, erlang, curry, clojure
00:03:58 <elliott> 140 Characters of Stupid at a Time
00:03:59 <elliott> I don't use Twitter. For any reason. Here's why.
00:04:08 <elliott> this is from the guy who wrote that haskell troll (hes in #yfl (remember when he joined here))
00:04:18 <elliott> (remember when shachaf scared him off)
00:04:24 <elliott> Here's a thought, Michael: if you're too fucking lazy to open an account on a well-known web site, I probably don't want your lazy ass working my code. See, I want my contributors to actually think and work on their contributions. If signing up for a web site is too much work for you, chances are complying with coding guidelines, writing proper test cases, etc. is also too much work for you.
00:04:35 <elliott> So this next asshat, Mark, thinks that people should use tools based on how easy it is for others to access them instead of the project's principals. Shit, here he's talking about one web site over another. Damn, his brain would fucking explode if someone chose not just another web site but a whole different SCM!
00:04:40 <elliott> Seriously, WTF is it with these Github shitheads? Hipster languages. Hipster web sites. Hipster operating systems. Then talking as if this were rational!
00:04:43 <elliott> Advantage: G3rtm and sanity.
00:04:52 <Bike> fucking hipsters god
00:04:56 <elliott> i think actually punching myself in the face would hurt less than this
00:05:05 <elliott> So, according to this twerp, making life more difficult for your core developers is "meta-optimising" because it allows lazy assholes to contribute lazy-assed work. Got it.
00:05:10 <Bike> you know what would hurt less than this? not doing this
00:05:11 <elliott> So not only is this asshat inconsistent in his belief in meta-optimization, he also somehow thinks that all code is deployed on Linux servers. Apparently the myriad of PCs running Windows out there don't exist in his world. Nor do the Macs running OSX. Nor do the smartphones running iOS or Android. Nor do embedded systems of any kind (despite, you know, the overwhelming majority of software in the world running on those).
00:05:17 <oerjan> elliott: that's verbose, i think he needs more twitter to cut down the length
00:05:17 <elliott> Just how fucking stupid can you get?
00:05:25 <elliott> As for me? I use unpopular tools in my stuff: unpopular languages, unpopular SCM, unpopular everything, precisely as a filter to get rid of asshats like this Mark Wotton guy and this Michael Klishin guy. They're great hipster filters.
00:05:32 <elliott> Fuck I wish I'd said that myself. :(
00:05:41 <elliott> ran out of blog post to quote from
00:06:04 -!- Bike has set topic: char*a,b[9999];main(){gets(a=b);while(*a){a+=(b[*a]-=b[a[1]])?3:a[2];}puts(b+1);} | a good hipster filter http://codu.org/logs/_esoteric/.
00:06:33 <elliott> ugh all these other posts look more boring
00:06:38 <Gregor> I order something custom-made online, it says it'll take five to six weeks. Ten days later, they ship it express (after I only paid for slowmail). Dahell?
00:06:38 <elliott> as in more boring to quote from
00:09:06 <fizzie> Gregor: It's poisoned and they want to get rid of you ASAP, HTH, HAND.
00:10:06 <Gregor> Ahhhhhh, that explains it.
00:11:19 <monqy> elliott: so is yfl any good
00:15:22 <fizzie> Term of the day: "the curse of dimensionality". (It is something a wicked witch might cast.)
00:15:49 -!- impomatic has quit (Quit: http://corewar.co.uk).
00:15:55 <oerjan> the wicked witch of which direction, exactly?
00:16:19 <kmc> what's a hipster filter?
00:16:47 <kmc> fungot: are you a hipster?
00:16:48 <fungot> kmc: foreground 10 background 2 color ( chart,above), and that it performs the reverse of inx, is displayed
00:20:11 <fizzie> oerjan: The wicked witch of the ana or kata, presumably.
00:22:33 -!- DHeadshot has joined.
00:26:49 <oerjan> now if east/west are wicked, north/south are good, and ana/kata are wicked, it follows for balance that up/down must be good.
00:28:15 <oerjan> http://en.wikipedia.org/wiki/Charles_Howard_Hinton
00:33:08 -!- sebbu has quit (Ping timeout: 248 seconds).
00:42:57 -!- sebbu has joined.
00:57:40 -!- sebbu has quit (Ping timeout: 248 seconds).
01:01:46 -!- Phantom_Hoover has quit (Remote host closed the connection).
01:24:40 <kmc> elliott: where is that quote from
01:24:47 <kmc> also i thought hipsters like things that aren't popular yet
01:24:55 <elliott> kmc: you mean the really long awful one
01:24:58 <elliott> are you sure you want to know
01:25:05 <kmc> nm i googled it
01:26:13 <kmc> i forgot that 'hipster' is a generic pejorative that can be applied to anyone
01:29:45 -!- sebbu has joined.
01:43:00 <elliott> Sgeo: I like this channel already.
01:44:04 -!- sebbu has quit (Ping timeout: 248 seconds).
01:48:26 <kmc> elliott: neither the people tweeting nor the person making fun of them seem to have any good reason to care as much as they do
01:48:48 <elliott> are you suggesting i would quote anything with any kind of value whatsoever
01:50:52 -!- sebbu has joined.
01:58:54 -!- sebbu has quit (Ping timeout: 264 seconds).
02:04:59 <kmc> USB wifi adapters are really tiny now
02:05:05 <kmc> like "barely sticks out of the port" tiny
02:08:34 <kmc> so i'm giving a lecture tomorrow which includes stuff about different systems being turing complete and therefore equivalently powerful
02:08:47 <kmc> Ask #esoteric: what are amusing / interesting examples of TC systems?
02:10:52 <kmc> i could bring a bunch of live crabs into lecture
02:11:02 <kmc> have a digression about marine biology
02:11:08 <kmc> pass one around the class in a little dish full of water <3
02:11:36 <elliott> kmc: can I come to your lecture
02:11:42 <Bike> http://arxiv.org/abs/1204.1749 here's your cite
02:11:45 <kmc> yes it's in cambridge ma though
02:12:02 <kmc> Bike: nice
02:12:02 <Bike> oh and i guess you'd need to cite shannon or whoever to get computers out of gates? w/e
02:12:20 <Bike> i like the "laboratory models"
02:12:35 <elliott> kmc: can you give me a plane ticket
02:12:38 <Sgeo> kmc, langton ants?
02:12:54 <elliott> CAs are kind of sticky there
02:13:24 <kmc> this is the only computer I've seen that has a part labeled "intimidation plate"
02:13:40 <elliott> I think I need one of those for my computer
02:13:53 <Bike> hm what's another one though
02:13:59 <Bike> fucking everything and its mother is turing complete
02:14:04 <Bike> (parse as you will)
02:14:52 <Bike> unrestricted grammars are pretty obvious but they're probably useful pedagogically
02:14:58 <Bike> to get across the "fucking everything" part
02:26:17 <Sgeo> help ttm is talking to me
02:28:07 <elliott> this channel really is quality
02:30:23 <Bike> i made a good decision.
02:31:45 <elliott> Bike: hope you feel welcome
02:33:07 <elliott> shachaf: remember that great ttmrichter guy
02:33:11 <elliott> who wrote that great post about haskell once
02:33:18 <elliott> i bet you want to spend lots of time in a room where he has ops right
02:33:49 <shachaf> (Actually I know nothing about him.)
02:33:56 <shachaf> (Why is ski in that channel?)
02:36:35 <Bike> elliott: as separate components sure, don't you know your peirce?
02:36:53 <Bike> http://en.wikipedia.org/wiki/Abductive_logic_programming
02:37:22 <Bike> elliott: see what you've started
02:37:34 <elliott> um I believe this is all your fault Bike
02:37:35 <Bike> you've become a trendsetter...a hipster of the highest order.........
02:37:37 <monqy> no Bike, sgeo's taking the blame here
02:39:13 -!- oerjan has quit (Quit: n'thigg).
02:39:28 <Bike> i like how i have no idea who anybody is even though some of you obviously have a History
02:39:44 <shachaf> Bike: just listen to elliott????????
02:40:01 <elliott> oh do you mean people in #esoteric in general or something
02:40:07 <Bike> well apparently you know who ttmrichter and ski are
02:40:16 <elliott> ski is a regular in #haskell
02:40:22 <Bike> see there you go
02:40:26 <elliott> ttmrichter is some guy who wrote a really trolly flamebait blog post about haskell once
02:40:32 <elliott> and then shachaf drove him away
02:40:36 <Bike> yeah was that the one about cabal
02:40:59 <Bike> shachaf, you thought beaky was an extraordinary.
02:41:22 <shachaf> beaky filled a much-needed gap in #haskell
02:41:30 <elliott> I remember when shachaf wanted to get beaky banned.
02:41:41 <shachaf> elliott: I never wanted that?
02:41:57 <shachaf> I wanted people to be aware of beaky, that's all.
02:43:51 <Bike> So what's the deal with ski. I don't want to be the sacrifice, man.
02:44:09 * monqy . o O ( Yeah, what's the deal with that guy? )
02:45:10 <monqy> btw whats this blog post
02:45:18 <Bike> I'm pretty sure there's a ´`deal`´ and I want to know whether I should be in on this ´`deal`´..
02:45:51 <shachaf> ski is what you might call "a cool dude"
02:46:15 <Bike> oh "a cool dude"s are usually cool
02:46:35 <shachaf> it's almost like they have something in common
02:47:08 <shachaf> btw in hebrew "dude" means "water heater"
02:47:18 <shachaf> so a "cool dude" would be a problem??
02:47:24 <shachaf> you might even say it would be a dud
02:48:17 -!- NihilistDandy has joined.
03:06:03 <kmc> do you think it's fair to say that the distinguishing property of a compiler vs. an interpreter is that a compiler doesn't infinite-loop even if the program it's compiling does?
03:06:50 <Bike> I think it's better to think of it as partial evaluation of an interpreter if you're going to go that road.
03:07:25 <kmc> futamura projections, another thing I won't have time to get to in this lecture :(
03:07:32 <monqy> what if it's an awful compiler with bugs. the bug is that the language has undecidable something or other (type system? metalanguage?) and they forgot to put in a timeout
03:08:54 <Bike> yeah that's what i was thinking of
03:09:13 <Bike> often it's not straightforward what's compile-time and what's interpret-time and bla bla fuckin bla
03:09:36 <monqy> 'artificial distinction' &c &c
03:10:01 <Sgeo> Interpreter that after a certain amount of time... quits and forks to execute the remainder of the program?
03:10:12 <kmc> yeah i know it's not straightforward
03:10:29 <Bike> maybe it would be best to explain it with some kind of static analysis
03:10:36 <kmc> but I think it's a reasonable distinction to talk about, in the middle of a discussion of halting problem and such
03:10:46 <Sgeo> Static analysis does not imply compiled
03:11:14 <Bike> but an idealized compiler looks at a program "statically" enough that whatever it's doing is computable.
03:12:01 <Sgeo> How do you distinguish compiler v interpreter for non-TC languages not capable of infinite looping?
03:12:11 <kmc> you wouldn't
03:12:29 <kmc> it's not an ironclad mathematical definition
03:12:40 <Arc_Koen> in my opinion a compiler maps a program in one language to its representation in another language (usually lower level) - an interpreter on the other hand maps the program to its effect when executed (which is probably a good way to represent the program, except you might be showing only one possible outcome out of severals, for instance if the program is nondeterministic, or if you're interpreting it over a specific input
03:12:40 <lambdabot> Arc_Koen: You have 2 new messages. '/msg lambdabot @messages' to read them.
03:12:44 <elliott> kmc: if you see programs as functions, the distinction is "simpler"
03:12:48 <lambdabot> oerjan said 2m 8d 6h 52m 47s ago: "Note that functions . and , actually modify their input world, rather than a copy." <-- that's evil! also not pure.
03:12:48 <lambdabot> oerjan said 6h 32m 40s ago: your fueue interpreters only allow literal ' ' as whitespace (and i suspect the ocaml one doesn't accept even that inside loops.) this ruins my pretty indentation and is
03:12:51 <monqy> i'd sure distinguish them!!!!!
03:12:54 <kmc> it's a way of looking at things which makes certain things clearer and others less clear
03:13:11 <Sgeo> I think Arc_Koen's definition matches my intuitive one better
03:13:33 <kmc> also I'm not asking "what is the best definition of compiler", i was asking whether a particular unusual view is useful / interesting in a particular context
03:13:34 <elliott> kmc: interpreter :: ({A -> B}_L, A) -> B; compiler :: {A -> B}_L -> {A -> B}_T
03:13:44 <Bike> kmc: well, i don't think it is
03:13:46 <elliott> kmc: hideously ad-hoc notation: {X}_L means a program in L representing a function of type X
03:13:52 <elliott> and T is the target language
03:14:14 <elliott> that essentially boils down to "a compiler is a partial application of an interpreter", I guess, but you have the distinction of what language things are represented in
03:14:40 <monqy> at the level the compiler/interpreter distinction makes sense (translation vs 'execution'??? who knows.........) i think it'd make sense to distinguish e.g. 'compiling' a regular expression to a DFA vs. checking membership of a string directly
03:14:54 <monqy> it's a pretty ill-defined thing to talk about...
03:14:57 <monqy> i prefer not to....
03:15:23 <Bike> "not compiling means doing a pointless bunch of crap a bajillion times. or at least cutting down on the crap"
03:26:59 <Sgeo> http://www.reddit.com/r/haskell/comments/17kynn/rubygemsorg_got_hacked_today_is_hackage_safe/
03:27:19 <Sgeo> "Is Hackage safe?
03:27:19 <Sgeo> Not at all. As everyone can upload a new version of any package, it should take about 5 minutes to break Hackage."
03:29:09 <Bike> "mission critical" is such a set phrase
03:29:12 <elliott> "anyone at all" with a hackage account
03:29:39 <Bike> so are there worms written in haskell yet
03:29:50 <Bike> type-safe elk cloner to commemorate the anniversary
03:36:46 -!- jconn has joined.
03:38:05 <monqy> ) welcome back jconn
03:38:05 <jconn> monqy: welcome back jconn
03:38:15 <monqy> but my name's monqy.....
03:38:21 <jconn> elliott: |value error: hello
03:38:27 <elliott> why does it love monqy and not me
03:40:14 <Sgeo> Probably an easier way to write that
03:42:10 <Sgeo> ) 'Hi'"0`'Bye'"0@.?2
03:42:11 <jconn> Sgeo: |domain error
03:42:11 <jconn> Sgeo: | 'Hi'"0`'Bye'"0@.?2
03:42:14 <Sgeo> ) 'Hi'"0`'Bye'"0@.?1
03:42:14 <jconn> Sgeo: |domain error
03:42:14 <jconn> Sgeo: | 'Hi'"0`'Bye'"0@.?1
03:42:54 <Sgeo> ) ;:'''Hi''"0`''Bye''"0@.?1'
03:42:55 <jconn> Sgeo: +----+-+-+-+-----+-+-+--+-+-+
03:42:55 <jconn> Sgeo: |'Hi'|"|0|`|'Bye'|"|0|@.|?|1|
03:42:55 <jconn> Sgeo: +----+-+-+-+-----+-+-+--+-+-+
03:43:09 <Sgeo> quoting hell :(
03:44:10 <Sgeo> string delimiters should be nestable
03:44:49 <Sgeo> Well, if strings can store code sometimes it makes good sense
03:45:04 <Sgeo> Although the fact that "" in Tcl isn't nestable sucks
04:08:02 <Sgeo> This is the best thing ever http://www.youtube.com/watch?v=iBxzXCBFf1w&list=PLxHXPBa3SI_iwFjAv9lLwxCFVyc5Fc5hy&index=1
04:17:12 <shachaf> Sgeo: "" is a monoid right
04:23:21 <Bike> well it is the identity of string composition which is. so i'm gonna say yes.
04:24:44 <shachaf> String composition (the operation) is no more a monoid than the identity of that operation.
04:24:57 <shachaf> Anyway, Sgeo said: "" in Tcl isn't nestable
04:25:02 <shachaf> I assume he didn't mean the empty string.
04:25:13 <Sgeo> I mean the string delimiters
04:25:20 <Sgeo> Or, the " delimiters
04:25:28 <Sgeo> "foo "bar" baz"
04:25:44 <Sgeo> But {foo {bar} baz} works, but then you don't get to use [] and $
04:25:59 <Bike> This hardly sounds like the best thing ever at all.
04:26:37 <shachaf> Bike: well it ís a monoid...............................
04:26:47 <shachaf> so pretty much the best thing ever
04:26:53 <Bike> oh, good point.
04:26:57 <lambdabot> mueval: recoverEncode: invalid argument (invalid character)
04:28:06 <Sgeo> There is activity in that channel
04:29:17 <shachaf> monqy: what about "complex analysis should i learn that"
04:30:03 <monqy> analysis can be fun?
04:30:12 <monqy> i dont know much of it though
04:31:54 <Bike> How about how the value of any holomorphic function is completely determined by its values in a ring around that point
04:32:31 -!- Arc_Koen has quit (Quit: Arc_Koen).
04:32:37 <Bike> value of a holomorphic function at any point, there we go.
04:38:50 -!- copumpkin has quit (Ping timeout: 252 seconds).
04:39:21 -!- copumpkin has joined.
04:42:18 -!- monqy has quit (Read error: Connection reset by peer).
04:43:39 -!- Bike has quit (Ping timeout: 256 seconds).
04:45:20 -!- Bike has joined.
05:00:40 -!- Bike has quit (Ping timeout: 240 seconds).
05:02:46 -!- Bike has joined.
05:04:49 -!- augur has joined.
05:19:47 <kmc> anyone have handy a list of church numerals in the SK calculus
05:20:06 <Bike> doesn't wikipedia have a table?
05:21:09 <shachaf> @pl \f x -> f (f (f (f (f x))))
05:21:09 <lambdabot> ap (.) (ap (.) (ap (.) (join (.))))
05:21:14 <shachaf> I guess that's more than SK.
05:21:23 <shachaf> You could get from that to SK with a trivial substitution, though.
05:25:37 <kmc> i'll allow it
05:25:45 <kmc> Bike: does it?
05:25:54 <Bike> i thought it did but i don't see it
05:25:57 <kmc> i was unable to find it with 15 seconds of googling
05:26:04 <kmc> which is my new standard for "does a piece of human knowledge exist"
05:30:34 <kmc> it seems the punchline of this talk (after encoding away numbers, bools, cons pairs, recursion, and lambda itself) is "all that's left is parentheses"
05:30:37 <kmc> maybe i should feel bad about that
05:31:19 <shachaf> Encoding away lambda itself?
05:31:21 <Bike> pah, you don't need parentheses
05:31:26 <kmc> shachaf: S/K
05:31:29 <Bike> well if he's using ski.....
05:31:59 <Bike> nah you could use automata
05:32:09 <shachaf> actually use lazy k because "its cooler than unla"mbda??
05:32:27 <kmc> the other punchline under consideration is that i hit a switch and swarms of soldier crabs drop onto everyone
05:32:41 <kmc> don't think i will have time to set that up :/
05:32:55 <kmc> i'd have to skip work tomorrow to go fishing
05:32:58 <shachaf> The lecture has been delayed due to crab shortage.
05:34:42 <quintopia> just go to maryland and buy a whole bunch of blue crabs or summat
05:35:07 <kmc> maryland is far away
05:35:12 <kmc> i could get maine lobster
05:35:15 <kmc> that's basically the same right
05:35:22 <Bike> they need swarming though
05:35:42 <Bike> god did you even READ the paper on crabputing
05:36:00 <kmc> crabputers, crabputers, work like computer, taste like crab
05:36:46 <Bike> the new taste sensation that's sweeping the enterprise server solutions world
05:37:10 <kmc> tastes great with old bay seasoning
05:40:12 <shachaf> > let chu 0 = "k (s k k)"; chu n = "s (s (k s) k) (" ++ chu (n-1) ++ ")" in chu 5
05:40:15 <lambdabot> "s (s (k s) k) (s (s (k s) k) (s (s (k s) k) (s (s (k s) k) (s (s (k s) k) ...
05:40:18 -!- NihilistDandy has quit (Quit: Textual IRC Client: www.textualapp.com).
05:40:25 <shachaf> > let s x y z = x z (y z); k x y = x in s (s (k s) k) (s (s (k s) k) (s (s (k s) k) (s (s (k s) k) (s (s (k s) k) (k (s k k)))))) (+1) 0
05:41:22 <kmc> > let chu 0 = "k (s k k)"; chu n = "s (s (k s) k) (" ++ chu (n-1) ++ ")" in chu 2
05:41:24 <lambdabot> "s (s (k s) k) (s (s (k s) k) (k (s k k)))"
05:42:34 <copumpkin> wow, it's unnaturally warm right now
05:42:53 <shachaf> Oh, Google made their weather finder thing fancy.
05:52:13 -!- monqy has joined.
05:53:24 <oklopol> "<shachaf> actually use lazy k because "its cooler than unla"mbda??" no it's not
05:53:32 <oklopol> unlambda is awesome, lazy k is just ski.
05:54:26 <oklopol> oh there was a beginning quote
05:55:20 <oklopol> ""its cooler than unla"mbda??" i parsed this as it's cooler than unlambda with randomly inserted quotes
05:55:55 <oklopol> but indeed the beginning quote is correctly placed
05:56:17 <oklopol> and perhaps could be interpreted as some sort of sarcasm
05:56:30 <oklopol> but in any case, i've heard many people say that lazy k is better
05:57:24 <oklopol> which is stupid. i would be fine with "SKI is better" tho.
05:57:33 <oklopol> but perhaps there were always quotes
05:57:44 <oklopol> perhaps everything i've ever heard and learned was in quotes
05:58:10 <oklopol> and really and truly i have heard nothing which has a meaning
05:58:29 <oklopol> i'm going to make a sandwich now
06:03:18 <kmc> perhaps death is just the closing of a cosmic quote
06:05:20 <Bike> ...," yields falsehood when...
06:11:10 <oklopol> so there's a deadline today :o
06:14:33 <kmc> deadlines alone move the wheels of history
06:15:38 <oklopol> also actual deaths, i hear
06:16:37 <shachaf> kmc: Are S and K enough even in a strict language?
06:16:39 <oklopol> but yeah writing usually gets exponentially faster when there's a deadline
06:17:25 <shachaf> oklopol: I mean that SKI is better.
06:17:37 <shachaf> Or non-strictness, anyway.
06:17:49 <shachaf> But Lazy K is the only semi-standard implementation of SKI that I know of.
06:18:16 <oklopol> well i suppose that's a reasonable argument.
06:18:22 <oklopol> i still disagree, unlambda is awesome
06:20:44 <oklopol> ski + continuations is just an awesome idea
06:21:01 <oklopol> a priori. i have no idea what programming with that combination is like.
06:21:08 -!- sebbu has joined.
06:21:08 -!- sebbu has quit (Changing host).
06:21:08 -!- sebbu has joined.
06:21:24 <shachaf> OK, SKI + continuations might be better than SKI.
06:21:28 <oklopol> well obviously ski is a better idea than ski+continuations.
06:21:28 <shachaf> But SKI is still better than unlambda.
06:21:35 <oklopol> but i still prefer the combination
06:23:02 <oklopol> shachaf: idgi? what's wrong with unlambda if not the continuations
06:23:36 -!- clog has quit (Ping timeout: 276 seconds).
06:23:52 <shachaf> OK, I guess you probably want strictness if you have first-class continuations.
06:26:53 <shachaf> kmc: are you teaching them about monoids
06:27:07 <shachaf> dr. beaky or: how i learned to stop worrying and love the monoids
06:34:41 <shachaf> What's with people writing the names of things like complexity in ALLUPPERCASE?
06:34:52 <shachaf> Did they figure them out before lowercase letters were invented?
06:39:19 <Bike> beaky-completeness
06:46:43 -!- FreeFull has quit.
06:47:17 -!- madbr has joined.
06:48:05 <madbr> why do CPUs still have so few execution units?
06:48:48 <madbr> they have billions of transistors
06:49:08 <madbr> yet they're still souped up pentium IIs that can only really do 4 instructions per cycle
06:50:13 <madbr> no wonder ARM is gaining ground
06:51:59 <Bike> how many units does an arm have?
06:53:04 <Bike> is that more than 4 instructions/cycle
06:53:23 <shachaf> They're so small they should be called µnits.
06:53:33 <madbr> depends if memory load counts as a separate instruction
06:54:06 <madbr> if you count memory load, the pentium IIs they do these days go up to like 6 or 7
06:54:20 <ion> starglte, hllf-life, numbthreers
06:54:32 <madbr> while arm A8 stays at 2
06:54:49 <madbr> and A15 goes up to like 5
06:54:58 <lambdabot> People react to fear, not love; they don't teach that in Sunday School, but it's true.
06:55:20 <Bike> so arm is gaining ground because it has less or what
06:56:19 <madbr> arm is gaining ground because while they do have less, their design is much, much less complicated
06:56:25 <madbr> although it's out of order now
06:56:51 <Bike> what's that got to do with execution units
06:57:05 <madbr> execution units are the payload
06:57:29 <madbr> like, the actual adders, multipliers, multiplexers that read from the cache..
06:57:46 <madbr> ie the parts that ddo the stuff that you actually want
06:58:22 <madbr> and not the bookkeeping surrounding that like instruction decoding and branch prediction
07:00:00 <shachaf> https://simonsfoundation.org/wp-content/uploads/2013/01/tsp_map.jpg
07:00:42 <madbr> the only good thing about the p2 is that its crazy architecture lets it keep doing stuff during a cache miss
07:01:16 <Bike> shachaf: is that all one line
07:01:57 <Bike> oh, traveling salesman
07:04:02 -!- copumpkin has quit (Ping timeout: 252 seconds).
07:04:33 -!- copumpkin has joined.
07:10:02 -!- RodgerTheGreat has quit (Quit: RodgerTheGreat).
07:38:31 -!- DHeadshot has quit (Ping timeout: 248 seconds).
07:43:14 -!- Bike has quit (Quit: oh nooooo).
08:01:05 -!- madbr has quit (Quit: Radiateur).
08:01:55 -!- azaq23 has quit (Quit: Leaving.).
08:02:53 -!- copumpkin has quit (Ping timeout: 252 seconds).
08:03:24 -!- copumpkin has joined.
08:09:26 -!- Taneb has joined.
08:18:32 -!- clog has joined.
08:29:06 -!- Taneb has quit (Quit: Leaving).
08:34:10 -!- glogbackup has quit (Ping timeout: 256 seconds).
09:03:39 -!- HackEgo has quit (Ping timeout: 240 seconds).
09:04:28 -!- HackEgo has joined.
09:20:54 -!- esowiki has joined.
09:20:58 -!- esowiki has joined.
09:20:58 -!- esowiki has joined.
09:21:14 -!- esowiki has joined.
09:21:18 -!- esowiki has joined.
09:21:18 -!- esowiki has joined.
09:21:20 -!- glogbot has joined.
09:21:25 -!- glogbackup has left.
09:21:27 -!- glogbackup has quit (Excess Flood).
09:28:16 -!- Gregor has quit (Excess Flood).
09:36:00 -!- FireFly has quit (Read error: Operation timed out).
09:36:38 -!- FireFly has joined.
10:14:37 -!- Phantom_Hoover has joined.
10:16:32 -!- copumpkin has quit (Remote host closed the connection).
10:16:49 -!- copumpkin has joined.
11:02:30 -!- carado has joined.
11:09:16 <Sgeo> "n this article we present a mathematical data model for the most common noSQL databasesnamely, key/value relationshipsand demonstrate that this data model is the mathematical dual of SQL's relational data model of foreign-/primary-key relationships. "
11:20:18 -!- epicmonkey has joined.
11:22:31 <shachaf> The dual of a key store is a little cooky.
11:42:18 <Sgeo> "But remember: if you buy something at a low price and want to make a profit from its sale, a selling price has to be more than twice the amount paid. That way, one can get more money than one started with."
11:42:23 <Sgeo> http://www.thonky.com/eve-online-guide/eve-online-market.php
11:50:56 <fizzie> Oh, and here's a new thing for you: http://zem.fi/ircvis/esoteric/people_mentions.html
12:03:12 <Deewiant> Uhm http://sourceware.org/ml/glibc-cvs/2013-q1/msg00115.html
12:03:51 <fizzie> Freedom is the freedom to say that 2 + TWO make zero.
12:06:26 <Jafet> Sgeo: http://oi46.tinypic.com/2qsqvbo.jpg
12:07:59 <Deewiant> Evidently I've mentioned optbot the most? That's a bit poor.
12:08:11 <asiekierka> fizzie: It's funny how elliott was mentioned the most
12:08:19 <Deewiant> fizzie: I wonder if having relative-in-column and relative-in-row visualizations would be useful.
12:08:36 <monqy> is it funny how elliott talks the most
12:08:38 <asiekierka> the only people who never did are Keymaker and Razor-X
12:09:07 <shachaf> fizzie: are all these graphs my fault
12:09:11 <Jafet> "pairings that never occurred" this is where we fill in with shachaf fanfic
12:09:21 <fizzie> shachaf: Perhaps not quite, but I'm blaming you in any case.
12:09:31 <asiekierka> funny how when you click "freq. of being mentioned", there's a diagonal line of self-mentions
12:10:27 <asiekierka> same but less visible on other settings
12:11:29 <fizzie> Deewiant: Perhaps I should add a "normalize" dropdown later. (I was also thinking of feeding that same data into a graph thing, and/or a clustering thing.)
12:13:36 <fizzie> Deewiant: And actually since the row is "person who was mentioned", it's just that optbot's said your name quite often (w.r.t. how much optbot has spoken, overall).
12:14:40 <shachaf> fizzie: It should highlight nicks when you hover over a blank square.
12:14:50 <Deewiant> fizzie: Oh, right. I somehow always manage to mix up X and Y when reading tables.
12:15:17 <Deewiant> "Person X" = "person whose name is written in the X-direction"
12:15:57 <fizzie> Deewiant: I probably should've just talked about rows and columns there, and also not reuse X and Y for the name-placeholders.
12:16:13 <fizzie> shachaf: I guess. It doesn't because those don't have associated rect elements at all, at the moment.
12:16:27 <shachaf> fizzie: They could be white squares.
12:17:36 <shachaf> monqy: hi "im right next 2 u on the graph"
12:18:12 <fizzie> They could. Also I was wondering if it should highlight (in some suitably subtle way, maybe with a thin black border or something) the transpose cell, so that you can easily see whether the feeling is mutual.
12:18:57 <Sgeo> Jafet, I don't actually play EVE yet
12:19:08 <Sgeo> But I gather that those are not things worth that amount
12:19:44 <Sgeo> Jafet, wait, what's with that unreachable thing?
12:20:21 <shachaf> i say we ship Jafet and fungot
12:20:21 <fungot> shachaf: expressions which have enjoyed a wide range of complex harmonic structures from voice i at the warm start, basic statements on. this chart shows which color com- binations to avoid defining nonarray variables ( see the section on input/ output operations. in scientific notation
12:20:48 -!- monqy has quit (Quit: hello).
12:20:52 <fizzie> Now the empty cells are rectangles too.
12:21:33 <shachaf> Have you considered running for president?
12:21:38 <Jafet> SING FOR ME FUNGOT
12:21:50 <Jafet> I'm sorry I yelled at you, fungot.
12:21:51 <fungot> Jafet: registers affected: a, and does not understand, so we've put together a fun sprite program called " scrolling. it is receiving).
12:22:08 <fungot> shachaf: you can also develop special graphics characters. these are the values of the x and y registers to zero.
12:22:35 <fizzie> I should probably make those lines between cells also just a grid on top, so that the nick highlight wouldn't blink so much.
12:22:41 <Jafet> `addquote <shachaf> fungot: ♥ <fungot> shachaf: you can also develop special graphics characters.
12:22:41 <fungot> Jafet: for scrolling in the 651 0 microprocessor is writing irq interrupt to occur while you can display the upper left-hand corner of the device resets these pointers are no longer work, forcing major revisions in the
12:23:01 <shachaf> Hmm, I might read zzo38 fan fiction.
12:23:24 <Jafet> @tell Jafet addquote (this parenthetical messes with fizzie's stats)
12:23:35 -!- copumpkin has quit (Ping timeout: 252 seconds).
12:24:06 -!- copumpkin has joined.
12:34:40 <fizzie> I made a highlight-cell-and-transpose happen, and it looks kinda silly, but oh-well.
12:38:27 <shachaf> monqy: you look about "third reddest" to me
12:44:06 <fizzie> Ooh, I should add (on the non-labeled edges) a line-plot showing the overall marginal distribution, as well as the highlighted nick's one.
13:20:44 <Sgeo> I'm scp -r'ing everything from my account at Farmingdale to home
13:20:57 <Sgeo> Seems to be just downloading a lot of Factor related stuff repetitively
13:23:16 <Sgeo> Hmm, maybe not repetitively
13:27:56 <Sgeo> I put a lot of stuff on there that I don't really need a copy of I guess
13:28:07 <Sgeo> I want to at least keep my picolisp code
13:31:05 <Sgeo> I have not written any Ada code.
13:43:42 -!- Arc_Koen has joined.
13:49:02 -!- boily has joined.
14:42:23 -!- RodgerTheGreat has joined.
15:26:58 -!- Gregor has joined.
15:33:05 -!- impomatic has joined.
15:47:35 <Gregor> Some other Gregor jerk is trying to snag my nick.
15:47:40 <Gregor> Keeps logging in whenever I'm not using it.
15:51:45 <shachaf> just what i'd expect from someone named Gregor !!
15:53:00 <shachaf> Have you considered changing your name to Tertbe?
15:53:39 <Gregor> coppro: I used to have protect on, but I have a BNC, so every time I get disconnected my BNC stays connected with my nick for a while without authenticating.
15:55:03 <Gregor> I could probably make my BNC auth, but I'm lazy and don't know how.
15:56:30 -!- Gregor has changed nick to TwilightSpockle.
15:58:19 <coppro> TwilightSpockle: this network accepts nickserv passwords with PASSWORD
15:59:49 <shachaf> TwilightSpockle: imo Tertbe would be betTer
16:00:18 <shachaf> (DO YOU GET THE JOKE. THE JOKE IS THE ROT13 OF YOUR NAME IS AN ANAGRAM FOR "BETTER")
16:00:26 <shachaf> (I CAPITALIZED A LETTER THERE TO MAKE IT OBVIOUS)
16:27:55 -!- AnotherTest has joined.
16:28:25 <AnotherTest> The program in the topic seems vaguely similar?
16:28:44 <AnotherTest> Does this perhaps come from a code golfing competition?
16:29:11 <AnotherTest> Similar or equal to a program I saw before
16:38:59 -!- Taneb has joined.
16:40:58 <boily> shachaf: one behaviour is dropping the first character of a single input line. can't remember who told me that there were other alternatives.
16:41:30 <nortti> it seems to be subleq interpreter
16:45:31 <Jafet> That must have been one of those HASHA CHAF.
16:51:55 <mroman> Turn's out one can find the stortest non occuring sequence within n^2 steps.
16:58:12 -!- impomatic has quit (Ping timeout: 248 seconds).
17:08:53 -!- HackEgo has joined.
17:15:40 -!- impomatic has joined.
17:45:48 -!- FreeFull has joined.
18:26:12 -!- epicmonkey has quit (Ping timeout: 248 seconds).
18:26:28 <quintopia> mroman: you mean subsequence? of a sequence of length n?
18:31:45 <mroman> quintopia: http://golf.shinh.org/p.rb?shortest+non+occuring+sequence
18:32:43 <mroman> Finding a sequence of characters not present in another sequence of characters
18:36:07 -!- ais523 has joined.
18:36:32 <mroman> You can enumerate all substrings, sort them
18:36:46 <mroman> go through the sorted list and find where something is missing in that order.
18:37:21 <mroman> probably around (2*n^2*log(n^2)) or something
18:37:32 <mroman> however, brute-force is far more efficient.
18:38:22 <mroman> you can generate all variations (where there are m^k+m^(k-1)+m^(k-2)..., where m = alphabet size)
18:39:02 <mroman> and check if the string contains that variations.
18:39:14 <mroman> => brute forcing a solution.
18:39:34 <mroman> brute force is way faster than the first method.
18:39:59 <quintopia> i'm not seeing how you're getting n^2 for the first method anyway
18:40:07 <mroman> I initially thought brute force is exponential
18:40:12 <mroman> as generating variations is exponential.
18:40:37 <mroman> There are n*n(+1)*0.5 substrings of a string
18:40:47 <quintopia> yeah, there are O(n^2) possible consecutive substrings
18:41:09 <mroman> however, brute-force finds a solution in at max. n*(n+1)*0.5+1 steps.
18:41:51 <quintopia> so...really both of these methods are a kind of brute force
18:42:01 <quintopia> and they both have the same asymptotic time bound
18:42:12 <quintopia> the only question is which is shortest to code
18:42:41 <mroman> I figured the first method is not technically brute force
18:42:54 <mroman> It doesn't try every variation
18:43:40 <mroman> since sorting is n*log(n)
18:43:50 <mroman> and you have to sort ~n^2 substrings
18:44:10 <mroman> means that the first method is probably O(n^2*log(n^2))
18:44:19 <mroman> while brute force is just O(n^2)
18:46:35 <mroman> Because there are only n^2 non-solutions
18:46:52 <mroman> you will find a solution within n^2+1 steps
18:47:07 <mroman> the actual worst-case is lower than n^2 for brute force
18:47:54 <quintopia> you can do the first algorithm in O(n^2) by using a linear time sort
18:47:56 -!- oklopol has quit (Ping timeout: 255 seconds).
18:48:13 <quintopia> itll only be slower than the second by a constant
18:48:48 <mroman> how would you linear sort?
18:49:15 <quintopia> you'll agree that strings of abcde are just base 5 numbers
18:49:42 <quintopia> so convert each found substring into its number, and throw it into an array at that position
18:49:50 <quintopia> when you're done, scan for the first empty slot
18:51:56 <mroman> wastes a lot of memory
18:53:30 <mroman> if the alphabet size is only 3
18:53:38 <mroman> one can convert it into a sat problem
18:54:08 <mroman> works also for m > 3, but it's getting exponential to convert it
18:59:00 -!- AnotherTest has quit (Quit: Leaving.).
18:59:31 -!- copumpkin has quit (Ping timeout: 260 seconds).
18:59:37 <olsner> hmm, google translate thinks that "Gwleidyddiaeth" is english
19:00:02 -!- copumpkin has joined.
19:00:09 <olsner> !rot13 Newyddion, Chwaraeon, Gwleidyddiaeth, Darluniau ac unrhyw beth arall yn perthyn i Gymru!
19:00:11 <EgoBot> Arjlqqvba, Pujnenrba, Tjyrvqlqqvnrgu, Qneyhavnh np haeulj orgu nenyy la cregula v Tlzeh!
19:03:45 <mroman> you assign each character a digit?
19:03:55 <mroman> a -> 0, b -> 1, c -> 2 ...?
19:05:14 <mroman> how'd you encode aaaaaa and aa in that?
19:05:27 <boily> !rot13 Je pense que je vais m'en tenir à mes fausses lettres et me tenir loin de cette aberration imprononçable!
19:05:28 <EgoBot> Wr crafr dhr wr invf z'ra grave à zrf snhffrf yrggerf rg zr grave ybva qr prggr noreengvba vzcebabaçnoyr!
19:07:33 <mroman> you couldn't differentiate between aaaa and aa that way
19:18:21 -!- ogrom has joined.
19:19:27 <olsner> boily: that's not finnish
19:26:51 <boily> olsner: no, it is not.
19:32:22 <olsner> apparently "wr" is welsh for man, husband or water
19:33:57 <ogrom> is the pronunciation the same as the spelling?
19:34:12 <olsner> yes, the pronunciation is also welsh
19:41:32 <impomatic> Pronunciation is a bit weird. 'f' is pronounced like 'v'. 'll' is pronounced like 'hl'.
19:43:44 -!- epicmonkey has joined.
19:52:12 -!- oerjan has joined.
19:57:07 <ais523> impomatic: welsh ll is a letter all of its own
19:57:10 <ais523> it's somewhere between hl and chl
19:59:02 <Phantom_Hoover> it's like an l, but with less space between your tongue and the roof of your mouth and no voicing
19:59:59 <ais523> yeah, that's a more accurate description, but a harder one to audialize
20:00:00 -!- Bike has joined.
20:02:26 <olsner> as long as you're in company where no-one knows both, you can always say either "that's just like welsh ll" or "that's just like klingon tlh"
20:03:09 <olsner> iirc the klingon tlh doesn't actually have anything that sounds like t in it, but I might be mixing my klingon up
20:03:39 <Phantom_Hoover> according to wp it's what i described except you start with the airflow completely blocked
20:06:34 -!- DHeadshot has joined.
20:11:45 -!- Phantom__Hoover has joined.
20:14:53 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
20:15:55 -!- Phantom__Hoover has quit (Ping timeout: 246 seconds).
20:18:40 <HackEgo> Unbound implicit parameter (?haskell::Wisdom) \ arising from a use of implicit parameter `?haskell'
20:19:00 <kmc> "but that syntax isn't even in haskell"
20:19:58 <kmc> :ty ?haskell
20:20:10 -!- Phantom__Hoover has joined.
20:20:11 <kmc> @type ?haskell
20:20:15 <HackEgo> wisdom is always factually accurate, except for this entry
20:20:25 <olsner> :ty might only work in PMs
20:20:26 <kmc> paradox lololoololololololol
20:20:29 <kmc> i think it's just :t
20:20:34 <kmc> and it works in #haskell, but maybe not other channels
20:20:35 <olsner> :t might only work in PMs
20:20:36 <boily> ah. thought that HackEgo was borked.
20:20:43 <HackEgo> C is the language of��V�>WIד�.��Segmentation fault
20:20:50 <kmc> > let 2 + 2 = 5 in "you have not been paying attention"
20:20:51 <lambdabot> "you have not been paying attention"
20:21:33 <HackEgo> Taneb is not elliott, no matter who you ask. He also isn't a rabbi although he has pretended in the past. (see also: d-modules)
20:23:23 <HackEgo> elliott wrote this learn DB, and wrote or improved many of the other commands in this bot. He probably has done other things? He is also tire.
20:24:19 <HackEgo> D-modules are just modules over the ring of differential operators. Taneb invented them.
20:24:53 -!- ThatOtherPerson has joined.
20:24:56 <Taneb> `learn Tanebventions include D-modules and automatic squirrel feeders
20:25:17 <olsner> I always thought automatic squirrels fed themselves
20:25:32 <Taneb> olsner, so an automatic squirrel feeder was a very easy invention
20:25:54 <ais523> do you just put some food on the ground where squirrels will be able to eat it?
20:25:59 <boily> what about the man eating chicken?
20:26:04 <ais523> that's more automatic than catching the squirrel so you can give it some food
20:26:09 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ?d-module: not found
20:26:13 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ?d-modules: not found
20:26:16 <HackEgo> ThatOtherPerson: 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.)
20:26:19 <HackEgo> THATOTHERPERSON: 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.)
20:26:25 <boily> `wercom ThatOtherPerson
20:26:26 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: wercom: not found
20:26:30 <boily> `wercome ThatOtherPerson
20:26:32 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: wercome: not found
20:26:36 <Taneb> ThatOtherPerson, there's a space
20:26:41 <boily> wercome isn't there anymore?
20:26:48 <HackEgo> D-modules are just modules over the ring of differential operators. Taneb invented them.
20:26:56 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: wehlcome: not found
20:27:13 <Taneb> `wElCoMe ThatOtherPerson
20:27:14 <ais523> I doubt ThatOtherPerson is new
20:27:14 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: wElCoMe: not found
20:27:19 <ais523> or they wouldn't have known to do `?
20:27:19 <olsner> do we only have boring correctly spelled welcome commands now!? outrageous
20:27:34 <Taneb> ais523, because I have once again mentioned the glory of HackEgo in another channel
20:27:52 <ais523> they came to try out HackEgo
20:28:10 <Taneb> ThatOtherPerson, it's actually a linux system running as root
20:28:17 <ais523> actually, you can probably measure HackEgo versus EgoBot usage ratio to see how ontopic the cahannel is
20:28:31 <Taneb> People still use EgoBot?
20:28:33 <boily> ais523: there are topics?
20:28:36 <olsner> boily: the man eating chicken is just a normal man, it's quite common to eat chicken in some parts of the world
20:28:41 -!- Phantom__Hoover has quit (Ping timeout: 252 seconds).
20:28:43 <ais523> well, this channel is meant to be for discussing esolangs
20:29:03 <HackEgo> ls: cannot access bin/wisdom: No such file or directory
20:29:08 <HackEgo> `? \ ? \ ⌨ \ ☃ \ 🐐 \ $1? \ ais523 \ america \ atriq \ atrix \ augur \ banach-tarski \ bike \ boily \ bonvenon \ brain \ brainf**k \ brainfuck \ brick \ burma \ c \ cakeprophet \ california \ category \ claustrophobia \ coffee \ comonad \ coppro \ cyberiad \ devious \ d-module \ egobot \ ehird \ elliot \ elliott \ endofunctor \ endomorphis
20:29:13 <HackEgo> ls: cannot access wisdom/*: No such file or directory
20:29:19 <ais523> I don't think that we've talked about any esolangs for months but BF Joust and Radixal!!!!, and the occasional brainfuck when someone comes in asking for help with it
20:29:35 <boily> ais523: but then, what about J?
20:29:39 <Taneb> ais523, me, oerjan and Arc_Koen sometimes talk about Fueue
20:29:41 <elliott> Taneb: is the joke that you lied
20:29:44 <ais523> J isn't normally considered an esolang
20:29:46 <elliott> also can someone fix that smiley
20:29:52 <kmc> yesterday i was asking about SK calculus
20:30:04 <kmc> there was also quite interesting discussion of wang tiles and the like
20:30:32 -!- Phantom__Hoover has joined.
20:30:48 <HackEgo> #!/bin/sh \ topic=$(echo "$1" | tr A-Z a-z | sed "s/ *$//") \ topic1=$(echo "$topic" | sed "s/s$//") \ cd wisdom \ if [ \( "$topic" = "ngevd" \) -a \( -e ngevd \) ]; \ then cat /dev/urandom; \ elif [ -e "$topic" ]; \ then cat "$topic"; \ elif [ -e "$topic1" ]; \ then cat "$topic1"; \ else echo "$1? ¯\(°_o)/¯"; exit 1;
20:31:09 <Taneb> That's... somewhat curtailed
20:31:34 <HackEgo> apt 0.8.10.3 for amd64 compiled on Apr 15 2011 07:35:31 \ Usage: apt-get [options] command \ apt-get [options] install|remove pkg1 [pkg2 ...] \ apt-get [options] source pkg1 [pkg2 ...] \ \ apt-get is a simple command line interface for downloading and \ installing packages. The most frequently used commands are update \ and install.
20:31:51 <Taneb> HackEgo has apt installed!?
20:32:01 <HackEgo> zAr1%b{IL@^Ċ)[z(Я;'s'# \ Q9"Jh=ƸxXvP!1!eM:66{M>#ayz¯̠93XՕ^P4Nl;iay;
20:33:04 <Taneb> ThatOtherPerson, it's not interactive
20:33:14 <HackEgo> Python 2.7 (r27:82500, Oct 13 2010, 20:26:16) \ [GCC 4.4.4] on linux2 \ Type "help", "copyright", "credits" or "license" for more information. \ >>>
20:33:50 <Taneb> It's surprisingly hard to break HackEgo.
20:34:07 -!- ogrom has quit (Read error: Connection reset by peer).
20:34:08 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: reboot: not found
20:34:14 <Taneb> For a start, it's in a mercurial repository
20:34:18 <Taneb> So we can just revert
20:34:29 <HackEgo> rm: invalid option -- ' ' \ Try `rm --help' for more information.
20:34:38 <HackEgo> rm: invalid option -- ' ' \ Try `rm --help' for more information.
20:35:00 -!- Phantom__Hoover has quit (Ping timeout: 248 seconds).
20:35:20 <ThatOtherPerson> Oh wait, I was actually working on something before I came here
20:36:04 <HackEgo> rm: cannot remove `/bin/bash': Read-only file system \ rm: cannot remove `/bin/rbash': Read-only file system \ rm: cannot remove `/bin/sh': Read-only file system \ rm: cannot remove `/bin/ln': Read-only file system \ rm: cannot remove `/bin/uname': Read-only file system \ rm: cannot remove `/bin/stty': Read-only file system \ rm: cannot remove `/bi
20:36:17 <HackEgo> bin \ dev \ etc \ hackenv \ home \ lib \ lib64 \ opt \ proc \ sbin \ sys \ tmp \ usr \ var
20:36:18 <HackEgo> = 0 \ bin \ canary \ dbg.out \ egobot.tar.xz \ etc \ factor \ factor-linux-x86-64-0.95.tar.gz \ foo \ foo.err \ foo.out \ ibin \ interps \ karma \ lib \ paste \ quines \ quotes \ quotese \ run~ \ share \ test \ wisdom \ zalgo.hs
20:36:44 -!- Phantom__Hoover has joined.
20:36:48 <Taneb> `quote plastic spoon
20:36:50 <HackEgo> 413) <Taneb> Someone with that sort of grasp of logic shouldn't be allowed anything more computationally powerful than a plastic spoon
20:36:50 -!- AnotherTest has joined.
20:37:14 -!- augur has quit (Remote host closed the connection).
20:37:17 <Taneb> ThatOtherPerson, do you intend to become a regular here?
20:37:21 <Bike> give me a plastic spoon and sufficient yogurt to swirl around and i will compute the universe
20:37:21 <lambdabot> Bike: You have 1 new message. '/msg lambdabot @messages' to read it.
20:37:39 <Bike> @tell shachaf so fucking monoid you don't even know
20:37:41 <Taneb> Do you read Homestuck or Order of the Stick?
20:37:41 -!- augur has joined.
20:37:42 <oerjan> `addquote <olsner> as long as you're in company where no-one knows both, you can always say either "that's just like welsh ll" or "that's just like klingon tlh"
20:37:43 <lambdabot> oerjan: You have 2 new messages. '/msg lambdabot @messages' to read them.
20:37:46 <HackEgo> 943) <olsner> as long as you're in company where no-one knows both, you can always say either "that's just like welsh ll" or "that's just like klingon tlh"
20:37:48 <ThatOtherPerson> I'm not sure if I'm really contributing to the conversation
20:37:55 <Bike> what conversation
20:37:56 <kmc> `python -c 'print "Hello, world!"'
20:37:58 <HackEgo> File "<string>", line 1 \ 'print "Hello, world!"' \ ^ \ IndentationError: unexpected indent
20:38:09 <HackEgo> Taneb atriq Ngevd Fiora nortti Sgeo alot
20:38:15 <boily> ThatOtherPerson: don't worry, a conversation will contribute to you some day.
20:38:20 <HackEgo> cat: /bin/list: No such file or directory
20:38:21 <boily> (be careful of fridays, they bite)
20:38:26 <HackEgo> echo Taneb atriq Ngevd Fiora nortti Sgeo alot
20:38:27 -!- augur_ has joined.
20:38:30 -!- augur has quit (Read error: Connection reset by peer).
20:38:45 <HackEgo> Linux umlbox 3.0.8-umlbox #2 Sun Nov 13 21:30:28 UTC 2011 x86_64 GNU/Linux
20:38:46 <HackEgo> Linux umlbox 3.0.8-umlbox #2 Sun Nov 13 21:30:28 UTC 2011 x86_64 GNU/Linux
20:38:54 <Taneb> `run echo "echo Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot" > bin/list
20:39:01 <HackEgo> Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot
20:39:13 <Taneb> That's our "there's been an update" thing
20:39:25 <Taneb> I am all of the first three names...
20:39:39 <Bike> ThatOtherPerson: so, what are your thoughts on monoids
20:39:44 <HackEgo> USER PID %CPU %MEM VSZ RSS TTY STAT START TIME COMMAND \ 0 1 0.0 0.1 912 276 ? S 20:39 0:00 /init \ 0 2 0.0 0.0 0 0 ? S 20:39 0:00 [kthreadd] \ 0 3 0.0 0.0 0 0 ? S 20:39 0:00 [ksoftirqd/0] \ 0 4 0.0 0.0 0 0 ?
20:39:52 <oerjan> <olsner> :t might only work in PMs <-- the other way around, actually
20:39:58 <HackEgo> 20:39:58 up 0 min, 0 users, load average: 0.00, 0.00, 0.00
20:40:18 <Bike> ThatOtherPerson: prepare for enlightenment
20:40:18 <kmc> every HackEgo command boots a user mode linux machine, right?
20:40:19 <olsner> oerjan: aha, I knew there was something special about it
20:41:13 <ThatOtherPerson> Bike: okay, my current thoughts on monoids run something like: "It's way too late for me to be able to understand this stuff"
20:41:20 -!- Phantom__Hoover has quit (Ping timeout: 255 seconds).
20:41:26 <kmc> in before beaky
20:41:36 <Bike> in after beaky mo' like
20:41:47 <Bike> ThatOtherPerson: it's just like multiplication! but less so.
20:41:54 <oerjan> `run mv wisdom/tanebventions wisdom/tanebvention
20:42:18 <elliott> ThatOtherPerson: I hear they're easy.
20:42:22 -!- Frooxius has quit (Quit: ChatZilla 0.9.89-rdmsoft [XULRunner 1.9.0.17/2009122204]).
20:42:55 <Taneb> ThatOtherPerson, did you learn Groups in maths?
20:43:09 -!- monqy has joined.
20:44:58 <HackEgo> ohlsnehr: Wehlcohme to the ihntehrnahtiohnahl huhb fohr ehsohtehrihc prohgrahmmihng lahnguahge dehsihgn ahnd dehployhmehnt! Fohr mohre ihnfohrmahtiohn, chehck ouht ouhr wihki: http://ehsohlahngs.ohrg/wihki/Maihn_Pahge. (Fohr the ohthehr kihnd ohf ehsohtehrihca, try #ehsohtehrihc ohn ihrc.dahl.neht.)
20:45:16 <AnotherTest> Taneb: You shouldn't underestimate people so much
20:45:41 -!- Phantom__Hoover has joined.
20:46:25 <Taneb> Okay, a monoid is a set plus an operation, <>, and a blessed element of the set, e, such that the following rules are followed:
20:46:34 <oerjan> `addquote <olsner> boily: the man eating chicken is just a normal man, it's quite common to eat chicken in some parts of the world
20:46:38 <HackEgo> 944) <olsner> boily: the man eating chicken is just a normal man, it's quite common to eat chicken in some parts of the world
20:46:49 <Taneb> For any a and b in the set, a <> b is in the set (closure)
20:47:15 <elliott> more like worst foundation ever
20:47:30 <Taneb> For any a, b, and c in the set, a <> (b <> c) is the same as (a <> b) <> c (associativity)
20:47:41 <Taneb> For any a in the set, a <> e = e <> a = a
20:47:43 <AnotherTest> ThatOtherPerson: good news, a group is actually like a set, but you just apply a mathematical operation to any two of its elements to form a third one
20:47:53 <monqy> ther'es lots of ways to define 'the monoid'
20:47:53 <Taneb> AnotherTest, that's a magma
20:48:01 <Bike> elliott: i forgot how monoids work with categories already. something about endomorphisms???
20:48:08 <oerjan> <elliott> also can someone fix that smiley <-- actually that particular smiley is broken on purpose
20:48:15 <Taneb> Do magmas guarantee closure?
20:48:21 <elliott> that's blatantly a magma and not a group
20:48:25 <monqy> Bike: those are categorical monoids
20:48:30 <monqy> Bike: different thing
20:48:35 <elliott> Taneb: yes magmas have closure
20:48:44 <Bike> imo fuck foundations
20:49:42 <Taneb> An example of a monoid is integers under addition
20:49:48 <Taneb> Another is functions under composition
20:49:57 <Bike> AnotherTest: the inverse is probably the important part of groups, to distinguish them from "all those other things" anyway
20:50:09 <Bike> endofunctors??
20:50:15 <Taneb> Functions that all have the same domain and range
20:50:38 <monqy> endomorphisms on...Set....
20:50:47 <Bike> what would that even mean
20:50:48 <monqy> magma "with some properties"
20:50:56 <Taneb> AnotherTest, all groups are magmas, the opposite is not true
20:51:17 <AnotherTest> A group is a magma with associativity, an identity elem I guess
20:51:44 <Bike> it's like a bunch of things had a "party" (the party is a magma) and then a bunch of things that the first group of things fucking hate (the inverses) and then they all kill each other but can never escape (closure??)
20:52:26 <Bike> ok add a boring dude
20:52:34 <Taneb> Wait, it's not a loop
20:52:52 <Bike> well i did say it was a magma, don't magmas have identities?
20:53:10 <AnotherTest> since loops are quasigroups with an identity elem.
20:53:17 <Bike> ope no they don't
20:53:23 <Taneb> Yeah, I remembered that
20:53:28 <monqy> you also forgot associativity bike
20:53:36 <Taneb> So they're quasigroups
20:53:40 <monqy> just start out with monoids it will make everything easier
20:53:48 <Bike> i think i'm overestimating magmas yeah
20:53:51 <Bike> monoid superiority
20:54:05 <Bike> http://en.wikipedia.org/wiki/File:Magma_to_group2.svg are these names supposed to make any sense
20:55:35 <Bike> anyway so now ThatOtherPerson is like totally an algebraist, to the max, yo.
20:55:59 <monqy> nothing happened don't worry
20:56:11 <Taneb> ThatOtherPerson, there's a lot of things with different names
20:56:22 <Taneb> These things have different properties too
20:56:45 <coppro> that thing keeps highlighting me
20:57:18 <monqy> an insatiable thirst for coppro knowledge
20:57:33 <monqy> what does that mean
20:57:37 <Taneb> Beard-seconds measures speed
20:57:38 <Bike> can you put that in SI?
20:57:57 <Taneb> Bike, it's about a nanometre, iirc
20:58:25 <Taneb> 5 or 10 nm, looking it up
20:58:38 <monqy> what if it was a mistake. the true measure of thinkability is in beards per second
20:58:39 <Bike> so is thinkability measured in speed.........
20:58:52 <monqy> AnotherTest: depends on who you ask
20:59:01 <monqy> rings are one of those things people have trouble agreeing on : )
20:59:19 <monqy> do rings have a multiplicative identity????nobody knows
20:59:31 <Bike> can rings just be "they have multiplication and addition" and then we agree to pretend we don't care about the rest of the details, or "deets" for short
21:00:18 -!- azaq23 has joined.
21:00:19 -!- azaq23 has quit (Changing host).
21:00:19 -!- azaq23 has joined.
21:00:27 -!- azaq23 has quit (Max SendQ exceeded).
21:00:39 <monqy> yes n*n matrices form a ring
21:00:47 <Bike> that just means that there's a ring with an identity, not that rings have to have id
21:01:24 <HackEgo> coppro prefers his nickname, Pooppy.
21:01:45 <coppro> can we at least change the filename if you want it?
21:01:51 <coppro> I dislike being highlighted by `ls wisdom
21:03:10 <HackEgo> = 0 \ bin \ canary \ dbg.out \ egobot.tar.xz \ etc \ factor \ factor-linux-x86-64-0.95.tar.gz \ foo \ foo.err \ foo.out \ ibin \ interps \ karma \ lib \ paste \ quines \ quotes \ quotese \ run~ \ share \ test \ wisdom \ zalgo.hs
21:04:26 -!- AnotherTest has quit (Quit: Leaving.).
21:05:19 <HackEgo> `? \ ? \ ⌨ \ ☃ \ 🐐 \ $1? \ ais523 \ america \ atriq \ atrix \ augur \ banach-tarski \ bike \ boily \ bonvenon \ brain \ brainf**k \ brainfuck \ brick \ burma \ c \ cakeprophet \ california \ category \ claustrophobia \ coffee \ comonad \ coppro \ cyberiad \ devious \ d-module \ egobot \ ehird \ elliot \ elliott \ endofunctor \ endomorphis
21:05:39 <HackEgo> `? \ ? \ ⌨ \ ☃ \ 🐐 \ $1? \ ais523 \ america \ atriq \ atrix \ augur \ banach-tarski \ bike \ boily \ bonvenon \ brain \ brainf**k \ brainfuck \ brick \ burma \ c \ cakeprophet \ california \ category \ claustrophobia \ coffee \ comonad \ coppro \ cyberiad \ devious \ d-module \ egobot \ ehird \ elliot \ elliott \ endofunctor \ endomorphis
21:05:53 <monqy> maybe you should change your name to z'augur
21:05:53 <Bike> `? banach-tarski
21:05:54 <HackEgo> "Banach-Tarski" is an anagram of "Banach-Tarski Banach-Tarski".
21:05:55 <ais523> I don't like being nickpinged this much for bad reasons :(
21:06:39 <monqy> m is already good enough for this purpose
21:06:48 <oerjan> `mv wisdom/coppro wisdom/c.oppro
21:06:49 <HackEgo> mv: missing destination file operand after `wisdom/coppro wisdom/c.oppro' \ Try `mv --help' for more information.
21:06:53 <oerjan> `run mv wisdom/coppro wisdom/c.oppro
21:07:00 <Bike> bsk "banach-tarski" obviously has zero measure
21:07:15 <oerjan> `run mv wisdom/ais523 wisdom/a.is523
21:07:22 <elliott> how about we just don't do ls wisdom
21:07:25 <elliott> rather than moving all enrties to dumb things
21:07:39 <elliott> `run mv wisdom/a.is523 wisdom/ais523; mv wisdom/c.oppro wisdom/coppro
21:07:52 <elliott> alternatively we can like pad out the start of the directory with a bunch of junk files if people relaly can't stop themselves
21:07:53 <oerjan> elliott: but how are we then going to know what wisdom there is!
21:07:58 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: zalgo.hs: not found
21:08:00 <elliott> oerjan: there are unknown unknowns
21:08:03 <ais523> we don't need a bunch of junk files
21:08:08 <elliott> anyway `run ls wisdom | patse works
21:08:09 <HackEgo> import Random;main=mapM_((>>(י=<<randomRIO('̀','ͯ'))).י)=<<getContents;י=putChar
21:08:16 <ais523> just one file that's first in alphabetical order and has a name that's like 500 characters long
21:08:38 <HackEgo> elliott wrote this learn DB, and wrote or improved many of the other commands in this bot. He probably has done other things? He is also tire.
21:08:43 <HackEgo> ls: cannot open directory wisdom: Permission denied
21:08:46 <HackEgo> ls: cannot open directory wisdom: Permission denied
21:08:58 <ais523> +r is needed to list directories, +x to access files inside them
21:10:19 <oerjan> `run (echo '#!/bin/sh'; echo 'chmod +r wisdom'; echo 'ls wisdom | paste'; echo 'chmod -r wisdom') >bin/pastewisdom
21:10:20 <HackEgo> GHCi, version 7.6.1: http://www.haskell.org/ghc/ :? for help \ Loading package ghc-prim ... linking ... done. \ Loading package integer-gmp ... linking ... done. \ Loading package base ... linking ... done. \ Prelude>
21:10:33 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.26256
21:11:00 <HackEgo> ghc: no input files \ Usage: For basic information, try the `--help' option.
21:11:13 <HackEgo> Usage: \ \ ghc [command-line-options-and-input-files] \ \ To compile and link a complete Haskell program, run the compiler like \ so: \ \ ghc --make Main \ \ where the module Main is in a file named Main.hs (or Main.lhs) in the \ current directory. The other modules in the program will be located \ and compiled automatically, and the l
21:11:33 <HackEgo> \ zalgo.hs:1:8: \ Could not find module `Random' \ It is a member of the hidden package `haskell98-2.0.0.2'. \ Use -v to see a list of the files searched for.
21:12:34 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: zalgørjan: not found
21:13:03 <Taneb> `learn GHC is a cat that lives in Glasgow and is called Haskell, after mathematician and logician Haskell Curry, who hated the name.
21:13:53 <HackEgo> #!/bin/sh \ topic=$(echo "$1" | sed 's/ .*//' | tr A-Z a-z) \ info=$(echo "$1" | sed 's/[^ ]* //') \ echo "$1" >"wisdom/$topic" \ echo "I knew that."
21:14:17 <HackEgo> ls: cannot open directory wisdom: Permission denied
21:14:40 <Bike> try pastewisdom.
21:14:41 <HackEgo> GHC is a cat that lives in Glasgow and is called Haskell, after mathematician and logician Haskell Curry, who hated the name.
21:14:55 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.31978
21:15:08 <HackEgo> Coffee is a strange hot brown liquid, often consumed, sometimes with milk and sugar. It contains chemicals considered stimulants.
21:15:10 <HackEgo> d-wx--x--x 2 5000 5000 4096 Jan 31 21:13 wisdom
21:15:36 <Bike> oerjan two minutes ago
21:15:45 <TwilightSpockle> I don't even know if that'll work properly in Mercurial >_>
21:15:51 <Taneb> oerjan, so coppro wouldn't be pinged so often
21:16:00 <boily> milk and sugar in coffee are evil!
21:16:06 <Bike> `? narutoversee
21:16:09 <HackEgo> narutoverse is a place where they haven't heard of having a bus factor of >1.
21:16:20 <Taneb> boily, I like milk, sugar, coffee, and water separately
21:16:23 <Bike> i like how this is right after morphism
21:16:31 <ais523> is it possible to have a bus factor between 0 and 1?
21:16:40 <ais523> or, generally, non-integer?
21:16:42 <HackEgo> Homestuck is a cult religion for disaffected teens. Gamzee drives the bus.
21:16:55 <HackEgo> Hexham is a European town. There are nine people in Hexham, and at least two of them are in this channel. Taneb looks after the ham.
21:17:06 <HackEgo> Finland is a European country. There are two people in Finland, and at least nine of them are in this channel. Corun drives the bus.
21:17:14 <Bike> fuck what's a gamzee
21:17:26 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/wisdom
21:17:26 <Taneb> `learn Gamzee is an alien clown that you just cannot keep down.
21:17:38 -!- c00kiemon5ter has left ("bbl").
21:17:48 <Taneb> `learn Gamzee is an alien clown that you just cannot keep down, hated by many.
21:17:49 <Bike> ais523: maybe if someone is hit by a bus and paralyzed but only in one side
21:18:16 <HackEgo> Gamzee is an alien clown that you just cannot keep down, hated by many.
21:18:28 <TwilightSpockle> I wonder if hg is temporarily adding +r to index the dir...
21:19:24 <boily> pfeuh. I'm not mad, just a fool.
21:19:41 <HackEgo> pi is a very round number.
21:20:07 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: burma: not found
21:21:00 <Bike> burma is a mystical land of over two dozen ceasefires in as many years
21:21:20 <Taneb> I think my grandfather was stationed there at some point
21:21:40 <Taneb> Post-wwii, I think
21:21:52 <Bike> i think a lot of people's grandfathers were stationed there at some point
21:22:14 <Bike> maybe they were there to pretend the KMT weren't utterly fucked or something
21:22:37 <Taneb> I heard a story about how he, because it was so cold at night, kept a bottle of beer under his bed at night and had it as a lollipop during the day
21:22:58 <oerjan> `run (echo '#!/bin/sh'; echo 'echo http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/wisdom/') >bin/pastewisdom
21:23:49 <Bike> `ls bin/pastewisdom
21:23:50 <HackEgo> Homestuck is a cult religion for disaffected teens. Gamzee drives the bus.
21:23:58 <Bike> `cat bin/pastewisdom
21:24:02 <HackEgo> #!/bin/sh \ echo http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/wisdom/
21:24:35 <HackEgo> Pietbot is the only thing that can defeat fungot.
21:24:44 <Taneb> I need to rewrite pietbot
21:24:59 <Taneb> By which I mean "write"
21:25:01 -!- copumpkin has quit (Ping timeout: 245 seconds).
21:25:01 -!- monqy has quit (Quit: hello).
21:25:06 -!- Taneb has changed nick to Taneb|Away.
21:25:32 <ThatOtherPerson> `learn Homestuck is a cult religion for disaffected teens. Gamzee drives the bus. Best summarized by http://www.mspaintadventures.com/storyfiles/hs2/05743.gif
21:25:32 -!- copumpkin has joined.
21:25:53 <HackEgo> Homestuck is a cult religion for disaffected teens. Gamzee drives the bus. Best summarized by http://www.mspaintadventures.com/storyfiles/hs2/05743.gif
21:26:04 <Bike> which one of those is gamzee
21:26:59 <Bike> well fuck, then who's driving the damn bus?
21:29:21 <Bike> that's some pretty avant-garde clowning he's got going
21:31:19 <Bike> those don't look the same at all. i don't think they're the same one.
21:32:31 <ThatOtherPerson> WHY AM I TALKING ABOUT HOMESTUCK??? I need to leave. quickly.
21:32:51 <oerjan> ^ul (Try some Underload instead)S
21:32:51 <fungot> Try some Underload instead
21:33:03 -!- augur_ has quit (Remote host closed the connection).
21:33:29 -!- augur has joined.
21:34:19 <Bike> fungot, do you get this homestuck thing?
21:34:20 <fungot> Bike: description: this routine is called indirect because the visible screen area starts at first sight. look at them even if it was an ascii colon, 58 ( 3a) to determine what machine lan- guage. functions which return a random number generator for games.
21:34:40 <fungot> Selected style: homestuck (Homestuck pages 1901-4673)
21:34:41 <oerjan> ^ul ((::**)~^)((((:(((((((((((_)(9))(8))(7))(6))(5))(4))(3))(2))(1))(0)(!^))~*^^S!)(:a(~^)*~(()(~(~(:a~*):^))(a))~*^^)):^(()~)~**~^(:)~((a(~^)*~**)~a)~a(**~:((:)~(*)**)~a*~(^))**a(~*^^^!!^)***(~)~a(~a*^:)**a(:)**~^!!!a(~^)*~**)~a((, )S:^)**^):^
21:34:42 <fungot> 3, 13, 1113, 3113, 132113, 1113122113, 311311222113, 13211321322113, 1113122113121113222113, 31131122211311123113322113, 132113213221133112132123222113, 11131221131211132221232112111312111213322113, 31131122211311123113321112131221123113111231121123222113, 132113213221133112132123123112111311222112 ...out of time!
21:35:40 -!- augur_ has joined.
21:35:48 <Bike> fungot, how about now?
21:35:49 <fungot> Bike: you have a great appreciation for the fine arts. you use the hammer and nails. they will come a day
21:37:07 <fungot> ThatOtherPerson: examine the wall behind a door there? or why he always was a little cagey, even when discussing the proper thanks. two more large gizmos. it was once the island
21:37:15 <elliott> nobody knows ThatOtherPerson
21:37:43 <ThatOtherPerson> And how does he know the number of the first page of homestuck?
21:37:56 -!- augur has quit (Ping timeout: 245 seconds).
21:38:20 <fungot> ThatOtherPerson: it is a hate so pure and... pumpkin seeds?
21:38:25 <fungot> ThatOtherPerson: a place perhaps the only who enjoys the feel of the brittle human calcium based skull, it would be the concept of a soul isn't forfeit in service of informing them how stupid they were being insincere for the benefit of the doubt?
21:38:50 <fungot> ThatOtherPerson: what the hell is that? it's so depressing, you can't out troll me in these like
21:39:30 <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
21:39:45 <fungot> Selected style: fungot (What I've said myself)
21:40:01 -!- augur_ has quit (Ping timeout: 245 seconds).
21:40:13 <TwilightSpockle> fungot has a style that's fed by its own inane jabbering? X-D
21:40:13 <fungot> TwilightSpockle: ( ( ( a()**)a*:a*)(a()**)a*:a*)((x1)(x2)(x3)) ...out of time! don't let?! hey! is that for us! the chef's in a snit, trying to get food to the front lines. heard a spell to energize the sword takes immense evil! indeed! this thing. what you have? transform! this trading house. it's
21:40:28 <fungot> TwilightSpockle: it's just so stupid that ' stty erase h' has more bizarre results. it was, that he was overcome with the vastness, profundity, and fnord bray, remember me; and with an awe that is almost superstitious. i should perhaps make a few of those virtues which is the bit-reversal of the statement is encountered, it is also readily than they just never put things into
21:40:39 <fungot> Selected style: homestuck (Homestuck pages 1901-4673)
21:41:02 <fungot> ThatOtherPerson: try again.
21:41:14 <fungot> ThatOtherPerson: not that it would actually bother pitying you. and anyway, the thing gives a shit in the veil.
21:42:27 <fungot> ^<lang> <code>; ^def <command> <lang> <code>; ^show [command]; lang=bf/ul, code=text/str:N; ^str 0-9 get/set/add [text]; ^style [style]; ^bool
21:42:42 <fungot> ThatOtherPerson: the sylladex reconfigures itself into an array of humorous and mystical artifacts, each one a devastating the battlefield in the center of the medium in which the cards present some convenience.
21:43:01 <Bike> hm i forget how to look up the source
21:43:33 <fungot> ThatOtherPerson: will that make life possible
21:46:02 <boily> it's not botspam, it's just old plain regular bot abuse (now with 20% more fibres!)
21:47:33 <fungot> http://git.zem.fi/fungot/blob/HEAD:/fungot.b98
21:47:49 <Bike> that should answer any of your remaining questions, ThatOtherPerson
21:48:45 <Bike> it's pretty easy, just follow the arrows
21:50:20 <Phantom__Hoover> ThatOtherPerson, fungot is programmed to ignore people who ping him too much, HTH
21:50:21 <fungot> Phantom__Hoover: you have a great appreciation for the fine arts. you use the hammer and nails. they will come a day when you will be thrust into another stupid wall indent8tion in my desk with the others
21:54:39 <boily> ah! that reminds me: I have a bot to sacrifice to this channel.
21:55:07 -!- cuttlefish has joined.
21:55:15 <cuttlefish> Your divination: "Abounding" to "Skinning"
21:55:19 -!- Taneb|Away has changed nick to Taneb.
21:55:30 <boily> ThatOtherPerson: go ahead, make it crash.
21:58:00 <cuttlefish> --- Possible commands: dice, duck, echo, eval, fortune, metar, ping, yi
21:58:36 <elliott> this is a great bot boily i love it
21:58:41 <boily> just a moment, have to reinstall mueval...
21:59:09 <boily> (meanwhile, it is as informative as that J bot...)
21:59:14 <oerjan> `addquote <elliott> ~eval 1+2 <cuttlefish> Error (127): <elliott> this is a great bot boily i love it
21:59:18 <HackEgo> 945) <elliott> ~eval 1+2 <cuttlefish> Error (127): <elliott> this is a great bot boily i love it
21:59:37 * boily hangs his head in shame...
21:59:57 <boily> ~eval let 2 = 3 in 2 + 2
22:00:08 <cuttlefish> CYUL 312144Z 27021G30KT 2SM R24L/3000V6000FT/U -SN BKN015 OVC035 M06/ RMK SC6SC2
22:00:36 <Phantom__Hoover> i give cuttlefish 10/10 for its intuitive interface & user experience
22:00:54 <cuttlefish> EGPH 312150Z 25012KT 9999 -SHRA SCT018TCU BKN032 06/04 Q0998
22:01:02 <cuttlefish> Little known fact about Middle Earth: The Hobbits had a very sophisticated
22:01:02 <cuttlefish> computer network! It was a Tolkien Ring...
22:01:15 <Bike> are cuttlefish's axons myelinated?
22:01:34 <boily> Bike: no idea. the libs I use won't compile with GHC 7.6.
22:01:48 <cuttlefish> --- Throw dice, e.g.: dice 6 4 will throw four regular dice.
22:01:57 <elliott> so what is ~eval meant to do
22:01:58 <boily> see, I put in some help and docs!
22:02:05 <cuttlefish> Error (1): No instance for (GHC.Show.Show ((a0 -> a0) -> a0))
22:02:05 <cuttlefish> arising from a use of `M8445273017039537125.show_M8445273017039537125'
22:02:05 <cuttlefish> add an instance declaration for (GHC.Show.Show ((a0 -> a0) -> a0))
22:02:06 <boily> elliott: ~eval evals haskell.
22:02:11 <cuttlefish> Error (1): No instance for (GHC.Show.Show a0)
22:02:11 -!- Nisstyre has quit (Ping timeout: 252 seconds).
22:02:11 <cuttlefish> arising from a use of `M4680099139340856389.show_M4680099139340856389'
22:02:11 <cuttlefish> Possible fix: add a type signature that fixes these type variable(s)
22:02:11 <cuttlefish> Note: there are several potential instances:
22:02:11 <cuttlefish> instance GHC.Show.Show GHC.Types.Double
22:02:12 <cuttlefish> instance GHC.Show.Show GHC.Types.Float
22:02:13 <cuttlefish> instance (GHC.Real.Integral a, GHC.Show.Show a) =>
22:02:21 <elliott> no extended defaulting I see
22:02:41 <boily> elliott: well, I kinda kludged something together one day... >_>...
22:03:18 <boily> and for eval, I embrace the good old ed philosphy of being consistent with the error messages.
22:03:27 <elliott> ~eval let x :: Int; x = x in x
22:03:41 <oerjan> s/consistent/spamming/
22:03:55 <boily> oerjan: it ain't spam, it's poetic.
22:04:08 <Bike> so can i do file i/o with cuttlefish
22:04:15 <cuttlefish> Error (1): No instance for (GHC.Show.Show (GHC.Types.IO ()))
22:04:16 <cuttlefish> arising from a use of `M8663862707215102090.show_M8663862707215102090'
22:04:16 <cuttlefish> add an instance declaration for (GHC.Show.Show (GHC.Types.IO ()))
22:04:28 <Bike> i fucking love these type variables by the way
22:04:41 <elliott> :t let f x = (x,x); g = f . f; h = g. g in h
22:04:43 <lambdabot> t -> ((((t, t), (t, t)), ((t, t), (t, t))), (((t, t), (t, t)), ((t, t), (t, t))))
22:04:44 <boily> I may have disabled IO I think. maybe. perhaps. I don't remember.
22:04:47 <elliott> :t let f x = (x,x); g = f . f; h = g . g; i = h . h in i
22:04:48 <lambdabot> t -> ((((((((t, t), (t, t)), ((t, t), (t, t))), (((t, t), (t, t)), ((t, t), (t, t)))), ((((t, t), (t, t)), ((t, t), (t, t))), (((t, t), (t, t)), ((t, t), (t, t))))), (((((t, t), (t, t)), ((t, t), (t,
22:04:49 <lambdabot> t))), (((t, t), (t, t)), ((t, t), (t, t)))), ((((t, t), (t, t)), ((t, t), (t, t))), (((t, t), (t, t)), ((t, t), (t, t)))))), ((((((t, t), (t, t)), ((t, t), (t, t))), (((t, t), (t, t)), ((t, t), (t,
22:04:49 <lambdabot> t)))), ((((t, t), (t, t)), ((t, t), (t, t))), (((t, t), (t, t)), ((t, t), (t, t))))), (((((t, t), (t, t)), ((t, t), (t, t))), (((t, t), (t, t)), ((t, t), (t, t)))), ((((t, t), (t, t)), ((t, t), (t,
22:04:49 <lambdabot> t))), (((t, t), (t, t)), ((t, t), (t, t))))))), (((((((t, t), (t, t)), ((t, t), (t, t))), (((t, t), (t, t)), ((t, t), (t, t)))), ((((t, t), (t, t)), ((t, t), (t, t))), (((t, t), (t, t)), ((t, t), (t,
22:04:49 <lambdabot> t))))), (((((t, t), (t, t)), ((t, t), (t, t))), (((t, t), (t, t)), ((t, t), (t, t)))), ((((t, t), (t, t)), ((t, t), (t, t))), (((t, t), (t, t)), ((t, t), (t, t)))))), ((((((t, t), (t, t)), ((t, t),
22:04:50 <lambdabot> (t, t))), (((t, t), (t, t)), ((t, t), (t, t)))), ((((t, t), (t, t)), ((t, t), (t, t))), (((t, t), (t, t)), ((t, t), (t, t))))), (((((t, t), (t, t)), ((t, t), (t, t))), (((t, t), (t, t)), ((t, t), (t,
22:04:52 <lambdabot> t)))), ((((t, t), (t, t)), ((t, t), (t, t))), (((t, t), (t, t)), ((t, t), (t, t))))))))
22:05:22 <elliott> ~eval let f x = (x,x); g = f . f; h = g . g; i = h . h; j = i . i; k = j . j; l = k . k; m = l . l; n = m . m; o = n . n; p = o . o; q = p . p; r = q . q; s = r. r; t = s . s; u = t . t in u ()
22:05:23 -!- Nisstyre-laptop has joined.
22:05:32 <elliott> does it just have like a half a second time limit
22:05:53 <boily> where did I put that config file again...
22:06:19 <Bike> so, in the future, are all ddosses going to be through difficult to typecheck bullshit
22:06:41 <cuttlefish> Error (1): Not in scope: `unsafeCoerce'
22:06:44 <elliott> ~eval Unsafe.Coerce.unsafeCoerce
22:06:44 <cuttlefish> Error (1): Not in scope: `Unsafe.Coerce.unsafeCoerce'
22:06:51 <elliott> ~eval System.IO.Unsafe.unsafePerformIO
22:06:51 <cuttlefish> Error (1): Not in scope: `System.IO.Unsafe.unsafePerformIO'
22:07:08 <boily> and you should have 3 seconds per request.
22:07:16 <elliott> ~eval let unsafeCoerce v = z where z :: v; z = v where aux = const v in unsafeCoerce 32 :: ()
22:07:16 <cuttlefish> Error (1): Couldn't match expected type `v1' with actual type `t'
22:07:16 <cuttlefish> `v1' is a rigid type variable bound by
22:07:16 <cuttlefish> the type signature for z :: v1 at <interactive>:1:35
22:07:16 <cuttlefish> the inferred type of unsafeCoerce :: t -> v at <interactive>:1:5
22:07:24 <elliott> ~eval let unsafeCoerce v = z where z :: v; z = v where aux = const v in ()
22:07:24 <cuttlefish> Error (1): Couldn't match expected type `v1' with actual type `t'
22:07:24 <cuttlefish> `v1' is a rigid type variable bound by
22:07:24 <cuttlefish> the type signature for z :: v1 at <interactive>:1:35
22:07:24 <cuttlefish> the inferred type of unsafeCoerce :: t -> v at <interactive>:1:5
22:07:37 <boily> sorry, that's what I was stuck with last time.
22:07:47 <boily> see you tomorrow, maybe!
22:07:48 -!- boily has quit (Quit: Poulet!).
22:07:52 -!- cuttlefish has quit (Remote host closed the connection).
22:08:11 <Bike> i like the implication that haskell's neurons were myelinated before 7.6 though
22:10:40 <kmc> fungot: how's it going?
22:10:40 <fungot> kmc: just be patient, the answer, the fact remained except a note of this, since it just looks so 8ad!
22:11:33 <Taneb> Help I am surrounded by balloons
22:11:45 <Taneb> They are wishing me a happy 50th birthday
22:12:13 <Bike> happy birthday!! :D
22:12:13 <Taneb> Apparently I am now 50
22:12:21 <Taneb> Which makes me older than both my parents
22:14:09 -!- c00kiemon5ter has joined.
22:14:18 -!- Nisstyre has joined.
22:16:39 -!- Arc_Koen has quit (Quit: Arc_Koen).
22:25:23 -!- Phantom__Hoover has quit (Ping timeout: 255 seconds).
22:25:52 -!- Nisstyre-laptop has quit (Ping timeout: 245 seconds).
22:30:19 -!- carado has quit (Ping timeout: 246 seconds).
22:42:15 <Taneb> The balloons left as swiftly as they appeared...
22:42:27 <Taneb> although I have the strangest feeling it was not the last of them.
22:42:30 <Bike> so are you not 50 any more?
22:43:01 -!- Taneb has quit (Quit: Leaving).
22:43:26 -!- Arc_Koen has joined.
22:43:42 -!- Phantom__Hoover has joined.
22:44:36 -!- WeThePeople has joined.
22:45:14 <lambdabot> Arc_Koen: You have 1 new message. '/msg lambdabot @messages' to read it.
22:45:18 <lambdabot> oerjan said 1h 52m 35s ago: Thank you!
22:47:37 <oerjan> g'day. also i sent you an email back.
22:50:26 <Arc_Koen> oerjan: the ocaml version was not the most recent because I made several small fixes or small modifications and I didn't want to bother zzo38 for every one of them
22:51:20 <Sgeo> ) 'Is Jconn still here?'
22:51:20 <jconn> Sgeo: Is Jconn still here?
22:51:38 <jconn> oerjan: |domain error
22:51:38 <jconn> oerjan: | 'a' +'b'
22:52:04 <jconn> Arc_Koen: |domain error
22:52:04 <jconn> Arc_Koen: | 'a' ^'b'
22:54:35 <Sgeo> If hypothetically I were to try to implement Brainfuck in J, would I use sequential machine?
22:54:45 <Sgeo> Because I have no idea how it works but it looks possibly relevant
22:56:39 <Sgeo> Well, that's weird
22:58:24 -!- Nisstyre has quit (Ping timeout: 264 seconds).
23:04:22 -!- FreeFull has quit (Ping timeout: 244 seconds).
23:10:07 -!- aloril has quit (Ping timeout: 256 seconds).
23:10:07 -!- aloril has joined.
23:10:37 <jconn> c00kiemon5ter: +---+---+
23:10:37 <jconn> c00kiemon5ter: |+-+|+-+|
23:10:37 <jconn> c00kiemon5ter: ||1|||2||
23:10:37 <jconn> c00kiemon5ter: |+-+|+-+|
23:10:37 <jconn> c00kiemon5ter: +---+---+
23:11:16 <jconn> oerjan: +-+---------+
23:11:16 <jconn> oerjan: |1|+-+-----+|
23:11:16 <jconn> oerjan: | ||2|+-+-+||
23:11:16 <jconn> oerjan: | || ||3|4|||
23:11:16 <jconn> oerjan: | || |+-+-+||
23:11:40 -!- FreeFull has joined.
23:27:04 -!- FreeFull has quit (Read error: Operation timed out).
23:28:22 -!- FreeFull has joined.
23:38:52 -!- Nisstyre-laptop has joined.
23:50:48 -!- TeruFSX has joined.