00:00:50 OK, here goes nothin' 00:01:22 413 Request Entity Too Large 00:01:25 command line time 00:01:35 damageinc is now in #jesus 00:02:02 :D 00:02:14 Hey, somewhere where his knowledge level is appropriate. 00:04:48 -!- oerjan has quit (Quit: Good night). 00:05:24 ais523: who /designed/ MediaWiki? 00:06:55 -!- aloril_ has quit (Read error: Operation timed out). 00:07:00 elliott: by committee 00:07:34 I was hoping for "nobody" 00:10:05 I wish importDump.php had a progress bar 00:10:53 -!- aloril_ has joined. 00:11:36 ais523: do you have an easy way of getting lists of all deleted pages? 00:12:07 elliott: I don't think so 00:12:18 you could page through Special:Log/delete 00:12:23 but it's absolutely full of spam 00:12:26 right 00:12:37 I suppose the database dump is enough for those 00:12:43 it's not like many of them are worth keeping 00:17:24 -!- tzxn3 has quit (Quit: Leaving). 00:17:53 -!- aloril_ has quit (Ping timeout: 240 seconds). 00:18:10 THIS IS SO SLOW 00:20:04 ais523: the good news is, it seems to be importing perfectly well: http://95.149.228.149:8181/w/index.php?title=Brainfuck&action=history 00:20:12 the bad news is, IT'S SO SLOW 00:24:06 Hmm. 00:24:17 Would I be able to sign up as Chris_Pressey? 00:24:34 Sgeo: yes, if not for the fact that I'll import the user table once I get it from Graue 00:24:38 (on the live site) 00:24:43 and /then/ import all the pages 00:24:44 Ah, ok 00:24:53 and /then/ fix the main page and write an ascension address 00:24:58 and /then/ make it live 00:25:00 lol 00:25:18 (Unless you did actually go off-topic and seriously won BN) 00:25:25 i didn't 00:25:28 but it's a nice name 00:37:36 -!- aloril has joined. 00:39:26 it's still going 00:45:39 -!- quintopia has joined. 00:49:58 -!- ais523 has quit (Remote host closed the connection). 00:51:15 Still going... 00:56:42 underload, unlambda, user:monqy, talk:main page, univar, talk:unlambda, main pafgh, Main Pasdfsdf‎, user:ehird, esolang:sandbox 00:59:48 -!- nooga has quit (Ping timeout: 244 seconds). 01:00:35 good pasdfsdfs 01:00:53 good pafghs too 01:10:45 -!- augur has joined. 01:13:49 Incredibly fascinating evaluation of shopping cart software package prepared by well-known soccer professional or a person known as exact same as that soccer player. 01:14:34 Wat. 01:14:45 http://95.149.228.149:8181/wiki/Talk:Incredibly_fascinating_evaluation_of_shopping_cart_software_package_prepared_by_well-known_soccer_professional_or_a_person_known_as_exact_same_as_that_soccer_player. 01:14:48 the best spam page title ever 01:15:33 for a shitty webcomic, xkcd sure is quotable. 01:19:15 * elliott actually laughed at the latest one. 01:20:18 having just read it a few moments ago 01:20:19 so did I. 01:20:48 OK, I laughed at the title text. 01:22:23 i laughed at the hand-staple thing but the title text was good too 01:22:32 could have easily been an early-days xkcd really 01:22:39 although it was a bit too long 01:26:17 hahaha 01:26:21 MediaWiki just told me I have new messages 01:26:23 because my talk page just got imported 01:28:16 -!- zzo38 has joined. 01:28:18 ha 01:28:44 Ah. 01:29:06 elliott: we could switch the wiki over to Gopher, thus removing spam as a result of zzo38 being the only user. 01:29:23 (has this joke been used before. it seems so easy.) 01:31:15 something about hackiki 01:32:11 import done 01:32:24 Gopher doesn't really work for a wiki; it works for read but it doesn't work well for editing pages. You could use HTTP PUT, FTP, Plan 9 Protocol, or something. You could still use Gopher for read-only if you want to, though. 01:32:28 took about an hour and a half 01:34:50 damageinc called me a moron 01:35:31 SSH is another way. HTTP GET/POST, SMTP, and NNTP would have a lot of spam messages 01:38:02 Sgeo: you mean he's... not civil? 01:41:58 `log -\*-.*topic.*international hub 01:42:18 http://95.149.228.149:8181/wiki/Main_Page 01:42:20 Whoops, wrong X_X 01:42:25 `log -\!-.*topic.*international hub 01:42:25 OK, this has all the esolang wiki articles 01:42:43 No output. 01:42:57 2008-06-30.txt:20:51:05: -!- ais523 changed the topic of #esoteric to: #esoteric - the international hub for esoteric language design, development and deployment | logs: http://tunes.org/~nef/logs/esoteric/ 01:43:08 THANKS FOR YOUR HARD WORK TESTING THIS ELLIOTT 01:43:08 Pfff, so boring. 01:43:14 What, elliott's here? 01:43:29 IT'S SO GREAT YOU'VE PUT LIKE FIVE DAYS OF EFFORT INTO MANGLING SQL DUMPS AND SHIT 01:43:31 :'( 01:43:56 I have? 01:44:02 *hyuk* 01:44:30 Category: Pages with broken file links 01:44:32 Whoa. 01:44:33 Magic. 01:47:56 Ah. The dump isn't quite complete. 01:48:01 For instance, it doesn't include redirects. 01:48:16 Well, "moved pages", I suspect. 01:48:43 Hmm... I wonder why. 01:49:46 * Sgeo thinks he wants a distro that supports KDE well, and is looking at OpenSUSE 01:50:31 This "Upstream" thing looks cool 01:50:50 Except for brokenness 01:57:02 Hmm 01:57:05 http://95.149.228.149:8181/w/index.php?title=Esolang:General_disclaimer&diff=22410&oldid=22409 01:57:11 So useful. 01:58:17 Weren't people scared of KDE4? 01:58:28 Now it seems to be more accepted. Might the same happy to Unity or GNOME Shell? 02:01:38 nobody likes or uses kde4 02:02:04 Mainly because it's terrible. 02:02:07 whats kde4 02:02:18 @tell ais523 The import finished; the result basically works, except that pages that are redirects have mysteriously not been imported. 02:02:18 Consider it noted. 02:03:01 WTF am I looking at 02:03:08 what 02:03:16 "GoogleChrome OS X" does not seem to have Chrome or Chromium, and looks nothing like OS X 02:03:29 what is googlechrome osx 02:03:29 http://susestudio.com/a/LkcUZJ/googlechrome-os-x 02:03:59 It's butt ugly to boot 02:04:12 It's using some sort of Win9x GNOME theme or something 02:05:27 Could it be ... 02:05:28 TROLLERY 02:09:04 -!- Gregor has changed nick to Friendship. 02:09:07 How is this nick available. 02:09:58 hi 02:09:58 It is magic. 02:10:04 Jafet: 'struth. 02:10:09 `welcome 02:10:14 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 02:11:46 Jafet: I /might/ have been trying to register FriendshipIsMagic (only to realize that the reason it was unregistered is that the nick is too long) before noticing this one was free >_> <_< 02:11:59 -!- Frooxius_ has joined. 02:12:29 I thought it was unregistered because the troll that used it was klined 02:12:39 -!- Frooxius has quit (Ping timeout: 244 seconds). 02:12:42 -!- Frooxius_ has changed nick to Frooxius. 02:17:01 -!- Frooxius_ has joined. 02:18:46 -!- Frooxius has quit (Ping timeout: 252 seconds). 02:18:58 -!- Frooxius_ has changed nick to Frooxius. 02:20:44 * Sgeo learns of something called Illumination Software Creator 02:22:15 "This trial version of Illumination Software reator is fully functional but limited to 10 "Blocks" of functionality per project. Purchasing a license from our secure online store removes this limitation." 02:22:33 lol 02:22:43 I'll bet the resultant software is of enormously high quality. 02:23:38 Is it even TC? 02:24:42 It has conditionals and loops 02:24:57 If the number variables are bignums... hmm 02:25:07 elliott: yes, I am the reason we are not "Esolang: The Free Encyclopedia". 02:28:13 -!- azaq23 has quit (Quit: Leaving.). 02:29:42 tswett: Exactly. 02:29:44 tswett: Eff you. 02:30:20 I was younger than you at the time. 02:30:37 -!- Friendship has changed nick to Gregor. 02:32:06 tswett, wait, what? 02:32:45 I was younger than elliott at the time. 02:32:48 -!- Gregor has changed nick to Friendship. 02:32:57 But then tswett grew older than me. 02:33:01 I hate it when people surpass me in age. 02:33:07 I know! 02:33:10 Yeesh, it's like you people don't undestand relativity at all. 02:33:19 (You people = Sgeo) 02:33:20 Though I find that usually it happens the other way. 02:33:28 People who used to be older than me are suddenly younger than me. 02:33:39 In fact, I understand that this is more common than the other way around. 02:34:08 * Sgeo wants to know what the bit about "This is why we wre not Esolang: The Free Encyclopedia" is about 02:37:00 Sgeo: I changed some interface page from "The Free Encyclopedia" to "Weirder than You", apparently. 02:37:13 so I'm curious if Gregor has been going on about ponies for a while, or if I was the catalyst 02:37:14 o.O 02:37:37 MediaWiki:Sitesubtitle, in fact. 02:37:51 I'm probably still an administrator on Esolang, in fact. 02:38:02 I think I remember my password, but I'm not going to bother logging in. 02:39:03 tswett: Good thing I'm not importing the MediaWiki namespace! 02:39:21 My most recent edit was 2009. It was the only edit I made that yeah. I mean, that reah. 02:45:57 * Sgeo lols at something called WinLin 02:55:55 Friendship: How did your Whose Line scoring go 03:02:19 elliott: I got a bit bored of the show after season 2, giving it a brief hiatus 03:02:44 What were the totals? 03:04:06 elliott: I'm currently dealing with a technological disaster regarding students hypersubmitting at the last minute to an overloaded system, so I'm not willing to go drag up that spreadsheet ... 03:04:15 But Brady was still in the lead, followed by Mochrie. 03:04:46 hypersubmitting, eh 03:08:50 /HYPERSUBMITTING/ 03:14:38 does anyone know of a plugin that allows you to embed Unicode characters in irssi input via a subset of LaTeX or something? 03:15:14 or some other alternative that makes Unicode easy? 03:16:02 Trust me, hardly anything is going to make input of all of Unicode anything. The question is, what subset do you wish to emit? 03:16:58 maths 03:17:51 kallisti: compose key 03:18:04 help how learn 03:18:14 jfgi 03:18:18 wat 03:19:06 jfgi 03:21:00 Let n ∈ Z. Prove that 2 | (n⁴ - 3) if and only if 4 | (n² + 3). 03:21:05 * kallisti facedesks. 03:22:18 the main annoyance is the cases thanks to the biconditional. THEY GIVE ME NO USEFUL THEOREMS TO USE. 03:22:23 so I just have to do it with cases. -_- 03:22:50 have you tried 03:22:53 proving it both ways instead 03:24:30 that's the same thing 03:24:36 the two cases 03:24:41 are the both ways. 03:25:39 * kallisti is facedesking because of the tediousness not because he doesn't know how to prove it. :P 03:27:30 That seems pretty simple, though perhaps slightly tedious. 03:27:49 yes I'm just complaining for no reason. 03:29:47 @tell oerjan By the way, [[Slashes]] will be movable to [[///]] on my server setup, like you wanted (http://95.149.228.149:8181/wiki/Talk:Main_Page#Special_characters). 03:29:48 Consider it noted. 03:33:26 my professor is apparently bothered by the re-use of quantified variables in other contexts. 03:33:28 OK, TODO is now: Figure out preferences weirdness, automation, server, Graue. ... which is, uh, the same as it was last time. 03:33:33 but, thankfully, he allows it. 03:33:56 i.e. using the same variable name in a different quantifier elsewhere. 03:34:11 * kallisti has no problem with that. 03:34:27 in fact I'm not sure I understand the problem. >_> 03:41:25 It's probably much less of a problem for people with coding experience than most. 03:41:52 You just don't think much about scoping outside of that context. 03:42:04 yes that's what I was thinking actually. 03:42:18 I was just thinking "oh it's just a local scope no big deal." 03:43:43 Also, elliott, are you a permanent guy again? :) 03:44:51 Regardless. Whoo, Wiki work. 03:44:58 Probably not, I'm just ostensibly working on the wiki while actually sitting here procrastinating. 03:58:16 Such procrastination. 03:58:36 He's trying to maintain the obviously-beneficial rule that you can't both be the wiki maintainer and actually be present in #esoteric . 03:58:39 That would be terrible X_X 03:59:23 XD 04:00:06 Friendship: 'cuz "/msg elliott" is the most difficult sequence in the world to type out. 04:00:36 /msg elliottt 04:00:37 Dangit 04:01:25 /msg ellɨoṫṫ 04:04:11 oh, the other entry in the TODO is to figure out why redirects aren't being imported 04:04:12 and fix it 04:07:10 elliott: Your logic is so flawless it boggles my mind 04:07:43 Seriously though, how was Friendship not a taken nick? 04:07:46 Even ignoring MLP. 04:08:12 Friendship: I could say the same about your logic :P 04:08:20 Also free: Friendly 04:10:11 Hay! Don't cross the "i"s and dot the "t"s! 04:10:43 P.S. I fixed the formatting of http://95.149.228.149:8181/w/index.php 04:10:49 Which is now not redirecting again, gaah 04:10:55 I think it's APC messing it up 04:11:21 zzo38: So, don'l dol lhe ıs and don'l cross lhe ls? 04:11:46 "What year was X created?" "What year was X created in?" 04:11:48 which is more correct? 04:13:43 > don't end sentence on preposition 04:13:44 Not in scope: `don't'Not in scope: `end'Not in scope: `sentence'Not in scop... 04:14:11 you might write, "In what year.." 04:14:18 myndzi: up with which etc. 04:14:36 -!- pir^2 has quit (Remote host closed the connection). 04:14:55 what does correct matter 04:15:35 by "correct" i actually mean "which sounds best" 04:16:07 "In what year was X created?" 04:16:10 sounds best to me 04:16:11 :) 04:16:49 sounds like a quiz show :P 04:23:36 -!- H3LLB0Y has joined. 04:24:09 `welcome H3LLB0Y 04:24:13 H3LLB0Y: 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 04:24:18 morning :D 04:24:22 thanks yall! 04:24:51 i have no idea what an esoteric language is btw lol :P 04:24:58 `? esoteric 04:25:02 This channel is about programming -- for the other kind of esoterica, try #esoteric on irc.dal.net. 04:25:33 H3LLB0Y, do you know what a programming language is? 04:25:43 HackEgo: you be trolling! :P 04:25:47 and do you know what an esoteric is 04:26:12 A programming language is (usually) a language that humans can write and read in, even if with some difficulty, and that computers can understand. 04:26:15 Sgeo: yea man sure :P well, not the definition exactly, but i can program in python and c++ abit and some java :D 04:26:21 (Some languages don't fit that mold exactly) 04:26:30 Anyways, an esoteric language is a language not intended for practical use. 04:26:42 ah like a pisstake :P 04:26:49 H3LLB0Y: if you're looking for the english language meaning of "esoteric", the channel HackEgo mentioned is the appropriate place 04:26:50 Have you heard of Brainfuck? That's a classic example of an esoteric programming language. 04:27:08 ah yep lol yea ok i understand :D 04:27:22 elliott: nah im sure it was this one i was sent to :P 04:27:29 sent to? 04:27:34 H3LLB0Y, by who and for what purpose? 04:27:57 damageinc, not sure for what reason lol, he just said to come check it out :D 04:28:06 ... 04:28:32 oh 04:28:38 i was telling him about my game im making and he said go here! :D 04:28:38 hahaha 04:28:45 H3LLB0Y: damageinc spent yesterday "trolling" us 04:29:00 it seems reeling you in here is his latest "genius scheme" 04:29:05 hehe :P he popped into my game dev chatroom so i asked him stuff 04:29:16 he's a (shitty) troll, I would advise ignoring him 04:29:39 meh im not fussed :P 04:29:47 not like i was doing anything anyway hah 04:31:22 If you're willing to learn, just watching this chat can sometimes be an education in computer science, I think. 04:31:45 * elliott is sceptical. 04:32:05 Sgeo: that sounds kind of like something itidus would say, but different 04:32:23 well, esoteric languages as intersting as they are, do not seem very useful :P but if there is some language independent stuff to learn yea i might hang around and have a listen and maybe chat some :P 04:32:49 Well, some esoteric languages are explorations of various computer science concepts. 04:33:12 those which werent made by me 04:34:04 i think ill just stick with the more common usable ones :P 04:34:09 pythons great :D 04:34:26 No one's suggesting that you use an esoteric language to write your next program with. 04:34:27 i wouldn't class python in the usable category 04:34:32 Sgeo: i am 04:34:40 me too 04:34:52 Although Haskell (not esoteric, but not particularly mainstream) is pretty well-liked by this channel. 04:35:37 i think H3LLB0Y should write the first marketable enterprise app for golfscript 04:35:47 flogscript 04:36:20 elliott: why not? :P 04:36:50 because it sucks 04:36:59 justification? 04:37:24 Scoping sticks out to me, and I used to love Python 04:37:39 I've never loved a language :'( 04:37:45 Annoying-to-use lambdas, although at least they're there. 04:38:00 But I may not be the best critic of languages. 04:38:03 I liked Python, and then I learned something else. 04:38:05 Although I've looked at so many 04:38:20 *something else that wasn't C and Java 04:38:33 lisp! 04:38:37 And elliott seems to know everything about every language that I have ever even glanced at, it's crazy. 04:38:48 meh 04:38:52 We do discuss many things in this channel. But main topic is esoteric computer programming. 04:39:07 zzo38, that's the official topic. It's rare for us to be on topic. 04:39:11 saying 'it sucks' is not enough for me, so to me his opinion is worthless 04:39:27 H3LLB0Y: Python has terrible support for functional programming (especially the awful lambdas and lack of TCO), Guido isn't very smart, most of the opinionated design decisions are wrong, and the scoping is really fucked up (even in 3). 04:39:40 Sgeo: I know. But it has been discussed various things. 04:39:42 -!- augur has quit (Remote host closed the connection). 04:39:56 H3LLB0Y: Like, what game you make, specifically? 04:40:49 Python, for all of the dynamicism and interpretive overhead, relly doesn't provide much in return. 04:40:53 I have theoretical dislike along the lines of elliott's and practical dislike along the lines of "I try using it and it doesn't jive as well as other languages. I just get frustrated with it not doing what I want it to do. that's bad." 04:40:56 it's a very... bland language. 04:41:02 elliott: well, its supported by panda3d game engine that im using, so until i need c++ i will use python :P 04:41:02 Isn't lack of TCO some sort of deliberate decision? 04:41:13 H3LLB0Y, no one was recommending C++ over Python. 04:41:13 yes 04:41:18 coppro might do so, I guess. 04:41:25 zzo38: remaking the warcraft 3 custom map warlocks 04:41:28 H3LLB0Y: C++ is even worse, mind you. 04:41:28 H3LLB0Y: I doubt elliott would recommend c++ 04:41:30 kallisti: I don't really like Python much either. But when I saw some Python programs, I did like the way object classes are implemented, for one thing 04:41:43 meh 04:41:44 Isn't lack of TCO some sort of deliberate decision? 04:41:51 whats wrong with c++ lol? 04:41:58 Sgeo: Guido thinks TCO = tail recursion optimisation, and so dismissed it because you can trivially simulate it with a loop. 04:42:16 You can also use C instead of C++ if you prefer. And there is Haskell, JavaScript, Perl, NES ASM, etc 04:42:17 Then someone corrected him and he pointed to an awful decorator hack that used exceptions to do arbitrary tail-calls as justification for not including it. 04:42:22 He's more than a little clueless. 04:42:27 H3LLB0Y: Most things. 04:42:35 elliott, clearly, the hacky way is the One Way To Do It 04:42:42 C++ is an esolang, IMO. 04:42:45 (I'd love to see the performance of that decorator hack.) 04:43:11 I've heard the expression "bolting legs to a dog to try to make an octopus" to describe C++. 04:43:31 elliott: so whats a better language for making games in? 04:43:42 I would say Ruby is better at doing what Python does than Python. 04:43:42 whats games 04:43:45 if that makes sense. 04:43:48 Anything at all, including C. 04:43:50 I think the programming language to make a game also depends what game you are making. 04:43:52 H3LLB0Y: Well, that's a difficult question. 04:43:56 H3LLB0Y: C++ certainly has the best library support. 04:44:15 H3LLB0Y: I agree with John Carmack that functional languages are the way forward for game dev and have worked to make Haskell viable for that purpose. 04:44:17 C# has recently gained quite a lot of support with Microsoft pushing it for Xbox. 04:44:22 (Certainly people are using it already for the task.) 04:44:32 I actually find QBASIC to be OK for many relatively simple kinds of games. 04:44:47 lol zzo38 04:44:53 I've never seen Python used as the main language for a "real" game. 04:44:58 warcraft 3 is not one of such games 04:44:58 but it's not something I know a lot about. 04:45:09 I keep hearing this again and again, and am inclined to agree: C# is a less sucky Java. 04:45:27 which means it's a more sucky anything else 04:45:42 Well, the entire design goal of C# is to be a less sucky Java. 04:45:50 And I have written many games in QBASIC and put many of them in a collection called "The CGA Collection", which is a collection of public domain games in QBASIC for IBM-compatible computers with Color Graphics Adapter, using only low-resolution (40x25 text and 320x200 graphics) 04:45:56 (that said, the people behind C# /do/ seem to appreciate FP and LINQ is cool) 04:46:02 (so it's really not all that bad) 04:46:27 kallisti: the game engine itself is written in c++ just has python bindings so, you write the codes in python (for speed of development) and get the benefits of the speed of c++ 04:46:49 I think C# also makes better use of generic types than many libraries in other popular "mainstream languages. 04:46:52 +" 04:46:53 You said C++ and speed in the same sentence. Lawl. 04:46:59 Clearly, we need a Haskell compiler that targets Python. 04:47:03 pikhq: well it's faster than python 04:47:09 True. 04:47:16 and most other languages 04:47:27 Would Forth be considered fast? 04:47:33 Sgeo: Obscenely. 04:47:35 lol 04:47:38 Sgeo: I want a Haskell compiler that targets Glulx, and a Haskell compiler that targets MMIX. 04:47:58 Sgeo: Forth is in between interpreted and compiled and it is the fastest such thing 04:48:13 pikhq: r u srs 04:48:15 I think I looked at Forth because of zzo38 and Factor because of Forth 04:48:26 well, you guys havent convinced me away from python or c++ :P 04:48:27 forth's threaded code is not "fast" 04:48:45 elliott: No, just stupid. 04:48:45 H3LLB0Y: Who said we were out to convince you? 04:48:52 Factor... has stuff for games. But not sure if that's really sufficient for any real games, or if Factor is that great of a language 04:48:52 H3LLB0Y: Use what you want then 04:49:02 pikhq: there are forth compilers that use more conventional techniques though 04:49:05 and i gather they're pretty good 04:49:18 Sgeo: I found a cite for slava being done with factor btw 04:49:23 elliott, linky? 04:49:34 i will :D 04:49:48 Is Smalltalk considered good for games? 04:49:50 Forth is still generally faster than interpreted languages in general; although much depends on the implementation and there are many ways. 04:49:55 Sgeo: http://bespin.org/~nef/logs/concatenative/12.01.06 from 10:53:03 slice0: 0 does the same 04:49:57 It has a nice syntax, is easy to learn, and a good GUI 04:50:01 i like java 04:50:06 But, on a somewhat more... Pointful note: I'd imagine that a Forth compiler could get pretty good results, due to Forth semantics having hardly anything that *must* be slow. 04:50:30 * kallisti only programs in COBOL 04:50:40 H3LLB0Y: I thought you wanted to use Python and C++ isn't it? 04:50:42 Though, of course, a naive Forth implementation is merely going to be "perhaps fast enough for some of the things you're doing". 04:50:58 zzo38: yep, but i also like java :D 04:51:11 H3LLB0Y: we'll get along like a house on fire. 04:51:12 (still, we live in the time of Really Fast Processors.) 04:51:17 H3LLB0Y: there's no hope for you. sorry. 04:51:21 have fun! 04:51:29 wait 04:51:32 that means the opposite of what it should mean 04:51:34 wtf english 04:51:35 no hope? 04:51:41 why do you say that? 04:51:54 I'm not going to do this. 04:51:55 you like python, c++ and java :P 04:51:58 elliott, other people will still work on it, right? 04:52:00 oh wait 04:52:04 he was respondingt o kallisti 04:52:07 and assembly! :D 04:52:09 elliott: s/fire/fire and the person who lives there/ 04:52:11 Sgeo: http://www.reddit.com/r/programming/comments/pm7t2/why_concatenative_programming_matters/c3qttob 04:52:23 i want to learn x86 :P 04:52:26 I will eventually make computer (there is some internal discussion about whose job to help with these things), will include Forth built-in and available as soon as it is turned on. But it will have BASIC as well. 04:53:02 the "language discussion with someone who only knows of one paradigm with some minor variations" is something I've had too many times to be interested. 04:53:11 H3LLB0Y: OK then do so. If your program is only for x86 computers that can work well. But then it won't run on other computers, unless you use emulator 04:54:05 elliott, I've used that expression before because of The IT Crowd, and also dismayed to find the real meaning 04:54:07 zzo38: wait this is a channel for esoteric languages right? 04:54:17 zzo38: assembly seems like it would fit in perfectly 04:54:22 nope 04:54:29 H3LLB0Y: Yes, but we discuss nearly anything in here 04:54:52 it honestly doesnt seem like great discussion lol 04:54:54 I have written some simple x86 codes in DOS, such as one PALETTE.COM to change palettes. I have written a very short MBR code. 04:55:10 its mostly bagging of people that have opionions other than your own :P 04:55:10 it's not great discussion if you don't have a grasp of the basic concepts being talked about 04:55:13 just ask itidus20 04:55:17 H3LLB0Y: no that's just because you came in now 04:55:24 oh 04:55:26 its a time of day? 04:55:30 bag time? 04:55:34 no it's a new person coming in 04:55:39 this is yr hazing 04:55:39 ah ok lol 04:56:06 Well, it happened (probably only once) that someone left but then someone forgot to tell them that we were just discussing astrology a bit before... these kind of coincidences... still, it is not what most people try to discuss with astrology so it might not work 04:56:09 its pretty much traditional 04:56:25 It is just one example but only a very small one compare with the entire channel 04:56:32 I don't think I was ever hazed as an introduct-- oh wait nevermind 04:56:36 maybe a little. 04:56:37 Often TOPIC message changed in this channel because we like to do so 04:57:00 kallisti: the hazing only stops when you change 04:57:07 I do enjoy the "feel" of machines languages, I'll say. 04:57:08 forest, trees 04:57:16 I like inventing non-machine machine languages. :P 04:57:33 elliott: well my introductory hazing was in the pre-elliott error so it wasn't quite as pervasive. 04:57:38 lol error 04:57:40 *era 04:57:41 its like a frat. if you dont become like everyone else, or at least start keeping your opinions to yourself... 04:57:59 kallisti: no 04:58:01 we're so good at advertising ourselves.... 04:58:04 kallisti: this IS your introductory hazing 04:58:08 elliott: nah 04:58:32 I forget if I got hazed 04:58:38 pre-elliott? 04:58:41 I don't think hazing is an actual thing we do. 04:58:45 there is no pre-elliott 04:58:48 I got asked what my business was and that's all I can remember 04:58:53 elliott is as old as the Ents 04:58:54 H3LLB0Y: If you want to understand this channel, please look at logs at random date/time and then remain confused about what it is anyways 04:58:56 quintopia: yes before elliott was an #esoteric regular 04:59:03 it happened. 04:59:15 :O 04:59:30 lol im not too fussed about understanding this channel 04:59:35 good 04:59:39 i dont think it will help me in any way ever lol 04:59:54 its only use would be to waste time :D 04:59:55 H3LLB0Y: You are probably correct. 05:00:14 it's made several people slightly less idiotic 05:00:25 unfortunately you have to start at a baseline higher than being a python/c++/java fan for that to work 05:00:28 but severely crazy? 05:00:29 for instance PH liked Pascal 05:00:32 that's better 05:00:45 which says much more about python, c++ and java than it does pascal, naturally 05:00:55 well, ive done some haskell 05:00:57 and prolog 05:01:12 haskell? haskell sucks, pascal is the best language 05:01:18 I have written a few Haskell packages already 05:02:00 have you guys tried prog 05:02:20 prog? 05:02:22 prog. 05:02:24 Was I hazed, I don't remember 05:02:31 no. hazing is not a thing 05:02:36 please don't make it a thing. 05:02:39 Sgeo: were you ever not hazed 05:02:49 Many kind of mathematical stuff can be implemented in Haskell, and Haskell has both layout (like Python) and nonlayout (like C) mode; I prefer nonlayout mode but you are allowed to mix them and it still works 05:02:52 "elliott yells at someone" is not hazing. 05:03:08 elliott yells at something is just elliott-breakfast. 05:03:13 lol 05:03:16 i ain't even yelling yet 05:03:40 pascal looks ok i guess 05:03:57 pascal? everyone knows fortran is the best programming language 05:04:03 i would say "dazed" applies to Sgeo more than "hazed" 05:04:10 Can you easily enumerate the number of non-layout Haskell programmers? Probably there isn't much but there is a few 05:04:20 yes. zzo38. 05:04:23 QED 05:04:33 IIRC some of GHC is in non-layout. 05:04:40 oh, and compilers with Haskell output. 05:04:51 non-layout is more convenient for machine output 05:04:55 pikhq: a majority 05:04:59 i believe 05:05:01 (GUIDO I HOPE YOU'RE READING THIS) 05:05:03 H3LLB0Y: TeX is written in WEB, which is a kind of preprocessor for Pascal 05:05:05 (HINT HINT HINT) 05:05:21 the maintainer of the time library uses non-layout 05:05:22 but not in time itself 05:05:29 * Sgeo once wanted to make a language that took "There's only one way to do it" to the extreme 05:05:33 But obviously it can't be TC. 05:05:35 nah i dotn like fortran by the looks of it 05:05:40 pascal > fortran 05:05:46 H3LLB0Y, elliott was joking, I think. 05:05:48 Sgeo: I believe it's called subleq 05:05:48 it might jsut be the colouring of the text though :P 05:05:54 H3LLB0Y: fortran? everyone knows Icon is the best programming language 05:05:58 Sgeo: yea i figred as much lol 05:05:59 which is turing complete 05:06:06 Non-layout certainly does work better for automatically generated programs, but manually written programs can be either way it works 05:06:08 kallisti, uh... that makes no sense 05:06:23 ?? 05:06:25 Any program you can make in subleq, you can also make a subleq emulator and run the program in that. 05:06:26 subleq? one way to do it? 05:06:29 At the very least. 05:06:31 what is confusing. 05:06:32 kallisti: If it's Turing complete there's more than one way to do something. 05:06:34 I also like LLVM, and I know BLISS as well. I like many of the features of LLVM and BLISS compared with C. 05:06:51 The vast majority of those ways will be unnecessarily roundabout, but that's irrelevant. :) 05:06:55 icon actually looks nice 05:07:05 H3LLB0Y, learn Smalltalk. 05:07:11 It's easy to learn, OO, nice IDE. 05:07:12 pikhq: does it count if all of those ways are sequences of the subleq instruction? 05:07:21 NEIN 05:07:29 Learn dc and AWK 05:07:39 And also INTERCAL 05:07:41 H3LLB0Y: yeah it is i was having trouble thinking of bad languages under pressure 05:07:59 Falcon. 05:08:03 ah yes 05:08:09 H3LLB0Y: icon? everyone knows falcon is the best programming language 05:08:14 learn homespring 05:08:17 best language. 05:08:34 In full non-joking seriousness, I do think Smalltalk is a good language. 05:08:35 smalltalk good for games though? 05:08:41 thats pretty much all i want to make lol 05:08:48 i made a game in it once 05:08:48 if you consider Python is good for games 05:08:49 then yes 05:08:59 I am trying making a library in Haskell for text adventure game; what should I call it? One idea is "Uninform" (due to the other text adventure system "Inform") but maybe something else better 05:09:00 In full non-joking seriousness, Smalltalk certainly has below-average suck. 05:09:01 what has smalltalk got over python kallisti? 05:09:06 It... I don't know. Probably yes, but might be a bit tricky to distribute those games in a way that people can't see the source code. 05:09:07 nothing 05:09:09 everyone starts out wanting to make games, nobody ends up wanting to make game 05:09:09 s 05:09:15 not for games anyway. 05:09:32 so why did you say that? 05:09:41 kallisti is not Sgeo 05:09:43 H3LLB0Y, it's overall a better language, and _may_ be easier for games for reasons. 05:09:52 for reason! 05:09:53 s 05:09:54 elliott: but getting 70% of the way there is still pretty popular *cough*vagrant*cough* 05:09:57 GUI stuff is easier, probably. 05:10:05 I do not think it is usually a problem that people can't see source codes; usually is better if source codes are available you can then fix it and make it work even in other systems if needed changing 05:10:14 H3LLB0Y: It omits sucky bits that other languages keep, that you probably didn't even realise suck! 05:10:18 I still want to vagrant 05:10:18 quintopia: vagrant is 100% of the way 05:10:21 it's the perfect game 05:10:28 lol you guys are funny :P 05:10:31 prove it 05:10:38 very amusing :D 05:10:40 hahaha 05:10:41 -!- Chef_ has joined. 05:10:41 ^ 05:10:41 show me a vagrant to play now 05:10:42 proof 05:10:52 Hi 05:10:56 I never did GUI stuff in Smalltalk, but then again, the only language I have done GUI stuff with is VB, and Python ONCE. 05:11:01 `welcome Chef_ 05:11:04 Chef_: 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 05:11:08 Play Tetanus on Drugs, you need GameBoy Advance emulator to work this game, or a way to transfer to GameBoy Advance. 05:11:09 Smalltalk's probably somewhat similar to VB in terms of IDE support for GUIs 05:11:15 Chef_: did damageinc tell you to comeh ere 05:11:21 no 05:11:21 *come here 05:11:22 why? 05:11:24 oh good 05:11:30 He like Chef? 05:11:30 because he's told at least one person to come here in the last hour or two :P 05:11:31 Chef_: Then, what question do you have, please? 05:11:34 *likes 05:11:49 H3LLB0Y: because I don't really understand your obsession with "is it good for games?" when any general-purpose language is, with the proper graphics libraries, is viable as a "game programming language." The only major concern otherwise would be efficiency, where Python is obviously not king of the hill. 05:11:50 H3LLB0Y, Smalltalk is rather different from many languages in terms of IDE and environment 05:11:51 zzo38: Do I really have to have a question at this moment? 05:12:00 YES IT IS MANDATORY 05:12:01 well, for my gui's i will be using librocket, which lets you define your gui's using a html/css/xml style file to define it 05:12:02 Chef_: No, but I was just asking. 05:12:09 zzo38: Not yet 05:12:10 H3LLB0Y: so if Python is good for you, in terms of efficiency, then practically any other semi-decent language is fine. 05:12:18 With Smalltalk, you wouldn't really use text to describe the ... GUI 05:12:22 Main topic is esoteric computer programming, but usually we discuss a large number of complete different things. 05:12:37 H3LLB0Y: also check out Lua. 05:12:38 Then again, you don't use text to define classes. There is no syntax for classes. 05:12:39 kallisti: did you not read what i said earlier, about the panda3d game engine being written in c++ mostly and having python bindings? 05:12:43 Although the lack of documentation for Threejs is annoying me 05:12:54 threejs? 05:13:05 yea 05:13:06 Javascript 3d library. 05:13:06 jjj 05:13:16 Anyways, I should start making food now. 05:13:19 * elliott struggles to determine the relevance to esolangs 05:13:19 Uses WebGL 05:13:24 no 05:13:29 no reference 05:13:35 ok 05:13:57 H3LLB0Y: okay so your criteria for "game programming language" is now "can it interface with C/C++" 05:14:08 I'm not sure if Smalltalk has that. 05:14:16 kallisti: when was it not? :P 05:14:16 Aliens exist. 05:14:27 H3LLB0Y: I thought you were concerned about the actual language. 05:14:27 I don't know how usable Aliens is on, say, Windows. 05:14:40 if python/panda3d did not have it i would probably have gone with straight c++ and a game engine written for hta 05:14:43 that* 05:14:49 Sgeo: thanks for the beedaweeda memories or whoever he was 05:14:54 beedaweeda? 05:14:59 bedaweda 05:15:05 help 05:15:20 I don't know if Aliens can even talk to C++ 05:15:24 "im bad at names" - me 05:15:28 A lot of languages can really only talk to C 05:15:37 aliens speak dubstep, obviously. 05:16:03 ok i'm becoming absent for like 20 minutes i sure hope this place improves before i get back so i can go back to procrastinating 05:16:09 elliott: of course 05:16:25 H3LLB0Y: C++ seems like your language of choice then 05:16:35 why use anything else/ 05:16:49 well, because python makes it alot easier :P 05:17:06 Smalltalk might be easier than Python. 05:17:09 ah, so you are concerned with the language, but you're also concerned with efficiency. 05:17:15 so then, perhaps you should look at Haskell. :> 05:17:20 its what panda3d was designed for and has most support for 05:17:30 also LuaJIT is impressively fast and has a C/C++ interface. 05:17:35 Do you really want to remember labels for some random function, or do you want to do what smalltalk does 05:17:58 myObject someThing: myFirstThing somethingElse: mySecondthing 05:18:27 Can think of that like calling the someThing:somethingElse: method with arguments myFirstThing and mySecondthing on myObject 05:18:46 (The terminology would probably actually be "sending a message" rather than calling a method, but... 05:19:43 C# would be an improvement in ease of programming, while also having game libraries. Also, you mentioned you like Java. well, C# is better. 05:20:29 Can Vala talk to C++? 05:20:35 I know it can talk to C obviously. 05:20:39 did i mention crossplatformability? 05:20:50 oh hey, Haskell has that too. 05:20:59 C# has mono i guess on linux 05:21:00 There ... is Mono, but C# is better 05:21:01 C# does kind of, I don't know if the game libraries are portable 05:21:02 Can we combine LLVM and BLISS into something better than C? 05:21:03 what about mac? 05:21:04 erm, Haskell ois better 05:21:05 *is 05:21:07 but C# itself is portable via Mono at least. 05:21:13 to a degree. 05:21:20 Haskell works on Mac 05:21:22 H3LLB0Y: what about it? 05:21:30 does c# run on it? 05:21:40 Oh, btw: Smalltalk programs should work near-identically on platforms where Smalltalk exists. 05:21:41 (BLISS is old and is not used today, but I like many of its ideas) 05:21:42 dunno. probably. if Mono works on mac. 05:21:45 mac = unix-like 05:21:53 yea 05:23:02 but again I doubt XNA, which is kind of the main game library for C#, was designed to be portable 05:23:09 since it's Microsoft's creation. 05:23:12 but, I don't know for sure. 05:24:35 http://code.google.com/p/monoxna/ 05:24:38 Plain TeX documents will always work identically on platforms where Plain TeX exists. 05:24:53 H3LLB0Y: yes, TeX may be your language of choice for games. 05:25:28 http://www.monoxna.org/ 05:25:32 kallisti: Especially chess games. I have written a macro file for chess game variant in TeX 05:25:33 I have to say, this is not encouraging. 05:26:01 At least http://www.youtube.com/watch?v=KoP1hzcEATA works 05:26:05 kallisti: lol 05:26:10 er, there exists a game that works. 05:26:14 Anyways, I should go make food 05:26:17 Have a busy day tomorrow. 05:27:09 H3LLB0Y: you probably would like Lua though. 05:27:13 it has all the features you seem to enjoy. 05:27:23 it's event remotely similar to Python in some ways. 05:27:24 *even 05:27:40 -!- Frooxius has quit (Read error: Connection reset by peer). 05:27:55 What should I call text adventure game library in Haskell? 05:28:02 -!- Frooxius has joined. 05:28:49 zzo38: Hackventure 05:28:53 :> 05:29:19 kallisti: OK, I can call it that. As long as, other people agrees not use that name; because, if they do, then it confuses everything 05:33:05 nah i dont like falcon either 05:33:26 H3LLB0Y: lol, elliott was joking when he was listing off languages. 05:33:34 i know 05:33:37 im just saying i dont like it 05:35:01 H3LLB0Y, it is, in many ways, not a likable language. 05:49:51 -!- pikhq_ has joined. 05:51:00 -!- pikhq has quit (Ping timeout: 260 seconds). 05:51:42 -!- H3LLB0Y has quit (Quit: Leaving.). 06:00:14 Did you know that clones never use mirrors? 06:00:25 Did you know ... That no-one ever reads these things? 06:01:22 Did you know that Tony Fernandez is Spanish for Bill Buckner? 06:01:27 Did you know ...that half of all American schoolchildren graduate in the bottom 50% of their class? 06:02:06 Did you know ...that in 1983 a short, brown haired man named Tom read the dictionary to check for spelling mistakes, and upon finding a word he believed to be misspelt he consulted his dictionary, only to find that the word was spelt correctly? 06:02:27 Did you know that the Sun God's gift of cancer is honourable? 06:02:34 yes 06:02:47 Did you know that "this sentence is true" is not true, and neither is this one? 06:03:29 Did you know that an anime is a chemical compound that contains the anime group, which consists of one oxygen atom, one tantalum atom, one potassium atom, and one uranium atom, with a total charge of negative one (OTaKU-)? 06:03:47 Did you know that "this sentence is false" is a type error? 06:03:55 Did you know that if cryptography is outlawed, bayl bhgynjf jvyy unir cevinpl? 06:04:06 pikhq_: I realize it now. 06:04:31 Also, blah, didn't have bsdgames installed. 06:04:44 Surely rot13 is more important than, say, /bin/sh! 06:04:44 :P 06:05:52 /ova/fu 06:06:32 Did you know? ...that killing a mockingbird won't cure your schizophrenia? 06:07:05 Did you know that the Earth is bipolar? 06:07:24 Did you know that you are reading this sentence? 06:07:38 Did you know, when someone annoys you it takes 42 muscles to frown but only 4 to extend your arm and punch them in the face? 06:07:46 Did you know... that El Chupacabra was my uncle? 06:09:57 -!- Chef_ has quit (Ping timeout: 245 seconds). 06:14:22 -!- augur has joined. 06:17:56 Did you know that "Did you now that 'Did you know that ... is a recursive sentence?' is a recursive sentence?" is a recursive sentence? 06:18:59 no 06:19:41 > let s0 = "Did you know that \"" ++ s1 ++ "\" is a recursive sentence?"; s1 = "Did you now that '" ++ s0 ++ "' is a recursive sentence?" in s0 06:19:43 "Did you know that \"Did you now that 'Did you know that \"Did you now that... 06:20:00 > let s0 = "Did you know that \"" ++ s1 ++ "\" is a recursive sentence?"; s1 = "Did you now that '" ++ s0 ++ "' is a recursive sentence?" in text s0 06:20:00 > fix show 06:20:01 can't find file: L.hs 06:20:06 you broke it 06:20:07 rip 06:20:11 mueval: ExitFailure 1 06:20:11 mueval: Prelude.undefined 06:20:17 rip rip rip 06:20:34 Huh? 06:20:44 I don't get the thing about "This sentence is false" being a type error 06:28:40 Not all sentences I state make sense. 06:28:50 Some of them are nothing but mostly-nonsense. 06:32:53 Oh 06:33:12 I remember seeing on Wikipedia something about type theory resolving Russell's paradox, though I have no idea how. 06:33:44 it prevents a specific kind of self-reference 06:33:55 I think it has something to do with... Yeah, that. 06:34:54 (Not the same type theory as Martin-Lof.) 06:35:45 http://en.wikipedia.org/wiki/Type_theory 06:38:09 I know. 06:40:10 "then assigning each mathematical (and possibly other) entity to a type." 06:40:18 Entities that are not mathematical in nature? 06:40:35 There is a cooperative chess game called Stallmate. I made up another cooperative variant, called Secret Stallmate. In Secret Stallmate, you are not allowed to see your opponent's pieces or communicate with your opponent, and pieces are set up at random and independently. You can call the referee and do like Kriegspiel. 06:41:04 Or, with the other player; they are not necessarily an opponent (although they have the opposite colors to you). 06:41:26 zzo38, have you ever looked at Fourplay? 06:41:29 However, if a player forfeits, you lose and the other guy wins; so in that case they are opposed to you 06:41:33 Sgeo: No 06:41:35 (I have no idea if that's safe to google) 06:41:49 I would use Wikipedia to look it up anyways if I want to do so; not Google 06:41:55 Apparently it is 06:42:15 http://www.nomic.net/deadgames/fourplay/fourplay.html 06:42:21 (Note I had to add chess) 06:43:48 Do you know of other cooperative games where communication is forbidden? 06:43:53 WTF is a Beethovin set? 06:47:41 I don't know 06:48:33 "Definition of a Beethoven Set" 06:48:39 "For a given group of Pieces, the Beethoven Set for that group of Pieces is defined as the set containing one of each of type of Pieces in that group. Dollarmen and Kings are an exception, they are never part of the Beethoven Set." 06:52:22 http://www.nomic.net/deadgames/fourplay/pieces/cost.html 06:52:27 "Transfer interrupted!" 06:52:30 o.O 06:52:40 > 06:52:40

