00:01:45 Sgeo: btw strings are an awful awful basis for a language 00:02:12 Hey, I just figured out 00:02:24 That if you take all odd numbers 00:02:40 * oerjan braces for someone inventing cardinalities 00:02:45 *re- 00:03:01 Wait 00:03:03 Let me check this 00:03:30 nope, nevermind 00:05:16 * oerjan starts breathing again 00:05:26 i never breathe 00:05:36 Why? 00:05:38 of course 00:06:19 Because you have to breathe the air they want you to breath. 00:09:05 before you know they'll have poisoned you with dihydrogen monoxide 00:09:53 The air is full of dioxygen, an extremely reactive compound! 00:10:12 O yes you are correct. I forgot. 00:10:51 FreeFull, it's both acidic *and* alkaline! 00:10:56 And don't forget dinitrogen, which when breathed in sufficient amounts with cause loss of consciousness and then death 00:11:19 Phantom__Hoover: You're thinking of dihydrogen monoxide 00:11:37 Ah, of course. 00:11:49 I think you mean 'breathed in sufficient concentrations', though. 00:12:16 I did 00:14:57 -!- copumpkin has changed nick to Chaaaaaang-Noi. 00:15:21 -!- Chaaaaaang-Noi has changed nick to copumpkin. 01:22:56 -!- nooga has quit (Ping timeout: 246 seconds). 01:25:21 -!- glogbackup has joined. 01:25:48 * oerjan looks sternly at glogbackup 01:29:22 it's confused :( 02:25:17 -!- pikhq_ has joined. 02:25:18 -!- mig22 has joined. 02:25:30 -!- pikhq has quit (Ping timeout: 250 seconds). 02:30:15 -!- pikhq has joined. 02:30:41 -!- pikhq_ has quit (Ping timeout: 250 seconds). 02:32:29 * Phantom__Hoover -> sleep 02:32:31 -!- Phantom__Hoover has quit (Read error: Connection reset by peer). 02:33:20 “I'm on 29th street, in the—no joke—bright yellow house.” “Well, since you were so kind as to warn me, I should warn you. I'm bringing—no joke—bright yellow pants.” 02:34:06 follow the yellow brick joke 02:34:43 'snot a joke, it's an anecdote. 02:34:56 haha 02:35:50 Who told you that? 02:36:06 I am the second speaker. 02:36:19 a reliable man made of straw 02:36:26 Do you have bright yellow pants? 02:36:30 -!- david_werecat has joined. 02:36:37 I do now! 02:36:42 Need to be hemmed though. 02:37:08 Did you buy it after you told them that? 02:37:26 'course not, the first speaker was the tailor who I'm hiring to hem the pants. 02:38:06 gregor, the man with the larger-than-life pants 02:38:19 also hats 02:38:24 They shipped unhemmed. They're like 36x40. 02:42:10 OK 02:45:24 Is it? 02:50:42 -!- oerjan has quit (Quit: leaving). 02:54:57 -!- pikhq has quit (Ping timeout: 250 seconds). 02:55:04 -!- pikhq has joined. 03:09:23 Have you use unofficial opcodes in 6502 assembly codes? 03:30:10 -!- pikhq has quit (Ping timeout: 244 seconds). 03:30:24 -!- pikhq has joined. 03:47:40 It occurs to me that, while I do have some problems with Tcl, I don't _think_ they ultimately stem from being string-based. 03:48:08 One looks like it at first, but it seems like it could have been different while still being string-based 03:48:50 -!- TUX_ has joined. 03:50:41 `welcome TUX_ 03:50:48 TUX_: 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.) 03:50:59 -!- ogrom has joined. 03:51:46 -!- itidus21 has joined. 03:59:16 Although.... one of the things that makes metaprogramming in Tcl somewhat easy is that commands are lists. They're strings, but they're also lists 03:59:36 And my problem is that a bunch of commands aren't really lists, they're just... scripts 03:59:45 (Well, one of my problems) 04:23:04 -!- mig22_ has joined. 04:26:11 -!- TUX_ has quit (Quit: Leaving). 04:26:30 -!- TUX_ has joined. 04:43:37 -!- ogrom has quit (Ping timeout: 272 seconds). 04:44:34 -!- ogrom has joined. 04:57:35 -!- ogrom has quit (Ping timeout: 250 seconds). 04:57:36 -!- ogrom_ has joined. 04:58:12 -!- ogrom_ has quit (Client Quit). 05:04:28 -!- mig22_ has quit (Read error: Connection reset by peer). 05:04:41 -!- mig22_ has joined. 05:07:21 -!- mig22_ has quit (Read error: Connection reset by peer). 05:07:43 -!- mig22_ has joined. 05:09:32 Is mathematics the real reality? 05:10:12 YE 05:10:13 *ye 05:12:01 -!- mig22_ has quit (Ping timeout: 246 seconds). 05:12:46 -!- mig22_ has joined. 05:12:50 -!- mig22_ has quit (Client Quit). 05:19:26 What is your opinion about this? http://forum.nationstates.net/viewtopic.php?f=20&t=193905 (please read four pages) 05:26:01 -!- TUX_ has quit (Ping timeout: 246 seconds). 05:26:23 zzo38: was mathematics the real reality before humans? is reality real if noone realizes? 05:26:55 i don't think i want the answers 05:27:37 itidus21: Good because I don't know the answers. 05:28:34 of course, one must consider that numbers are not necessary for mathematics 05:29:16 but if numbers are just symbols of measurement 05:29:28 The numbers are just one possible mathematical system, but still very useful to be used with other mathematical systems and other things too. 05:29:35 itidus21: can i play the kmc and point out that you have no idea what you're talking about 05:29:49 well.. also representation 05:29:55 infact they are symbols outright 05:30:30 elliott: ok 05:34:31 i guess that one might say i am engaged in (some adjective could fit here) speculation 05:34:53 and that i am gaining very little because of it 05:37:46 -!- ogrom has joined. 05:41:36 -!- monqy has quit (Quit: hello). 06:00:06 -!- pikhq has quit (Ping timeout: 246 seconds). 06:00:12 -!- Vorpal has joined. 06:00:16 -!- pikhq has joined. 06:01:42 -!- ogrom has quit (Ping timeout: 250 seconds). 06:28:07 -!- david_werecat has quit (Ping timeout: 272 seconds). 06:28:13 God *is* the rules. Therefore, how can God not follow the rules of physics? 06:30:14 -!- ogrom has joined. 07:04:25 -!- zzo38 has quit (Remote host closed the connection). 07:08:39 -!- asiekierka has joined. 07:15:44 It strikes me how easy it is to write bad Tcl code. 07:34:45 -!- MoALTz has joined. 07:39:34 itidus21: one might correctly say that all of the time 07:39:49 Well, I've been called "Sego" by a Clojure person 07:40:33 http://clojurefun.wordpress.com/2012/08/04/macro-magic-the-xor-macro-38-2/comment-page-1/#comment-7 07:51:59 well! 07:58:34 I don't want to force the users of a library to monkey-patch catch. 07:58:43 But it almost seems the most correct thing to do 08:12:53 Tcl has a feature that would enable exactly what I need but it's reportedly very buggy 08:21:09 -!- epicmonkey has joined. 08:24:42 `welcome epicmonkey 08:24:51 epicmonkey: 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.) 08:25:04 -!- pikhq_ has joined. 08:25:55 -!- pikhq has quit (Ping timeout: 272 seconds). 08:31:04 kmc: Sorry. :-( 08:38:04 It used to be WELCOME TO THE INTERNATIONAL HUB FOR BLA BLA BLA. What has happened? I don't feel rage anymore. 08:38:22 `WELCOME epicmonkey 08:38:26 EPICMONKEY: 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.) 08:38:44 yeah, that's way much better. 08:40:41 -!- pikhq_ has quit (Ping timeout: 244 seconds). 08:40:49 -!- pikhq has joined. 09:15:56 suddenly I have an urge to write a fault tolerant IRC bot... Why... 09:17:17 -!- nooga has joined. 09:17:40 `WELCOME epicmonkey 09:17:43 ​EPICMONKEY: WELCOME TO THE INTERNATIONAL HUB FOR ESOTERIC PROGRAMMING LANGUAGE DESIGN AND DEPLOYMENT! FOR MORE INFORMATION, CHECK OUT OUR WIKI: HTTP://ESOL 09:22:14 shachaf, what about a lower case double-width one? 09:22:25 Vorpal: Feel free. 09:22:31 shachaf, too much work 09:29:37 -!- copumpkin has quit (Ping timeout: 240 seconds). 09:29:57 Vorpal: You've used astyle, right? 09:30:01 -!- KingOfKarlsruhe has joined. 09:30:51 -!- copumpkin has joined. 09:34:57 elliott, astyle can do that? 09:35:04 or was that unrelated 09:35:13 but yes I used it, was ages ago though 09:35:27 Vorpal: Is it any good? 09:35:47 elliott, Like any such tool for C it has problems with macros containing unbalanced { and } 09:36:08 I'm in the market for something to reformat a ~85k-line C++ program. 09:36:13 No macro hackery that I know of. 09:36:20 used it for C, no clue how well it works for C++ 09:36:26 I wonder if zalgo works... 09:36:29 Is it possible to teach it about custom formatting rules for certain functions? 09:36:37 for example 09:36:42 `̸W̷̸̛E̢L̷͘C҉OM͢͜E̷ epicmonkey 09:36:45 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ̸W̷̸̛E̢L̷͘C҉OM͢͜E̷: not found 09:36:51 elliott, btw I was debugging a legacy embedded system running Windows CE the other day. 09:36:54 there's a function that should be formatted with two parameters two a line 09:36:56 no luck 09:37:01 rather than just wrapping at 80 cols 09:37:05 *two parameters to 09:37:05 elliott, the CPU of the system was a Pentium MMX 09:37:12 do you know if that would be feasible? 09:37:28 Is it possible to teach it about custom formatting rules for certain functions? <-- don't remember 09:37:34 :/ 09:37:35 ok 09:38:30 elliott, btw I was debugging that system from another similar system that was talking with it it over a CAN bus. 09:39:05 that sounds awful 09:39:26 elliott, well yeah, the system I was debugging had no ethernet, so thus the middle step there 09:41:06 elliott, anyway, if you think toughbooks are rugged, you haven't seen the hardware I'm working with nowdays. 09:41:33 * elliott is content with the normal kind of machines 09:41:45 heh 09:42:00 Is "XMM" just "MMX" backwards or is there something more to it? 09:42:33 shachaf, I believe XMM stands for something in itself. That doesn't mean the abbreviation is a coincidence however 09:43:12 Does SII stand for something in itself? 09:43:22 shachaf, which SII? 09:43:29 the samsung phone? 09:44:04 SII = \x -> x x 09:44:12 oh, right 09:44:23 shachaf, well it obviously stands for "Something In Itself" 09:44:24 :P 09:44:54 :Р 09:44:58 (As monqy would say.) 09:45:32 Deewiant: Hi. 09:47:10 Ho. 09:47:53 Deewiant: Tell me about code reformatters. 09:48:18 Humans are the best. 09:48:31 (Never really used any.) 09:48:40 Darn. 09:48:47 (I'm not reformatting an 85k-line codebase by hand.) 09:49:06 Ooh, I broke this one good: 09:49:07 stuff.h: In instantiation of ‘T random_choose_weighted_(int, int, T, Args ...) [with T = int; Args = {scroll_type}]’: 09:49:07 stuff.h:121:66: recursively required from ‘T random_choose_weighted_(int, int, T, Args ...) [with T = int; Args = {scroll_type, int, scroll_type, int, scroll_type, int, scroll_type, int, scroll_type, int, scroll_type, int, scroll_type, int, scroll_type, int, scroll_type, int, scroll_type, int, scroll_type, int, scroll_type}]’ 09:49:10 stuff.h:121:66: required from ‘T random_choose_weighted_(int, int, T, Args ...) [with T = int; Args = {scroll_type, int, scroll_type, int, scroll_type, int, scroll_type, int, scroll_type, int, scroll_type, int, scroll_type, int, scroll_type, int, scroll_type, int, scroll_type, int, scroll_type, int, scroll_type, int, scroll_type}]’ 09:49:14 stuff.h:127:59: required from ‘T random_choose_weighted(int, T, Args ...) [with T = scroll_type; Args = {int, scroll_type, int, scroll_type, int, scroll_type, int, scroll_type, int, scroll_type, int, scroll_type, int, scroll_type, int, scroll_type, int, scroll_type, int, scroll_type, int, scroll_type, int, scroll_type, int, scroll_type}]’ 09:49:36 Why do you have to? 09:49:41 Deewiant: It's ugly. 09:49:54 Most code is. That doesn't mean you need to reformat all of it. 09:50:22 It's making me sad. 09:50:29 elliott: indent 09:50:55 Does indent even support C++? 09:51:21 I doubt it. 09:51:35 But I've told you everything I know about code reformatters! 09:51:42 Why are you reformatting Crawl's code? 09:52:20 It's ugly. 09:52:40 Will they accept your changes? 09:52:49 Did you fork it? :-( 09:52:53 elliotts-crawl 09:54:01 error: unable to find string literal operator ‘operator"" EOL’ 09:54:02 Sigh. 09:54:13 Deewiant: Tell me about code reformatters. <-- There are really good ones for Java and C#. Can't think of any perfect one for C or C++ 09:55:12 What about the built-in vim one? 09:55:22 That totally counts. 09:55:40 not a vim user 09:57:52 Hey, I'm about to spam. Fair warning. 09:57:53 - T chosen = first; 09:57:53 - int cweight = weight, nargs = 100; 09:57:54 - 09:57:54 - while (nargs-- > 0) 09:57:54 - { 09:57:55 - const int nweight = va_arg(args, int); 09:57:57 - if (nweight < 0) 09:57:59 - break; 09:58:01 - 09:58:03 - const int choice = va_arg(args, int); 09:58:05 - if (random2(cweight += nweight) < nweight) 09:58:07 - chosen = static_cast(choice); 09:58:09 - } 09:58:11 Thanks. 10:03:38 A proper formatter would format it to while (nargs --> 0), of course. 10:04:04 I rewrote it to use a C++0x template. 10:04:12 Although I don't know if we really want to go in the C++0x route. 10:05:21 i thought C++0x doesn't exist anymore. 10:05:39 shachaf, XD 10:05:53 ok, C++11 10:06:47 and as i know, C++1y is the next standard 10:07:01 C++0xB 10:07:20 Also known as C++11 10:07:25 Or would that be C++0xD0? 10:10:54 2 Gorillas 1 Poop http://youtu.be/9QYeYPYGNdc 10:15:11 http://www.foddy.net/CLOP.html 10:15:22 -!- azaq23 has joined. 10:15:37 -!- azaq23 has quit (Max SendQ exceeded). 10:16:08 -!- azaq23 has joined. 10:19:08 ion: hahaha this game is funny 10:25:54 ion, is it as impossible as qwop? 10:26:09 QWOP isn't impossible. It's easy. 10:27:48 looool qwop is really cool 10:28:06 shachaf, riiight? So you mastered it? 10:28:14 prove it 10:28:28 Vorpal: Well, I can get to the end reliably. 10:28:32 It's boring but easy. 10:28:35 hm okay 10:29:01 shachaf, how quickly though? 10:29:11 Very slowly. 10:29:14 ah 10:29:24 You're supposed to be fast? 10:29:54 There's no timer, just a distance-measuring thing. 10:31:29 I got to the top of the first hill just now. 10:31:36 Seems similarly boring so far. 10:32:05 Well, but less of a flat surface, at least. 10:32:26 shachaf, well, I seen a speedrun of it? 10:32:31 I've* 10:33:05 also I think these games are supposed to be boring 10:33:10 shachaf, you could try GIRP 10:33:24 Vorpal: Oh, I won using only two keys. 10:33:27 Does that count for something? 10:33:37 in GIRP? 10:33:44 QWOP 10:33:47 oh 10:33:51 no idea 10:33:54 I'm past halfway in CLOP using only two keys too. 10:34:19 This hill is annoying, though. 10:38:32 Yay, I died. 10:38:38 That hill looks impassable using my strategy. 10:38:59 I tried a couple of gaits and couldn't make it work, then I gave up 10:39:06 On the other hand I think I encountered a bug. 10:39:12 Because the hind legs stopped working completely. 10:39:16 heh 10:39:17 Or maybe I was just doing it wrong. 10:39:23 hjkl? 10:39:56 Yes. 10:40:00 Only H and K did anything. 10:40:16 Oh, wait. 10:40:24 That's probably what "Lame Horse Mode" means. 10:40:28 heh 10:40:30 Yep. 10:49:55 -!- asiekierka has quit (Quit: Connection reset by PO). 10:57:12 is there a second hill? 10:58:20 Yes. 10:58:29 ouch :P 10:58:49 is your strategy to lame your back legs? 10:58:52 or what 10:58:55 i just run 10:58:58 That's what I did, yes. 11:02:40 and i suppose the second hill is bigger 11:04:54 this would be so much easier if the keys made any sense 11:05:28 i can guess the reason but if it's that one, it's still so wrong. 11:05:45 You could make a custom keyboard layout! 11:09:13 sounds tedious 11:13:36 ...unlike playing this for hours with keys i don't like? 11:18:16 Random facts about Finnish: there’s a humorous euphemism for puking: speaking in Norwegian or phoning to Norway. In the context of the latter the toilet can be called a phone booth. 11:31:11 -!- Phantom_Hoover has joined. 11:51:53 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.88.2 [Firefox 14.0.1/20120713134347]). 11:58:07 -!- copumpkin has quit (Ping timeout: 240 seconds). 11:58:43 elliott, you there? 11:58:48 -!- copumpkin has joined. 11:59:11 no 11:59:46 elliott, didn't you mess with cfunge under cygwin ages ago? 11:59:51 I forgot what the outcome of that was 12:00:15 idk 12:00:18 i think it worked 12:00:22 hm okay 12:17:12 ah yes, the whole thing built save for one small fix 12:18:58 -!- monqy has joined. 12:19:58 though it gives a spurious BAD 12:19:59 hm 12:21:30 okay I switched from Release to Debug and now it fails in a different place 12:22:03 monqy: hello 12:22:14 . 12:23:10 lambdabot: what are you doing 12:23:14 monqy: try saying a longer message 12:23:25 i already checked my messages 12:23:31 o 12:23:31 how else would i know about that thing i knew about 12:23:34 that's cheating 12:23:36 oh right 12:23:38 i 12:23:42 i'm not very smart sometimes 12:25:11 -!- copumpkin has quit (Ping timeout: 250 seconds). 12:25:41 -!- copumpkin has joined. 12:25:50 hrrm... clock_gettime is /very/ broken on cygwin 12:36:06 -!- asiekierka has joined. 12:38:05 also cygwin headers are broken if you use -std=c99 when using _POSIX_C_SOURCE 12:38:19 they just hide stuff based in __STRICT_ANSI__ 12:40:37 Vorpal: Can I have access to your Windows box? 12:40:39 :( 12:40:43 elliott, no, why? 12:40:55 I need to test some stuff. 12:40:56 it is windows, I wouldn't trust it to do multi user stuff securely 12:41:10 elliott, I could compile something not too large under cygwin if you want. 12:41:30 (remember cygwin is slow at fork()...) 12:42:02 seriously, what is up with the headers on cygwin, --std=gnu99 didn't show everything 12:42:18 like, it doesn't show strdup! 12:43:55 wow, -std=gnu99 does not define _GNU_SOURCE under cygwin... That is so broken 12:44:28 ... uh... 12:44:31 Those are unrelated. 12:44:39 Gregor, hm, pretty sure they were related? 12:44:40 -std=gnu99 should not define _GNU_SOURCE anywhere. 12:44:51 In fact, -std=gnu99 does NOT define _GNU_SOURCE anywhere. 12:44:53 Not even on glibc. 12:45:00 pretty sure it used to? Or maybe it was -std=gnu89 that did? 12:45:03 Never. 12:45:13 hm okayt 12:45:27 anyway cygwin thinks strdup is _GNU_SOURCE 12:45:30 it is POSIX dammit 12:45:32 If !STRICT_ANSI, then glibc gives you something like _POSIX_C_SOURCE=somethingerather _XOPEN_SOURCE=somethingerather 12:45:34 well, XSI 12:46:27 Gregor, well, I'm using -std=c99 -D_POSIX_C_SOURCE=200112L -D_XOPEN_SOURCE=600, and that isn't doing the right thing on cygwin 12:46:41 due to STRICT_ANSI 12:46:54 Yeah, then that's broken :) 12:47:06 But then, it's Cygwin. Broken is the norm 8-D 12:47:27 well yes 12:47:39 why do I keep using nano shortcuts in emacs and emacs shortcuts in nano today -_- 12:50:04 also altgr keeps activating the god damn window-icon menu of windows 12:50:06 -_- 12:50:49 No good can come of using Windows, Vorpal. 12:50:51 That's just a fact. 12:51:00 Gregor, true. 12:52:07 warning: array subscript has type 'char' <-- huh? 12:52:20 that seems perfectly legit to me as long as you have a small enough array 12:54:08 The reasoning is that char is sometimes signed, and using plain char you might expect it to be unsigned 12:54:18 right 12:54:46 Strange that I don't get that warning on Linux with gcc 12:55:30 sauerkraut is so good. 12:55:44 thought you should know. 12:56:48 x = foo[-50]; 12:56:57 weird. 12:57:00 Gregor: I think the reason web apps are so popular is everyone would rather deal with that shit than deal with Windows. 12:57:15 Deewiant: You use Windows, right??? 12:57:23 Occasionally. 12:57:23 Deewiant: You've used PDCurses, right???????????? 12:57:39 Sometimes. 12:57:42 elliott, I could compile something not too large under cygwin if you want. 12:57:46 it's actually non-cygwin i'm concerned about alas 12:58:08 Deewiant: Do you want to..... combine these interests???????????????????? 12:58:34 I've only ever used PDCurses on Windows, so I've already combined them. 12:58:38 What're you after? 12:58:48 elliott, what is it then? 12:58:57 elliott, I have Visual Studio 2010 Ultimate as well 12:59:07 (from MSDNAA) 13:00:27 Deewiant: I have this piece of code that has its own awful Win32 code and a POSIXy backend that uses ncurses. I want to see if I can axe the former and simply make the latter happen to not actually depend on POSIX at all, so I can just use PDCurses on Windows. But I don't have access to Windows : - ( 13:00:36 I might just see if this kind-of-weak machine can support an XP VM. 13:00:39 But I doubt it. 13:01:05 okay wtf, as far as I can tell from the build process it should have TERM, yet it isn't there 13:01:35 hm 13:02:02 Deewiant: Another alternative might be MinGW cross-compilation, but uh... setting up PDCurses in such an environment sounds painful. 13:02:19 set up RDP or teamviewer on someone's windows desktop 13:02:21 to test it 13:02:26 * kallisti has had to do that a couple of times. 13:02:41 yes, now all I need is a "someone" 13:03:16 elliott: What's there to set up, all you need is the library? 13:04:02 elliott: just write the code perfectly the first time. What's the big deal? 13:04:33 Deewiant: I don't actually know. Compiling on Windows natively is kind of a weirdly new and baffling experience for me. I'm not at all sure how it works. 13:05:03 elliott: C/C++? VS seems to be the best way to go these days. 13:05:24 it's also a huge pain in the ass to set compile options in a GUI. :( 13:06:27 maybe that's not what you're confused about though.. 13:06:35 I'd rather use MinGW... dealing with another compiler's foibles seems a bit painful, and I know even less about a non-GNU toolchain. 13:07:06 does MinGW link to the Windows DLLs? 13:07:14 I thought it uses its own. 13:07:19 -!- sirdancealot7 has quit (Ping timeout: 260 seconds). 13:07:42 it does link to them afaik 13:07:53 and unlike cygwin it doesn't add a layer in between 13:08:14 elliott, I found 64-bit XP to be considerably lighter on VMs than 32-bit XP) 13:08:18 oh okay. sure. do that. 13:08:23 s/)$// 13:08:26 no idea why 13:08:35 Vorpal: huh 13:09:18 elliott, I think it is because it is based on a server OS (2003 server iirc?) rather than a client OS 13:09:44 It (also AFAIK) does link to the MSVC runtime, yes. 13:10:12 I wonder if PDCurses works on Win64. 13:10:14 I bet fizzie knows. 13:10:21 right, what I actually meant was "doesn't it link to its own DLL layer"? but apparently it doesn't 13:10:35 I would be surprised if pdcurses didn't, but I can't be absolutely sure. 13:10:58 MinGW also (IIRC) uses kinda hacky header files, there's some kind of GCCified etc. 13:13:35 hm, stdscr from ncurses is not an lvalue on cygwin 13:14:12 yet the code looks the same 13:14:17 (in the header) 13:14:37 -!- augur has joined. 13:14:53 Vorpal: is it a macro? maybe something inside the macro is defined differently 13:15:12 kallisti, indeed the case, can't find where the macro is defined yet though 13:17:27 well, I can find the definition on cygwin... but not on linux 13:17:41 -!- Taneb has joined. 13:17:42 Hello! 13:17:49 kallisti, how can grep -R on /usr/include not find the definition of NCURSES_PUBLIC_VAR 13:17:52 this makes no sense 13:17:59 Vorpal: because you gave it a bad regex 13:18:04 >_> 13:18:06 or it isn't there. 13:18:18 * kallisti exhausts the possibilities 13:18:22 kallisti, I can find uses of it 13:18:28 and I grepped for a plain string 13:18:37 fgrep -R NCURSES_PUBLIC_VAR /usr/include/ 13:18:49 surely it must be there for the code to compile, since it is used 13:19:04 might be passed in as a -D flag? 13:19:23 hm 13:19:32 or it seems it is hidden inside some ifdef 13:19:36 far away 13:19:37 oh well 13:20:46 sudo grep -R / 13:21:16 no, it was a #ifdef way far out 13:21:41 so that code isn't actually compiled presumably 13:22:31 Vorpal: check makefiles for various -D flags 13:26:57 Vorpal: do you know where i can find a completely legitimate copy of winxp x64 13:27:10 elliott, are you a student at a university? 13:27:13 then MSDNAA 13:27:24 elliott, otherwise: no clue 13:28:01 elliott, anyway, you can run 32-bit programs on win64, so I wonder if PDCurses works on Win64. is not really an issue 13:28:45 Vorpal: by completely legitimate i mean completely illegitimate 13:28:54 no idea about that either 13:29:04 elliott, try the usual locations? 13:29:12 yes ok 13:29:25 Vorpal: which "edition" do you have 13:29:27 corporate? 13:29:32 elliott, pro I believe? 13:29:46 I don't know what the corporate edition is 13:29:58 is it the volume license thingy? 13:30:03 "Windows XP Professional 64 bit Corporate Edition" 13:30:04 lord knows what it is 13:30:25 They had those things that don't do as much activation nonsense. 13:30:34 Or something. (Is no expert.) 13:30:45 elliott, it could be that fancy volume license thingy that allows any number of licenses for a given company or so? 13:30:54 err, any number of installations* 13:32:41 * Sgeo thinks that if Tcl is not going to use [] to surround top-level commands, it should at least have a built-in identity command more concise than return -level 0 13:33:00 Vorpal: does virtualbox have drivers for xp x64 13:35:45 access to this website has been denied 13:35:45 We have been ordered by the High Court to prevent access to this website as it operates unlawfully. This is a legal obligation that we must comply with. The Court has found that the site and its users infringe copyright material in the UK. 13:35:45 Orange does not monitor customer's activities nor will we disclose personal details or any information about our customers to any third party unless legally compelled to do so. 13:35:51 urhgurhgurghruhgh fuck off you shitbags 13:36:02 elliott, pretty sure it does yes 13:36:07 since I used them :P 13:37:11 bleh, there seems to be no information on this "Corporate Edition" that i am suspicious of 13:37:34 hm 13:37:35 Oh, [lindex] works as id for one argument 13:37:51 elliott, well, 32-bit XP might run too. Or you could go for 2003 Server 13:39:56 elliott, german wikipedia has a "corporate edition" page that mentions windows xp, it interwiki links to "volume license key" 13:40:06 hmm 13:40:43 dammit, waybackmachine is broken on one link due to robots.txt 13:47:44 hm xubuntu installer crashed 13:47:58 seems it doesn't like either linux software raid or lvm2 13:48:41 elliott, btw I love my desktop, I can run at least three non-trivial virtual machines without it becoming unresponsive. Haven't tried more 13:49:00 (one windows 7, one xubuntu and one windows xp 64-bit now) 13:49:51 (in total they have 8 GB RAM allocated) 13:49:59 -!- ogrom has quit (Quit: Left). 13:51:12 I just "synclient PalmDetect=1"'d and am now wondering why I didn't try it before. 13:52:11 What does it do? 13:52:28 fizzie, you have a Palm? 13:53:44 Vorpal: Yes, my Hand has a Palm. 13:54:08 Vorpal: (And the laptop has a synaptics touchpad which has a palm-detect thing for the "misclicks from your palm when typing" thing.) 13:54:31 XD 13:54:40 fizzie, oh, so not a Palm PDA 13:54:56 it looked like you were trying to sync with it 13:54:58 or something 13:55:03 Heh. Right, no. 13:55:31 fizzie, anyway I'm pretty sure I can set the palm detect thing from gpointer-settings or whatever it is called 13:55:43 I have an ALPS though 13:55:49 still uses the synaptics driver iirc 13:56:02 This is a xfce thing, the graphical settings things are kind of bare. 13:56:13 I haven't found out a way to enable a Compose key yet. :p 13:56:32 ah right 13:56:55 fizzie, think I did it in my .xinitrc by some xkb commands or such 13:57:07 or I did it from gnome 2 and then it just carried over into xfce 13:57:10 that is also possible 13:57:24 Possibly. 13:57:25 I'm currently on a gnome 2 laptop 13:57:26 Speaking of Palm, there's some kind of a Palm Pre(?) compatibility thing for the N900. 13:57:31 heh? 13:57:32 (They use the same hardware.) 13:57:36 nice 13:57:45 same CPU? Or more than that? 13:58:01 Well, same OMAP3 platform, so CPU, GPU and other such things. 13:58:06 right 13:58:11 Different sensors and whatnot, but anyway. 13:58:19 It doesn't run everything, but apparently it runs many game-like things that only do fullscreen OpenGL ES stuffs. 13:58:37 did Palm Pre have many of those? 13:58:57 I don't really know. I think it has a couple. Though not really any sort of iOS-grade appcosystem. 13:59:02 (It's like an ecosystem for apps.) 13:59:18 I was under the impression that Palm was very much a work device, targeted at corporations 14:00:20 fizzie, btw, do you know if there is any good open source real time OS? 14:00:33 vxworks is kind of out of my league for hobby projects 14:01:05 I know there have been various RT versions of linux, but I don't know much about them 14:01:57 I don't know that much about RT either. QNX has been used for soft-ish realtime stuffs. 14:02:06 It's not open source either, of course. 14:02:34 fizzie, I want hardish real time in this case anyway 14:02:51 And people who work at companies do play games too. :p 14:02:57 sure 14:03:52 http://www.gamespot.com/palm-webos/games.html?games=popular okay the selection doesn't look too impressive. :p 14:04:15 indeed 14:05:20 -!- david_werecat has joined. 14:06:18 -!- davidwerecat has joined. 14:06:19 -!- david_werecat has quit (Read error: Connection reset by peer). 14:13:20 -!- sirdancealot7 has joined. 14:26:30 -!- ogrom has joined. 14:51:40 The weirdest, 19 entries in the 1k competition. 14:51:44 It's so popular. 14:53:28 -!- stanley has quit (Quit: ZNC - http://znc.in). 14:54:25 -!- stanley has joined. 14:54:25 -!- stanley has quit (Changing host). 14:54:25 -!- stanley has joined. 14:58:12 -!- ogrom has quit (Quit: Left). 14:59:13 -!- Taneb has quit (Ping timeout: 272 seconds). 15:03:30 fizzie, oh? 15:03:48 btw, why is it that designing software is so much more fun than implementing software. 15:08:40 Oldskool kombo had the typical 4 entries. 15:08:54 This year they have a fixed list of platforms, and organizer-provided hardware. 15:09:00 hm 15:09:01 A fixed and a reasonably short list. 15:09:07 which event is this? 15:09:21 It's the Assembly one. 15:09:24 "The following platforms are allowed, no exceptions: 15:09:24 Commodore 64 + 1541-II 15:09:24 Commodore Plus/4 + 1551 / 1541-II 15:09:24 Commodore Amiga 500, 1MB Agnus, 512k chip/512k slow, Kickstart 1.3 15:09:24 Atari ST, 1MB, double sided floppy 15:09:27 Atari 130xe + floppy 15:09:29 MSX1 + 3.5" drive 15:09:32 Sinclair Spectrum 128k + tape 15:09:34 Amstrad CPC6128" 15:09:37 That's not long. It doesn't even have the VIC-20. 15:09:45 Or many others you could name, but anyway. 15:09:54 NES or such, for example. 15:09:57 right 15:10:01 -!- Taneb has joined. 15:10:18 -!- epicmonkey has quit (Ping timeout: 264 seconds). 15:10:19 fizzie, also no modern systems at all 15:10:28 fizzie, I could imagine 1K for Arduino or such 15:10:34 Oh, that's not for 1k. 15:10:36 (or however you spell that) 15:10:47 fizzie, well 1K would be 1Kb programs? no? 15:10:51 Yes. 15:10:56 But that's for modern platforms. 15:11:14 oh right 15:11:24 fizzie, so which platforms is 1k for then? 15:11:27 See, they have an oldschool compo with no size limits (well, except those imposed by those platforms), which had 4 entries, and a separate 1k competition where the compo machine is a modern thing. 15:11:34 There were Linux, Windows and OS X entries. 15:11:39 But the hardware's x86. 15:11:40 ah 15:11:43 and this year? 15:11:53 Vorpal: how much ram does xp 64 bit want 15:12:07 elliott, let me see what I give it on the virtual machine on my laptop 15:12:21 What about this year? All I've said applies to this year. 15:12:27 elliott, on my desktop I usually just throw 2 GB on anything that isn't windows 7 (in which case I throw 4 GB at it) 15:13:07 elliott, on my laptop with 2 GB RAM I give winxp 64 pro 516 MB RAM 15:13:29 it isn't super fast, but it is much more responsive than 32-bit windows xp under the same conditions 15:13:43 mm 15:13:45 and no I don't know why it is 516 instead of 512 15:13:46 I'll give 512 15:14:05 how much storage space did you allocate :P 15:14:38 20 GB, dynamic allocated though. No idea how much of that is used 15:14:41 let me see 15:15:03 well it doesn't look like I shrunk that recently 15:15:08 since the disk image is 17 GB 15:15:14 pretty sure it is less than that though 15:15:22 elliott, I do have some software installed on it 15:15:23 so... 15:15:43 mm 15:15:49 oh wait, 17 GB was windows 7 15:15:59 the winxp image use 8.9 GB 15:16:04 for the 64-bit one 15:16:09 right 15:16:10 4.8 for the 32-bit one 15:16:11 I'll just assign 20 gigs 15:16:16 it's dynamically-allocated anyway 15:16:17 should be fine yeah 15:16:22 indeed 15:16:32 elliott, I did that on IDE 15:16:38 elliott, because windows xp fails at SATA 15:16:50 couldn't find 64-bit drivers that worked with XP 15:16:52 does it 15:16:53 ugh 15:16:56 during install at least 15:16:57 they don't come by default? 15:17:08 any other virtualbox configuration i should know about? 15:17:10 elliott, nope, on xp you had to put in a floppy or something with the SATA drivers 15:17:15 elliott, even on real machines 15:17:32 elliott, you might need to install ethernet drivers. They don't come with windows either usually :P 15:17:40 : / 15:18:07 elliott, apart from that, read through the help for the machine config in virtual box and make an informed decision on each one 15:18:09 :P 15:18:29 elliott, like you want IO APIC on 15:18:36 machine clock in UTC off 15:18:48 not sure about absolute pointing device 15:18:57 I think my xp install in virtualbox predates that option 15:19:24 but it says IO APIC will decrease performance : ( 15:19:24 elliott, for 64-bit you need to activate VT-x (or the AMD equiv) 15:19:31 elliott, oh okay, does it? Hm 15:19:51 not 100% sure, but 64-bit might require it 15:19:53 read the manual 15:20:31 which manual : ( 15:20:36 elliott, for 64-bit you need to activate VT-x (or the AMD equiv) 15:20:36 oh 15:20:37 -!- copumpkin has quit (Ping timeout: 240 seconds). 15:20:39 i forgot about this. 15:20:43 i do not have hardware virtualisation 15:20:45 elliott, there is a help button in the config dialogue? 15:20:49 gues i'll throw this torrent away 15:20:53 it opens a manual for me? 15:20:54 and i meant virtualbox or windows manual 15:21:02 virtualbox one 15:21:16 you are on an Atom or something? 15:21:18 -!- copumpkin has joined. 15:21:21 or how do you not have VT-x 15:21:30 "pentium" which is a rebranded core 2 duo ulv 15:21:40 elliott, I'm on a core 2 duo and I have VT-x 15:21:42 lower-end core 2s don't have thingy 15:21:45 virtualisation 15:21:46 hm 15:21:59 elliott, I guess 2.26 GHz isn't lower-end then? 15:22:05 model name: Intel(R) Core(TM)2 Duo CPU P8400 @ 2.26GHz 15:22:12 flags: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl aperfmperf pni dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm sse4_1 lahf_lm dts tpr_shadow vnmi flexpriority 15:22:20 1.33 here 15:22:47 elliott, you might try windows 95. Your system might just be able to handle that 15:23:19 very funey 15:23:27 Actually probably not, I have problems emulating that under virtualbox on this machine 15:23:35 probably driver issues mostly though 15:23:40 i've successfully emulated win 95 in virtualbox 15:23:45 with full resolution graphics 15:23:56 yeah, it just didn't run very fast 15:23:59 which was strange 15:24:11 maybe it did something that was bad for VT-x, don't know 15:25:09 you need some things to make it run fast 15:25:12 thingies 15:25:28 oh? 15:25:33 such as? 15:25:36 idk 15:25:37 it'd been so long 15:25:50 anyway I don't need it any more, I got planescape running under windows 7 64-bit 15:26:15 haven't gotten very far though 15:26:56 the thing that those old games do where it voice acts like a couple of the lines but not most of them throws me off. 15:27:04 or in the planescape case, a couple of the words 15:28:36 elliott: more programming books should be like Why's Poignant Guide 15:28:56 LYAH is very similar, maybe even a bit better (more to-the-point) 15:29:50 personally I really don't like that style 15:29:52 I think my main reason for liking Tcl more than a Lisp-family language is ecosystem worries 15:30:03 Vorpal: this is become 15:30:07 s/become/because/ 15:30:09 * Sgeo shuts up 15:30:09 `? Vorpal 15:30:16 Vorpal is really boring. Seriously, you have no idea. 15:30:36 kallisti, indeed, I prefer the technical documentation approach 15:30:51 `? Sgeo 15:30:54 Sgeo invented Metaplace sex. 15:31:01 what is metaplace? 15:31:05 `? kallisti 15:31:09 kallisti is a former prophet swearing off his pastry deity 15:31:21 It was a virtual isometric world 15:31:35 I think MUDs invented metaplace sex. 15:31:41 I will let you ponder how this even makes sense. 15:32:08 -!- azaq23 has quit (Remote host closed the connection). 15:33:15 `? Taneb 15:33:18 Taneb is not elliott, no matter who you ask. 15:33:24 `? Ngevd 15:33:28 ​.\z/0.\w.tJ/KkV(.Ǘ6.WMSk..,XojKkW..QR1.kEĮ3=.Vp.@.ɛ|*H߼gCy&..jAm.N|E.sm .FBqEK..djKI|.) .M.~vC?L'.v.d!;.ZT..B..֦lM..`q!䇽5ڝՐNr*.(E..8⠤.5 15:33:40 * Sgeo alarums 15:33:58 * Sgeo alarums at his abuse of the word "alarum" 15:34:01 `? Hexham 15:34:03 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. 15:34:14 .... or not? 15:34:14 http://www.thefreedictionary.com/alarum 15:34:28 I never realized it actually could be related to alarms. Thought it was just a stage thing 15:34:43 And that my use of "alarum" for "alarm" was therefore amusing. 15:34:50 Taneb: it,s storm. help 15:35:05 elliott, get indoors 15:35:26 im indors 15:35:26 help 15:35:37 Do you have a roof? 15:36:32 Sgeo: I've been recently learning S-Lang 15:36:38 I'll take that as a no 15:36:43 Get a roof, urgently 15:36:55 Taneb: i have a roof 15:36:55 help 15:37:02 Close any open doors and windows 15:37:03 How about walls? 15:37:08 done and done 15:37:13 Don't close your IRC window! 15:37:36 im not 15:37:42 FreeFull, uh, this thing? http://www.s-lang.org/ 15:38:10 elliott, don't panic! 15:39:11 Sgeo: Yes 15:39:27 Some features are actually pretty neat 15:39:29 It doesn't look very Lisp-like 15:39:46 It's more C like 15:39:47 But I didn't look that hard 15:39:54 I'm just randomly saying stuff 15:39:58 I'm not suggesting it to you 15:40:05 I thought you were a Lispy person 15:40:16 I don't hate Lisp, I hate the ecosystem. 15:41:02 I actually mostly write software in C 15:41:10 But randomly do stuff in other languages 15:42:24 Also CL's lack of coroutines isn't nice 15:42:35 *non-hacky coroutines 15:42:45 One cool thing about s-lang is that if you have an array x, and do x++, all members of x will be incremented by one 15:42:57 And you can do that sort of stuff with more complicated expressions too 15:43:08 I don't particularly like Common Lisp myself 15:43:52 I suggest Racket or Clojure if you want a lisp 15:44:23 Racket -- empty ecosystem, Clojure -- JVM compromises 15:45:02 In s-lang, you can do something like variable x = sin([0:255]*PI/128.0); 15:45:09 Although, I think I was recently put off Racket by one measly bad experience when I couldn't find a sprintf-like that fit my needs built-in 15:45:16 Didn't bother looking for libraries :/ 15:45:21 Instead, just used Python 15:45:57 Which is equivalent of this in C: double x[256]; int i; for(i=0;i<256;i++) { x = sin(i*M_PI/128.0); } 15:46:57 Racket is all about libraries and sublanguages 15:47:29 Python does have good libraries 15:48:23 x = map (\i -> sin (i*pi/128)) [0..255] 15:48:29 or even 15:48:46 x = map (sin . (*(pi/128))) [0..255] 15:48:50 might be able to drop some parens there actually! 15:50:27 elliott: Is this python? 15:50:48 FreeFull, Haskell 15:51:26 haskell 15:51:34 On the other hand Common Lisp doesn't even have range functionality built in 15:51:37 x = [sin (i*pi/128) | i <- [0..255]] 15:51:39 -!- ogrom has joined. 15:51:44 And ends up with way too many parens 15:51:48 cat-skinning ad infinitum 15:52:06 * Sgeo doesn't mind the parens, except for the resulting neccessity of using a good editor 15:52:19 what an awful necessity 15:52:24 Erm, hmm, I think Notepad++ is probably sufficient for that aspect 15:52:28 Does haskell have a repl? 15:52:42 FreeFull: there are haskell implementations with repls, yes 15:52:42 FreeFull, yes, sort of, but until recently it wasn't really full 15:52:47 most importantly GHC, the only one anyone uses 15:53:02 Sgeo: that's an inaccurate statement, really -- it is a property of implementations, not the language 15:53:26 ghci has at least very well supported the kind of slime-style editor+repl hybrid style popular in lisp communities 15:53:27 s-lang doesn't really have much functional programming stuff 15:53:31 for roughly ever 15:55:13 The thing about VT-x is that you can't really tell from the processor brand, since it's a market segmentation tool. 15:55:17 Some Atoms do VT-x too. 15:56:46 Checking for vt-x is easy software-wise, but you can only do that once you have the hardware 15:57:29 Well, checking it beforehand is "easy" since you can just look at http://ark.intel.com/Products/VirtualizationTechnology 15:57:35 you could look up the model number of the CPU too 15:57:40 before you order the CPU 15:57:48 It's just that you can't tell offhand, if you don't have that list memorized. 15:58:39 what about AMD, do they do both with and without their virtualisation technology? 15:59:01 That I don't know. Probably, though. 16:07:46 -!- asiekierka has quit (Quit: Connection reset by PO). 16:10:35 * Sgeo wants to destroy all single-dispatch OO systems 16:10:47 ...ok, so maybe I'm not actually that hate-filled 16:10:56 But multiple-dispatch makes more sense to me 16:19:26 -!- calamari has joined. 16:22:08 -!- zzo38 has joined. 16:36:37 Sgeo: you are sipping some delicious Tcl kool-aid aren't you? 16:36:58 -!- davidwerecat has quit (Ping timeout: 246 seconds). 16:37:55 Not sure what preferring multiple-dispatch has to do with Tcl, especially since the various OO systems I've seen for Tcl including TclOO are single-dispatch, although I imagine Clojure-style multiple-dispatch is very easy to do in a hacky way 16:39:14 oh I thought tcloo was multi-dispatch 16:39:23 Vorpal: Continuing on my party report series: "real wild" (i.e. anything that can display realtime graphics; YouScope was here, etc.) had 7 entries, of which 5 were just regular mobile things (iOS, Windows Phone, 3*Android), 1 was a WebGL/browser thing, and the final one was the only interesting one. (It was an otherwise unmodified Apple Lisa except with some custom hardware for sound and DVI ... 16:39:29 ... output, by some folks from http://www.club.cc.cmu.edu/.) 16:40:11 fizzie, youscope was from assembly? 16:40:11 nice 16:40:16 kallisti, I wish 16:40:22 are you at assembly right now? 16:40:34 Yeah, 2007. 16:40:36 And yes. 16:41:14 fizzie, this whole weekend= 16:41:18 s/=/?/ 16:41:26 IIUC, multiple dispatch is a lot like typeclasses. 16:41:29 I've been sleeping at home like an old man. 16:41:36 specifically multi-parameter type classes 16:41:42 And probably won't bother coming back on Sunday since nothing interesting is happening. 16:41:44 <[]{}\|-_`^> fizzie: do you have a computer place? 16:41:50 But it's Thu-Sun technically. 16:42:17 []{}\|-_`^: Yeah, O10/5 or something. 16:42:26 <[]{}\|-_`^> O? 16:42:37 It's the oldskool room thing thing. 16:42:43 <[]{}\|-_`^> oh 16:42:54 <[]{}\|-_`^> I am at B16/8 16:46:36 <[]{}\|-_`^> Vorpal: are you at assembly? 16:46:37 The hall is kind of much more Assemblyish than this place. For one thing, it's (for the most part) not dark here at all. 16:46:50 But they hold the ArtTech seminars right next, so I can just sit here and listen to them. 16:49:25 <[]{}\|-_`^> fizzie: is oldskool room thing accesible by anyone? 16:49:42 "Side note: I considered multiple dispatch for TclOO, but instead went 16:49:42 for [proc]-like 'args' support as being more Tcl-ish. Can't really have 16:49:42 both at the same time without the whole complicated business of a type 16:49:42 system and well again, not Tcl-ish enough." 16:51:45 []{}\|-_`^: At least in practice it is. Probably in theory too. 16:52:03 Some earlier years there's been "vip tickets only" signs, but this year I haven't seen those. 16:52:14 Considering that the seminars are here, that probably wouldn't really work anyway. 16:52:38 []{}\|-_`^, who are you? 16:52:40 and no 16:52:51 oh nortti 16:53:04 why would I be at assembly, isn't that a Finnish thing 16:53:14 Vorpal: There are quite a few visitors from abroad. 16:53:23 oh okay 16:53:24 We had some Swedes right next to our places last year. 16:53:38 Though I would guesstimate at least 90% are Finns, still. 16:54:22 Quite a large percentage of not really demoscene people too; they have a gaming-specialized area, and gaming tournaments and so on, too. 16:54:32 I'd be more indignant but I'm currently installing that Death Rally game. 16:54:33 right 16:54:49 fizzie, I just watched a video of it. Is that a coincidence? 16:54:52 * kallisti has been working on a hard sci-fi setting for tabletop games. 16:54:56 the guy said it had no sense of speed 16:55:00 and very short races 16:55:03 essentially depicting the early early days of human space colonization, within our own solar system 16:55:08 or is this the original Death Rally? 16:55:16 Vorpal: This is the new one. 16:55:32 Vorpal: Remedy people were giving out Steam codes for free. 16:55:37 ah 16:55:39 I remember playing the original some, though. 16:55:53 anyway, it doesn't seem very good 16:56:07 <[]{}\|-_`^> I had very good luck with computers this year. I managed to render my computer unbootable in 2 hours and I got it working again today when I installed mintppc on my mac 16:56:49 Vorpal: Haven't installed it yet. But that's very possible. (Was the video about the PC port? I gather they have mobile versions too.) 16:57:00 <[]{}\|-_`^> so I was without computer whole friday and most of thursday 16:57:13 I need to unify my music library, every computer and/or device has a slightly different set of music currently, and none is a superset of all the other ones 16:57:20 []{}\|-_`^: withdrawals? 16:57:30 also I believe some computers have the same stuff in flac that other ones have in ogg 16:57:33 <[]{}\|-_`^> calamari: what? 16:57:41 []{}\|-_`^: mooz had a completely broken system for pretty much the entire duration of... Assembly 1999 or so, I think. 16:57:44 -!- azaq23 has joined. 16:57:59 []{}\|-_`^: He spent the whole weekend playing some DOS game from a floppy, if I recall correctly. 16:58:03 Paratroopers or something. 16:58:07 <[]{}\|-_`^> :P 16:58:14 []{}\|-_`^: did you experience computer withdrawal? 16:58:23 fizzie, yes the video was about the port 16:58:27 <[]{}\|-_`^> calamari: no 16:58:35 fizzie, totalbiscuit, if you know who that is 16:58:55 Vorpal: I think I've heard the name and watched a thing once. 16:59:13 Vorpal: I've been watching ineiros play it for a few minutes now, and it doesn't really seem bad, just mediocre. 16:59:18 But who knows. 16:59:20 anyway, apparently it was a reasonable port (rebindable keys, resolution options) but it didn't look all that much better than the iOS version, and the gameplay was very much iOS-oriented 16:59:46 (short laps, like slightly over 1 minute for a 3 lap race, and no sense of speed when driving) 17:00:04 The old one felt quite terribly fast at times. 17:00:10 I guess I could try it out now, though. 17:00:14 sure, why not 17:00:21 ineiros, hi there! 17:00:29 fizzie, well, say hi to him from me 17:00:46 You got a "hi" back. 17:00:49 nice 17:02:04 why does the "recommended" bar on youtube have like 10 happy wheel videos... I don't even watch those. I watched like one ages ago and decided it was crap 17:02:19 fizzie: Did you refer to him as "that bc x vah guy"? 17:03:21 elliott, hey you got it wrong :P 17:03:25 <[]{}\|-_`^> Vorpal: I was once sent link to my little pony video. youtube recommended me pony videos for 3 monts 17:03:34 hah 17:03:47 also why that terrible nick? 17:04:11 <[]{}\|-_`^> it should be on the logs 17:05:41 oh well, too much work 17:07:58 <[]{}\|-_`^> 20:28 < nortti> I think that []{}\|-_ are legal but otherwise it must be alphanumeric 17:08:01 <[]{}\|-_`^> 20:29 -!- Taneb is now known as [-] 17:08:04 <[]{}\|-_`^> 20:29 -!- [-] is now known as Taneb 17:08:06 <[]{}\|-_`^> 20:29 < fizzie> nortti: ` and ^ too. 17:08:32 <[]{}\|-_`^> 20:30 -!- You're now known as []{}\|-_`^ 17:08:38 I can't remember if I registered [-]. It may have already been done? 17:08:39 right 17:08:45 I own _[] and []_ iirc 17:08:51 don't remember why 17:09:04 <[]{}\|-_`^> Taneb: 20:29 < Taneb> [-] is registered 17:09:09 that too 17:09:12 Okay, that explains it 17:09:13 don't own that one 17:19:43 -!- elliott has quit (Quit: See you soon, hi!). 17:31:06 “Pronunciätion” yes/no? 17:33:33 -!- david_werecat has joined. 17:33:50 []{}\|-_`^: Which side of the hall is B16? 17:34:13 I may have accidentally landed near it to watch this short film thing. 17:35:12 Well, apparently I'm watching something else altogether, but still. 17:36:43 Okay, no, I think this is the opposite side. 17:37:36 18:37:24 [Freenode] -NickServ(NickServ@services.)- Information on {-} (account sjansen): 17:37:51 Note that nickserv treats [-] and {-} as the same nick 17:38:31 well of course 17:38:39 it follows the old format 17:38:57 Vorpal: It's not "of course", I've seen CASEMAPPING=ASCII around. 17:39:22 -!- impomatic has joined. 17:39:24 * impomatic is implementing the Mouse programming language :-) http://en.wikipedia.org/wiki/Mouse_(programming_language) 17:39:29 Maybe even with freenode's previous ircd. 17:39:47 fizzie, well yes 17:40:13 Man, Rovio is really wasting my time here. 17:40:26 fizzie, oh? Angry Birds? 17:40:28 or what 17:40:33 There's some Angry Birds Space insta-tournament going on. 17:40:44 Angry Birds tournament? 17:40:44 impomatic: Reminds me a bit of IBNIZ, but more useful for general use 17:40:47 how does that work? 17:40:49 And then they throw Angry Birds candy from the stage. 17:40:49 high scores? 17:40:55 Scores, yes. 17:40:56 ... seriously? 17:41:10 They throw hundreds of bags of candy. 17:41:13 there is special candy? 17:41:14 * impomatic looks up IBNIZ 17:41:17 what 17:41:18 Sure. 17:41:22 what does it look like 17:41:25 Fazer makes it. 17:41:26 and what does it taste like 17:41:27 oh okay 17:41:30 Like birds and pigs. 17:41:31 so not too terrible then? 17:41:34 Does anyone use Joy? 17:41:52 It's very sort of generic, but not bad. 17:41:57 ah 17:42:18 Also melts if it's too warm. 17:42:24 There doesn't seem to be a channel for Joy here :-( 17:42:37 There is no joy here. 17:42:39 This is Freenode. 17:43:01 impomatic, is that a language? 17:43:10 Anyway, short film compo was supposed to start at 20:30 (it's 20:43 approx now) but... Rovio. 17:43:30 They're a main sponsor, I guess they can do what they want. 17:43:34 Name a Stargate franchise episode for me to watch 17:43:35 I'm bored 17:43:39 fizzie, so the thing is delayed? 17:43:57 Yes. But that's very typical. 17:44:02 ah 17:44:06 Vorpal: yes, looks Forthlike http://en.wikipedia.org/wiki/Joy_(programming_language) 17:44:16 damn url with parens 17:44:22 can't click them properly in this irc client 17:44:27 please url encode them 17:44:30 (oh well) 17:44:53 hey firefox url encodes that when I copies it: https://en.wikipedia.org/wiki/Joy_%28programming_language%29 17:45:23 impomatic, a purely functional, but stack based language? 17:45:27 how does that even work 17:45:50 -!- asiekierka has joined. 17:46:14 impomatic, I don't get how a stack based language can be pure 17:46:24 stack operations look like a side effect to me 17:53:36 I have once made up something in Haskell that the type indicate the stack and the stack operations can be in (->) category so it is pure; although you can also have them in (Kleisli IO) category too and so on 17:54:21 So yes I think it is possible in the right way 17:54:34 (Not specific to Haskell) 17:56:16 -!- ogrom has quit (Quit: Left). 18:04:12 Quit: Right 18:08:47 -!- Taneb has quit (Ping timeout: 250 seconds). 18:36:18 -!- Taneb has joined. 18:36:49 Hello 18:40:30 -!- asiekierka has quit (Remote host closed the connection). 18:57:20 -!- oerjan has joined. 18:59:57 Vorpal: Underload is sort of an esoteric variant of Joy 19:00:44 it is easy to think of it as pure algebra of programs instead of as acting imperatively on a stack 19:00:52 oerjan, hm okay 19:01:12 e.g. (x)(y)~ = (y)(x) 19:01:18 oerjan, but then that is just two ways of looking at the same program? 19:01:25 of course 19:01:46 then the question is, which one is more accurate, if indeed one is 19:01:54 but i recall ais523 saying the first underload implementation was based on algebra, not stacks 19:02:12 hm okay 19:02:46 then the question becomes if you can transform the program into a purely functional one I guess 19:03:00 it's just that when you have a single global state (the stack), it is easy to just thread it through the program, like with haskell's State monad 19:03:42 really, as long as you don't do IO anything can be rewritten into a form which is pure 19:03:58 well, or have global state 19:04:03 Hmm, maybe I should try to get into Perl 19:04:06 hm... 19:04:16 well you can work around that 19:04:40 yeah. and even if you do IO you can treat the IO system as an algebra you are constructing terms in 19:04:50 oerjan, by this logic, any C code that performs no IO is basically a transformation of a pure program 19:05:00 though that statement sounds somewhat insane 19:05:13 CPAN is tempting 19:05:34 Sgeo, no need, there is CTAN for TeX? 19:05:42 (okay, not the same, but still) 19:07:26 any formal semantics of a programming language is pure, being math. 19:10:34 hmm 19:10:37 is self-modifying haskell code bad 19:11:56 Is self-modifying haskell code possible? 19:12:41 Is there something like the tensor category where: swap . (f *** g) = g *** f seem also similar to having a commutative applicative isn't it? And is that related to what you have written about above? (x)(y)~ = (y)(x) 19:13:01 Taneb: I wouldn't think so but maybe there is if someone know what is the way. 19:13:02 I presume it is possible in theory using unsafeSomething, probably not easy though 19:15:00 could you get a pointer to the code and then unsafeCoerce it? Then given that the code isn't RO (can be arranged for with some linker options iirc, or if nothing else, a custom linker script), sure you could replace bits of machine code. 19:15:30 don't know enough of the low level GHC internals to know if it is possible 19:15:43 How about a loop that at the end loops by performing the code in some IORef 19:15:54 Modify the contents of the IORef and you've change the actively running code. 19:18:43 Then perhaps you can use that to make a self-modifying code in Haskell but it would be difficult to self-modify the Haskell codes in that way. Also, it would be specific to the computer if you did that. 19:18:44 i suspect the problem with modifying anything not explicitly a reference type of some kind is that the haskell compiler has every right to assume it hasn't been modified, so you cannot assume the new version will be consistently perpetrated 19:18:48 Something in the GHC hidden modules? 19:19:00 Or Template Haskell 19:20:48 also, self modification is how laziness is implemented under the hood, in case someone didn't know that 19:21:12 Template Haskell is only for compile time, I do not think it can modify stuff at runtime 19:23:10 also the erlang method of just calling the new version tail recursively is much more sane in haskell too. 19:24:36 well i guess that's for self-modifying threads. 19:27:44 i suspect the problem with modifying anything not explicitly a reference type of some kind is that the haskell compiler has every right to assume it hasn't been modified, so you cannot assume the new version will be consistently perpetrated <-- of course 19:28:25 also, self modification is how laziness is implemented under the hood, in case someone didn't know that <-- I thought it used thunks? 19:28:35 -!- calamari has left ("Leaving"). 19:28:41 also the erlang method of just calling the new version tail recursively is much more sane in haskell too. <-- well yes, but less fun 19:28:54 yes, but the thunks are replaced with the final result afterwards 19:28:59 with self modification in code I think of actually writing out new bytecode or machine code to the memory 19:29:07 oerjan, ah 19:30:56 btw i think the haskell ffi does that kind of writing out in order to export haskell closures as C functions 19:31:17 heh 19:31:34 oerjan, can't that sort of stuff be determined at compile time? 19:31:38 because C has no way of creating a new function pointer referring to dynamic data 19:31:59 Vorpal: not if it's a runtime constructed closure... 19:32:22 In C you could make void* and cast to the other pointer but it won't necessarily work or do what is intended it depend on the computer you are implemented it on 19:32:24 wow the haskell-platform is 422 MB according to aptitude 19:32:50 well, at least that is how much disk space I will end up using by the new stuff I need to install 19:33:15 yeah ghc stuff is like 95% of that 19:33:46 basically in C you'd usually implement a closure as something like a struct containing the closure data + a function pointer to a fixed function, but the haskell ffi specification says that an actual C function pointer must be constructed 19:34:10 hm true 19:34:11 unsafeCoerce :: Vector Word32 -> IO () 19:35:06 oerjan, no I would use pikhq's crazy gcc specific thing :P 19:35:17 which is awesome btw 19:35:36 now I only want continuations in C 19:35:40 Vorpal: ghc is moving away from gcc to llvm anyway 19:35:44 that isn't just setjmp/longjmp 19:35:50 because those are so restricted 19:36:04 oerjan, I thought it was moving away from it's own native generator to llvm rather? 19:36:09 and had already dropped gcc 19:36:42 there was a post yesterday in reddit that the new ghc code generator is almost ready to be switched in, although that's for an earlier stage of the pipeline than the llvm/gcc/native decision 19:37:49 Vorpal: well yeah, although gcc is still available for temporary porting. also i vaguely think the ghc runtime is still ghc? 19:37:52 er 19:37:55 *is still gcc? 19:38:03 -!- KingOfKarlsruhe has joined. 19:38:20 that is the unregistered one iirc? 19:38:23 yes 19:38:30 which is pure C even? 19:38:32 no? 19:38:37 yes 19:38:43 right 19:38:49 anyway, good night 19:39:16 good night 19:41:13 Hmm 19:41:26 SAFECode makes me less.... angry at C and C++ 19:41:35 sounds unsafe 19:48:32 Taneb: Sure you can do that but how are you going to know what it is going to do? It might crash. 19:48:45 I'm just throwing ideas about 19:49:14 If you know how Haskell works in the deep, and deepseq the vector, it might be doable 19:51:30 -!- prx has joined. 19:51:34 Hi 19:51:43 `welcome prx 19:51:46 prx: 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.) 19:52:21 -!- prx has left. 19:56:36 that was a short visit 19:57:00 we shall assume he's continuing his quest at dal.net 19:59:10 People argue about why scorpions are good? Someone write a report about why scorpions are good and then some people argue about it. Including such things as music, statistics, meaning of words "pet" (both the noun and verb), and astrological signs. 20:00:07 a stinging report, no doubt 20:00:43 (My conclusion is that one of the meanings doesn't count becuase it is intransitive.) 20:01:41 never do a tango with a scorpion 20:02:02 Here it is (my messages are labeled "Not a pipe", which is short for "The Free Land of Not a pipe"): http://forum.nationstates.net/viewtopic.php?f=20&t=193916 20:02:09 oerjan: You are probably correct. 20:02:36 They even argue about pictures 20:03:58 -!- Vorpal has quit (Ping timeout: 248 seconds). 20:16:14 impomatic: What do you think about IBNIZ? 20:16:52 -!- quintopia has quit (Ping timeout: 252 seconds). 20:17:31 -!- quintopia has joined. 20:21:17 -!- epicmonkey has joined. 20:22:02 Do you know the switch of "magic" and "more magic" that has only one wire but still causes the computer to crash if the switch is moved? 20:24:37 i have read this ancient lore, yes 20:24:55 Do you know how the switch works? 20:26:15 no. i think there have been suggestions, though. 20:26:50 It bothers me that so many Tcl extensions are in C 20:26:55 Wish they were in Tcl. 20:27:17 All the tellings I've seen have used the explanation that the computer's ground and its case had a potential difference large enough to restart it when connected. 20:27:20 C makes it seem so... impure, like the language itself doesn't quite have the facilies to extend it within itself. 20:27:42 Maybe it's just an efficiency thing? 20:37:42 zzo38: It has only one wire but the other terminal is connected to a grounded metal rail 20:38:39 anyone seen ski? 20:42:05 FreeFull: I think you are correct. 20:45:16 Sometimes I want to do such things as self-modifying codes and and so on but is difficult because I also want to be portable 20:45:51 Just have a VM 20:47:10 -!- MoALTz has quit (Quit: Leaving). 20:53:06 I'm just playing with this. http://ibniz.asiekierka.pl/ibniz.html :-) 20:55:57 It was making weird sounds even with the audio checkbox disbaled 20:56:02 disabed 20:56:04 disabled 20:57:18 $G 1% N: 2 F: ( N. F. \ 0 > ^ F. 1 + F: ) F. N. < [ F. ! "" #G, N. F. /;] @ ~ Prime Factors in Mouse... 20:59:15 Asiekierka is a pretty cool guy 20:59:31 He comes around here 20:59:48 impomatic: How fast is it? 21:01:45 FreeFull: I haven't implemented an interpreter yet. There are a online in Pascal, C and Z80 asm. 21:08:41 -!- itidus21 has left ("Leaving"). 21:15:58 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.88.2 [Firefox 14.0.1/20120713134347]). 21:23:17 -!- Taneb has quit (Ping timeout: 246 seconds). 21:45:13 If you have a .NSF playing library, I would suggest to implement the functions: play(byte accumulator) and poke(int address, byte value) 22:03:06 -!- Taneb has joined. 22:04:32 -!- Taneb has quit (Client Quit). 22:04:52 -!- Taneb has joined. 22:05:43 Hello! 22:05:52 Hi 22:14:22 -!- epicmonkey has quit (Ping timeout: 246 seconds). 22:21:06 butts 22:26:27 iffs 22:27:45 something else 22:34:16 cheap beer in 2L plastic bottles 22:34:18 what a country 22:36:21 kmc: Looks like the next Stripe CTF thing might be on Aug 22. 22:36:39 Someone told an anecdote about being in Germany, asking for a "big beer" expecting 0.5l (the standard "big" in Finland) but getting a full litre. 22:36:52 shachaf: cool 22:36:55 coolchaf 22:37:30 koolgan mcoollister 22:47:52 -!- azaq23 has quit (Quit: Leaving.). 22:53:54 i will be back in the USSA at that time 22:53:56 barely 22:54:09 United Soviet Socialist America? 22:54:19 СССА 22:56:01 -!- Yonkie has quit (Ping timeout: 246 seconds). 22:56:27 -!- Taneb has quit (Quit: Leaving). 23:02:10 -!- Yonkie has joined. 23:29:17 -!- Elive_user62_en has joined. 23:32:42 -!- Elive_user62_en has left ("I ♥ Elive"). 23:42:21 -!- Yonkie has quit (Ping timeout: 272 seconds). 23:46:50 -!- Yonkie has joined. 23:57:30 What is "cookness-diamond.volia.net"? I remember they connected to my computer once before, and I don't know what it is. 23:57:56 (The only thing I could find was an FTP service which did not allow anonymous login.) 23:59:32 so did someone finish clop?