00:00:05 "You Fancy Languages? The polyglot programmer hangout." oh nooooo 00:00:06 channel with sgeo and a bunch of bots in it and that's it 00:00:38 no public logging hmmmmm what are you getting up to in there sgeo 00:00:45 i like how this is half people from #haskell 00:00:55 imo this place is less cosy than #esoteric 00:01:01 this is cosy? 00:01:14 did you guys join yfl 00:01:40 i joined yfl 00:01:46 prolly nobody else did 00:01:47 n o i m e a n t # e s o t e r i c 00:01:54 imo #esoteric is p.cosy 00:02:05 yfl seems to have a thing for erlang 00:02:06 any idea why 00:02:39 OOPs 00:02:40 Object Orientation supporting languages. Just to show that there's more to them than just C++ and Java. 00:02:42 There are currently no items in this folder. 00:02:48 rip 00:03:21 guess there's not more to them than just C++ and java 00:03:32 È bella cosí 00:03:46 their fp 'folder' is erlang, sicp, high vs low level languages, erlang, erlang, curry, clojure 00:03:58 140 Characters of Stupid at a Time 00:03:59 I don't use Twitter. For any reason. Here's why. 00:04:08 this is from the guy who wrote that haskell troll (hes in #yfl (remember when he joined here)) 00:04:12 oops, *così 00:04:18 (remember when shachaf scared him off) 00:04:24 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 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 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 Advantage: G3rtm and sanity. 00:04:52 fucking hipsters god 00:04:56 i think actually punching myself in the face would hurt less than this 00:04:56 damn!!! 00:05:05 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 you know what would hurt less than this? not doing this 00:05:11 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:12 hth 00:05:17 elliott: that's verbose, i think he needs more twitter to cut down the length 00:05:17 Just how fucking stupid can you get? 00:05:17 Set: G3rtm and sanity. 00:05:25 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 Fuck I wish I'd said that myself. :( 00:05:41 ran out of blog post to quote from 00:05:45 lets find another(?) 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 ugh all these other posts look more boring 00:06:38 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 as in more boring to quote from 00:09:06 Gregor: It's poisoned and they want to get rid of you ASAP, HTH, HAND. 00:10:06 Ahhhhhh, that explains it. 00:11:19 elliott: so is yfl any good 00:11:43 its very silent 00:15:22 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 the wicked witch of which direction, exactly? 00:16:19 what's a hipster filter? 00:16:47 fungot: are you a hipster? 00:16:48 kmc: foreground 10 background 2 color ( chart,above), and that it performs the reverse of inx, is displayed 00:20:11 oerjan: The wicked witch of the ana or kata, presumably. 00:22:33 -!- DHeadshot has joined. 00:24:44 aha 00:26:49 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:27:38 is ana/kata a hughesism 00:28:15 http://en.wikipedia.org/wiki/Charles_Howard_Hinton 00:28:26 aha, that makes more sense 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 elliott: where is that quote from 01:24:47 also i thought hipsters like things that aren't popular yet 01:24:55 kmc: you mean the really long awful one 01:24:58 are you sure you want to know 01:25:05 nm i googled it 01:26:13 i forgot that 'hipster' is a generic pejorative that can be applied to anyone 01:29:45 -!- sebbu has joined. 01:43:00 Sgeo: I like this channel already. 01:44:04 -!- sebbu has quit (Ping timeout: 248 seconds). 01:48:26 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 are you suggesting i would quote anything with any kind of value whatsoever 01:48:52 do you even know me 01:50:52 -!- sebbu has joined. 01:58:54 -!- sebbu has quit (Ping timeout: 264 seconds). 02:04:59 USB wifi adapters are really tiny now 02:05:05 like "barely sticks out of the port" tiny 02:08:34 so i'm giving a lecture tomorrow which includes stuff about different systems being turing complete and therefore equivalently powerful 02:08:47 Ask #esoteric: what are amusing / interesting examples of TC systems? 02:09:29 crabs 02:09:58 seconding bike 02:10:48 pencils 02:10:52 i could bring a bunch of live crabs into lecture 02:11:02 have a digression about marine biology 02:11:08 pass one around the class in a little dish full of water <3 02:11:36 kmc: can I come to your lecture 02:11:42 http://arxiv.org/abs/1204.1749 here's your cite 02:11:45 yes it's in cambridge ma though 02:12:02 Bike: nice 02:12:02 oh and i guess you'd need to cite shannon or whoever to get computers out of gates? w/e 02:12:20 i like the "laboratory models" 02:12:22 fun lab imo 02:12:35 kmc: can you give me a plane ticket 02:12:38 kmc, langton ants? 02:12:41 game of life? 02:12:54 CAs are kind of sticky there 02:13:24 this is the only computer I've seen that has a part labeled "intimidation plate" 02:13:40 I think I need one of those for my computer 02:13:53 hm what's another one though 02:13:59 fucking everything and its mother is turing complete 02:14:04 (parse as you will) 02:14:25 i did. 02:14:52 unrestricted grammars are pretty obvious but they're probably useful pedagogically 02:14:58 to get across the "fucking everything" part 02:26:17 help ttm is talking to me 02:28:05 wow sgeo 02:28:07 this channel really is quality 02:30:17 hahaha christ 02:30:23 i made a good decision. 02:31:45 Bike: hope you feel welcome 02:31:54 hi 02:31:57 which channel 02:32:02 no channel, shachaf 02:32:03 is it #esoteric 02:32:09 yes 02:32:23 is it #yfl 02:32:29 no 02:32:48 ski is in there 02:32:52 that must be good right?? 02:33:07 shachaf: remember that great ttmrichter guy 02:33:11 who wrote that great post about haskell once 02:33:18 i bet you want to spend lots of time in a room where he has ops right 02:33:39 i love that guy!! 02:33:49 (Actually I know nothing about him.) 02:33:56 (Why is ski in that channel?) 02:34:09 whats your poison bike 02:34:26 mine is cyanide 02:35:59 Bike: is this real 02:36:35 elliott: as separate components sure, don't you know your peirce? 02:36:38 no Sgeo.... dont 02:36:44 no shachaf... dont 02:36:53 http://en.wikipedia.org/wiki/Abductive_logic_programming 02:37:22 elliott: see what you've started 02:37:34 um I believe this is all your fault Bike 02:37:35 or at least 02:37:35 you've become a trendsetter...a hipster of the highest order......... 02:37:36 Sgeo's 02:37:37 no Bike, sgeo's taking the blame here 02:37:55 you've started a movement 02:37:57 sgeo's credit 02:39:13 -!- oerjan has quit (Quit: n'thigg). 02:39:28 i like how i have no idea who anybody is even though some of you obviously have a History 02:39:44 Bike: just listen to elliott???????? 02:39:51 Bike: who has a history 02:39:56 or what do you mean 02:40:01 oh do you mean people in #esoteric in general or something 02:40:03 help?? 02:40:07 well apparently you know who ttmrichter and ski are 02:40:16 ski is a regular in #haskell 02:40:22 see there you go 02:40:24 ski is no regular 02:40:26 ttmrichter is some guy who wrote a really trolly flamebait blog post about haskell once 02:40:29 and then joined #esoteric 02:40:32 and then shachaf drove him away 02:40:33 ps this was days ago 02:40:36 yeah was that the one about cabal 02:40:39 good times 02:40:39 yes 02:40:44 ski is an extraordinary 02:40:59 shachaf, you thought beaky was an extraordinary. 02:41:22 beaky filled a much-needed gap in #haskell 02:41:30 I remember when shachaf wanted to get beaky banned. 02:41:41 elliott: I never wanted that? 02:41:57 I wanted people to be aware of beaky, that's all. 02:43:51 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:44:22 ther´es no ´`deal`´?? 02:45:10 btw whats this blog post 02:45:18 I'm pretty sure there's a ´`deal`´ and I want to know whether I should be in on this ´`deal`´.. 02:45:27 ski's a cool dude 02:45:28 * shachaf · ∘ o ○ ( hi monqy ) 02:45:51 ski is what you might call "a cool dude" 02:46:15 oh "a cool dude"s are usually cool 02:46:27 very often so 02:46:35 it's almost like they have something in common 02:47:08 btw in hebrew "dude" means "water heater" 02:47:18 so a "cool dude" would be a problem?? 02:47:24 you might even say it would be a dud 02:48:17 -!- NihilistDandy has joined. 03:00:13 haha 03:06:03 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 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:09 mm 03:07:25 futamura projections, another thing I won't have time to get to in this lecture :( 03:07:32 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 yeah that's what i was thinking of 03:09:13 often it's not straightforward what's compile-time and what's interpret-time and bla bla fuckin bla 03:09:36 'artificial distinction' &c &c 03:10:01 Interpreter that after a certain amount of time... quits and forks to execute the remainder of the program? 03:10:12 yeah i know it's not straightforward 03:10:29 maybe it would be best to explain it with some kind of static analysis 03:10:36 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 Static analysis does not imply compiled 03:10:50 i am aware. 03:11:14 but an idealized compiler looks at a program "statically" enough that whatever it's doing is computable. 03:12:01 How do you distinguish compiler v interpreter for non-TC languages not capable of infinite looping? 03:12:11 you wouldn't 03:12:29 it's not an ironclad mathematical definition 03:12:40 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 Arc_Koen: You have 2 new messages. '/msg lambdabot @messages' to read them. 03:12:44 kmc: if you see programs as functions, the distinction is "simpler" 03:12:48 @messages 03:12:48 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 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:48 therefore UNACCEPTABLE hth 03:12:51 i'd sure distinguish them!!!!! 03:12:54 it's a way of looking at things which makes certain things clearer and others less clear 03:13:11 I think Arc_Koen's definition matches my intuitive one better 03:13:33 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 kmc: interpreter :: ({A -> B}_L, A) -> B; compiler :: {A -> B}_L -> {A -> B}_T 03:13:44 kmc: well, i don't think it is 03:13:46 kmc: hideously ad-hoc notation: {X}_L means a program in L representing a function of type X 03:13:52 and T is the target language 03:14:14 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:38 oh well 03:14:40 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 it's a pretty ill-defined thing to talk about... 03:14:57 i prefer not to.... 03:15:23 "not compiling means doing a pointless bunch of crap a bajillion times. or at least cutting down on the crap" 03:26:59 http://www.reddit.com/r/haskell/comments/17kynn/rubygemsorg_got_hacked_today_is_hackage_safe/ 03:27:19 "Is Hackage safe? 03:27:19 Not at all. As everyone can upload a new version of any package, it should take about 5 minutes to break Hackage." 03:27:20 BRILLIANT 03:29:09 "mission critical" is such a set phrase 03:29:12 "anyone at all" with a hackage account 03:29:39 so are there worms written in haskell yet 03:29:50 type-safe elk cloner to commemorate the anniversary 03:36:46 -!- jconn has joined. 03:38:05 ) welcome back jconn 03:38:05 monqy: welcome back jconn 03:38:09 thank you!!! 03:38:15 but my name's monqy..... 03:38:20 ) hello 03:38:21 elliott: |value error: hello 03:38:25 wow 03:38:27 why does it love monqy and not me 03:39:54 ) 2 1$<"0'hi' 03:39:54 Sgeo: +-+ 03:39:55 Sgeo: |h| 03:39:55 Sgeo: +-+ 03:39:55 Sgeo: |i| 03:39:55 Sgeo: +-+ 03:40:14 Probably an easier way to write that 03:40:58 ) a b c 03:40:58 Sgeo: a b c 03:41:05 ) a b 03:41:05 Sgeo: a b 03:42:10 ) 'Hi'"0`'Bye'"0@.?2 03:42:11 Sgeo: |domain error 03:42:11 Sgeo: | 'Hi'"0`'Bye'"0@.?2 03:42:14 ) 'Hi'"0`'Bye'"0@.?1 03:42:14 Sgeo: |domain error 03:42:14 Sgeo: | 'Hi'"0`'Bye'"0@.?1 03:42:19 :/ 03:42:54 ) ;:'''Hi''"0`''Bye''"0@.?1' 03:42:55 Sgeo: +----+-+-+-+-----+-+-+--+-+-+ 03:42:55 Sgeo: |'Hi'|"|0|`|'Bye'|"|0|@.|?|1| 03:42:55 Sgeo: +----+-+-+-+-----+-+-+--+-+-+ 03:43:09 quoting hell :( 03:43:38 woops 03:44:10 string delimiters should be nestable 03:44:19 erm, hmm 03:44:49 Well, if strings can store code sometimes it makes good sense 03:44:52 (see Tcl) 03:45:04 Although the fact that "" in Tcl isn't nestable sucks 04:08:02 This is the best thing ever http://www.youtube.com/watch?v=iBxzXCBFf1w&list=PLxHXPBa3SI_iwFjAv9lLwxCFVyc5Fc5hy&index=1 04:17:12 Sgeo: "" is a monoid right 04:23:21 well it is the identity of string composition which is. so i'm gonna say yes. 04:23:58 i love monoids :D 04:24:44 String composition (the operation) is no more a monoid than the identity of that operation. 04:24:57 Anyway, Sgeo said: "" in Tcl isn't nestable 04:25:02 I assume he didn't mean the empty string. 04:25:13 I mean the string delimiters 04:25:20 Or, the " delimiters 04:25:28 "foo "bar" baz" 04:25:29 ??? 04:25:44 But {foo {bar} baz} works, but then you don't get to use [] and $ 04:25:59 This hardly sounds like the best thing ever at all. 04:26:37 Bike: well it ís a monoid............................... 04:26:47 so pretty much the best thing ever 04:26:53 oh, good point. 04:26:57 > id "Bikе" 04:26:57 mueval: recoverEncode: invalid argument (invalid character) 04:27:02 your argument is invalid 04:27:18 :0 04:27:58 :ᒎ 04:28:06 There is activity in that channel 04:28:29 what channel 04:28:37 that channel 04:28:48 oh 04:28:49 that channel 04:29:00 hellonqy 04:29:17 monqy: what about "complex analysis should i learn that" 04:29:58 if you want 04:30:03 analysis can be fun? 04:30:12 i dont know much of it though 04:30:20 just some tastes 04:30:53 give me a "taste" 04:30:59 no 04:31:03 oh 04:31:54 How about how the value of any holomorphic function is completely determined by its values in a ring around that point 04:32:11 what point 04:32:26 any point 04:32:31 -!- Arc_Koen has quit (Quit: Arc_Koen). 04:32:37 value of a holomorphic function at any point, there we go. 04:32:39 math is hard. 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 anyone have handy a list of church numerals in the SK calculus 05:20:06 doesn't wikipedia have a table? 05:21:09 @pl \f x -> f (f (f (f (f x)))) 05:21:09 ap (.) (ap (.) (ap (.) (join (.)))) 05:21:14 I guess that's more than SK. 05:21:23 You could get from that to SK with a trivial substitution, though. 05:21:33 Oops, I said trivial. 05:21:41 (But it is?) 05:25:37 i'll allow it 05:25:45 Bike: does it? 05:25:54 i thought it did but i don't see it 05:25:57 i was unable to find it with 15 seconds of googling 05:26:04 which is my new standard for "does a piece of human knowledge exist" 05:26:05 too bad 05:30:34 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 maybe i should feel bad about that 05:31:19 Encoding away lambda itself? 05:31:21 pah, you don't need parentheses 05:31:22 In terms of what? 05:31:26 shachaf: S/K 05:31:29 well if he's using ski..... 05:31:33 Oh. 05:31:39 Well, just use unlambda. 05:31:46 you do need some form of grouping 05:31:55 unlambda has the apply operator 05:31:59 nah you could use automata 05:32:09 actually use lazy k because "its cooler than unla"mbda?? 05:32:23 Er. 05:32:24 yeah do that 05:32:27 the other punchline under consideration is that i hit a switch and swarms of soldier crabs drop onto everyone 05:32:38 imo that one 05:32:41 don't think i will have time to set that up :/ 05:32:55 i'd have to skip work tomorrow to go fishing 05:32:58 The lecture has been delayed due to crab shortage. 05:34:42 just go to maryland and buy a whole bunch of blue crabs or summat 05:35:07 maryland is far away 05:35:12 i could get maine lobster 05:35:15 that's basically the same right 05:35:22 they need swarming though 05:35:42 god did you even READ the paper on crabputing 05:36:00 crabputers, crabputers, work like computer, taste like crab 05:36:12 :O 05:36:46 the new taste sensation that's sweeping the enterprise server solutions world 05:37:10 tastes great with old bay seasoning 05:40:12 > let chu 0 = "k (s k k)"; chu n = "s (s (k s) k) (" ++ chu (n-1) ++ ")" in chu 5 05:40:15 "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 > 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:40:27 5 05:40:30 There you go. 05:40:53 :k Mu Maybe 05:40:55 * 05:41:22 > let chu 0 = "k (s k k)"; chu n = "s (s (k s) k) (" ++ chu (n-1) ++ ")" in chu 2 05:41:24 "s (s (k s) k) (s (s (k s) k) (k (s k k)))" 05:42:23 chu chu chrain 05:42:34 wow, it's unnaturally warm right now 05:42:38 57° 05:42:50 yes 05:42:53 Oh, Google made their weather finder thing fancy. 05:52:13 -!- monqy has joined. 05:53:24 " actually use lazy k because "its cooler than unla"mbda??" no it's not 05:53:32 unlambda is awesome, lazy k is just ski. 05:53:36 "quotes" 05:54:11 oh do they mean something 05:54:21 no 05:54:26 oh there was a beginning quote 05:55:20 ""its cooler than unla"mbda??" i parsed this as it's cooler than unlambda with randomly inserted quotes 05:55:55 but indeed the beginning quote is correctly placed 05:56:17 and perhaps could be interpreted as some sort of sarcasm 05:56:30 but in any case, i've heard many people say that lazy k is better 05:57:24 which is stupid. i would be fine with "SKI is better" tho. 05:57:33 but perhaps there were always quotes 05:57:44 perhaps everything i've ever heard and learned was in quotes 05:58:10 and really and truly i have heard nothing which has a meaning 05:58:29 i'm going to make a sandwich now 06:03:18 perhaps death is just the closing of a cosmic quote 06:05:20 ...," yields falsehood when... 06:11:10 so there's a deadline today :o 06:12:38 i love deadlines 06:12:41 mmmm 06:14:33 deadlines alone move the wheels of history 06:15:10 pretty much 06:15:38 also actual deaths, i hear 06:16:37 kmc: Are S and K enough even in a strict language? 06:16:39 but yeah writing usually gets exponentially faster when there's a deadline 06:16:52 Well, I guess they are. 06:17:25 oklopol: I mean that SKI is better. 06:17:32 With laziness. 06:17:37 Or non-strictness, anyway. 06:17:38 ski has laziness 06:17:49 But Lazy K is the only semi-standard implementation of SKI that I know of. 06:18:16 well i suppose that's a reasonable argument. 06:18:22 i still disagree, unlambda is awesome 06:19:27 SKI is better. 06:20:23 no it's not 06:20:44 ski + continuations is just an awesome idea 06:21:01 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 OK, SKI + continuations might be better than SKI. 06:21:28 well obviously ski is a better idea than ski+continuations. 06:21:28 But SKI is still better than unlambda. 06:21:35 but i still prefer the combination 06:23:02 shachaf: idgi? what's wrong with unlambda if not the continuations 06:23:26 It's strict? 06:23:36 -!- clog has quit (Ping timeout: 276 seconds). 06:23:52 OK, I guess you probably want strictness if you have first-class continuations. 06:26:53 kmc: are you teaching them about monoids 06:27:07 dr. beaky or: how i learned to stop worrying and love the monoids 06:34:41 What's with people writing the names of things like complexity in ALLUPPERCASE? 06:34:52 Did they figure them out before lowercase letters were invented? 06:36:12 BEAKY 06:39:19 beaky-completeness 06:46:43 -!- FreeFull has quit. 06:47:17 -!- madbr has joined. 06:48:05 why do CPUs still have so few execution units? 06:48:41 like 06:48:48 they have billions of transistors 06:49:08 yet they're still souped up pentium IIs that can only really do 4 instructions per cycle 06:50:13 no wonder ARM is gaining ground 06:51:59 how many units does an arm have? 06:52:26 A8 has 2 06:52:33 I think A15 has 3 06:53:04 is that more than 4 instructions/cycle 06:53:23 They're so small they should be called µnits. 06:53:33 depends if memory load counts as a separate instruction 06:53:43 mnits 06:54:06 if you count memory load, the pentium IIs they do these days go up to like 6 or 7 06:54:20 starglte, hllf-life, numbthreers 06:54:32 while arm A8 stays at 2 06:54:49 and A15 goes up to like 5 06:54:58 @nixon 06:54:58 People react to fear, not love; they don't teach that in Sunday School, but it's true. 06:55:20 so arm is gaining ground because it has less or what 06:56:19 arm is gaining ground because while they do have less, their design is much, much less complicated 06:56:25 although it's out of order now 06:56:51 what's that got to do with execution units 06:57:05 execution units are the payload 06:57:29 like, the actual adders, multipliers, multiplexers that read from the cache.. 06:57:46 ie the parts that ddo the stuff that you actually want 06:58:22 and not the bookkeeping surrounding that like instruction decoding and branch prediction 07:00:00 https://simonsfoundation.org/wp-content/uploads/2013/01/tsp_map.jpg 07:00:42 the only good thing about the p2 is that its crazy architecture lets it keep doing stuff during a cache miss 07:01:16 shachaf: is that all one line 07:01:57 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 "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 The dual of a key store is a little cooky. 11:42:18 "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:19 wot 11:42:23 http://www.thonky.com/eve-online-guide/eve-online-market.php 11:50:56 Oh, and here's a new thing for you: http://zem.fi/ircvis/esoteric/people_mentions.html 12:03:12 Uhm http://sourceware.org/ml/glibc-cvs/2013-q1/msg00115.html 12:03:51 Freedom is the freedom to say that 2 + TWO make zero. 12:06:26 Sgeo: http://oi46.tinypic.com/2qsqvbo.jpg 12:07:59 Evidently I've mentioned optbot the most? That's a bit poor. 12:08:11 fizzie: It's funny how elliott was mentioned the most 12:08:19 fizzie: I wonder if having relative-in-column and relative-in-row visualizations would be useful. 12:08:36 is it funny how elliott talks the most 12:08:38 the only people who never did are Keymaker and Razor-X 12:09:07 fizzie: are all these graphs my fault 12:09:11 "pairings that never occurred" this is where we fill in with shachaf fanfic 12:09:15 what have i started !! 12:09:15 i think variable may have been cheating somewhat 12:09:21 shachaf: Perhaps not quite, but I'm blaming you in any case. 12:09:31 funny how when you click "freq. of being mentioned", there's a diagonal line of self-mentions 12:10:27 same but less visible on other settings 12:11:29 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 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 fizzie: It should highlight nicks when you hover over a blank square. 12:14:50 fizzie: Oh, right. I somehow always manage to mix up X and Y when reading tables. 12:15:17 "Person X" = "person whose name is written in the X-direction" 12:15:57 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:11 `pastelogs kipple 12:16:13 shachaf: I guess. It doesn't because those don't have associated rect elements at all, at the moment. 12:16:27 fizzie: They could be white squares. 12:17:36 monqy: hi "im right next 2 u on the graph" 12:18:12 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 Jafet, I don't actually play EVE yet 12:19:08 But I gather that those are not things worth that amount 12:19:20 shachaf: hi 12:19:44 Jafet, wait, what's with that unreachable thing? 12:20:21 i say we ship Jafet and fungot 12:20:21 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 Now the empty cells are rectangles too. 12:21:08 Yay! 12:21:16 fizzie++ # responsive 12:21:33 Have you considered running for president? 12:21:38 SING FOR ME FUNGOT 12:21:47 In 2018 or so. 12:21:50 I'm sorry I yelled at you, fungot. 12:21:51 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: ♥ 12:22:08 shachaf: you can also develop special graphics characters. these are the values of the x and y registers to zero. 12:22:35 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 `addquote fungot: ♥ shachaf: you can also develop special graphics characters. 12:22:41 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 Hmm, I might read zzo38 fan fiction. 12:23:24 @tell Jafet addquote (this parenthetical messes with fizzie's stats) 12:23:24 You can tell yourself! 12:23:35 -!- copumpkin has quit (Ping timeout: 252 seconds). 12:24:06 -!- copumpkin has joined. 12:27:11 Hmm, did Fiora leave? 12:34:40 I made a highlight-cell-and-transpose happen, and it looks kinda silly, but oh-well. 12:38:27 monqy: you look about "third reddest" to me 12:44:06 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:32 ...the hell 13:20:44 I'm scp -r'ing everything from my account at Farmingdale to home 13:20:57 Seems to be just downloading a lot of Factor related stuff repetitively 13:23:16 Hmm, maybe not repetitively 13:27:56 I put a lot of stuff on there that I don't really need a copy of I guess 13:27:58 So bleh 13:28:07 I want to at least keep my picolisp code 13:29:09 what about your ada code 13:31:05 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 Some other Gregor jerk is trying to snag my nick. 15:47:40 Keeps logging in whenever I'm not using it. 15:51:33 what a jerk 15:51:45 just what i'd expect from someone named Gregor !! 15:53:00 Gregor: set protect 15:53:00 Have you considered changing your name to Tertbe? 15:53:39 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:53:59 haha 15:55:03 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 TwilightSpockle: this network accepts nickserv passwords with PASSWORD 15:59:01 Oh. That makes it pretty easy then X-D 15:59:49 TwilightSpockle: imo Tertbe would be betTer 16:00:18 (DO YOU GET THE JOKE. THE JOKE IS THE ROT13 OF YOUR NAME IS AN ANAGRAM FOR "BETTER") 16:00:26 (I CAPITALIZED A LETTER THERE TO MAKE IT OBVIOUS) 16:00:54 HA 16:00:56 HA HA 16:03:01 where hackego 16:27:55 -!- AnotherTest has joined. 16:28:07 Hello 16:28:25 The program in the topic seems vaguely similar? 16:28:44 Does this perhaps come from a code golfing competition? 16:28:56 Similar to what? 16:29:11 Similar or equal to a program I saw before 16:29:46 hm. I might just be the 2 arrays 16:30:44 What is that program? 16:38:59 -!- Taneb has joined. 16:40:58 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 it seems to be subleq interpreter 16:41:51 Aha. 16:45:31 That must have been one of those HASHA CHAF. 16:51:55 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 mroman: you mean subsequence? of a sequence of length n? 18:31:45 quintopia: http://golf.shinh.org/p.rb?shortest+non+occuring+sequence 18:32:43 Finding a sequence of characters not present in another sequence of characters 18:33:40 thats what i thought 18:36:07 -!- ais523 has joined. 18:36:32 You can enumerate all substrings, sort them 18:36:46 go through the sorted list and find where something is missing in that order. 18:37:21 probably around (2*n^2*log(n^2)) or something 18:37:32 however, brute-force is far more efficient. 18:38:22 you can generate all variations (where there are m^k+m^(k-1)+m^(k-2)..., where m = alphabet size) 18:39:02 and check if the string contains that variations. 18:39:14 => brute forcing a solution. 18:39:34 brute force is way faster than the first method. 18:39:59 i'm not seeing how you're getting n^2 for the first method anyway 18:40:07 I initially thought brute force is exponential 18:40:12 hold on 18:40:12 as generating variations is exponential. 18:40:22 oh okay i see it 18:40:37 There are n*n(+1)*0.5 substrings of a string 18:40:47 yeah, there are O(n^2) possible consecutive substrings 18:41:09 however, brute-force finds a solution in at max. n*(n+1)*0.5+1 steps. 18:41:51 so...really both of these methods are a kind of brute force 18:42:01 and they both have the same asymptotic time bound 18:42:12 the only question is which is shortest to code 18:42:26 well 18:42:41 I figured the first method is not technically brute force 18:42:54 It doesn't try every variation 18:43:02 it locates a solution 18:43:21 but yeah 18:43:40 since sorting is n*log(n) 18:43:50 and you have to sort ~n^2 substrings 18:44:10 means that the first method is probably O(n^2*log(n^2)) 18:44:19 while brute force is just O(n^2) 18:46:35 Because there are only n^2 non-solutions 18:46:52 you will find a solution within n^2+1 steps 18:46:58 ultimate worst-case 18:47:07 ah 18:47:07 the actual worst-case is lower than n^2 for brute force 18:47:21 but 18:47:54 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 itll only be slower than the second by a constant 18:48:29 actually 18:48:36 hm 18:48:39 maybe even same time 18:48:48 how would you linear sort? 18:48:58 so 18:49:15 you'll agree that strings of abcde are just base 5 numbers 18:49:33 of course 18:49:42 so convert each found substring into its number, and throw it into an array at that position 18:49:44 ah 18:49:46 i see 18:49:49 distribution sort? 18:49:50 when you're done, scan for the first empty slot 18:50:18 neat. 18:51:56 wastes a lot of memory 18:51:57 but yeah. 18:53:14 also 18:53:30 if the alphabet size is only 3 18:53:38 one can convert it into a sat problem 18:54:08 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 hmm, google translate thinks that "Gwleidyddiaeth" is english 19:00:02 -!- copumpkin has joined. 19:00:04 Uhhh, you think it's not? lol, what a gwleidyddiaeth. 19:00:09 !rot13 Newyddion, Chwaraeon, Gwleidyddiaeth, Darluniau ac unrhyw beth arall yn perthyn i Gymru! 19:00:11 Arjlqqvba, Pujnenrba, Tjyrvqlqqvnrgu, Qneyhavnh np haeulj orgu nenyy la cregula v Tlzeh! 19:01:21 hmm, it's not rot13? 19:03:11 hm wait 19:03:13 @base 5 19:03:13 Maybe you meant: ask babel paste 19:03:45 you assign each character a digit? 19:03:55 a -> 0, b -> 1, c -> 2 ...? 19:05:14 how'd you encode aaaaaa and aa in that? 19:05:27 !rot13 Je pense que je vais m'en tenir à mes fausses lettres et me tenir loin de cette aberration imprononçable! 19:05:28 Wr crafr dhr wr invf z'ra grave à zrf snhffrf yrggerf rg zr grave ybva qr prggr noreengvba vzcebabaçnoyr! 19:07:33 you couldn't differentiate between aaaa and aa that way 19:18:21 -!- ogrom has joined. 19:19:27 boily: that's not finnish 19:26:51 olsner: no, it is not. 19:28:58 olsner: it's Welsh 19:32:22 apparently "wr" is welsh for man, husband or water 19:33:57 is the pronunciation the same as the spelling? 19:34:12 yes, the pronunciation is also welsh 19:41:32 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 impomatic: welsh ll is a letter all of its own 19:57:10 it's somewhere between hl and chl 19:57:54 that's kind of misleading AIUI 19:59:02 it's like an l, but with less space between your tongue and the roof of your mouth and no voicing 19:59:59 yeah, that's a more accurate description, but a harder one to audialize 20:00:00 -!- Bike has joined. 20:00:28 like the klingon tlh? 20:01:01 I don't know klingon 20:01:43 olsner, yes without the t at the start, i think 20:02:26 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 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 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:35 `? Haskell 20:18:40 Unbound implicit parameter (?haskell::Wisdom) \ arising from a use of implicit parameter `?haskell' 20:18:49 heh 20:19:00 "but that syntax isn't even in haskell" 20:19:27 :ty f`?haskell`x 20:19:39 @type f`?haskell`x 20:19:40 parse error on input `?haskell' 20:19:58 :ty ?haskell 20:20:00 ̀? wisdom 20:20:10 -!- Phantom__Hoover has joined. 20:20:11 @type ?haskell 20:20:12 (?haskell::t) => t 20:20:13 `? wisdom 20:20:15 wisdom is always factually accurate, except for this entry 20:20:25 :ty might only work in PMs 20:20:26 paradox lololoololololololol 20:20:29 i think it's just :t 20:20:34 and it works in #haskell, but maybe not other channels 20:20:35 :t might only work in PMs 20:20:36 :t () 20:20:36 ah. thought that HackEgo was borked. 20:20:37 parse error on input `in' 20:20:37 () 20:20:39 hm 20:20:41 `? C 20:20:43 C is the language of��V�>WIד�.��Segmentation fault 20:20:43 :t ?haskell 20:20:45 (?haskell::t) => t 20:20:50 > let 2 + 2 = 5 in "you have not been paying attention" 20:20:51 "you have not been paying attention" 20:21:24 `? windows 20:21:26 windows? ¯\(°_o)/¯ 20:21:31 `? Taneb 20:21:33 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:22 `? elliott 20:23:23 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:23:32 `? tire 20:23:32 `? rabbi 20:23:34 rabbi? ¯\(°_o)/¯ 20:23:34 tire? ¯\(°_o)/¯ 20:24:17 `? d-modules 20:24:19 D-modules are just modules over the ring of differential operators. Taneb invented them. 20:24:35 `? tanebventions 20:24:37 tanebventions? ¯\(°_o)/¯ 20:24:53 -!- ThatOtherPerson has joined. 20:24:56 `learn Tanebventions include D-modules and automatic squirrel feeders 20:25:00 I knew that. 20:25:17 I always thought automatic squirrels fed themselves 20:25:32 olsner, so an automatic squirrel feeder was a very easy invention 20:25:54 do you just put some food on the ground where squirrels will be able to eat it? 20:25:59 what about the man eating chicken? 20:26:04 that's more automatic than catching the squirrel so you can give it some food 20:26:07 `?d-module 20:26:09 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ?d-module: not found 20:26:12 `?d-modules 20:26:13 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ?d-modules: not found 20:26:14 `welcome ThatOtherPerson 20:26:16 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:17 `WELCOME ThatOtherPerson 20:26:19 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 `wercom ThatOtherPerson 20:26:26 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: wercom: not found 20:26:30 `wercome ThatOtherPerson 20:26:32 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: wercome: not found 20:26:34 wow 20:26:36 ThatOtherPerson, there's a space 20:26:39 I feel very welcomed. 20:26:41 wercome isn't there anymore? 20:26:41 :D 20:26:46 `? d-modules 20:26:48 D-modules are just modules over the ring of differential operators. Taneb invented them. 20:26:54 `wehlcome 20:26:56 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: wehlcome: not found 20:27:13 `wElCoMe ThatOtherPerson 20:27:14 I doubt ThatOtherPerson is new 20:27:14 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: wElCoMe: not found 20:27:19 or they wouldn't have known to do `? 20:27:19 do we only have boring correctly spelled welcome commands now!? outrageous 20:27:34 ais523, because I have once again mentioned the glory of HackEgo in another channel 20:27:42 ais523: I was talking to Taneb about it 20:27:45 I apologize again 20:27:48 Taneb: oh, I see 20:27:52 they came to try out HackEgo 20:27:55 it is indeed glorious 20:28:08 Anyway, I'm interested in esoteric languages 20:28:10 ThatOtherPerson, it's actually a linux system running as root 20:28:15 So I might as well stay 20:28:17 actually, you can probably measure HackEgo versus EgoBot usage ratio to see how ontopic the cahannel is 20:28:31 People still use EgoBot? 20:28:33 ais523: there are topics? 20:28:36 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:37 Taneb: exactly 20:28:41 -!- Phantom__Hoover has quit (Ping timeout: 252 seconds). 20:28:43 well, this channel is meant to be for discussing esolangs 20:28:45 just we so rarely do 20:29:01 `ls bin/wisdom 20:29:03 ls: cannot access bin/wisdom: No such file or directory 20:29:06 `ls wisdom 20:29:08 ​`? \ ? \ ⌨ \ ☃ \ 🐐 \ $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:12 `ls wisdom/* 20:29:13 ls: cannot access wisdom/*: No such file or directory 20:29:18 `? $1? 20:29:19 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:19 ​$1? ��\(��_o)/�� 20:29:26 wait what 20:29:28 `pwd 20:29:29 ​/hackenv 20:29:34 O_o 20:29:35 ais523: but then, what about J? 20:29:39 ais523, me, oerjan and Arc_Koen sometimes talk about Fueue 20:29:41 Taneb: is the joke that you lied 20:29:44 J isn't normally considered an esolang 20:29:46 Taneb: oh right 20:29:46 also can someone fix that smiley 20:29:52 yesterday i was asking about SK calculus 20:30:04 there was also quite interesting discussion of wang tiles and the like 20:30:30 `which ? 20:30:32 ​/hackenv/bin/? 20:30:32 -!- Phantom__Hoover has joined. 20:30:47 `cat /hackenv/bin/? 20:30:48 ​#!/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:30:57 `? Ngevd 20:30:59 ​kʋޱݝ 20:31:09 That's... somewhat curtailed 20:31:32 `apt-get 20:31:34 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:44 you have got to be kidding me 20:31:51 HackEgo has apt installed!? 20:31:59 `? Ngevd 20:32:01 zAr1%b{IL@^Ċ)[z(Я;'s'# \ Q9"Jh=ƸxXvP!1!eM:66{M>#ay؜z¯̠93XՕ^P4Nl;iay; 20:32:36 `python --version 20:32:38 Python 2.7 20:32:42 `python 20:32:56 `python --version 20:32:58 Python 2.7 20:33:04 ThatOtherPerson, it's not interactive 20:33:14 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:17 I din't think it would be 20:33:35 Just checking to see if it would hang 20:33:45 Nope, it timed out 20:33:50 It's surprisingly hard to break HackEgo. 20:33:59 o rly 20:34:07 `reboot 20:34:07 -!- ogrom has quit (Read error: Connection reset by peer). 20:34:08 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: reboot: not found 20:34:14 :D 20:34:14 For a start, it's in a mercurial repository 20:34:18 So we can just revert 20:34:24 Second... 20:34:27 `rm -rf / 20:34:29 rm: invalid option -- ' ' \ Try `rm --help' for more information. 20:34:37 `rm -r -f / 20:34:38 rm: invalid option -- ' ' \ Try `rm --help' for more information. 20:34:41 `run rm -rf /* 20:34:48 Bah 20:35:00 -!- Phantom__Hoover has quit (Ping timeout: 248 seconds). 20:35:20 Oh wait, I was actually working on something before I came here 20:35:33 `ls / 20:35:49 `ls 20:35:53 erm 20:35:58 `python --version 20:36:04 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:15 Python 2.7 20:36:17 bin \ dev \ etc \ hackenv \ home \ lib \ lib64 \ opt \ proc \ sbin \ sys \ tmp \ usr \ var 20:36:18 aaaaaaaaaaaaaaaaahhhhhhhhhhhhhh 20:36:18 ​= 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 `quote plastic spoon 20:36:50 413) 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 ThatOtherPerson, do you intend to become a regular here? 20:37:21 give me a plastic spoon and sufficient yogurt to swirl around and i will compute the universe 20:37:21 Bike: You have 1 new message. '/msg lambdabot @messages' to read it. 20:37:24 whoa 20:37:31 Taneb: maybe? 20:37:39 @tell shachaf so fucking monoid you don't even know 20:37:39 Consider it noted. 20:37:41 Do you read Homestuck or Order of the Stick? 20:37:41 -!- augur has joined. 20:37:42 `addquote 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 oerjan: You have 2 new messages. '/msg lambdabot @messages' to read them. 20:37:46 943) 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 I'm not sure if I'm really contributing to the conversation 20:37:55 what conversation 20:37:56 `python -c 'print "Hello, world!"' 20:37:58 ​ File "", line 1 \ 'print "Hello, world!"' \ ^ \ IndentationError: unexpected indent 20:38:04 Taneb: homestuck 20:38:07 `list 20:38:09 Taneb atriq Ngevd Fiora nortti Sgeo alot 20:38:15 ThatOtherPerson: don't worry, a conversation will contribute to you some day. 20:38:19 `cat /bin/list 20:38:20 cat: /bin/list: No such file or directory 20:38:21 (be careful of fridays, they bite) 20:38:25 `cat bin/list 20:38:26 echo Taneb atriq Ngevd Fiora nortti Sgeo alot 20:38:27 Bah 20:38:27 :D 20:38:27 -!- augur_ has joined. 20:38:30 -!- augur has quit (Read error: Connection reset by peer). 20:38:39 `uname 20:38:40 Linux 20:38:44 `uname -a 20:38:44 `uname -a 20:38:45 Linux umlbox 3.0.8-umlbox #2 Sun Nov 13 21:30:28 UTC 2011 x86_64 GNU/Linux 20:38:46 Linux umlbox 3.0.8-umlbox #2 Sun Nov 13 21:30:28 UTC 2011 x86_64 GNU/Linux 20:38:54 `run echo "echo Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot" > bin/list 20:38:57 No output. 20:39:00 `list 20:39:01 Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot 20:39:13 That's our "there's been an update" thing 20:39:19 :D 20:39:24 this is pretty hilarious 20:39:25 I am all of the first three names... 20:39:39 ThatOtherPerson: so, what are your thoughts on monoids 20:39:42 `ps aux 20:39:44 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 :t might only work in PMs <-- the other way around, actually 20:39:57 `uptime 20:39:58 ​ 20:39:58 up 0 min, 0 users, load average: 0.00, 0.00, 0.00 20:40:04 Bike: I currently don't have a single thought on monoids 20:40:07 hahaha 20:40:15 BUt I'm about to get some 20:40:18 ThatOtherPerson: prepare for enlightenment 20:40:18 every HackEgo command boots a user mode linux machine, right? 20:40:19 oerjan: aha, I knew there was something special about it 20:41:07 kmc: yes 20:41:13 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 in before beaky 20:41:36 in after beaky mo' like 20:41:47 ThatOtherPerson: it's just like multiplication! but less so. 20:41:54 `run mv wisdom/tanebventions wisdom/tanebvention 20:41:57 No output. 20:42:18 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 ThatOtherPerson, did you learn Groups in maths? 20:43:09 -!- monqy has joined. 20:44:27 Taneb: no 20:44:48 ...sets? 20:44:55 `wehlcohme olsner 20:44:58 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 Taneb: You shouldn't underestimate people so much 20:45:27 Taneb: sets, yes 20:45:41 -!- Phantom__Hoover has joined. 20:46:25 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 `addquote 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 944) 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 For any a and b in the set, a <> b is in the set (closure) 20:47:09 pfft, sets 20:47:15 more like worst foundation ever 20:47:30 For any a, b, and c in the set, a <> (b <> c) is the same as (a <> b) <> c (associativity) 20:47:32 * ThatOtherPerson is too tired to think 20:47:41 For any a in the set, a <> e = e <> a = a 20:47:43 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:50 AnotherTest: um... 20:47:53 ther'es lots of ways to define 'the monoid' 20:47:53 AnotherTest, that's a magma 20:47:55 that's a magma 20:48:01 elliott: i forgot how monoids work with categories already. something about endomorphisms??? 20:48:05 meh just keep it simple 20:48:08 also can someone fix that smiley <-- actually that particular smiley is broken on purpose 20:48:08 ... 20:48:15 don't lie to people. 20:48:15 Do magmas guarantee closure? 20:48:21 that's blatantly a magma and not a group 20:48:25 Bike: those are categorical monoids 20:48:30 Bike: different thing 20:48:33 christ 20:48:35 Taneb: yes magmas have closure 20:48:44 imo fuck foundations 20:49:42 An example of a monoid is integers under addition 20:49:48 Another is functions under composition 20:49:55 um 20:49:56 not all functions 20:49:57 AnotherTest: the inverse is probably the important part of groups, to distinguish them from "all those other things" anyway 20:49:59 and uh 20:50:00 SOME FUNCTIONS 20:50:03 20:50:09 endofunctors?? 20:50:15 Functions that all have the same domain and range 20:50:17 CLEARLY endofunctions 20:50:19 wait wait 20:50:38 endomorphisms on...Set.... 20:50:38 isn't a group specifiable as a magma 20:50:47 what would that even mean 20:50:48 magma "with some properties" 20:50:56 AnotherTest, all groups are magmas, the opposite is not true 20:51:17 A group is a magma with associativity, an identity elem I guess 20:51:20 and an inverse 20:51:37 lots of inverse 20:51:44 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:11 That's a loop 20:52:14 You need identity 20:52:23 oh yeah 20:52:26 ok add a boring dude 20:52:34 Wait, it's not a loop 20:52:52 well i did say it was a magma, don't magmas have identities? 20:52:53 um taneb 20:52:58 loops need an identity 20:53:10 since loops are quasigroups with an identity elem. 20:53:17 ope no they don't 20:53:23 Yeah, I remembered that 20:53:28 you also forgot associativity bike 20:53:36 So they're quasigroups 20:53:40 just start out with monoids it will make everything easier 20:53:44 :-) 20:53:48 i think i'm overestimating magmas yeah 20:53:51 monoid superiority 20:54:05 http://en.wikipedia.org/wiki/File:Magma_to_group2.svg are these names supposed to make any sense 20:54:39 I guess? 20:54:48 Or did I just guess wrong 20:55:24 good question 20:55:35 anyway so now ThatOtherPerson is like totally an algebraist, to the max, yo. 20:55:48 are you sure 20:55:50 sorry, I haven't been following 20:55:59 nothing happened don't worry 20:56:11 ThatOtherPerson, there's a lot of things with different names 20:56:22 These things have different properties too 20:56:40 `rm wisdom/coppro 20:56:43 No output. 20:56:45 that thing keeps highlighting me 20:57:18 an insatiable thirst for coppro knowledge 20:57:24 And my current thinkability is -10 beard-seconds 20:57:33 what does that mean 20:57:37 Beard-seconds measures speed 20:57:38 can you put that in SI? 20:57:46 Wait 20:57:47 Length 20:57:57 Bike, it's about a nanometre, iirc 20:58:25 5 or 10 nm, looking it up 20:58:31 Who is ThatOtherPerson. 20:58:35 What do you need for a ring again? 20:58:38 what if it was a mistake. the true measure of thinkability is in beards per second 20:58:39 so is thinkability measured in speed......... 20:58:52 AnotherTest: depends on who you ask 20:59:01 rings are one of those things people have trouble agreeing on : ) 20:59:11 TwilightSpockle: he's that other person you don't know 20:59:11 oh ok 20:59:19 do rings have a multiplicative identity????nobody knows 20:59:21 What if I asked you 20:59:31 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 20:59:33 ThatOtherPerson: Indeed. 20:59:59 monqy: aren't matrices a ring? 21:00:11 *in a 21:00:18 -!- azaq23 has joined. 21:00:19 -!- azaq23 has quit (Changing host). 21:00:19 -!- azaq23 has joined. 21:00:21 They have identity.. 21:00:27 -!- azaq23 has quit (Max SendQ exceeded). 21:00:30 (also; note n x n matrices) 21:00:39 yes n*n matrices form a ring 21:00:47 that just means that there's a ring with an identity, not that rings have to have id 21:00:48 oh but wait 21:00:53 `revert 21:00:54 yeah 21:00:55 Done. 21:01:19 `which revert 21:01:21 No output. 21:01:22 `? coppro 21:01:24 coppro prefers his nickname, Pooppy. 21:01:45 can we at least change the filename if you want it? 21:01:51 I dislike being highlighted by `ls wisdom 21:03:08 `ls 21:03:10 ​= 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:16 `ls wisdom 21:05:19 ​`? \ ? \ ⌨ \ ☃ \ 🐐 \ $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:26 STOP IT :| 21:05:38 `ls wisdom 21:05:39 ​`? \ ? \ ⌨ \ ☃ \ 🐐 \ $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:48 please, people 21:05:53 maybe you should change your name to z'augur 21:05:53 `? banach-tarski 21:05:54 ​"Banach-Tarski" is an anagram of "Banach-Tarski Banach-Tarski". 21:05:55 I don't like being nickpinged this much for bad reasons :( 21:06:04 z'ais523 21:06:15 z'monqy: :| 21:06:39 m is already good enough for this purpose 21:06:48 `mv wisdom/coppro wisdom/c.oppro 21:06:49 mv: missing destination file operand after `wisdom/coppro wisdom/c.oppro' \ Try `mv --help' for more information. 21:06:53 `run mv wisdom/coppro wisdom/c.oppro 21:06:57 No output. 21:07:00 bsk "banach-tarski" obviously has zero measure 21:07:15 `run mv wisdom/ais523 wisdom/a.is523 21:07:19 No output. 21:07:22 SATISFIED? 21:07:22 how about we just don't do ls wisdom 21:07:25 rather than moving all enrties to dumb things 21:07:27 ^ 21:07:39 `run mv wisdom/a.is523 wisdom/ais523; mv wisdom/c.oppro wisdom/coppro 21:07:43 No output. 21:07:52 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 elliott: but how are we then going to know what wisdom there is! 21:07:57 `zalgo.hs 21:07:58 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: zalgo.hs: not found 21:07:59 oh hm... 21:08:00 oerjan: there are unknown unknowns 21:08:03 we don't need a bunch of junk files 21:08:08 `cat zalgo.hs 21:08:08 anyway `run ls wisdom | patse works 21:08:09 import Random;main=mapM_((>>(י=< just one file that's first in alphabetical order and has a name that's like 500 characters long 21:08:25 `run chmod a-r wisdom 21:08:28 No output. 21:08:32 oerjan: genius :) 21:08:33 `? elliott 21:08:38 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:40 `ls wisdom 21:08:43 `ls wisdom 21:08:43 ls: cannot open directory wisdom: Permission denied 21:08:46 ls: cannot open directory wisdom: Permission denied 21:08:47 heh 21:08:58 +r is needed to list directories, +x to access files inside them 21:09:17 `ghci 21:09:26 `which ghci 21:10:19 `run (echo '#!/bin/sh'; echo 'chmod +r wisdom'; echo 'ls wisdom | paste'; echo 'chmod -r wisdom') >bin/pastewisdom 21:10:20 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:23 No output. 21:10:24 ​/opt/ghc/bin/ghci 21:10:27 `pastewisdom 21:10:33 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.26256 21:10:54 `ghc 21:11:00 ghc: no input files \ Usage: For basic information, try the `--help' option. 21:11:07 `ghc --help 21:11:07 `gcc 21:11:13 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:14 `? gcc 21:11:15 gcc: no input files 21:11:18 gcc? ¯\(°_o)/¯ 21:11:23 `? ghc 21:11:27 ghc? ¯\(°_o)/¯ 21:11:28 `ghc zalgo.hs 21:11:28 `zalgoerjan 21:11:33 ​ \ 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:11:35 o̎e̓r̄j͉a̻n̞ ͍ 21:12:31 `zalgørjan 21:12:34 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: zalgørjan: not found 21:13:03 `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:07 I knew that. 21:13:37 `which learn 21:13:40 ​/hackenv/bin/learn 21:13:50 `cat /hackenv/bin/learn 21:13:53 ​#!/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:13 `ls wisdom 21:14:17 ls: cannot open directory wisdom: Permission denied 21:14:29 D: 21:14:38 `? GHC 21:14:40 try pastewisdom. 21:14:41 GHC is a cat that lives in Glasgow and is called Haskell, after mathematician and logician Haskell Curry, who hated the name. 21:14:49 `pastewisdom 21:14:55 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.31978 21:15:01 :D 21:15:03 `? coffee 21:15:05 `run ls -ld wisdom 21:15:08 Coffee is a strange hot brown liquid, often consumed, sometimes with milk and sugar. It contains chemicals considered stimulants. 21:15:10 d-wx--x--x 2 5000 5000 4096 Jan 31 21:13 wisdom 21:15:16 Dahell 21:15:19 Who did that? 21:15:36 oerjan two minutes ago 21:15:45 I don't even know if that'll work properly in Mercurial >_> 21:15:51 oerjan, so coppro wouldn't be pinged so often 21:16:00 milk and sugar in coffee are evil! 21:16:06 `? narutoversee 21:16:09 narutoverse is a place where they haven't heard of having a bus factor of >1. 21:16:20 boily, I like milk, sugar, coffee, and water separately 21:16:23 i like how this is right after morphism 21:16:31 is it possible to have a bus factor between 0 and 1? 21:16:39 `? homestuck 21:16:40 or, generally, non-integer? 21:16:42 Homestuck is a cult religion for disaffected teens. Gamzee drives the bus. 21:16:51 `? hexham 21:16:55 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:00 I hate Gamzee. 21:17:02 `? finland 21:17:05 `? gamzee 21:17:06 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:06 `? gamzee 21:17:09 gamzee? ¯\(°_o)/¯ 21:17:12 gamzee? ¯\(°_o)/¯ 21:17:14 fuck what's a gamzee 21:17:18 oh hm 21:17:21 `url wisdom 21:17:26 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/wisdom 21:17:26 `learn Gamzee is an alien clown that you just cannot keep down. 21:17:28 Bike: it's a clown. 21:17:30 I knew that. 21:17:33 An evil clown. 21:17:34 fuck clowns 21:17:38 -!- c00kiemon5ter has left ("bbl"). 21:17:42 A clown you cannot keep down. 21:17:48 `learn Gamzee is an alien clown that you just cannot keep down, hated by many. 21:17:49 ais523: maybe if someone is hit by a bus and paralyzed but only in one side 21:17:51 I knew that. 21:18:13 `? Gamzee 21:18:16 Gamzee is an alien clown that you just cannot keep down, hated by many. 21:18:21 hm not very useful 21:18:28 I wonder if hg is temporarily adding +r to index the dir... 21:18:32 is ThatOtherPerson not someone who was here before 21:19:11 `? everyone 21:19:15 Everyone in here is mad. 21:19:24 pfeuh. I'm not mad, just a fool. 21:19:37 `? pi 21:19:41 pi is a very round number. 21:19:45 `? pie 21:19:49 I like pie \ I like pie 21:20:04 `burma 21:20:07 `? burma 21:20:07 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: burma: not found 21:20:11 ask Bike 21:20:21 Bike, `? burma 21:21:00 burma is a mystical land of over two dozen ceasefires in as many years 21:21:16 `? saudi 21:21:19 saudi? ¯\(°_o)/¯ 21:21:20 I think my grandfather was stationed there at some point 21:21:22 Burma, that is 21:21:32 wwii? 21:21:40 Post-wwii, I think 21:21:49 50's, maybe 21:21:52 i think a lot of people's grandfathers were stationed there at some point 21:22:14 maybe they were there to pretend the KMT weren't utterly fucked or something 21:22:37 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 `run (echo '#!/bin/sh'; echo 'echo http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/wisdom/') >bin/pastewisdom 21:23:02 No output. 21:23:46 `? homestuck 21:23:49 `ls bin/pastewisdom 21:23:50 Homestuck is a cult religion for disaffected teens. Gamzee drives the bus. 21:23:53 bin/pastewisdom 21:23:58 `cat bin/pastewisdom 21:24:02 ​#!/bin/sh \ echo http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/wisdom/ 21:24:14 coolio 21:24:31 `? Pietbot 21:24:35 Pietbot is the only thing that can defeat fungot. 21:24:44 I need to rewrite pietbot 21:24:59 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:02 But first... 21:25:06 -!- Taneb has changed nick to Taneb|Away. 21:25:32 `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:36 I knew that. 21:25:49 `? homestuck 21:25:53 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 which one of those is gamzee 21:26:24 none 21:26:59 well fuck, then who's driving the damn bus? 21:28:38 Bike: this one's gamzee: http://goo.gl/5eoRG 21:29:21 that's some pretty avant-garde clowning he's got going 21:30:24 Bike: as is this one: http://goo.gl/AE8co 21:31:19 those don't look the same at all. i don't think they're the same one. 21:31:41 eh, one isn't canon 21:32:31 WHY AM I TALKING ABOUT HOMESTUCK??? I need to leave. quickly. 21:32:51 ^ul (Try some Underload instead)S 21:32:51 Try some Underload instead 21:33:03 -!- augur_ has quit (Remote host closed the connection). 21:33:29 -!- augur has joined. 21:34:19 fungot, do you get this homestuck thing? 21:34:20 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:33 so... no. 21:34:40 ^style homestuck 21:34:40 Selected style: homestuck (Homestuck pages 1901-4673) 21:34:41 ^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 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 fungot, how about now? 21:35:49 Bike: you have a great appreciation for the fine arts. you use the hammer and nails. they will come a day 21:36:04 not "there"? 21:37:07 what's fungot? 21:37:07 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 nobody knows ThatOtherPerson 21:37:43 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:19 fungot: what are you? 21:38:20 ThatOtherPerson: it is a hate so pure and... pumpkin seeds? 21:38:25 fungot: what are you? 21:38:25 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: Are you creating some sort of Markov chain? 21:38:50 ThatOtherPerson: what the hell is that? it's so depressing, you can't out troll me in these like 21:39:25 ^stule 21:39:30 ^style 21:39:30 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 ^style fungot 21:39:45 Selected style: fungot (What I've said myself) 21:39:56 fungot: hello? 21:40:01 -!- augur_ has quit (Ping timeout: 245 seconds). 21:40:09 fungot: what are you? 21:40:13 fungot has a style that's fed by its own inane jabbering? X-D 21:40:13 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:27 fungot doesn't like ThatOtherPerson? 21:40:28 :O 21:40:28 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 ^style homestuck 21:40:39 Selected style: homestuck (Homestuck pages 1901-4673) 21:41:02 fungot: what is this human emotion called friendship? 21:41:02 ThatOtherPerson: try again. 21:41:13 fungot: What pumpkin? 21:41:14 ThatOtherPerson: not that it would actually bother pitying you. and anyway, the thing gives a shit in the veil. 21:41:21 oh wait 21:41:48 it's creating sentences from sentences in homestuck 21:42:05 So it must be making Markov chains or something 21:42:20 *nod* 21:42:27 ^help 21:42:27 ^ ; ^def ; ^show [command]; lang=bf/ul, code=text/str:N; ^str 0-9 get/set/add [text]; ^style [style]; ^bool 21:42:39 ^show style 21:42:42 fungot: what is homestuck? 21:42:42 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 hm i forget how to look up the source 21:43:03 that almost started to sound like a proper sentence. 21:43:33 fungot: captchalogue the cake. 21:43:33 ThatOtherPerson: will that make life possible 21:43:58 fungot: captchalogue 21:44:17 fungot: Who is Betty Crocker? 21:44:28 Sorry for the botspam D: 21:46:02 it's not botspam, it's just old plain regular bot abuse (now with 20% more fibres!) 21:46:13 ^bool 21:46:13 Yes. 21:46:16 ^bool 21:46:16 No. 21:46:18 ^bool 21:46:18 No. 21:46:43 fungot: Dave Strider 21:46:50 fungot: who is dave strider? 21:47:05 I think he hates me now 21:47:33 ^source 21:47:33 http://git.zem.fi/fungot/blob/HEAD:/fungot.b98 21:47:41 right 21:47:49 that should answer any of your remaining questions, ThatOtherPerson 21:48:05 O_o 21:48:09 what lanuage is that 21:48:16 *language 21:48:30 befunge 98 21:48:45 it's pretty easy, just follow the arrows 21:49:09 * ThatOtherPerson follows the yellow brick road instead 21:50:20 ThatOtherPerson, fungot is programmed to ignore people who ping him too much, HTH 21:50:21 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:51:14 Phantom__Hoover: ah, thanks :D 21:51:23 yep, too much botspam 21:54:39 ah! that reminds me: I have a bot to sacrifice to this channel. 21:55:07 -!- cuttlefish has joined. 21:55:15 ~yi 21:55:15 Your divination: "Abounding" to "Skinning" 21:55:19 -!- Taneb|Away has changed nick to Taneb. 21:55:30 ThatOtherPerson: go ahead, make it crash. 21:58:00 ~what 21:58:00 --- Possible commands: dice, duck, echo, eval, fortune, metar, ping, yi 21:58:23 ~eval 4 21:58:24 Error (127): 21:58:30 thanks 21:58:30 ~eval x 21:58:31 Error (127): 21:58:33 ~eval 1+2 21:58:33 Error (127): 21:58:36 this is a great bot boily i love it 21:58:41 just a moment, have to reinstall mueval... 21:59:09 (meanwhile, it is as informative as that J bot...) 21:59:14 `addquote ~eval 1+2 Error (127): this is a great bot boily i love it 21:59:18 945) ~eval 1+2 Error (127): this is a great bot boily i love it 21:59:28 noooooo! 21:59:30 darn. 21:59:37 * boily hangs his head in shame... 21:59:52 ~metar 21:59:52 --- ~metar station 21:59:57 ~metar hello 21:59:57 ~eval let 2 = 3 in 2 + 2 21:59:57 --- Station not found! 21:59:58 4 22:00:04 ~metar edinburgh 22:00:06 --- Station not found! 22:00:08 ~metar CYUL 22:00:08 CYUL 312144Z 27021G30KT 2SM R24L/3000V6000FT/U -SN BKN015 OVC035 M06/ RMK SC6SC2 22:00:11 help 22:00:12 oh 22:00:36 i give cuttlefish 10/10 for its intuitive interface & user experience 22:00:53 ~metar EGPH 22:00:54 EGPH 312150Z 25012KT 9999 -SHRA SCT018TCU BKN032 06/04 Q0998 22:01:02 ~fortune 22:01:02 Little known fact about Middle Earth: The Hobbits had a very sophisticated 22:01:02 computer network! It was a Tolkien Ring... 22:01:12 hyuk hyuk hyuk 22:01:15 are cuttlefish's axons myelinated? 22:01:34 Bike: no idea. the libs I use won't compile with GHC 7.6. 22:01:48 ~dice 22:01:48 --- ~dice sides [number] 22:01:48 --- Throw dice, e.g.: dice 6 4 will throw four regular dice. 22:01:57 so what is ~eval meant to do 22:01:58 see, I put in some help and docs! 22:01:59 ~metar CTUL 22:01:59 --- Station not found! 22:02:01 ~eval 1 22:02:01 1 22:02:03 oh cool 22:02:04 ~eval fix 22:02:05 Error (1): No instance for (GHC.Show.Show ((a0 -> a0) -> a0)) 22:02:05 arising from a use of `M8445273017039537125.show_M8445273017039537125' 22:02:05 Possible fix: 22:02:05 add an instance declaration for (GHC.Show.Show ((a0 -> a0) -> a0)) 22:02:06 elliott: ~eval evals haskell. 22:02:10 ~eval fix id 22:02:11 Error (1): No instance for (GHC.Show.Show a0) 22:02:11 -!- Nisstyre has quit (Ping timeout: 252 seconds). 22:02:11 arising from a use of `M4680099139340856389.show_M4680099139340856389' 22:02:11 The type variable `a0' is ambiguous 22:02:11 Possible fix: add a type signature that fixes these type variable(s) 22:02:11 Note: there are several potential instances: 22:02:11 instance GHC.Show.Show GHC.Types.Double 22:02:12 -- Defined in `base:GHC.Float' 22:02:12 instance GHC.Show.Show GHC.Types.Float 22:02:13 -- Defined in `base:GHC.Float' 22:02:13 instance (GHC.Real.Integral a, GHC.Show.Show a) => 22:02:14 GHC.Show.Show (GHC.Real.Ratio a) 22:02:14 -- Defined in `base:GHC.Real' 22:02:15 ...plus 42 others 22:02:21 no extended defaulting I see 22:02:25 ~eval fix id :: () 22:02:27 Error (1): 22:02:31 great error 22:02:41 elliott: well, I kinda kludged something together one day... >_>... 22:03:18 and for eval, I embrace the good old ed philosphy of being consistent with the error messages. 22:03:27 ~eval let x :: Int; x = x in x 22:03:29 Error (1): 22:03:41 s/consistent/spamming/ 22:03:55 oerjan: it ain't spam, it's poetic. 22:04:08 so can i do file i/o with cuttlefish 22:04:15 ~eval print () 22:04:15 Error (1): No instance for (GHC.Show.Show (GHC.Types.IO ())) 22:04:16 arising from a use of `M8663862707215102090.show_M8663862707215102090' 22:04:16 Possible fix: 22:04:16 add an instance declaration for (GHC.Show.Show (GHC.Types.IO ())) 22:04:28 i fucking love these type variables by the way 22:04:41 :t let f x = (x,x); g = f . f; h = g. g in h 22:04:43 t -> ((((t, t), (t, t)), ((t, t), (t, t))), (((t, t), (t, t)), ((t, t), (t, t)))) 22:04:44 I may have disabled IO I think. maybe. perhaps. I don't remember. 22:04:47 :t let f x = (x,x); g = f . f; h = g . g; i = h . h in i 22:04:48 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 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 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 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 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 (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 t)))), ((((t, t), (t, t)), ((t, t), (t, t))), (((t, t), (t, t)), ((t, t), (t, t)))))))) 22:04:54 hooray! 22:05:22 ~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:24 Error (1): 22:05:32 does it just have like a half a second time limit 22:05:53 where did I put that config file again... 22:06:19 so, in the future, are all ddosses going to be through difficult to typecheck bullshit 22:06:34 ~eval ap (+) succ 2 22:06:34 5 22:06:41 ~eval unsafeCoerce 22:06:41 Error (1): Not in scope: `unsafeCoerce' 22:06:44 ~eval Unsafe.Coerce.unsafeCoerce 22:06:44 Error (1): Not in scope: `Unsafe.Coerce.unsafeCoerce' 22:06:51 ~eval System.IO.Unsafe.unsafePerformIO 22:06:51 Error (1): Not in scope: `System.IO.Unsafe.unsafePerformIO' 22:06:55 oh I know 22:06:58 no System.IO. 22:07:08 and you should have 3 seconds per request. 22:07:16 ~eval let unsafeCoerce v = z where z :: v; z = v where aux = const v in unsafeCoerce 32 :: () 22:07:16 Error (1): Couldn't match expected type `v1' with actual type `t' 22:07:16 `v1' is a rigid type variable bound by 22:07:16 the type signature for z :: v1 at :1:35 22:07:16 `t' is a rigid type variable bound by 22:07:16 the inferred type of unsafeCoerce :: t -> v at :1:5 22:07:24 ~eval let unsafeCoerce v = z where z :: v; z = v where aux = const v in () 22:07:24 Error (1): Couldn't match expected type `v1' with actual type `t' 22:07:24 `v1' is a rigid type variable bound by 22:07:24 the type signature for z :: v1 at :1:35 22:07:24 `t' is a rigid type variable bound by 22:07:24 the inferred type of unsafeCoerce :: t -> v at :1:5 22:07:26 lame 22:07:37 sorry, that's what I was stuck with last time. 22:07:40 have to go. 22:07:47 see you tomorrow, maybe! 22:07:48 -!- boily has quit (Quit: Poulet!). 22:07:51 rip boily 22:07:52 -!- cuttlefish has quit (Remote host closed the connection). 22:08:02 missed but not forgotten 22:08:09 elliott: who? 22:08:11 i like the implication that haskell's neurons were myelinated before 7.6 though 22:10:40 fungot: how's it going? 22:10:40 kmc: just be patient, the answer, the fact remained except a note of this, since it just looks so 8ad! 22:11:33 Help I am surrounded by balloons 22:11:45 They are wishing me a happy 50th birthday 22:12:02 happy birthday Taneb 22:12:13 happy birthday!! :D 22:12:13 Apparently I am now 50 22:12:21 Which makes me older than both my parents 22:12:28 combined? 22:12:33 congratulations Taneb!!!! 22:12:34 Not quite 22:13:59 yay Taneb! 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 The balloons left as swiftly as they appeared... 22:42:27 although I have the strangest feeling it was not the last of them. 22:42:30 so are you not 50 any more? 22:42:35 Who knows 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:13 hello 22:45:14 Arc_Koen: You have 1 new message. '/msg lambdabot @messages' to read it. 22:45:18 @messages 22:45:18 oerjan said 1h 52m 35s ago: Thank you! 22:47:37 g'day. also i sent you an email back. 22:48:54 yup 22:48:58 emails?!?!?! 22:49:01 can I get an email 22:49:26 * Arc_Koen grips his email protectively 22:50:26 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:50:49 uh huh. 22:51:20 ) 'Is Jconn still here?' 22:51:20 Sgeo: Is Jconn still here? 22:51:37 ) 'a'+'b' 22:51:38 oerjan: |domain error 22:51:38 oerjan: | 'a' +'b' 22:51:43 WEAK 22:52:04 ) 'a'^'b' 22:52:04 Arc_Koen: |domain error 22:52:04 Arc_Koen: | 'a' ^'b' 22:52:05 ) 'friend' 22:52:05 elliott: friend 22:52:10 :') 22:54:35 If hypothetically I were to try to implement Brainfuck in J, would I use sequential machine? 22:54:45 Because I have no idea how it works but it looks possibly relevant 22:56:24 ) (<1);(<2) 22:56:24 Sgeo: +---+-+ 22:56:24 Sgeo: |+-+|2| 22:56:24 Sgeo: ||1|| | 22:56:24 Sgeo: |+-+| | 22:56:24 Sgeo: +---+-+ 22:56:39 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:09:29 ) <1; <2 23:09:29 oerjan: +-----+ 23:09:30 oerjan: |+-+-+| 23:09:30 oerjan: ||1|2|| 23:09:30 oerjan: |+-+-+| 23:09:30 oerjan: +-----+ 23:09:42 ) 1;2 23:09:42 oerjan: +-+-+ 23:09:42 oerjan: |1|2| 23:09:42 oerjan: +-+-+ 23:10:07 -!- aloril has quit (Ping timeout: 256 seconds). 23:10:07 -!- aloril has joined. 23:10:10 ) (<1);2 23:10:10 oerjan: +---+-+ 23:10:10 oerjan: |+-+|2| 23:10:10 oerjan: ||1|| | 23:10:10 oerjan: |+-+| | 23:10:10 oerjan: +---+-+ 23:10:18 ) (<1);(<<2) 23:10:18 oerjan: +---+---+ 23:10:18 oerjan: |+-+|+-+| 23:10:18 oerjan: ||1|||2|| 23:10:18 oerjan: |+-+|+-+| 23:10:18 oerjan: +---+---+ 23:10:37 ) (<1);<(<2) 23:10:37 c00kiemon5ter: +---+---+ 23:10:37 c00kiemon5ter: |+-+|+-+| 23:10:37 c00kiemon5ter: ||1|||2|| 23:10:37 c00kiemon5ter: |+-+|+-+| 23:10:37 c00kiemon5ter: +---+---+ 23:11:16 ) 1;(<2;(<3;(<4))) 23:11:16 oerjan: +-+---------+ 23:11:16 oerjan: |1|+-+-----+| 23:11:16 oerjan: | ||2|+-+-+|| 23:11:16 oerjan: | || ||3|4||| 23:11:16 oerjan: | || |+-+-+|| 23:11:16 oerjan: ... 23:11:37 ) 1;(2;(3;(4))) 23:11:37 oerjan: +-+-+-+-+ 23:11:37 oerjan: |1|2|3|4| 23:11:37 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.