00:00:11 AnMaster: that doesn't excuse putting core functionality in modules. 00:00:44 mib_8oomfc, I swear there are more modules than when I last read that page you linked.... 00:01:16 some are not included in core package hm 00:01:19 I should write my own damn bouncer. 00:01:26 And every piece of software. 00:01:27 mib_8oomfc, sounds nice :) 00:01:28 I can't trust others. 00:01:37 They suck. :P 00:02:06 I used to have my own bouncer, but znc was easier, and had what I wanted, rather than coding the missing features myself I changed to znc 00:02:17 Happy xmas. 00:02:21 -!- mib_8oomfc has set topic: Real christmas. 00:02:34 mib_8oomfc, happy day after xmas 00:02:36 miau is very simple, one network only (I use a script to launch multiple miaus) 00:02:43 -!- AnMaster has set topic: Real christmas | The day after the real one. 00:02:58 comex, ew 00:03:21 comex: does it do the playback? 00:03:34 mib_: yes, it has a "quicklog" 00:03:39 explain 00:03:51 mib_8oomfc, znc does playback on every channel, I'm not sure if you can turn it off for some channels, but it may be quite possible 00:04:09 * AnMaster looks in the web UI 00:04:15 when you log in, it replays the quicklog. I don't remember how configurable it is 00:04:29 comex: on the original channel? 00:04:40 yes 00:05:21 the thing is, IMO irc bouncing isn't exactly _hard_. when the user is connected, you do just forward everything. when they disconnect, log everything you get from the server. when they reconnect, send the log to them and erase it. 00:05:46 mib_8oomfc, znc can do that easily 00:05:49 oh and it does support multiplec onnections (although I assume all others do as well) 00:05:57 what I'm not sure is if it is per channel 00:05:59 as you requested 00:06:03 why do you need a frobtapulous perl modulized C++ elegant blaaaaah thing just to do that 00:06:17 mib_8oomfc, you *CAN* turn off the timestamps 00:06:18 it seems 00:06:24 comex: what about that weird away bug 00:06:25 by setting the timestamp format string to empty 00:06:27 :D 00:06:46 mib_8oomfc, you can disable that 00:06:50 i should, just lazy :p 00:06:50 mib_8oomfc, so that issue is solved 00:06:50 comex: neat. 00:06:53 i bet i could write a bouncer that makes me happy in like 50 lines of Haskell 00:07:06 do it then 00:07:13 not now :P 00:07:34 mib_8oomfc, one thing I like with znc is that you can make it automatically add/remove channels to the "auto join on connect" list if you want 00:07:39 that is configurable of course 00:07:47 AnMaster: but my client does that 00:07:50 :P 00:08:03 the bouncer should: 00:08:08 - play back things it saw when disconnected 00:08:21 - when it gets disconnected, reconnect, send out what commands you've put in its config, and join channels it was in 00:08:24 'sit 00:08:32 mib_8oomfc, znc can do those two 00:08:38 there is the perform module for the second 00:08:39 to be honest, I could probably write _everything_ I want in 50 lines of haskell 00:08:42 I use it to auto-oper up 00:08:45 on another network 00:08:49 for example 00:09:11 away can do the first 00:09:18 so yes znc can do those 00:09:25 and it will auto reconnect 00:09:29 i'll go with miau for now 00:09:30 it seems ko 00:09:31 ok 00:09:41 I haven't used the nickserv module with znc since I use other strange services 00:09:45 account based and such 00:10:10 --disable-ascii-art Disables fancy ASCII banner miau prints at start-up and when a client conencts to miau. 00:10:16 haha 00:10:17 that kind of thing is why I hated psybnc :P 00:10:25 mib_8oomfc, znc doesn't have such a thing 00:10:29 PSYCHOID AND THE MOST COOL LAM3RS GROUP EFNET 00:10:33 i know it by heart 00:10:39 ouch 00:10:41 that one HURT 00:10:43 I hated psybnc for some other reason, can't remember what it was exactly 00:10:45 BADLY 00:10:55 it confused my client :( 00:11:01 AnMaster: it prints that after it gives you the 1337 ascii art of "psybnc" when you start it up 00:11:13 mib_8oomfc, still I suggest you try several bouncers, including ezbounce and znc 00:11:33 I'll use this until I write my own bouncer... tomorrow. :-P 00:11:44 It occurs to me I could just start writing it now. 00:11:57 mib_8oomfc, as for znc starting I think it prints "starting znc\nloading modules\n forking into background" or something like that 00:12:00 a few lines of status 00:12:29 i shall call my bouncer bbbbounce 00:12:38 B4 for short. 00:12:46 mib_8oomfc, from the openbsd release song 00:12:48 for 3.9 00:12:50 I assume 00:12:52 pronounced "BU-BU-BU-BOUNCE" 00:12:55 AnMaster: er, no? 00:13:15 If you think I'd quote an openbsd release song you don't know me very well :P 00:13:17 mib_8oomfc, err they said "bu-bu-bu-bounce him on your knee" in that one 00:13:25 Eh. 00:13:27 so that is what everyone will think 00:13:36 sorry about that 00:13:43 Yes, because other people will know about this :-P 00:13:56 mib_8oomfc, 100% so far did :P 00:14:03 I meant, my bouncer 00:14:13 I'll be surprised if it leaves rutian/pastie.org 00:14:19 ah 00:14:35 -!- bsmntbombdood has joined. 00:16:09 mib_8oomfc, 0.6 mm screwhead rocks, yeah tiny indeed 00:16:18 lol. 00:16:25 yes there is one here 00:16:27 like that 00:16:28 heh, my bouncer will report server disconnections weirdly: 00:16:34 oh? 00:16:47 some nethack-like phrase? 00:16:56 :b4!b4@b4 PRIVMSG yourname :stuff here 00:17:05 where b4!b4@b4 doesn't actually exist, of course. 00:17:15 that would be seriously confusing 00:17:25 actually 00:17:28 that is what znc does 00:17:29 AnMaster: the reason it has ! and @ is to account for irc parsers 00:17:31 so they don't trip up 00:17:32 it messages from *status 00:17:34 saying: 00:17:34 actually, it'll be !n=b4 00:17:43 AnMaster: right, but *status has a reasonable host name there 00:17:44 and stuff 00:17:45 I assume. 00:17:48 and actually exists 00:17:50 (you can send to it) 00:17:59 *status!znc@znc.in 00:18:02 from thgat 00:18:03 that* 00:18:19 :*b4*!n=b4@b4 PRIVMSG :Disconnected from server, reconnecting... 00:18:33 sounds quite sane 00:18:45 it looks very similar to the znc one 00:18:56 I think it says: "Lost connection to server. Reconnecting..." 00:18:59 or something like that 00:19:17 don't remember on the top of my head (from the top? which is the English idiom?) 00:19:45 off the top 00:19:50 right 00:21:25 http://en.wikipedia.org/wiki/Poetic_License 00:21:26 I want to use this 00:22:01 in fact, I'm going to use it 00:22:19 I mean, why not? 00:22:25 "Aside from rhyming, the Poetic License is unique in its use of the first person, rather than passive legalese form, as well as the assurance of best effort. Many such licenses specifically distinguish between text and software, while the Poetic License may be applied to any work. Unlike other BSD-styled licenses, which explicitly require the copyright notice and 'this' notice to appear in all copies 00:22:25 of software and documentation, the Poetic License is vague as to the condition upon which these rights are granted. 'These rights, on this notice, rely' implies that the notice must remain in all copies, shared and/or modified." 00:22:25 hm 00:22:29 there may be issues there 00:22:41 Eh; I'm not planning to test this in court. 00:22:59 AnMaster: If the DO WHAT THE FUCK YOU WANT TO PUBLIC LICENSE, VERSION 2 has been testified to probably be valid in court by Debian lawyers, I'm sure this will to 00:23:03 1) assurance of best effort 2) the Poetic License is vague as to the condition upon which these rights are granted 00:23:07 (It has one clause, 1. You just DO WHAT THE FUCK YOU WANT TO) 00:23:22 mib_8oomfc, it has been found valid in a court? 00:23:23 heh ok 00:23:26 no 00:23:33 but the debian lawyers said they thought it would be valid 00:23:37 ah 00:23:40 which is pretty much all the gpl has had until recently too 00:26:08 haskell is delicious 00:27:18 *Scheme 00:27:27 no, haskell. 00:28:14 Haskell is bad. 00:28:56 yeah cuz monads are sooo complex 00:29:23 Also it has an ugly syntax. 00:29:31 * Slereah <3 parenthesises 00:29:45 Haskell's syntax is beautiful, maybe you're just bad at it. 00:30:16 I find infix more readable, especially with things like `isPrefixOf` 00:30:28 It's not about readability 00:30:32 It's about beauty :o 00:30:38 Haskell's syntax is beautiful 00:30:49 what you're saying is equivalent to 00:30:54 Slereah: scheme sucks, there's too many parentheses 00:30:57 i'd mess them up!! 00:31:00 uglyyyyyyyy 00:31:59 Don't diss scheme bro 00:32:41 Don't diss Haskell. 00:42:26 -!- mib_8oomfc has quit (Client Quit). 00:48:06 -!- oerjan has quit ("Good night"). 00:59:46 -!- Mony has quit ("Quit"). 01:36:14 -!- calamous has joined. 02:42:35 -!- calamous has quit ("Leaving"). 04:50:26 -!- Asztal has quit (Read error: 110 (Connection timed out)). 05:54:40 -!- Corun has joined. 06:13:35 -!- Corun has quit ("YES, NO W:ET."). 06:16:38 -!- bsmntbombdood has changed nick to bsmntbombgirl. 06:45:08 -!- moozilla has joined. 06:46:08 -!- moozilla has quit (Read error: 104 (Connection reset by peer)). 07:13:02 -!- Sgeo has quit (Read error: 110 (Connection timed out)). 07:24:23 -!- Corun has joined. 07:35:34 this shit is ridiculous 07:35:37 oops wrong window 07:43:07 -!- psygnisfive has joined. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 09:04:04 -!- Corun has quit ("This computer has gone to sleep"). 10:34:37 -!- oklopol has quit (Connection timed out). 10:54:31 -!- oerjan has joined. 12:05:42 -!- oerjan has quit ("leaving"). 12:10:35 -!- jix has joined. 13:25:18 -!- ais523|direct has joined. 14:35:28 heh 14:35:40 * ais523|direct wonders what AnMaster is hehing at 14:35:48 some stuff above 14:35:58 anyway hi ais523|direct 14:36:10 hi, and merry Christmas if it's today for you 14:36:12 it is for me 14:36:18 it was yesterday for me 14:36:26 we celebrate on the 24th here 14:36:44 yes, I know many countries celebrate on the 24th, wasn't sure whether you did or not 14:36:46 same in rest of Scandinavia 14:37:23 ais523|direct, seasons greetings to you 14:37:28 thanks 14:37:43 although in theory, I reckon you could get away with a season's greetings any time in Winter 14:37:46 * AnMaster is upgrading a remote freebsd server atm 14:37:53 although maybe it's an English idiom I don't really get either 14:38:01 ais523|direct, technically it could work at any point during the year 14:38:06 well, yes 14:38:07 just different seasons 14:38:12 I was thinking that too... 14:38:45 " although maybe it's an English idiom I don't really get either" <-- well it is the religious/customs neutral version basically 14:38:58 ah, maybe 14:39:09 equally meaningless in all traditions 14:39:17 oh yes and not offensive to anyone 14:39:20 just like the acronym UTC, which was chosen because it's wrong both in English and in French 14:39:30 hah indeed 14:40:33 incidentally, the hello world in Brainfuck I'm trying to debug atm is 929086 bytes 14:40:43 that's run-length encoded, too... 14:40:55 ais523|direct, wtf? 14:41:03 oh gcc-bf? 14:41:03 much bigger without, but that's partly because some of the pointer code has hundreds of thousands of >s in a row 14:41:04 right 14:41:05 and yes 14:41:20 there's a bug in my pointer handling that I know about, just haven't coded a fix yet 14:41:26 there are a lot more bugs I don't know about 14:41:48 ais523|direct, considering puts() fputs() and write() I did some tests recetly 14:41:52 recently* 14:41:57 anyway, the gcc-bf distribution, not counting the gcc or newlib sources, is 929086 bytes 14:42:03 um... 14:42:07 121507 14:42:09 copied the wrong number 14:42:10 someone claimed g++ -static generated much larger hello world than gcc -static 14:42:13 and that was true 14:42:26 until I added -nostdlib /usr/lib/libc.a 14:42:38 had to change to use write() too instead of puts() 14:42:48 and _exit(0); instead of return 0; 14:42:54 you can get gcc-bf programs a lot smaller by avoiding the stdlib 14:42:56 no idea why for the latter 14:42:59 I know why 14:43:02 it's to do with atexit 14:43:05 oh? 14:43:06 and the need to close open files when you use exit 14:43:09 ah 14:43:12 right 14:43:15 that means stdio needs to be linked in 14:43:22 gcc-bf's default runtime has an exit() in 14:43:38 which means it links stdio, that's why the hello world's so large 14:43:43 ais523|direct, anyway doing it that way got the size down to 6.6 KB for each. and *exactly the same binaries after strip* 14:43:46 from g++ and gcc 14:43:54 same md5sum 14:43:55 to get saner program sizes, I have a -naked option on the linker which doesn't include a limit 14:44:13 AnMaster: I'm not surprised, in theory C++ has no overhead compared to C if you don't use C++-specific features 14:44:27 on the other hand, good C style is bad C++ style 14:44:29 ais523|direct, yes I had to add -fno-exceptions to make it compile that way 14:44:36 for g++ 14:45:00 otherwise I got strange link time errors about symbols like __unwind_frame or such 14:45:03 don't remember details 14:45:16 anyway for bf stdio, that should be one area worth optimising a lot 14:45:24 yes 14:45:27 I already have a bf.h 14:45:30 maybe hand coding the stdio stuff to be as small as possible for gcc-bf 14:45:33 which only contains __bf_out and __bf_in atm 14:45:43 although I don't really need the double-underscores if it's in a dedicated header 14:45:47 ais523|direct, well it should be able to replace the newlib stdio and such 14:45:56 that's a project for later 14:46:04 anyway, here's a gcc-bf build command line: buildinto/bin/bf-gcc -Wl,-progress,-abi,-asm,-annotate,-map,-rle,-g,-trace tests/pointer.c --save-temps 14:46:17 that's due to me putting in all the debug options at once 14:46:19 because I bet that is one part that will save a lot if you replace 14:46:29 and yes, a new stdio would be nice, but difficult 14:46:30 -abi,-asm? 14:46:38 hm 14:46:38 -abi and -asm save two of the temporaries the linker uses 14:46:42 ah 14:46:44 makes sense 14:46:57 -map does just what it does in any other linker (although it often has a different name) 14:47:04 -progress shows progress bars, because it's slow 14:47:18 ais523|direct, why would a special bf stdio library optimized for size/speed be difficult? 14:47:26 I mean apart from bf always being a pain 14:47:26 because stdio itself is difficult 14:47:30 at least to pin down all the corner cases 14:47:36 I suppose you could have a nonconforming stdio-lite 14:47:43 ais523|direct, if I were to write it I would probably do something like C with inline bf 14:48:03 could be interesting 14:48:16 although there isn't all that much free tape atm 14:48:25 maybe parts could be pure bf even 14:48:35 well, most of gcc-bf doesn't generate pure bf 14:48:36 ais523|direct, you may need to increase memory then? 14:48:48 not really, I could just create extra memory 14:48:55 oh? 14:49:02 you said not a lot of free taoe 14:49:03 tape* 14:49:15 the problem's just that every tape cell is already used for something, well most of them 14:49:24 but I could just move everything to the right and use new cells at the left, for instance 14:50:14 hm? 14:50:15 what? 14:50:35 AnMaster: well, the BF tape is basically used to emulate a CPU 14:50:41 indeed 14:50:45 (the CPU was designed to be easy to emulate in BF) 14:50:51 hah 14:51:33 I also have a bf interp designed specifically for debugging gcc-bf 14:51:37 which can read its RLE output 14:51:39 hm nice 14:51:42 and reads its comments too 14:51:51 well, right, but can't you just do like the program does 14:51:52 so it knows quickly when something went wrong, and does a core-dump of the tape 14:51:53 malloc a block 14:51:56 and use it?? 14:52:01 yes, but mallocing's pretty slow 14:52:06 ah right 14:52:08 and besides, it involves pointers 14:52:10 and they're very slow 14:52:14 what about static buffers? 14:52:25 that doesn't need to involve pointers 14:52:35 you can have static buffers just fine 14:52:41 since you can pre-calculate where in the memory the buffer is 14:52:53 if you allocate a static buffer, gcc-bf will reserve every 6th element in a region of the tape (of its own choice) for it 14:52:56 you don't need any sort of indirection when accessing said buffer 14:52:57 and go there with > and < 14:53:03 directly 14:53:10 inded 14:53:10 so static buffers are pretty efficient in it 14:53:26 ais523|direct, that could be an issue if you don't know your exact current position? 14:53:30 say, in a recursive call 14:53:38 gcc-bf always knows its exact current position 14:53:47 really? hm ok 14:53:48 that's one of the main architectural choices I made in it 14:54:02 not only that, but -annotate writes the position as comments in the BF code 14:54:15 ais523|direct, how can it know that if the stack frame is of unkown size? 14:54:19 say due to using alloca() 14:54:28 it uses symbolic positions 14:54:34 hm ok 14:54:36 %sp means it's pointing to the top of stack, for instance 14:54:44 well I mean in the bf code 14:54:47 that is generated in the end 14:55:21 how can it know a fixed count of > or < needed to move to a static buffer and to get back 14:55:40 because it always moves via a particular location 14:55:47 ais523|direct, ah, and that is? 14:55:58 there's a dead zone of 6 cells, which is never used 14:56:02 at least, always 0 14:56:11 it always knows how to get to one of the cells in that range 14:56:16 (and by extension, any given cell in that range) 14:56:33 right, and this dead zone is used for scratch storage or? 14:56:38 during calculations 14:56:39 or 14:56:43 no, it's used for homing the pointer 14:56:51 many parts of memory are full of 1s 14:57:09 which means, for instance, starting at the stack pointer <<<<<[[<<<<<<]<<<<<<] will always land on a particular cell in the dead zone 14:57:27 ais523|direct, right 14:57:30 because every 6th cell contains a 1, apart from the start of a stack frame 14:57:41 and stack frames have to be at least 2 bytes, according to the processor ABI 14:57:53 ais523|direct, you have a copy of the stack frame every 6th byte!? 14:58:00 no 14:58:06 it wouldn't fit 14:58:10 what you mean then 14:58:19 the set of every 6th bytes together lets you determine where the stack frames are 14:58:27 they're 1 if a stack frame doesn't start there, or 0 if it does 14:58:55 ok 14:59:06 so you can easily search for it 14:59:07 right 14:59:09 yes 14:59:18 how do you know in what direction? 14:59:21 two 0s in a row mean you're either at top of stack (to the right) or in the dead zone (to the left) 14:59:34 and whenever the exact numerical location isn't known, we're to the right of the dead zone 14:59:39 to the left of that is just registers and temp cells 14:59:44 ah 15:00:18 so to move to a static area you just move to the dead zone then move a fixed number of cells from it? 15:00:22 yes 15:00:31 this makes me wonder how gcc-bf would handle buffer overflow 15:00:46 -!- cpu-jockey has quit ("leaving"). 15:00:47 it handles buffer overflow the same way as any other processor, it goes and overwrites memory 15:00:59 right, could it corrupt the internal state 15:01:04 weird stuff happens on buffer /underflow/, though, if it happened to be at the start of memory 15:01:08 -!- cruce has joined. 15:01:17 no, because the pointers are multiplied by 6 internally 15:01:19 also did I understand you right, for every 6 cells in memory there is one with actual program memory? 15:01:28 not exactly 15:01:33 no? 15:01:36 the program itself is compiled into BF, not into bytecode and interpreted 15:01:42 so the program is the program, it isn't stored on the tape anywhere 15:01:46 indeed 15:01:52 but I mean as in heap 15:01:53 every 6 cells, there are 2 which hold memory, one on the stack and one on the heap 15:01:54 or stack 15:01:59 ah 15:02:06 so stack and heap are interleaved!? 15:02:07 yes 15:02:14 and are separate segments? 15:02:15 heh 15:02:19 yes, separate segments 15:02:21 what does the pointers look like then 15:02:33 I mean, segment selector first or what? 15:02:42 0x00?????? for a function pointer, 0x01?????? for a stack pointer, 0x02?????? for a heap/static pointer 15:02:55 segment selector's in the MSB 15:02:55 hm interesting 15:03:10 byte or bit? 15:03:14 and the 4 bytes have weightings of 3, 65536*6, 256*6, 6 cells 15:03:19 they're byte pointers 15:03:23 hm right 15:03:41 I meant, MSB could be MS(Byte|Bit) 15:03:53 ah, ok, but it's byte in this case 15:03:58 the hex representations should have given it away 15:04:07 ah yes 15:04:23 ais523|direct, hm function pointers support jumping anywhere or? 15:04:28 yes 15:04:37 the entire program's basically in a massive switch statement, written in BF 15:04:44 that could probably be optimized away 15:04:48 at the end of any basic block, the address of the next basic block is set 15:04:56 and actually, that's very efficient with a decent interp and hardly uses any code 15:05:26 (the hyper-efficient way to end a program in gcc-bf is neither exit(0) nor _exit(0), it's goto *(void*)0;) 15:05:36 although the last is somewhat compiler-specific 15:05:40 and makes no sense in standard C 15:05:48 since you only need to jump to start of function, setjmp() calls, and for flow control inside functions (which could be a smaller switch for each function): labels, while, for, if and so on 15:06:21 being able to jump anywhere is pretty convenient, and it's not a computational order slowdown thing 15:06:42 it switches on the bottom 24 bits of the pointers, in blocks of 8 bits at a time 15:06:43 ais523|direct, I would assume it is undefined in C if you jump to any memory address that isn't a function pointer you got in a legal way 15:06:51 well, yes it is 15:07:01 but you'd still need to be able to jump to the address of any function 15:07:20 hm so each block, that means each line or each ; or what? 15:07:23 also, it would be nice if gcc-bf supported C++ too, and g++ does weird things with code pointers to handle exceptions 15:07:41 a block's a set of commands with linear control flow 15:07:53 as in, no jumping into or out of it 15:07:53 ah so you can't jump inside such a block? 15:08:02 no, nor call a function inside a block 15:08:04 but that makes me wonder 15:08:11 so they tend to start and end in the middle of statements 15:08:19 ais523|direct, ouch right 15:08:21 anyway 15:08:26 this makes me wonder a bit 15:08:27 can make it slightly confusing to debug 15:08:42 anyway, I have to go for a while, Christmas dinner 15:08:48 wouldn't it be possible to optimize some stuff better if you could reduce jump points 15:08:49 ais523|direct, cya 15:09:07 for example << and then >> but with jump related stuff in between 15:11:37 jump related stuff never used 15:12:29 or: while (i != 0) { j += my_static_array[i--]; } 15:12:40 that would probably be a for loop in most C programs 15:12:54 but this way is more BF-like 15:13:20 that while loop could probably be turned into a very simple and basic bf loop 15:33:30 -!- mib_vvzkm4 has joined. 15:33:38 Yo people. 15:33:40 Hi ais523|direct 15:33:41 * mib_vvzkm4 = ehird 15:40:50 Nobody here? Not even AnMaster ? 15:40:58 hm? 15:40:59 yes I am 15:41:11 Damn. :P 15:41:11 ais523 went to eat xmas dinner 15:41:18 That makes sense. 15:42:48 thought: 15:42:51 if we have the Poetic License 15:42:54 we need the Driver's License 15:44:59 -!- Judofyr has joined. 15:49:30 -!- Corun has joined. 15:51:53 back 15:52:04 mib_vvzkm4: there's the Artistic Licence too 15:52:09 and all this time, I never realised it was a pun 15:53:26 the Poetic License is nice. 15:53:27 hmm... eso-std.org's still down 15:53:32 * mib_vvzkm4 is using it for the IRC bouncer he's writing 15:53:34 merry christmas ehird, anyway 15:53:37 ais523|direct: yes, I haven't got cherokee up yet 15:53:41 I left it yesterday 15:53:52 the artistic licence is, by chance, the only one to be tested in court 15:54:04 had some problems with checkinstall 15:54:12 so, gonna write a bouncer while i think how to fix them :P 15:54:21 an #esotericians christmas! 15:54:40 it's boxing day for AnMaster 15:54:43 or whatever thehy call it over there 15:55:02 "christmas day 1" 15:55:07 they celebrate on "christmas eve" 15:55:13 and have two christmas days after that, sans celebration 15:55:21 they celebrate on dec 24, nothing wrong with that 15:55:22 ¯\(°_o)/¯ 15:55:25 after all, the date's uncertain 15:55:29 ais523|direct: but they call it christmas eve 15:56:00 well that is christmas day and "secondday christmas" (literal translation, it sounds "Olde Swedish" in Swedish, basically that form only exists in that specific phrase) 15:56:09 these days 15:58:27 * ais523|direct wonders where to put the current version of gcc-bf 15:58:37 ais523|direct: filebin.ca? 15:58:40 how large is it? 15:58:42 it's nowhere near finished, but it's finished enough to try to run some specially constructed programs in 15:59:03 AnMaster: a bit over 100K, not counting the source to gcc and to newlib which you already have IIRC 15:59:12 filebin.ca 15:59:14 well I mean the stuff you would upload 15:59:17 also I got rid of the calls to realpath, I think it still works 16:00:00 heh 16:00:19 http://filebin.ca/txobpp/gcc-bf.tar.gz then 16:03:02 -!- fizzie has quit (Read error: 148 (No route to host)). 16:03:09 will try it later 16:03:13 bit busy atm 16:03:20 upgrading a freebsd server remotely 16:03:22 that's fine 16:03:37 no need to try it right away, just thought I'd transfer the file while we were both online 16:03:49 it's at the state of "in theory almost finished, in practice incredibly buggy" 16:04:06 and atm I'm just using a development model of "write test case, repeatedly fix the first bug it discovers until it works" 16:05:14 I cannot believe there isn't a simple sha1 :: String -> String in Haskell's Hackage library store. 16:05:28 I don't WANT ByteString -> Digest, damnit. 16:05:32 sha1s aren't strings, they're numbers... 16:05:37 and probably it's to do with unicod 16:05:37 fine 16:05:39 String -> Integer 16:05:39 *unicode 16:05:44 and it is, but it's irrelevant 16:05:47 I found one that does it nicely 16:05:49 but it's not in hackage 16:05:52 for god knows what reason 16:05:58 I could add it 16:06:05 but i'd have to fiddle with it to make it work properly 16:06:35 gah, and it's GP 16:06:35 L 16:07:06 i hate the gpl. 16:07:11 btw, the licence for gcc-bf at the moment is "undecided, but it's going to be something that can legally be used in a GPL3 program" 16:07:28 ais523|direct: BSD2/BSD3/MIT/Poetic 16:07:32 failing that, LGPL 16:07:34 :-P 16:07:53 ais523|direct: oh, or the DO WHAT THE FUCK YOU WANT TO PUBLIC LICENSE, VERSION 2 16:08:05 (it demands its full formal name...) 16:08:08 I think the bits designed to go into gcc itself will be GPL3+ as gcc itself is, the libraries will probably be BSD3, not sure about the linker yet 16:08:12 (http://sam.zoy.org/wtfpl/) 16:08:21 and I know the WTFPL, but not the Poetic 16:08:29 http://en.wikipedia.org/wiki/Poetic_License 16:08:31 Poem license. 16:13:42 -!- psygnisf_ has joined. 16:13:50 -!- psygnisfive has quit (Read error: 104 (Connection reset by peer)). 16:19:20 mib_vvzkm4: that might be interestingly risky, although probably not 16:19:29 this is a typical lawyer silliness 16:19:55 basically, the law says that warranty disclaimers have to be prominent, or obvious, or something like that (I can't remember the exact word) or they don't count 16:20:04 and there's court precedent that writing them in allcaps is one way to do that 16:20:12 ais523|direct: ISC isn't allcaps. 16:20:21 as a result, professional licence-writing lawyers have always written warranty disclaimers in allcaps 16:20:28 well, true 16:20:29 because there's precedent that way works, why gamble on any other method? 16:20:46 ais523|direct: Well, they're the inferior soulless beings of the world. :-P 16:21:09 ais523|direct: Isn't copyright law _all_ about intent, anyway? 16:21:20 not completely, unfortunately 16:21:35 well, otherwise it would be impossible to tell whether you were allowed to copy something or not 16:21:48 ais523|direct: ok, reasonably obvious intent 16:21:53 just like with copyright infringment 16:22:02 doing it the other way round can be interesting, though 16:22:14 the intent of the copyright holder, as opposed to the intent of the copier 16:22:16 how much does that matter? 16:22:34 beats me 16:22:43 I don't know off by heart either 16:22:43 but I'd say that the Poetic License probably won't be judged to not work because it isn't allcaps. 16:23:05 the amusing thing is even the professional lawyers seem to mess up 16:23:24 the famous APA contract between SCO and Novell, for instance, was unclear enough for people to argue all sorts of weird things about it 16:23:37 maybe they should get nomic players to look the contracts over 16:24:02 if r101/town fountain work poetic license does too :-P 16:24:31 also, have SCO appealed the most recent judgment against them yet? 16:24:33 mib_vvzkm4: I don't think the town fountain is an RL-binding warranty disclaimer 16:24:47 mib_vvzkm4: not yet as far as I know 16:24:54 they sent a letter to the courts saying they planned to, or something 16:25:09 and got an answer back saying vaguely "make sure you follow procedure to the letter and we're not going to bother to tell you what it is" 16:25:12 god, I wish they'd just die already. 16:25:49 and other things that showed the court in question was aware of SCO, like talking about how delaying tactics were unwise 16:26:23 i don't really like novell either tho 16:26:42 I'd like to see SCO vs. IBM get judged 16:26:44 sometime 16:27:05 IBM winning that will be infinitely more amusing than Novell mostly winning 16:27:06 i think I like Red Hat, as far as linux companies go. at least, I haven't heard of them doing bad stuff 16:27:18 especially as SCO's argument in that one was a lot less plausible than their argument against Novell 16:27:21 also, SCO winning against IBM would probably be even funnier, albeit disasterous 16:27:40 I'm not sure I could see the amusement in that, tbh 16:27:44 it would just make no sense 16:28:08 "Hey, we invented Moore's Law and used it to prove that Itanium being unpopular was a conspiracy! Oh, and that means we own Linux, for some reason!" 16:28:19 over-the-top ridiculousness applied to formal beorcracy (I can never spell that word) is always funny 16:28:25 bureaucracy 16:28:37 I could remember buraeu, cracy but thatwould be too logical 16:28:48 what, even that prisoner who went and tried to intervene in SCO vs. Novell 16:28:56 haha what 16:28:57 arguing that SCO's lawyers weren't doing a very good job and he could do better? 16:29:07 hahahahahah 16:29:20 mib_vvzkm4: it seems he's some sort of "artist" who uses comedic lawsuits as a medium 16:29:34 that's great 16:29:40 he's sued an incredibly large number of people, some of whom don't exist 16:29:51 can you sue yourself? 16:29:55 I don't know 16:29:59 i hope so 16:30:00 it would be expensive, so probably not worth it 16:30:04 i want to get money off myself. 16:30:37 yes, but most of it would go to the lawyers 16:45:07 ais523|direct: you can't use a GPL library in a non-GPL program right? 16:45:09 not even gpl-compat 16:45:24 if you do, the resulting combination is GPL 16:45:32 -!- oerjan has joined. 16:45:40 and so you have to distribute the source to your non-GPL program under the GPL 16:45:57 therefore, pretty much locking it into GPL-only distribution terms for any derivatives 16:46:10 you could licence it multilicence BSD/GPL, but nobody will be able to use the BSD half 16:46:43 i hope the gpl dies. 16:46:50 you really don't like it that much? 16:47:26 a wealth of libraries that I can't use because I disagree with how it goes about things, or just because it's not suitable for the certain thing I'm working on? 16:47:35 for no reason other than a stupid political statement by rms? 16:47:43 i'd be very happy if it disappeared. 16:47:50 people licencing libraries under the GPL are more or less deliberately saying "I only want this to be used in GPL programs" 16:48:03 yes, but it's ridiculous 16:48:16 which, btw, is why gcc-bf's runtime libraries won't be licenced under just GPL 16:48:16 a wealth of libraries that I can't use because I disagree with how it goes about things, or just because it's not suitable for the certain thing I'm working on. 16:48:57 you can't use them because you don't want to make your own code GPL, actually 16:49:01 which also makes sense 16:50:39 ais523|direct: I don't want to use the GPL because "I disagree with how it goes about things, or just because it's not suitable for the certain thing I'm working on." 16:51:01 yes 16:51:33 the argument really is that you have someone who doesn't want their libraries to be used in a closed-source way under any circumstances, therefore obviously you can't use them in your program that you do want to be usable like that 16:53:33 ais523|direct: the point is, its viral nature is stopping me using perfectly good open source libraries -- heck, one of them is just a direct transliteration of the sha1 spec to haskell -- that would be absolutely fine non-GPL'd and I'm not even using it commercially, just in a non-GPL program 16:53:37 in summary, the GPL sucks. 16:53:47 no, people have been applying it to the wrong things 16:54:33 either that, or they're people who don't like their work being used in a closed-source program ever 16:54:46 ais523|direct: there is no correct use 16:54:46 although you might not share that attitude, I'm surprised that you seem not to understand it 16:54:53 (I don't really share that attitude either...) 16:55:09 what I mean is, there will always be people who want copyleftness for some reason or otehr 16:55:11 the only thing the GPL's viral nature is useful for is to stop it getting into commercial software 16:55:17 and that's just anti-commercial paranoia 16:55:19 mostly to stop people messing with the licence terms 16:55:38 ais523|direct: for free software, what terms can there be 16:55:51 apart from "you can do anything but you have to include this notice" 16:55:54 mib_vvzkm4: let's say, someone releases a derivative of your software under an ecolicence 16:56:03 and it becomes popular, but you can't use it legally 16:56:04 the only t hing that actually needs viralness 16:56:07 is stopping commercial software using it 16:56:15 i believe this is misguided. 16:56:17 mib_vvzkm4: or stopping people adding extra terms to the licences 16:56:25 put it this way, suppose you release a BSD library 16:56:27 ais523|direct: so what 16:56:33 someone modifies it to make it more useful, and releases the result under GPL 16:56:39 would you be happy with that? 16:56:53 I'd think they're an ass, but I wouldn't try and stop them. 16:57:03 well, yes, you couldn't easily 16:57:10 what if the GPL library became a lot more popular than your original? 16:57:13 I guess I don't see the need to formalize human reasonableness and decency. 16:57:20 ais523|direct: sucks to be me, I guess. 16:57:27 mib_vvzkm4: ok, I think I see your logic 16:57:38 the truth is, most people aren't as trusting of everyone in the world as you are 16:57:49 ais523|direct: It's not about trusting. 16:57:51 They can't do anything to -you-. 16:58:08 Besides, if you don't "trust" people, don't release it as free software 16:58:12 they can cause you to have wasted your time... 16:58:13 what if they modify it 16:58:15 and make it WORSE 16:58:21 and it gets more popular than the original?!!! 16:58:26 then the new version is unlikely to catch on, if it's sufficiently worse 16:58:39 ais523|direct: no, in the kind of broken way that seems better to most people 16:58:44 btu for the people who actually know how it works, is crappy 16:58:52 and leads to problems further along the lines 16:58:53 then arguably it is better 16:58:59 I mean, phpBB is coded awfully 16:59:01 but it's pretty popular 16:59:03 ais523|direct: no, because it leads to serious problems in the end 16:59:04 anyway 16:59:09 we should add a clause to the GPL4 16:59:12 and yes, it is leading to serious problems in the end... 16:59:16 "Derivatives of the software must improve on it." 16:59:27 this will stop bad people from making it worse. 16:59:36 mib_vvzkm4: would you consider releasing software under BSD plus that clause? 16:59:39 somehow, i don't think so 16:59:46 also 16:59:55 users of the software must brush their teeth, and floss 17:00:07 we're ensuring our users stay free and healthy! 17:00:13 actually, I think the main reason the GPL is designed as it is, is to avoid the scenario of someone getting a copy of the software but not be able to tinker with it 17:00:30 RMS was putting himself in the end-user's position, and deciding he was really annoyed with inability to tinker 17:00:37 s/software/a derivative of software/, you mean 17:00:44 well, even the original 17:00:54 d(software)/dx? :o 17:01:00 it's illegal for me to send you unmodified GPL binaries, but not tell you where the source is 17:01:10 that's nothing to do with viral nature 17:01:12 that's OK, imo 17:01:18 but nto for derivatives, really 17:01:19 meh 17:01:28 anyway in which case, ais523|direct -- didn't you say "its the devs choice to not allow it to be used commercially" 17:01:40 I didn't say that exactly 17:01:43 in this case, it's the developer of a derivative's choice to not allow it to be modified 17:02:00 mib_vvzkm4: the problem with derivatives is they have to respect the original author's wishes too 17:02:08 see, if someone founded a business by taking my library, and adding their own top-secret magic juice that makes their product amazing and they sell loads and blah blah blah 17:02:14 to me, not releasing the source is absolutely fine, good on them 17:02:16 I'm perfectly happy with people releasing non-derivative software under a noderivs licence 17:02:30 or derivative software where the original author's happy with that 17:02:32 it's their business, as long as they retain my name in there, that's OK 17:02:43 not everyone shares your attitude, especially if they have a job 17:03:01 effectively, if you write a BSD-licenced library, you're doing other people's work for them 17:03:06 some people are happy with that, some people aren't 17:03:13 yeah. that's called free software/open source. 17:03:14 crazy thing that. 17:03:22 yes 17:03:57 except... in the GPL world, everyone ends up having to give back by the nature of the licence, that makes it more acceptable to some people to GPL in the first place 17:04:08 as in, if you create BSD works, other people could use them and not give anything back 17:04:24 if you create GPL works, other people who modify them have to either keep the modifications to themselves, or give them to everyone 17:04:31 that's fine. if it's their innovation, fine. it's their right to keep it to themselves. 17:04:36 (rather than the usual middle ground of giving them only to paying customers, for instance) 17:04:41 of course, it'd be nicer if they released it, but free software is about freedom, anyway 17:05:01 graue was a big believer in public domain (probably still is), and I see his point too, by the way 17:05:12 I think he still is 17:05:30 and this argument, I think, is all about how much people should have the freedom to limit other people's freedom 17:05:31 I use a real license due to the shaky legal status of PD 17:05:45 I'm considering modifying an existing one to remove the required-notice stuff 17:05:48 Creative Commons have written a ridiculously detailed PDing licence 17:05:49 to be effectively pd 17:05:54 much more PDing than their old one 17:05:54 ais523|direct: it's pd-emulation 17:05:57 yep 17:05:58 it explicitly grants all rights 17:06:04 yes, and one at a time! 17:06:10 :) 17:06:18 "You can brush your teeth with this work." 17:06:22 "You can nkep with this work." 17:06:30 "You can zzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzUIY*Q&Y$* on a sunday morning with this work." 17:06:43 I think there are only a finite number of things that are illegal to do with copyrighted works anyway, and they're each explicitly made legal 17:06:48 after all, the law is only finitely long... 17:07:33 except - it's not necessarily the same in all countries, is it? 17:07:41 no, that's why the licence is so long I think 17:07:48 having to cover all the possibilities 17:07:56 http://hackage.haskell.org/packages/archive/nano-md5/0.1.2/doc/html/Data-Digest-OpenSSL-MD5.html 17:07:56 yay 17:08:05 bsd3 17:08:44 mib_vvzkm4: you are going to put their copyright notice in the materials accompanying the distribution, right? 17:09:06 hmm, isn't that implicit for shared libraries as long as you don't include their source? 17:09:20 i'm not modifying or redistributing it, after all 17:09:23 I think so, assuming the person got the shared library legitimately 17:09:33 then the answer is no :-P 17:09:37 how are you using it and not redistributing it? telling people to get it from hackage themselves? 17:09:41 yep 17:09:44 should work 17:10:01 well, also putting it in the cabal file so that when I put it on hackage it auto-downloads those as dependencies. 17:17:18 ew. someone referring to an operating system as just "GNU". 17:17:43 actually, I consider GNU to be an operating system whose shell is Emacs and for which they still haven't written the kernel 17:17:52 hurd!!!!!!!!111111111 17:18:01 i think the correct name is GNU/Suicide, though. 17:18:14 if you read Stallman's original famous message, he mentioned that he wanted both C and Lisp as system programming languages 17:18:17 yep. 17:18:28 it shows in the awful gnu c code. 17:18:31 I actually think GNU Emacs was intentionally, not just accidentally, designed to be an OS 17:18:49 he wanted a program that could do everything he wanted. 17:18:49 so, yes. 17:18:50 probably Stallman's disappointed that people keep mistaking it for an editor 17:20:06 I wonder if the zippiness I'm experiencing thanks to this here 2.5 GB of RAM is just placebo. 17:20:09 (Answer: probably.) 17:20:20 placebo zippiness is great, though 17:20:24 yep :P 17:20:36 it makes the computer seem just as responsive as real zippiness, but without the hardware costs 17:20:55 well, 2gb of ram only costs like £15 nowadays 17:21:19 ais523|direct: unfortunately, this is placebo zippiness, plus the hardware costs 17:21:20 :P 17:22:01 -!- CakeProphet has joined. 17:22:13 mibbit smilies are ugly 17:22:35 urd 17:22:39 urd 17:22:45 &yes 17:22:51 s/\&/*/ 17:22:53 i thought urd was like oko 17:23:02 no, it's just a common typo of mine 17:23:19 caused by alt-tabbing to an IRC window and trying to type yes before I've got my hands back to the usual position 17:23:58 heh 17:25:11 it could become a new meme I suppose, but oko has more power 17:25:14 and an obvious response 17:26:50 (incidentally, the same doesn't happen with "no", because that's typed with the right hand) 17:30:09 proto: vim merges with emacs 17:30:25 well, I suppose it might happen 17:30:35 but you'd probably just end up with some sort of reverse viper 17:30:39 -!- CakeProphet has quit ("lol"). 17:30:43 * ais523|direct tries to imagine vim with emacs keybindings 17:31:05 I wonder if there's ever been an #esoteric meetup. 17:31:13 that would be scary 17:31:21 -!- CakeProphet has joined. 17:31:27 scary awesome 17:31:57 :) 17:32:22 impractical due to the huge variety of countries and continents that esotericers are in 17:32:31 err, ofc I meant country-local 17:32:47 but I don't think there are more than 3 or 4 people from any one country here 17:33:07 how many englishmen here... me, you, SimonRC... anyone else? 17:33:51 English or British? 17:35:51 ais523|direct: either I guess. 17:37:42 ais523|direct: wat 17:37:53 mib_vvzkm4: I CTCP TIMEd the whole of #esoteric 17:37:59 heh 17:38:02 to narrow down nationalities based on timezones 17:38:28 only two people responded in UTC+0, neither of them were either of us 17:38:44 there's lots of UTC+1 and UTC+2 though 17:38:44 huh 17:38:51 boo! 17:38:58 mib_vvzkm4: well, Mibbit doesn't resopnd to ctcp time, I think 17:39:01 -!- CakeProphet has quit ("lol"). 17:39:02 and hi oerjan 17:39:19 and my global ctcp doesn't hit myself 17:39:34 an #esoteric meetup would probably culminate in two things 17:39:40 the most horrifying programming language ever, and 17:39:43 the most horrifying program ever 17:39:45 2) gay sex 17:39:49 Oh. 17:39:52 i'm not sure that would happen. 17:40:03 * oerjan swats Slereah in a gentle, caring way -----### 17:40:10 * ais523|direct ducks 17:40:15 oerjan: get a room 17:40:17 wouldn't want you to swat me by mistake... 17:40:27 indeed 17:41:07 -!- bsmntbombgirl has quit (Read error: 113 (No route to host)). 17:41:57 -!- bsmntbombgirl has joined. 17:47:19 hm. 17:52:16 -!- bsmntbombgirl has changed nick to bsmntbombdood. 17:54:05 bsmntbombdood: what is going on with your nick? I'm getting disturbed 17:54:19 ais523|direct: numerous sex changes, apparently. 17:54:30 DON"T JUDGE ME 18:01:09 . 18:01:19 ` 18:03:14 . 18:03:26 ` 18:05:54 , 18:05:59 ` 18:06:07 , 18:06:15 ` 18:09:52 o 18:09:59 oko 18:12:17 -!- Asztal has joined. 18:26:52 hmm, I dislike IRC. 18:26:58 Who wants to build the ultimate chat protocol with me? 18:27:03 It'll have lasers. And kittens. 18:27:04 I rather like IRC 18:27:12 ais523|direct: Multiple kittens. 18:27:27 I have already has one unfulfilled promise of kittens this year 18:27:30 *had 18:27:33 which? 18:27:36 you really expect me to fall for another? 18:27:40 and it was in RL, not online 18:27:45 hah 18:27:52 ais523|direct: well, these are kittens, with, lasers 18:27:56 so, the lasers make them more real. 18:30:16 why would a chat system need that, though? 18:30:42 ais523|direct: popularity. 18:30:48 also, this system could replace email too. 18:30:52 I think I'll stick to IRC 18:30:57 kindainstantchatkittenlaser 18:34:47 i think kittens with lasers may have harmful effects on your mice. 18:34:55 what do you dislike about IRC? 18:35:01 I'm not using a mouse atm 18:35:07 as in, right now, although I have one I have nowhere to put it 18:35:38 Asztal: not enough kittens 18:35:46 hm actually i'm using a pad myself 18:36:23 there are cat bots, and fish bots 18:36:31 we just need a kitten bot 18:36:44 I miss fishbot :( 18:37:12 there was a fishbot? 18:37:20 on quakenet, there was. 18:37:25 [[I submit a consultation. "Any person is, durign any voting period allowed to abstain from voting for that voting period." ]] 18:37:31 NO. It's in the secret rule. 18:37:43 what did fishbot do? 18:38:43 It m00ed 18:39:33 it's generally pretty useless, but is usually in hundreds (thousands?) of channels 18:43:35 http://web.archive.org/web/20080129154023/www.telkman.co.uk/f/commands.php 18:47:33 i'd have thought that would be more a cowbot's thing 18:49:34 "Any sentence with vinegar and aftershock in it" 18:50:16 -!- mib_vvzkm4 has quit ("http://www.mibbit.com ajax IRC Client"). 18:50:18 no 18:50:35 -!- mib_ewzho7 has joined. 18:53:24 hmm 18:53:27 what should I implement... 18:53:36 how about iota 18:54:22 could be interesting 18:54:32 ... but not this awful one: http://www.cl.cam.ac.uk/~gmb13/Iota/ 18:54:34 probably easier than Unlambda 18:55:30 wait, first-class XML? 18:56:00 that's sort of the non-eso branch of bad language design, IMO 18:57:58 Done. 18:58:09 http://pastie.org/private/ftvs4xhdakpj8qdw0eya 18:58:21 In Ruby, which is odd for me recently. 18:58:34 I was trying to figure out what lang that was 18:58:38 and guessed Ruby just before you told me 18:58:42 heh 18:58:50 the { |x| ... } was a giveaway 18:58:58 is Ruby whitespace-sensitive, by the way? 18:59:02 no 18:59:07 well, yes 18:59:09 you can't do 18:59:14 ah, thus the "end" keywords 18:59:14 defx2end 18:59:20 and I meant as in Python 18:59:24 but it doesn't use indentation for structure 18:59:24 I should have said indentation-sensitive 18:59:43 the ends can get a bit ugly if you have very-nested structures 18:59:49 the solution is to not have them 18:59:52 (split them up) 18:59:56 because they don't stack as well as ))))) or }}} 19:00:00 yes 19:00:05 ais523|direct: incidentally, 19:00:19 k = proc do |x| proc do |y| x end end 19:00:22 would have worked too 19:00:27 for blocks, do = { and end = } 19:00:28 * ais523|direct suddenly realises that there's hardly any, if any, [[[ or ]]] in gcc-bf 19:00:37 for that matter, there's not a whole lot of [[ or ]] 19:00:46 well, [[ ... ]] is just [ ... ] ... 19:00:52 I know 19:00:55 :P 19:01:00 but I mean [[ ... ] ... ] is something I use from time to time 19:01:11 but [ ... [ ... ]], or anything with [[[ or ]]], is really rare 19:01:16 yeah 19:01:23 hmm, I'm liking Ruby again 19:01:43 the longest patterned bits of code are the [-[-[-[-[-[-[-[-[-[-...s at the start of the switch statements 19:02:05 and of course the 300,000+ consecutive >s, but if you're sane you leave those run-length-encoded, as they come up quite a lot 19:05:07 theory: any #esoteric meetup will inevitably culminate in making a clone of the LHC that actually works and destroys the world 19:05:11 written in brainfuck 19:05:14 and subleq 19:05:28 the LHC isn't designed to destroy the world! 19:05:28 and made entirely out of tape. 19:05:32 so world destruction != actually working 19:05:41 ais523|direct: it is. 19:05:42 secretly. 19:06:18 mib_ewzho7: we don't have the resources to make a collider 19:06:36 we _might_ be able to make an evil AI, though 19:06:52 hm wait 19:07:01 oerjan: no we do 19:07:04 it's all in the specific brand of tape 19:07:04 we make an evil AI which then builds the collider 19:07:09 yeah 19:07:11 that's what i was about to say 19:08:04 hey, that's brilliant! 19:08:12 for all this time, I was lamenting the lack of any truly evil genii 19:08:26 because nobody is that maniacally insanely evil in practice 19:08:35 but of course, an AI could be programmed to be evil, avoiding the problem 19:08:48 y6666665yty7u77uyyyyyyyyyyyyyyyyyyy767yyyyy6 19:08:57 sorry, hair on my keyboard, I was trying to get rid of it 19:09:00 er*(&!(*&18y227222222222222LOST CARRIER 19:12:24 ais523|direct: it's all right we won't disrespect you just because you have spasms 19:12:36 not much, anyhow 19:12:58 oh, it's my habit recently of pressing enter to clear a line, especially on IRC, to make an interesting topic of conversation 19:14:17 aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa 19:14:19 discuss! 19:14:30 aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa 19:14:53 a brute force argument if i ever saw one 19:15:06 A aaaa aa aaaaa aaaaaaaaa aaaa a aaaaaaa aaaaaa aaaa aaaaaa aaa aaaa aaaa a'a aaaaaaa aaaaa. 19:15:32 ah. 19:16:06 inserting in a priority queue is O(log n) right? 19:16:25 how are LRU caches implemented? 19:17:09 for the right implementation i think so 19:19:10 hmm 19:19:20 someone name a few sequences that 42 is in 19:19:23 well-known I maen 19:19:25 *mean 19:19:30 the natural numbers 19:19:38 -.- 19:19:50 the even numbers 19:19:57 I think whitespace between a function and the opening parenthesis for the arguments used to raise a warning that things might change 19:20:01 oops 19:20:12 I'm in the past 19:20:13 the non-prime numbers 19:20:22 the imperfect numbers 19:21:11 Catalan numbers 19:21:15 ooh 19:21:21 I cheated 19:21:47 lol 19:21:59 http://www.research.att.com/~njas/sequences/?q=42&go=Search :) 19:22:01 the set of numbers which are the product of two consecutive integers in two ways 19:27:02 um it's always two ways or none, i think 19:34:19 hmm the [[priority queue]] says that inserting AND removing are O(log n) 19:34:26 maybe in your silly commutative algebrae 19:34:26 shouldn't one be constant and the other be log 19:35:22 making overall time for sorting O(n log n) 19:36:18 it's n log n both ways round 19:36:26 because O(2n log n) = O(n log n) 19:36:30 "If a self-balancing binary search tree is used, all three operations take O(log n) time" 19:36:59 "Fibonacci heaps can insert elements, peek at the maximum priority element, and increase an element's priority in amortized constant time (deletions are still O(log n))." 19:37:10 it really depends on which implementation you use 19:37:23 oh i must have missed that 19:38:25 oh i cut off the first too soon 19:38:34 interesting to peak but not delete in constant time 19:38:38 "The binary heap uses O(log n) time for both operations, but allows peeking at the element of highest priority without removing it in constant time." 19:38:58 um wait 19:39:15 * oerjan confuses himself, all three pastes were right 20:02:24 -!- mib_ewzho7 has quit (kornbluth.freenode.net irc.freenode.net). 20:02:24 -!- Asztal has quit (kornbluth.freenode.net irc.freenode.net). 20:02:26 -!- Slereah has quit (kornbluth.freenode.net irc.freenode.net). 20:02:27 -!- sebbu has quit (kornbluth.freenode.net irc.freenode.net). 20:02:28 -!- rodgort has quit (kornbluth.freenode.net irc.freenode.net). 20:02:28 -!- decipher has quit (kornbluth.freenode.net irc.freenode.net). 20:02:29 -!- Badger has quit (kornbluth.freenode.net irc.freenode.net). 20:02:29 -!- AnMaster has quit (kornbluth.freenode.net irc.freenode.net). 20:02:30 -!- ais523|direct has quit (kornbluth.freenode.net irc.freenode.net). 20:02:33 -!- lament has quit (kornbluth.freenode.net irc.freenode.net). 20:02:33 -!- lifthrasiir has quit (kornbluth.freenode.net irc.freenode.net). 20:02:33 -!- SimonRC has quit (kornbluth.freenode.net irc.freenode.net). 20:02:33 -!- Ilari has quit (kornbluth.freenode.net irc.freenode.net). 20:02:34 -!- mtve has quit (kornbluth.freenode.net irc.freenode.net). 20:09:41 -!- SimonRC has joined. 20:09:41 -!- sebbu has joined. 20:09:41 -!- Slereah has joined. 20:09:41 -!- ais523|direct has joined. 20:09:41 -!- mib_ewzho7 has joined. 20:09:41 -!- Asztal has joined. 20:09:41 -!- Badger has joined. 20:09:41 -!- lifthrasiir has joined. 20:09:41 -!- AnMaster has joined. 20:09:41 -!- rodgort has joined. 20:09:41 -!- decipher has joined. 20:09:41 -!- Ilari has joined. 20:09:41 -!- lament has joined. 20:09:41 -!- mtve has joined. 20:09:55 -!- Corun has quit ("Leaving"). 20:10:29 -!- SimonRC has quit (Remote closed the connection). 20:10:33 -!- SimonRC has joined. 20:17:43 a 20:17:59 don't you dare try to start another game of that 20:18:02 e 20:18:03 a 20:18:07 f 20:18:09 I'm in no mood for being thrashed yet again, given that it's Christmas 20:18:15 ]+ 20:28:45 -!- oerjan has quit ("Break"). 20:33:45 -!- Judofyr has quit (Read error: 110 (Connection timed out)). 20:35:40 -!- Sgeo has joined. 20:47:33 hm 20:47:35 this is strange 20:47:53 a weird wave-like pattern in the build output when building openssl on freebsd 20:47:56 http://omploader.org/vMTF3NA 20:48:00 a conspiracy maybe ;P 20:48:10 (actually it looks quite cool) 20:51:28 -!- Asztal has quit (Read error: 110 (Connection timed out)). 21:05:21 -!- fizzie has joined. 21:06:26 -!- psygnisf_ has quit (Read error: 54 (Connection reset by peer)). 21:28:33 -!- GreaseMonkey has joined. 22:16:12 back 22:16:44 AnMaster: that's nice 22:16:55 heh 22:17:11 this system is wow so much faster with the extra 1.5 GB of ram 22:28:21 * Sgeo has a grand total of 512MB ram 22:28:50 Sgeo: Hi 2002 22:28:59 lol 22:29:08 Did I ever mention what graphics card I have? 22:29:09 You look crappy there! 22:29:41 nVidia RIVA TNT2 22:30:28 hahahahahah 22:31:42 They laughed when I told them my computer's specs, but who's laughing now?!?!?!? 22:32:03 They, still. 22:32:03 Me. 22:32:36 Yeah, well, I still want to sound mad 22:32:45 hey fizzie, how do you feel about fungot getting competition in the babbler, random, schizophrenic, crazy bot with tons of stupid features market 22:32:46 mib_ewzho7: the valid judgements for this, if 22:47:04 As long as I have monopoly in the lucrative "Befunge IRC-bots" market; licenses for those are what's keeping me fed! 22:47:21 fizzie: how many have you sold? 22:47:49 ais523|direct: That's confidential information, but I can say that the number has a zero imaginary part. 22:48:05 good to know they're all real licences 22:48:57 (that was advertising for botte btw) 22:54:54 -!- Corun has joined. 22:56:47 -!- GreaseMonkey has quit ("You only need one wheel. Bikers are just greedy."). 23:48:13 -!- ais523|direct has quit. 23:48:44 -!- mib_ewzho7 has quit ("http://www.mibbit.com ajax IRC Client"). 23:58:56 -!- Asztal has joined.