Transfer interrupted!

06:53:12 Can we together invent the game where the board is a horoscope which updates in real time? Possibly even play the game in a moving vehicle and houses change due to that too... of course you require time limits for the moves so that you cannot simply wait for a very long time until the planets favor you. You can have cards to change harmonic factors and so on, or play by mail if wanted, etc 06:54:30 "The Neutron Gem is worth 1 F$ - that is, any Neutron Gem owned by a Player can be converted by that Player to one Fourplay Dollar." 06:54:47 Maybe the amount that neutron gems are worth should be bumped up to encourage neutron gem use? 06:55:52 Er, neutron use 06:56:26 TODO: Fix captcha 07:01:45 -!- MoALTz has quit (Ping timeout: 245 seconds). 07:05:32 Please write some more quiz files for Internet Quiz Engine! So far is only three files 07:06:08 `run fortune 07:06:16 ​___ ___ \ d88888b d88888b \ d888888888b d888888888b \ 888888888888b 888888888888b \ "d88888888888bd8888bd8888888888b' \ `d888888888 "8" 88888888b' \ `d88888' __ __ `8888b' \ d88 / | | \ 88b \ d888 :,-| |-.: 888b \ d88888 \_|_|_/ 88888b \ d8"""8b ' ___ ` d8"""8b \ : __ d88888b __ : \ ". 07:08:21 -!- H3LLB0Y has joined. 07:11:12 -!- MoALTz has joined. 07:11:16 http://www.nomic.net/deadgames/fourplay/pieces/pieces.20s.html 07:11:25 `welcome MoALTz 07:11:28 MoALTz: 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 07:11:57 The definition of the Forcebeam Generator looks to me like it allows two FGs owned by different people to make a forcebeam 07:12:05 But the physical description seems to contradict that 07:13:50 -!- MoALTz_ has joined. 07:14:16 `welcome MoALTz_ 07:14:19 MoALTz_: 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 07:16:46 -!- MoALTz has quit (Ping timeout: 252 seconds). 07:19:06 -!- cswords__ has joined. 07:22:20 -!- cswords_ has quit (Ping timeout: 240 seconds). 07:23:18 "Any friendly Piece adacent to a PrimeMover in the begining of its turn can move a prime number of squares in any single direction, provided all squares between its starting square and its destination square whose distance from the starting square is a compound number are unoccupied. " 07:23:25 Compound? Isn't it composite? 07:24:04 yes 07:39:41 -!- cswords has joined. 07:42:12 -!- cswords__ has quit (Ping timeout: 260 seconds). 07:42:39 -!- NihilistDandy has joined. 07:54:36 -!- zzo38 has quit (Remote host closed the connection). 07:57:26 -!- cswords_ has joined. 08:01:29 -!- cswords has quit (Ping timeout: 276 seconds). 08:15:20 -!- sebbu has quit (Ping timeout: 240 seconds). 08:23:29 -!- sebbu has joined. 08:23:29 -!- sebbu has quit (Changing host). 08:23:29 -!- sebbu has joined. 08:24:02 -!- nooga has joined. 08:27:52 -!- TeruFSX_ has joined. 08:30:50 -!- TeruFSX has quit (Ping timeout: 252 seconds). 08:33:15 -!- H3LLB0Y has left. 08:35:16 -!- calamari has quit (Quit: Leaving). 08:35:52 -!- monqy has quit (Quit: hello). 09:35:58 -!- tzxn3 has joined. 09:59:02 -!- myndzi\ has joined. 10:02:33 -!- myndzi has quit (Ping timeout: 265 seconds). 10:05:25 -!- FireFly has quit (Ping timeout: 244 seconds). 10:25:17 -!- oerjan has joined. 10:25:53 Boo. 10:26:42 good day 10:33:13 wtf, is lambdabot down? 10:33:25 * oerjan whistles innocently 10:39:47 Let n ∈ Z. Prove that 2 | (n⁴ - 3) if and only if 4 | (n² + 3). 10:40:18 tip: n^4-9 = (n^2+3)*(n^2-3) 10:44:16 and noting that the factors are both even or both odd 10:47:21 -!- FireFly has quit (Ping timeout: 260 seconds). 11:27:07 -!- Frooxius has quit (*.net *.split). 11:27:07 -!- fizzie has quit (*.net *.split). 11:27:08 -!- clog has quit (*.net *.split). 11:27:08 -!- lifthras1ir has quit (*.net *.split). 11:27:09 -!- Friendship has quit (*.net *.split). 11:27:09 -!- myndzi\ has quit (*.net *.split). 11:27:09 -!- fungot has quit (*.net *.split). 11:27:09 -!- oerjan has quit (*.net *.split). 11:27:09 -!- nooga has quit (*.net *.split). 11:27:09 -!- NihilistDandy has quit (*.net *.split). 11:27:09 -!- quintopia has quit (*.net *.split). 11:27:10 -!- Deewiant has quit (*.net *.split). 11:27:11 -!- comex has quit (*.net *.split). 11:27:11 -!- tswett has quit (*.net *.split). 11:27:11 -!- TeruFSX_ has quit (*.net *.split). 11:27:11 -!- elliott has quit (*.net *.split). 11:27:11 -!- Zuu has quit (*.net *.split). 11:27:11 -!- MoALTz_ has quit (*.net *.split). 11:27:12 -!- Jafet has quit (*.net *.split). 11:27:12 -!- chickenz has quit (*.net *.split). 11:27:12 -!- yiyus has quit (*.net *.split). 11:27:12 -!- atehwa has quit (*.net *.split). 11:27:12 -!- pikhq_ has quit (*.net *.split). 11:27:12 -!- aloril has quit (*.net *.split). 11:27:12 -!- yorick has quit (*.net *.split). 11:27:13 -!- rodgort has quit (*.net *.split). 11:27:13 -!- kmc has quit (*.net *.split). 11:27:13 -!- Sgeo has quit (*.net *.split). 11:27:13 -!- Nisstyre has quit (*.net *.split). 11:27:13 -!- audy has quit (*.net *.split). 11:27:13 -!- olsner has quit (*.net *.split). 11:27:13 -!- shachaf has quit (*.net *.split). 11:27:14 -!- coppro has quit (*.net *.split). 11:27:14 -!- ineiros__ has quit (*.net *.split). 11:27:14 -!- kallisti has quit (*.net *.split). 11:27:14 -!- variable has quit (*.net *.split). 11:27:15 -!- mroman has quit (*.net *.split). 11:27:15 -!- lambdabot has quit (*.net *.split). 11:27:23 -!- Taneb has joined. 11:28:29 Hello! 11:33:37 -!- oerjan has joined. 11:33:37 -!- myndzi\ has joined. 11:33:37 -!- TeruFSX_ has joined. 11:33:37 -!- nooga has joined. 11:33:37 -!- NihilistDandy has joined. 11:33:37 -!- MoALTz_ has joined. 11:33:37 -!- pikhq_ has joined. 11:33:37 -!- Frooxius has joined. 11:33:37 -!- quintopia has joined. 11:33:37 -!- aloril has joined. 11:33:37 -!- kallisti has joined. 11:33:37 -!- elliott has joined. 11:33:37 -!- fungot has joined. 11:33:37 -!- clog has joined. 11:33:37 -!- fizzie has joined. 11:33:37 -!- Friendship has joined. 11:33:37 -!- lifthras1ir has joined. 11:33:37 -!- yorick has joined. 11:33:37 -!- variable has joined. 11:33:37 -!- rodgort has joined. 11:33:37 -!- Zuu has joined. 11:33:37 -!- kmc has joined. 11:33:37 -!- Sgeo has joined. 11:33:37 -!- Jafet has joined. 11:33:37 -!- Nisstyre has joined. 11:33:37 -!- Deewiant has joined. 11:33:37 -!- ineiros__ has joined. 11:33:37 -!- chickenz has joined. 11:33:37 -!- audy has joined. 11:33:37 -!- mroman has joined. 11:33:37 -!- yiyus has joined. 11:33:37 -!- comex has joined. 11:33:37 -!- tswett has joined. 11:33:37 -!- atehwa has joined. 11:33:37 -!- olsner has joined. 11:33:37 -!- lambdabot has joined. 11:33:37 -!- shachaf has joined. 11:33:37 -!- coppro has joined. 11:34:48 Hello, splitters! 11:36:22 ais523 isn't going to wake up for ages, is he. 11:38:00 Split split splitadelphia 11:49:16 -!- Friendship has changed nick to Gregor. 12:07:40 -!- variable has quit (Excess Flood). 12:11:17 -!- Taneb has quit (Quit: lunch). 12:17:52 -!- KingOfKarlsruhe has joined. 12:18:17 -!- variable has joined. 12:24:45 * oerjan looks at the recent changes and wonders if the spam will reach an asymptote before elliott finishes the move 12:25:03 oerjan: The spangularity? 12:25:24 exactly 12:25:27 (That's when spambots become better than humans at CAPTCHAs.) 12:25:58 they have ~2 days 12:40:25 -!- KingOfKarlsruhe has quit (Remote host closed the connection). 12:42:20 Besides Spam, what else is annoying on the internet? I'd like to devise a lexicon of internet slang where such things are named after canned things that you can buy with food stamps :D 12:42:42 -!- hagb4rd has joined. 12:51:32 you 12:53:16 the entire list of annoying things is itself annoying. a calvin & hobbes strip comes to mind. 12:54:33 jesus christ how long do i have to sit here waiting for a birminghamite 12:55:15 Now I just need to find a recursive welfare food to represent the list itself… perfect 12:55:18 * oerjan notes ais523 alluded to my ~ expression in his reddit comment 12:55:55 NihilistDandy: welfare recipients, soilent green. hth. 12:56:01 *y 13:06:13 -!- Frooxius has quit (Ping timeout: 265 seconds). 13:27:39 -!- oerjan has quit (Quit: leaving). 13:30:14 -!- Nihilist_ has joined. 13:32:44 -!- NihilistDandy has quit (Disconnected by services). 13:32:44 -!- Nihilist_ has changed nick to NihilistDandy. 13:43:33 -!- itidus21 has joined. 13:53:37 -!- MDoof has joined. 13:53:42 -!- MDoof has changed nick to MDude. 14:44:29 TODO also: figure out weird cache/gzip stuff 15:14:50 -!- Frooxius has joined. 15:17:12 -!- elliott has quit (Ping timeout: 260 seconds). 15:20:20 -!- Frooxius_ has joined. 15:21:45 -!- Frooxius has quit (Ping timeout: 245 seconds). 15:22:34 -!- Frooxius has joined. 15:26:05 -!- Frooxius_ has quit (Ping timeout: 276 seconds). 15:26:22 -!- Frooxius_ has joined. 15:27:58 -!- Frooxius has quit (Ping timeout: 252 seconds). 15:28:11 -!- Frooxius has joined. 15:31:15 -!- Frooxius_ has quit (Ping timeout: 245 seconds). 15:40:55 -!- Frooxius_ has joined. 15:43:18 -!- Frooxius__ has joined. 15:43:19 -!- HackEgo has quit (Read error: Connection reset by peer). 15:43:38 -!- Frooxius has quit (Ping timeout: 276 seconds). 15:43:44 -!- Frooxius__ has changed nick to Frooxius. 15:43:49 -!- HackEgo has joined. 15:44:14 -!- ion has quit (Ping timeout: 248 seconds). 15:45:18 -!- EgoBot has quit (Ping timeout: 248 seconds). 15:45:36 -!- EgoBot has joined. 15:46:18 -!- Frooxius_ has quit (Ping timeout: 252 seconds). 15:46:54 -!- ineiros_ has quit (Ping timeout: 248 seconds). 15:47:06 -!- ineiros_ has joined. 15:47:32 -!- ion has joined. 15:57:59 -!- Frooxius has quit (Read error: Connection reset by peer). 15:58:38 -!- Frooxius has joined. 16:06:14 -!- oklopol has quit (Read error: Connection reset by peer). 16:06:30 -!- oklopol has joined. 16:25:34 -!- augur has quit (Remote host closed the connection). 16:28:25 -!- itidus20 has joined. 16:28:27 -!- itidus20 has quit (Client Quit). 16:30:55 -!- itidus21 has quit (Ping timeout: 260 seconds). 16:31:47 -!- Taneb has joined. 16:31:50 Hello! 16:49:41 -!- Taneb has quit (Ping timeout: 240 seconds). 16:50:08 -!- Frooxius has quit (Read error: Connection reset by peer). 16:50:36 -!- Frooxius has joined. 16:51:47 -!- Taneb has joined. 16:54:26 -!- augur has joined. 16:57:56 -!- Frooxius has quit (Read error: Connection reset by peer). 16:58:25 -!- Frooxius has joined. 17:05:55 -!- quintopia has quit (Ping timeout: 260 seconds). 17:06:26 -!- quintopia has joined. 17:25:03 Hi 17:25:09 -!- azaq23 has joined. 17:25:23 -!- azaq23 has quit (Max SendQ exceeded). 17:27:25 Heloo 17:27:43 -!- zzo38 has joined. 17:34:08 -!- Taneb has quit (Ping timeout: 276 seconds). 17:40:23 -!- Frooxius_ has joined. 17:41:07 -!- mtve has quit (Ping timeout: 244 seconds). 17:42:09 -!- Frooxius has quit (Ping timeout: 244 seconds). 17:42:21 -!- Frooxius_ has changed nick to Frooxius. 17:42:49 -!- NihilistDandy has quit (Read error: Connection reset by peer). 17:44:33 -!- Slereah_ has quit (Read error: Connection reset by peer). 17:44:48 -!- Slereah has joined. 17:47:41 -!- NihilistDandy has joined. 17:49:01 -!- quintopia has quit (Ping timeout: 248 seconds). 17:55:49 -!- FireFly has quit (*.net *.split). 17:55:50 -!- fizzie has quit (*.net *.split). 17:55:50 -!- clog has quit (*.net *.split). 17:55:50 -!- zzo38 has quit (*.net *.split). 17:55:51 -!- lifthras1ir has quit (*.net *.split). 17:55:51 -!- Gregor has quit (*.net *.split). 17:55:51 -!- myndzi\ has quit (*.net *.split). 17:55:51 -!- fungot has quit (*.net *.split). 17:55:52 -!- ion has quit (*.net *.split). 17:55:52 -!- salisbury has quit (*.net *.split). 17:55:52 -!- nooga has quit (*.net *.split). 17:55:52 -!- MDude has quit (*.net *.split). 17:55:52 -!- Deewiant has quit (*.net *.split). 17:55:53 -!- comex has quit (*.net *.split). 17:55:53 -!- tswett has quit (*.net *.split). 17:55:53 -!- TeruFSX_ has quit (*.net *.split). 17:55:53 -!- Zuu has quit (*.net *.split). 17:55:53 -!- ineiros_ has quit (*.net *.split). 17:55:53 -!- MoALTz_ has quit (*.net *.split). 17:55:53 -!- Jafet has quit (*.net *.split). 17:55:54 -!- chickenz has quit (*.net *.split). 17:55:54 -!- yiyus has quit (*.net *.split). 17:55:54 -!- atehwa has quit (*.net *.split). 17:55:54 -!- oklopol has quit (*.net *.split). 17:55:54 -!- pikhq_ has quit (*.net *.split). 17:55:54 -!- aloril has quit (*.net *.split). 17:55:54 -!- yorick has quit (*.net *.split). 17:55:54 -!- EgoBot has quit (*.net *.split). 17:55:54 -!- hagb4rd has quit (*.net *.split). 17:55:55 -!- rodgort has quit (*.net *.split). 17:55:55 -!- kmc has quit (*.net *.split). 17:55:55 -!- Sgeo has quit (*.net *.split). 17:55:55 -!- Nisstyre has quit (*.net *.split). 17:55:55 -!- audy has quit (*.net *.split). 17:55:55 -!- olsner has quit (*.net *.split). 17:55:55 -!- shachaf has quit (*.net *.split). 17:55:55 -!- coppro has quit (*.net *.split). 17:55:56 -!- ineiros__ has quit (*.net *.split). 17:55:56 -!- HackEgo has quit (*.net *.split). 17:55:56 -!- kallisti has quit (*.net *.split). 17:55:56 -!- mroman has quit (*.net *.split). 17:55:56 -!- lambdabot has quit (*.net *.split). 17:57:32 -!- Taneb has joined. 17:57:32 -!- quintopi1 has joined. 17:57:32 -!- zzo38 has joined. 17:57:32 -!- oklopol has joined. 17:57:32 -!- ion has joined. 17:57:32 -!- ineiros_ has joined. 17:57:32 -!- EgoBot has joined. 17:57:32 -!- HackEgo has joined. 17:57:32 -!- MDude has joined. 17:57:32 -!- hagb4rd has joined. 17:57:32 -!- myndzi\ has joined. 17:57:32 -!- TeruFSX_ has joined. 17:57:32 -!- nooga has joined. 17:57:32 -!- MoALTz_ has joined. 17:57:32 -!- pikhq_ has joined. 17:57:32 -!- aloril has joined. 17:57:32 -!- kallisti has joined. 17:57:32 -!- fungot has joined. 17:57:32 -!- clog has joined. 17:57:32 -!- fizzie has joined. 17:57:32 -!- Gregor has joined. 17:57:32 -!- lifthras1ir has joined. 17:57:32 -!- yorick has joined. 17:57:32 -!- rodgort has joined. 17:57:32 -!- Zuu has joined. 17:57:32 -!- kmc has joined. 17:57:32 -!- Sgeo has joined. 17:57:32 -!- Jafet has joined. 17:57:32 -!- Nisstyre has joined. 17:57:32 -!- Deewiant has joined. 17:57:32 -!- ineiros__ has joined. 17:57:32 -!- chickenz has joined. 17:57:32 -!- audy has joined. 17:57:32 -!- mroman has joined. 17:57:32 -!- yiyus has joined. 17:57:32 -!- comex has joined. 17:57:32 -!- tswett has joined. 17:57:32 -!- atehwa has joined. 17:57:32 -!- olsner has joined. 17:57:32 -!- lambdabot has joined. 17:57:32 -!- shachaf has joined. 17:57:32 -!- coppro has joined. 17:58:01 -!- Taneb has quit (Ping timeout: 240 seconds). 18:13:39 -!- Taneb has joined. 18:15:05 Hello! 18:16:27 -!- ion has quit (*.net *.split). 18:16:27 -!- salisbury has quit (*.net *.split). 18:16:28 -!- nooga has quit (*.net *.split). 18:16:28 * kallisti is using monospaced fonts in section headers for his contract, like a boss. 18:16:40 * kallisti should never be a web designer. 18:17:58 -!- myndzi has joined. 18:21:10 kallisti: Then don't be a web designer. 18:21:36 -!- itidus21 has joined. 18:21:59 -!- ion has joined. 18:21:59 -!- nooga has joined. 18:22:34 zzo38: I won't 18:24:24 i like deltaplex.. 18:24:59 i decided against trying to compile it on windows versus the chances of me actually using it. but the concept itself is pretty cool to me 18:25:05 * kallisti is partial to Courier 18:25:14 oh we're not talking about fonts 18:25:28 hmm 18:28:23 -!- myndzi\ has quit (*.net *.split). 18:28:23 -!- fungot has quit (*.net *.split). 18:31:03 -!- zzo38 has quit (Remote host closed the connection). 18:33:29 kallisti www.braindamage.vg/ 18:33:41 it actually took all that time for me to find it 18:34:00 wait uh NSFW 18:34:01 accidente 18:34:09 i didnt know...... i didnt know 18:34:33 the porn was posted on feb 12th 18:34:52 safer link is this one http://www.braindamage.vg/projects/ 18:36:42 just posted with regard to using monospaced fonts on a webpage 18:43:34 lol 18:43:50 I think monospace (can) look good 18:43:59 but I note that most websites do not use monospace fonts. 19:04:34 -!- Chef_ has joined. 19:07:41 -!- hagb4rd has quit (Ping timeout: 240 seconds). 19:24:13 -!- ais523 has joined. 19:26:03 -!- monqy has joined. 19:40:29 -!- MoALTz_ has quit (Ping timeout: 252 seconds). 19:41:16 ah, you have to love the Internet: cia.gov gets DDOSed, Anonymous aren't entirely sure whether they did it or not 19:41:17 ais523: You have 1 new message. '/msg lambdabot @messages' to read it. 19:43:13 I'll bet that message goes roughly like this: 19:43:18 Waaaah where are you? 19:43:25 actually it doesn't 19:43:31 *snaps* 19:43:33 it's about how stupid MediaWiki is 19:43:42 -!- calamari has joined. 19:43:52 This is why we should be using Hackiki >: ) 19:45:20 -!- MoALTz has joined. 19:50:58 -!- mtve has joined. 19:53:36 -!- nys has joined. 19:57:27 -!- H3LLB0Y has joined. 19:58:44 -!- H3LLB0Y has left. 20:05:15 -!- hagb4rd has joined. 20:06:14 -!- sebbu2 has joined. 20:06:14 -!- sebbu2 has quit (Changing host). 20:06:14 -!- sebbu2 has joined. 20:10:08 -!- sebbu has quit (Ping timeout: 276 seconds). 20:11:47 -!- Chef_ has quit (Remote host closed the connection). 20:19:30 -!- sebbu2 has quit (Read error: Connection reset by peer). 20:19:50 -!- sebbu2 has joined. 20:19:50 -!- sebbu2 has quit (Changing host). 20:19:50 -!- sebbu2 has joined. 20:39:02 Well, I have now seen Repo 20:39:15 Taneb: context? 20:39:30 not to mention that out of context, there are multiple ways to expand the last word 20:40:08 the genetic opera 20:41:10 It was /weird/ 20:41:11 ah, I didn't know /that/ one 20:41:37 http://www.youtube.com/watch?v=MoeYcnTHhSk&feature=watch-now-button&wide=1 20:56:21 -!- nys has quit (Ping timeout: 240 seconds). 20:59:53 ais523: Okay, this is getting a bit repetitive now: http://p.zem.fi/1wea 21:01:56 What? 21:02:43 It's a new version of an earlier spam. 21:02:46 your identity/information's was used to dupe a Australia business man to 21:02:46 the tune of $4 Billion Usd 21:03:14 you could probably count the number of australians with $4 Billion Usd on on hand :P 21:03:23 I think the previous one had more pizzazz. 21:03:23 Four BIIIIIILLIIIOOOON UUUUU SSSS DDDD 21:03:32 I'm just /that/ trustworthy, that anyone can make anyone trust them simply by pretending to be me 21:03:53 i mean.. thats basically as rich as you get in australia 21:04:19 noone here with $60 billion 21:18:30 -!- Phantom_Hoover has joined. 21:19:21 OK, the new version of DF is out, and I am going to need help fighting my way through the inevitable library clusterfuck. 21:23:43 And of course I immediately discover that I can't even install packages because the mirror is down. 21:23:50 Deewiant, help 21:24:06 It seems to run fine for me 21:24:17 You're not running it on the same distro as me. 21:24:26 Fair 'nuff 21:24:35 It's complaining about not having SDL here. 21:27:05 pacman -Syu fails. I am so out of my depth I don't have a hope of getting it working before tomorrow. 21:28:57 -!- hagb4rd has quit (Ping timeout: 252 seconds). 21:30:41 -!- Taneb has quit (Ping timeout: 240 seconds). 21:31:06 Phantom_Hoover: are all your options truely exhausted? 21:31:16 No; I remembered Google. 21:31:32 elliott is probably going to yell at me once he comes online, but Dwarf Fortress. 21:31:37 -!- PiRSquared17 has joined. 21:32:10 i think he understands the importance of DF 21:32:25 what's dwarf fortress? 21:32:37 olsner.................................................. 21:32:44 .................................................. 21:32:56 . 21:32:59 olsner: one of the most crazy complicated strategy games ever invented 21:33:11 olsner doesn't know? 21:33:11 it has an old-fashioned ASCII interface, and yet manages to peg most modern CPUs 21:33:16 strategy? sounds boring 21:33:23 Great, now I still can't install packages because of some signature problems. 21:33:23 hehe 21:33:30 and Minecraft is a poor ripoff of it 21:33:33 i haven't played it but i've seen screenshots 21:33:43 olsner, ignore ais, it's the only strategy game ever where your units will decide to get drunk rather than fight. 21:47:02 so i just thought up a fairly weird way for describing a shape (imagining it in 2d) which i will spell out 21:52:56 Jesus christ I really do not understand pacman. 21:53:29 Phantom_Hoover, what distro uses pacman? 21:53:34 Arch. 21:55:01 so taking the unit circle as an example.. it can be said that for the interval [0,360] of all rotations of the unit circle, that the circle intersects x zero times at the intervals (−∞,-1) and (1,∞), once at -1, once at 1, and twice at the interval (-1,1), and that that the circle intersects y zero times at the intervals (−∞,-1) and (1,∞), once at -1, once at 1, and twice at the interval ( 21:55:01 -1,1), 22:02:25 -!- Nisstyre has quit (Quit: Leaving). 22:03:07 -!- Nisstyre has joined. 22:03:47 YES IM DF 22:04:43 -!- Nisstyre has quit (Read error: Connection reset by peer). 22:07:18 -!- oklopol has quit (Ping timeout: 272 seconds). 22:07:48 -!- nys has joined. 22:15:55 -!- MoALTz has quit (Ping timeout: 240 seconds). 22:15:58 Worldgen is a) way better and b) way slower. 22:16:35 -!- cheater_ has joined. 22:18:41 Oh wow, it actually generates bibles now. 22:19:09 I have Komivak, "Throwsling", a platinum slab, which apparently has the secrets of life and death written on it. 22:20:15 `log [k]omivak 22:20:57 No output. 22:21:32 -!- MoALTz has joined. 22:22:38 `log [w]orldgen 22:37:24 -!- esowiki has joined. 22:37:24 -!- glogbot has joined. 22:37:25 -!- HackEgo has joined. 22:37:25 -!- EgoBot has joined. 22:37:29 -!- esowiki has joined. 22:37:30 -!- esowiki has joined. 22:39:15 -!- Gregor has joined. 22:39:51 there you go 22:40:04 -!- glogbackup has joined. 22:40:15 relieved feeling through disconnection 22:53:45 -!- augur has quit (Remote host closed the connection). 23:04:17 -!- Phantom_Hoover has quit (Remote host closed the connection). 23:05:42 -!- azaq23 has joined. 23:16:22 -!- Phantom_Hoover has joined. 23:17:03 -!- H3LLB0Y has joined. 23:17:39 -!- H3LLB0Y has left. 23:19:02 -!- Chef_ has joined. 23:19:36 > map (head &&& length) . group $ ">>>>+++++------+++++------<<<" 23:19:37 [('>',4),('+',5),('-',6),('+',5),('-',6),('<',3)] 23:19:48 holy BF compiler optimization, batman! 23:23:41 @src groupBy 23:23:41 groupBy _ [] = [] 23:23:41 groupBy eq (x:xs) = (x:ys) : groupBy eq zs 23:23:41 where (ys,zs) = span (eq x) xs 23:32:58 -!- augur has joined. 23:38:42 -!- yorick has quit (Quit: No Ping reply in 180 seconds.). 23:39:22 -!- yorick has joined. 23:43:16 -!- tzxn3 has quit (Read error: Connection reset by peer). 23:57:54 -!- Chef_ has quit (Remote host closed the connection). 23:58:31 -!- Chef_ has joined.