01:01:01 -!- sebbu2 has quit ("@+"). 01:17:56 -!- atrapado has quit ("sumaesuma"). 01:21:31 -!- nazgjunk has quit ("Away for the weekend, don't expect me back until sunday evening CET, at the very earliest"). 02:47:03 -!- jix__ has quit ("Bitte waehlen Sie eine Beerdigungnachricht"). 03:15:15 -!- Pikhq has quit ("Leaving."). 03:16:54 -!- Pikhq has joined. 03:23:44 -!- Sukoshi has quit ("Yah."). 03:24:31 -!- oerjan has quit ("Good night"). 03:36:06 -!- Pikhq has quit (Read error: 110 (Connection timed out)). 03:44:34 -!- Sgeo has joined. 04:03:41 -!- Figs has joined. 04:04:04 http://www.faisal.com/geek/opcodes.txt 04:22:18 -!- GreaseMonkey has joined. 05:02:05 bsmnt, what's with your bot? 05:02:13 ? 05:02:22 why isn't it on? 05:02:25 hmm 05:02:31 that's odd 05:02:44 -!- ShadowHntr has joined. 05:03:03 -!- bsmnt_bot has joined. 05:03:16 CONRADULATIONS!!!1 05:11:37 i'm working on an operbot right now 05:11:53 having two bots on at once is a bit overkill 05:13:57 If you brought your bot in, that'd be three ... 05:14:02 EgoBot: Hello my friend. 05:14:09 two bots on the same pc, that is 05:14:21 two in a chan is fine 05:14:54 just as long as there are more people than bots (except #botpark ), it's fine 05:35:19 -!- Sukoshi has joined. 06:12:23 'operbot'? 06:12:41 operbot = a bot that does op stuff for your chan 06:13:04 will it ban everybody from #esoteric? 06:13:24 no it won't unless you make it do that in the source 06:13:26 So, it's ChanServ? 06:13:35 not really 06:13:52 stuff like `kick agentorange 06:14:00 and `topic Very cool channel 06:14:08 but you don't even need to be an op 06:14:08 you mean like chanserv 06:14:13 so yeah, like chanserv 06:14:28 ^^ 06:15:19 but you can kick people without the +o 06:15:27 and stuff like that 06:18:29 chanserv can op people 06:18:36 as well as set channel modes and stuff 06:18:52 GreaseMonkey: so can chanserv 06:19:09 i thought it couldn't kick ppls 06:19:20 i don't think it can 06:19:28 so? 06:19:36 it can still op you and then you kick the person yourself. 06:19:46 and kicking is practically useless anyway. 06:19:50 so what's the point? 06:20:08 O_o 06:20:13 note that `kick foo is faster than /cs op greasemonkey then /kick #chan foo 06:20:15 access of 8 for voice? O.o 06:20:27 `kb foo 06:20:28 * bsmntbombdood sharpens his finger then pokes lament 06:20:35 `kb foo barmsg 06:21:03 `silence foo 06:21:05 ;) 06:21:23 (+v all good citizens, +m channel) 06:21:35 or -q 06:21:40 -q? 06:21:59 silence 06:22:01 i still fail to see how is this useful 06:22:12 * bsmntbombdood pokes lament again 06:22:24 it's useful because you flex your coding muscles :P 06:22:25 if you want to kick people so badly 06:22:26 just get ops 06:22:42 or do you want to be an undercover op that jumps out and kicks people randomly? 06:22:44 whoo! Hydrogen. 06:22:47 on windows. 06:22:49 lament: I WANNA KICK PEOPLE! Can I have ops ZOMG 8-D 06:23:07 hehe pm kick 06:23:08 -!- ChanServ has set channel mode: +o GregorR. 06:23:15 YAYS! 06:23:17 lol 06:23:25 8-D 06:23:30 omg 06:23:32 the reign of terror!!! 06:23:39 Muahahaahahahha 06:23:47 -!- bsmnt_bot has joined. 06:23:52 O.o 06:23:55 kick evasion!!! 06:23:58 I HATE YOU!!!!!!!!! 06:24:24 -!- GregorR has set channel mode: +b %bsmnt_bot!*@*. 06:24:26 `kick bsmnt_bot 06:24:34 O_o 06:24:39 Talk to me, bsmnt_bot 8-D 06:24:40 you guys have access at 30? O.o 06:24:46 -!- GregorR has set channel mode: -b %bsmnt_bot!*@*. 06:24:49 OK, that was fun. 06:24:52 -!- GregorR has set channel mode: -o GregorR. 06:25:12 oh woww 06:25:22 taaus hasn't been here for 2 years :( 06:25:43 2y 8w 3d 14h 45m 41s 06:25:50 aardappel for a year and a half... :( 06:25:57 who are they? 06:26:06 as of 4/5/07 19:22:13 GMT-10 06:26:09 aardappel is a genius, taaus is just cool 06:26:28 to the log! 06:28:23 wot! 06:28:27 I have to log in? :( 06:28:51 and no bmn access! 06:28:53 boo. 06:36:50 I propose a non-esoteric project. 06:36:58 -!- CakeProphet has quit (Read error: 110 (Connection timed out)). 06:37:00 * Sukoshi waits for the gasps. 06:37:03 In a non-esoteric language. 06:37:19 I'm already working on it :D 06:37:30 http://student.hpa.edu:16080/weblog/cmcfarland/ProgrammingDesign/ 06:37:38 A cross-platform PDF viewer. 06:37:46 ah... 06:37:49 I'm not working on it :P 06:37:58 Completely cross-platform. Maybe a little bit of bootstrap code per platform, but hopefully not. 06:38:15 Language of design: ObjC, OCaML, or Java -- in order of speed. 06:38:35 Wot? No C++? :( 06:38:44 :P 06:38:54 yeah, yeah, yeah... :P 06:38:59 No. I said no esoteric languages :P 06:39:04 rofl 06:39:15 you should see some of the weirder stuff I write in C++... 06:39:45 I once attempted to wrap a SWIG wrapper around C++ code that heavily used Boost and templates. 06:39:55 I suddenly found a new disrespect for the language. 06:40:00 SWIG? 06:40:15 well, templated/boost code can get very hard to read if you aren't careful 06:40:25 SWIG lets you use C/C++ code in languages that support SWIG wrappers without a specific FFI built-in for the language. 06:40:26 (although things like boost::any are quite clean, imo.) 06:40:35 I mean, I'm not an actual C++ coder after all. 06:40:40 Sukoshi: I want to do something in objc 06:40:51 FFI? 06:40:52 bsmntbombdood: ObjC hmmm? 06:40:58 Someone proposed OCaML earlier. 06:41:27 I'm a C++ coder... it's what I know :P 06:41:34 Ah, I see. 06:41:41 So it's the only thing your head has enough room left for :P 06:41:54 I can't stand C++ 06:42:01 are you kidding? 06:42:04 C++ is HUGE 06:42:08 C++ is terrible 06:42:18 heh 06:42:24 I wouldn't say it's _terrible_ 06:42:31 but it is rather annoying sometimes 06:43:14 That's what makes it terrible. 06:43:35 I like languages which I don't have to devote my entire life to to code in. 06:45:02 heh 06:45:13 I haven't devoted my whole life to C++ 06:45:16 I'm only 18 :P 06:45:40 although admittedly, it's taken me about 5 years to get "good" at it 06:45:58 oooh 06:46:09 ... I wish C++ had a 'finally' key word :| 06:46:16 http://www.digitalmars.com/d/ 06:46:19 it'd save so much fucking trouble 06:46:27 and http://dgcc.sourceforge.net/ 06:47:22 I'm younger than you, and I don't want to be your age by the time I become profficient at it :P 06:47:35 The reason I don't want to use D is that it's not well-enough-known yet. 06:47:50 I want something that compiles to a lot of platforms. 06:48:33 I'm tired of having either Xpdf and I-leak-memory-like-a-burst-blood-vessel Poppler in t3h *nix world and Adobe's locked-in proprietary thingamabobber in Windows. 06:48:47 Foxit Reader? 06:49:12 But it's not open! 06:49:59 Plus it has Advanced Add-Ons you can pay for. 06:50:00 Guh. 06:50:07 Just guh. 06:50:41 :P 06:50:45 it bothers me too a bit 06:51:03 hehehe 06:51:19 you should program your pdf viewer in brainfuck :) 06:51:23 So, any takers for the project? 06:51:38 o.o 06:51:43 google code has project hosting? 06:51:46 Well, I was also seriously considering Forth, because it's stack-based just like PS/PDF so.... 06:52:13 C++ has stacks :D 06:52:25 rofl 06:53:07 C++ probably has Your Mom also. 06:53:10 The point? :P 06:53:42 . 06:53:47 C++ has rapists 06:53:49 ^^^ -- there's the point! 06:53:51 No. That's a period/full-stop. 06:53:58 :P 06:54:06 I can call it a 'point' if I really want to ... :) 06:54:11 O_o 06:54:12 A point has an infinitely small thickness, remember? 06:54:16 OMGROFL 06:54:24 "This project currently has no issues." 06:54:36 Errr? 06:54:45 .... yeah 06:54:53 *Cough* 06:54:58 Sukoshi: shouldn't be hard to make it cross platform 06:56:09 -!- Sgeo has quit ("Ex-Chat"). 06:56:29 and i hate xpdf's interface 06:56:29 I know. 06:56:36 I don't mind it. 06:56:48 Work will begin after AP tests finish. 06:56:53 My feet are hairy. 06:57:03 I just realized this. 06:57:12 ..................................... 06:57:16 Alright-o. 06:57:38 My head is hairy. 06:57:43 What about Java, bsmntbombdood? :P 06:57:53 GregorR: I'd hope so... otherwise you'd be bald. 06:57:54 nooo!! 06:58:04 It's not that bad, if you code correctly. 06:58:10 Yes. It is. 06:58:14 It is that bad. 06:58:15 No. It's not. 06:58:17 Sukoshi: That's what they say about C++ :) 06:58:19 It is not that bad. 06:58:39 The only reason Java might not fly is speed. 06:58:40 Java is mostly C++ with a few changes. 06:58:49 yeah 06:58:53 You mean, a syntax that doesen't make you barf? 06:58:53 don't write your project in Java 06:58:54 Figs: ......... no. 06:58:59 Figs: um, noo 06:59:05 It's quite different :P 06:59:10 Not really. 06:59:16 very much different 06:59:20 How so? 06:59:30 Garbage collection. Exceptions. 06:59:36 C++ has those 06:59:38 No explicit memory management. 06:59:43 C++ has garbage collection? 06:59:46 Java has eliminated everything that doesn't fit their "OO is the only way" concept. 06:59:49 God help us all. 07:00:15 there are a couple ways of doing GC either directly in C++ or on top of it 07:00:21 so yeah 07:00:23 it's there 07:00:28 There are ways of doing GC in C too. 07:00:31 ;D 07:00:43 although it isn't built in, but neither is std::vector 07:00:46 java is better than c++ 07:00:51 Yeah. 07:01:06 <-- officially no longer part of this conversation. 07:01:17 * Sukoshi officially pulls Gregor back in. 07:01:34 heh, I didn't say C++ was better than java 07:01:46 I just said it was about the same in terms of the way it's built. there's a difference ;) 07:01:56 C++ isn't in my list of languages. So there. 07:02:01 aww 07:02:10 :'( 07:02:15 Java, OCaML, ObjC and why. 07:02:15 Sukoshi: java is too slow 07:02:22 I agree. 07:02:24 bsmntbombdood: Mmmm. I beg to differ. 07:02:35 Sukoshi: have you used open-office? 07:02:36 Ever coded a significant application yourself? 07:02:44 in java, no 07:02:48 Rather than rely on cr** code other people make? 07:03:06 Yeah. I coded an NN framework and a small signal process framework in it. 07:03:26 Both fast and light, and this is an aging machine. (1.6 GHz, 256 MB RAM). 07:03:54 Even while using double-point floats almost everywhere. 07:04:13 Blah blah blah, this is better that is better, blah blah blah, my god has a bigger penis than your god, blah blah blah. 07:04:28 Meh. 07:04:40 Anyways, I have Physics to cram for. Squabble it out for yerselves. 07:05:58 GregorR: Your god has a penis? :P 07:06:36 Figs: In a totally non-homoerotic way. 07:06:50 GregorR: my penis has a bigger god than brainfuck's 07:06:56 o.O 07:07:05 * Figs has no god. 07:07:25 Figs: Then my god does have a bigger penis than your god. Therefore I win all arguments. 07:07:29 * GregorR takes a bow. 07:07:49 I don't have a god, therefore the argument is 'N/A' :P 07:07:57 Figs: no 07:08:05 your god can't have a bigger penis than something that doesn't exist ;) 07:08:13 even imaginatively ;) 07:08:21 a penis is bigger than no penis 07:08:31 is it really? 07:08:56 that's like saying an apple is bigger than the number zero. 07:09:05 no it's not 07:09:18 it is. It's an illogical comparison ;) 07:09:36 anyway 07:09:39 who cares? :P 07:09:47 it's silly. 07:12:21 Vacuous truth 07:13:41 F = Figs's god's penis 07:13:44 G = GregorR's 07:13:51 lol 07:13:59 I declare this conversation over. 07:14:35 fine 07:14:51 Now, everybody go talk about how whootsy http://www.codu.org/plof/ is :) 07:14:55 (The language, not the web site ;) 07:14:57 ) 07:15:13 \forall x \in F.\forall y \in G. y > x 07:15:16 TRUTH 07:15:38 but F is the null pointer! 07:15:41 :P 07:15:45 even if F is the empty set 07:15:57 how can 07:16:00 forall x in F 07:16:02 work 07:16:06 if there is no x in F? 07:16:28 my empty set is bigger than your empty set? 07:16:31 Oh yeah? Prove it. 07:17:39 it's vacuously true 07:19:50 Vacuous: noun. (1) Emptied of or lacking content. (2) marked by lack of ideas or intelligence: stupid, inane. 07:19:53 *adjective 07:20:29 cf wikipedia 07:20:45 JFGI 07:21:33 John found good igloos? 07:21:42 just fucking google it 07:22:06 jfgi? webster. :P 07:22:41 and if you meant your argument, no thanks. I don't want penis in my browser. :P 07:23:07 * Figs changes the subject 07:23:15 To Plof! 07:23:30 Plof? 07:23:35 http://www.codu.org/plof/ 07:23:37 put lead on food? 07:24:02 ahh 07:24:05 rofl 07:24:14 I saw function thick 07:24:17 and I read "fuck" 07:24:18 and I 07:24:21 thought... 07:24:24 >_> 07:24:27 "Fuck is a keyword???" 07:24:34 ooh. 07:24:36 :P 07:24:38 var you = Figs; fuck you; 07:24:39 Painful Licking Of the French 07:24:49 eww 07:24:52 :-P 07:24:52 PLOFF! 07:25:13 pitiful licking of french fries! 07:25:46 what is the ~= operator in D? 07:25:51 -!- ShadowHntr has quit ("End of line."). 07:26:03 bsmntbombdood: ~ is concatenation. ~= is to ~ as += is to + 07:26:10 oh 07:27:26 should the function in foreach be given the current element? 07:27:41 instead of a "ref"? 07:28:02 std.plof 07:28:19 That's commented out because I don't have an implementation of it yet :P 07:28:36 That was from the leading edge of Plof1. 07:28:48 oh i didn't see the comments 07:28:56 reading code in browser == bad 07:28:59 Heh 07:30:51 ok bedtime 07:31:03 gnight 07:31:17 `night bsmntbombdood 07:33:38 -!- nazgjunk has joined. 07:33:48 bah 07:34:01 i have to get up in 5:30 hours 07:34:39 :\ 07:34:46 :( 07:34:58 that sucks. 07:35:02 go get some zzz. 07:35:10 SLEEP IS FOR THE WEAK 07:35:41 * nazgjunk tickles the zzz-machine 07:36:38 ZZZ!!!! 07:36:55 *the ZZZ-machine has explosmed.* 07:39:40 o_O 07:40:31 afk food 07:59:11 -!- nazgjunk has quit ("Bi-la Kaifa"). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:01:24 back 08:01:47 wb 08:54:42 -!- CakeProphet has joined. 09:18:53 -!- sebbu has joined. 09:23:28 -!- gg_ has left (?). 09:31:28 do you know the meaning of the word 'deasil'? 09:33:53 Who is ``you'' ? 09:36:58 anyone here who cares enough to look the word up :P 09:37:25 hint: it's the opposite of widdershins 09:37:43 I don't think there are any you's here then. 09:38:44 :( 09:39:08 so clockwise? 09:41:30 ...yeah. 09:42:29 Figs: Go and spend that time doing something useful. 09:42:33 Like making more Esolangs. 09:43:35 abscotchalater: n. one hiding from the police. 09:45:03 Overgregarious 09:45:08 Look that one up. 09:46:57 pshhh 10:05:08 -!- CakeProphet has quit (Read error: 104 (Connection reset by peer)). 10:33:30 gonna get off, gnight 10:34:34 ditto 10:34:36 cya 10:34:38 -!- Figs has left (?). 10:44:08 -!- GreaseMonkey has quit ("gnight, and remember to troll the #teamloosh channel on irc.bluehell.org"). 10:48:52 -!- CakeProphet has joined. 11:19:49 -!- CakeProphet has quit ("haaaaaaaaaa"). 11:35:00 -!- jix__ has joined. 11:36:17 i like it 13:19:52 -!- Pikhq has joined. 13:41:40 -!- Pikhq has quit (Read error: 110 (Connection timed out)). 14:19:58 -!- puzzlet has quit (Read error: 60 (Operation timed out)). 14:48:24 -!- nooga has quit (Read error: 145 (Connection timed out)). 15:05:15 -!- nooga has joined. 15:07:46 -!- sebbu2 has joined. 15:09:45 -!- sebbu has quit (zelazny.freenode.net irc.freenode.net). 15:09:45 -!- sp3tt has quit (zelazny.freenode.net irc.freenode.net). 15:09:49 -!- sebbu2 has changed nick to sebbu. 15:10:11 -!- sp3tt has joined. 16:02:05 -!- UnrelatedToQaz has joined. 16:02:34 -!- UnrelatedToQaz has quit (Client Quit). 16:30:55 -!- puzzlet has joined. 16:51:39 -!- CRathman has joined. 17:16:10 -!- kbrooks has quit (Remote closed the connection). 17:58:47 -!- CakeProphet has joined. 18:19:31 -!- Pikhq has joined. 18:28:40 -!- helios24 has quit (Read error: 148 (No route to host)). 19:33:42 -!- CRathman_ has joined. 19:41:47 -!- CRathman has quit (Read error: 60 (Operation timed out)). 19:44:10 -!- helios24 has joined. 19:44:46 -!- Pikhq has quit (Read error: 110 (Connection timed out)). 20:08:37 -!- atrapado has joined. 20:43:46 -!- ihope has joined. 20:44:41 Is there a formal definition of Turing-completeness? 20:46:26 ihope, yes: turing machines, lambda calculus 20:46:46 Is "Turing machines, lambda calculus" it? 20:47:04 no 20:48:23 -!- bsmntbombdood has quit (Read error: 131 (Connection reset by peer)). 20:48:25 -!- bsmnt_bot has quit (Read error: 131 (Connection reset by peer)). 21:14:19 -!- Pikhq has joined. 21:16:41 ihope: yes, there is 21:17:05 ihope: look up the church-turing thesis on wikipedia... 21:21:52 I don't see a definition there, other than "Any non-interactive computer program can be translated into a Turing machine, and any Turing machine can be translated into any Turing complete programming language". 21:24:30 well 21:24:42 i suppose there's a more formal statement of the thesis by the saints themselves 21:25:48 Turing-completeness, not the Church-Turing thesis... 21:26:20 -!- jix has joined. 21:26:23 ihope: it's related 21:27:00 Related, yes, but I'm looking for a definition of Turing-completeness. 21:28:49 -!- Sgeo has joined. 21:34:34 -!- jix__ has quit (Read error: 110 (Connection timed out)). 21:41:59 -!- ShadowHntr has joined. 22:26:12 -!- bsmnt_bot has joined. 22:26:36 -!- bsmntbombdood has joined. 22:30:02 -!- sebbu2 has joined. 22:33:40 -!- ShadowHntr has quit ("End of line."). 22:37:58 -!- sebbu has quit (Read error: 145 (Connection timed out)). 22:38:00 -!- sebbu2 has changed nick to sebbu. 22:38:56 -!- oerjan has joined. 22:42:28 Which should I use for a PDF viewer: Java, OCaML, or ObjC and why? 22:42:53 * oerjan ponders the nonexistence of the CFC (Catch Fire and Continue) instruction. 22:43:47 ocaml because it pwns all the others mentioned 22:44:23 Ah-hah. 22:44:59 alternatively you could use Scala if you want JVM support. 22:45:41 The language has to be relatively common. 22:47:19 python has a nice pdf library available 22:47:22 oerjan: f00f (or so it's called) comes close. 22:47:28 Erm, wait a minute. 22:47:35 I don't want to depend on an external library. 22:47:38 That. 22:49:02 ObjC, because it's fast and looks interesting 22:49:27 I mean... ah, never mind. 22:51:36 * oerjan thought for a moment ihope was responding to the PDF question and wondered what programming language f00f was... 22:52:22 Maybe I'll design an esolang and call it f00f, and add a CFC instruction. 22:52:38 It also damages the ozone layer! 22:52:50 ah yes! and added bonus. 22:52:53 *an 23:00:43 No-one's lobbying languages. 23:00:45 Why? 23:01:12 Pshhh. Y'all'r boring. 23:02:48 Let's write a programming language that has a market economy instead of a command economy. 23:03:29 * bsmntbombdood did 23:03:37 There are a bunch of individuals, which are issued... things which they can trade to each other. 23:03:41 bsmntbombdood: you did? 23:03:49 ObjC, because it's fast and looks interesting 23:04:38 No-one's lobbying other than bsmntbombdood :( 23:04:51 And ocaml because it pwns all the others mentioned 23:05:34 Objective-C has a market economy? 23:05:53 Maybe. 23:06:53 Maybe... 23:08:17 ...maybe the individuals go around reproducing and evolving and dying and stuff, and the only way you can do anything is by controlling the Fed. 23:13:10 "If you output this character, I'll give you a dollar." 23:14:03 Just make it so that the only trade you can do is buying and selling. That way, no trade can happen unless there's money in the world. 23:15:03 The amount of money determines the amount of trade: if there's only one indivisible unit of money in the world, everything is either available for free, not available, or available for the price of one unit. 23:15:05 -!- CRathman_ has quit ("ChatZilla 0.9.78 [Firefox 2.0.0.3/2007030919]"). 23:15:52 Stuff with utility probably won't be free, so that means that which is available costs one unit. 23:17:29 btw i suspect Scala is as portable as Java, being built on top of it. 23:17:45 Oh. 23:18:33 i wouldn't know for sure, since i have never actually tried it. 23:23:39 -!- atrapado has quit ("atra pa do"). 23:25:00 ...behold - a very convuluted cat program 23:25:26 http://deadbeefbabe.org/paste/4267 23:26:19 main = getContents >>= putStr 23:26:26 Haskell is very different indeed. 23:26:59 I very much hope you can write a better cat program than that in Python. 23:27:03 :-P 23:27:35 Or is that not only copy-input-to-output but a concatenator? 23:27:37 main = interact id 23:27:58 while True: print raw_input() 23:28:17 oerjan: that too, yes. 23:28:30 :-) 23:28:44 main = getContents >> putStr "" 23:28:48 that was actually a library for Python generators I was messing with... making a cat program out of it sounded like a good test. 23:28:52 A different kind of zero program. 23:29:18 that getContents seems somewhat redundant 23:31:40 main = getChar >>= putChar >> main 23:34:48 I can write a shorter one in BASH. 23:35:47 cat takes files from its argv 23:38:35 I'd say main=interact id is the winner. 23:39:02 This is not a quine: main=main 23:40:13 import System.Environment; main = getArgs >>= mapM_ (putStr . readFile) 23:40:45 eh wait 23:43:24 import System.Environment; main = getArgs >>= mapM_ ((putStr =<<) . readFile) 23:48:28 Indeed, good luck putStr'ing that. 23:49:05 what, something wrong with it? 23:49:15 import readline, sys; for i in readline.readline(): sys.stdout.write(i) 23:49:46 You corrected it for a reason, aye? 23:50:05 yep 23:59:24 main = flip mapM_ [putStr, print] $ flip ($) "main = flip mapM_ [putStr, print] $ flip ($) "