00:02:16 -!- faxathisia has joined. 00:12:59 -!- puzzlet has quit (Remote closed the connection). 00:13:01 -!- puzzlet_ has joined. 00:13:30 PumPum Peidei 00:34:05 -!- chs_dude has joined. 00:34:53 Please say "Hello, World!" 00:35:00 -!- chs_dude has left (?). 00:45:16 is that some kind of PL? 00:48:20 internet relay programming? 00:56:12 -!- puzzlet has joined. 00:56:40 -!- Groniel has left (?). 01:06:24 -!- puzzlet_ has quit (Read error: 110 (Connection timed out)). 01:24:37 -!- Corun has changed nick to Raws. 01:25:53 -!- Raws has changed nick to Corun. 01:32:49 -!- oerjan has quit ("Good night"). 03:32:55 -!- puzzlet has quit (Remote closed the connection). 03:32:56 -!- puzzlet_ has joined. 03:33:05 -!- Corun has quit (Read error: 110 (Connection timed out)). 03:49:45 -!- xipietotec has joined. 03:51:01 Can someone reverse my phrase output? 03:51:19 -!- Corun has joined. 03:53:03 -!- slereah_ has joined. 03:57:01 -!- slereah__ has quit (Read error: 104 (Connection reset by peer)). 04:00:20 -!- slereah__ has joined. 04:17:52 -!- Corun has quit ("This computer has gone to sleep"). 04:28:18 -!- GreaseMonkey has quit (Read error: 110 (Connection timed out)). 04:28:50 -!- GreaseMonkey has joined. 04:31:08 -!- slereah_ has quit (Read error: 110 (Connection timed out)). 05:14:16 -!- cherez has quit (Read error: 104 (Connection reset by peer)). 05:15:25 -!- cherez has joined. 06:07:44 -!- calamari has quit (Remote closed the connection). 06:53:43 -!- xipietotec has quit (Read error: 104 (Connection reset by peer)). 07:18:37 -!- puzzlet_ has quit (Remote closed the connection). 07:18:41 -!- puzzlet has joined. 07:23:11 -!- tejeez has quit (calvino.freenode.net irc.freenode.net). 07:35:49 -!- oklopol has quit (Read error: 110 (Connection timed out)). 07:38:33 -!- slereah_ has joined. 07:46:47 -!- oklopol has joined. 07:48:18 -!- Slereah has joined. 07:53:49 -!- slereah__ has quit (Read error: 110 (Connection timed out)). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:00:39 -!- slereah_ has quit (Read error: 110 (Connection timed out)). 08:26:05 -!- tejeez has joined. 09:25:12 -!- GreaseMonkey has quit ("Hi Im a qit msg virus. Pls rplce ur old qit msg wit tis 1 & hlp me tk ovr th wrld of IRC. and dlte ur files. thx."). 11:11:40 http://rendell-attic.org/gol/turing_js_r.gif 11:11:41 <3 11:54:47 -!- oerjan has joined. 12:05:03 -!- Asztal has joined. 12:06:17 -!- Corun has joined. 12:09:41 -!- Corun has quit (Client Quit). 12:27:32 -!- graue has quit (calvino.freenode.net irc.freenode.net). 12:27:34 -!- Slereah has quit (calvino.freenode.net irc.freenode.net). 12:27:36 -!- lament has quit (calvino.freenode.net irc.freenode.net). 12:27:36 -!- faxathisia has quit (calvino.freenode.net irc.freenode.net). 12:27:36 -!- ttm_ has quit (calvino.freenode.net irc.freenode.net). 12:27:38 -!- RodgerTheGreat has quit (calvino.freenode.net irc.freenode.net). 12:27:39 -!- puzzlet has quit (calvino.freenode.net irc.freenode.net). 12:27:43 -!- sekhmet has quit (calvino.freenode.net irc.freenode.net). 12:27:43 -!- Asztal has quit (calvino.freenode.net irc.freenode.net). 12:27:43 -!- oklopol has quit (calvino.freenode.net irc.freenode.net). 12:27:44 -!- bsmntbombdood has quit (calvino.freenode.net irc.freenode.net). 12:27:44 -!- GregorR has quit (calvino.freenode.net irc.freenode.net). 12:27:44 -!- AnMaster has quit (calvino.freenode.net irc.freenode.net). 12:27:46 -!- Overand has quit (calvino.freenode.net irc.freenode.net). 12:27:46 -!- SimonRC has quit (calvino.freenode.net irc.freenode.net). 12:27:46 -!- lifthrasiir has quit (calvino.freenode.net irc.freenode.net). 12:27:47 -!- cmeme has quit (calvino.freenode.net irc.freenode.net). 12:27:47 -!- johnl has quit (calvino.freenode.net irc.freenode.net). 12:27:47 -!- mtve has quit (calvino.freenode.net irc.freenode.net). 12:29:13 -!- johnl has joined. 12:30:02 -!- cmeme has joined. 12:55:45 -!- faxathisia has joined. 12:55:45 -!- ttm_ has joined. 12:56:23 -!- SimonRC has joined. 12:56:23 -!- RodgerTheGreat has joined. 12:56:24 -!- Asztal has joined. 12:56:24 -!- oklopol has joined. 12:56:24 -!- bsmntbombdood has joined. 12:56:24 -!- GregorR has joined. 12:56:24 -!- AnMaster has joined. 12:56:24 -!- Overand has joined. 12:56:39 -!- lifthrasiir has joined. 12:56:39 -!- Slereah has joined. 12:56:39 -!- lament has joined. 12:56:51 -!- puzzlet has joined. 12:56:51 -!- sekhmet has joined. 12:57:13 -!- graue has joined. 13:22:59 -!- lament has quit (calvino.freenode.net irc.freenode.net). 13:22:59 -!- Slereah has quit (calvino.freenode.net irc.freenode.net). 13:22:59 -!- lifthrasiir has quit (calvino.freenode.net irc.freenode.net). 13:23:01 -!- Asztal has quit (calvino.freenode.net irc.freenode.net). 13:23:02 -!- GregorR has quit (calvino.freenode.net irc.freenode.net). 13:23:02 -!- Overand has quit (calvino.freenode.net irc.freenode.net). 13:23:03 -!- AnMaster has quit (calvino.freenode.net irc.freenode.net). 13:23:04 -!- bsmntbombdood has quit (calvino.freenode.net irc.freenode.net). 13:23:04 -!- oklopol has quit (calvino.freenode.net irc.freenode.net). 13:23:06 -!- RodgerTheGreat has quit (calvino.freenode.net irc.freenode.net). 13:23:06 -!- SimonRC has quit (calvino.freenode.net irc.freenode.net). 13:23:08 -!- sekhmet has quit (calvino.freenode.net irc.freenode.net). 13:23:09 -!- puzzlet has quit (calvino.freenode.net irc.freenode.net). 13:23:10 -!- ttm_ has quit (calvino.freenode.net irc.freenode.net). 13:23:10 -!- faxathisia has quit (calvino.freenode.net irc.freenode.net). 13:23:12 -!- graue has quit (calvino.freenode.net irc.freenode.net). 13:23:42 -!- graue has joined. 13:23:42 -!- sekhmet has joined. 13:23:42 -!- puzzlet has joined. 13:23:42 -!- lament has joined. 13:23:42 -!- Slereah has joined. 13:23:42 -!- lifthrasiir has joined. 13:23:42 -!- Overand has joined. 13:23:42 -!- AnMaster has joined. 13:23:42 -!- GregorR has joined. 13:23:42 -!- bsmntbombdood has joined. 13:23:42 -!- oklopol has joined. 13:23:42 -!- Asztal has joined. 13:23:42 -!- ttm_ has joined. 13:23:42 -!- faxathisia has joined. 13:24:43 -!- SimonRC has joined. 13:24:43 -!- RodgerTheGreat has joined. 13:24:56 -!- ttm_ has quit (calvino.freenode.net irc.freenode.net). 13:24:56 -!- faxathisia has quit (calvino.freenode.net irc.freenode.net). 13:24:58 -!- sekhmet has quit (calvino.freenode.net irc.freenode.net). 13:24:59 -!- puzzlet has quit (calvino.freenode.net irc.freenode.net). 13:25:01 -!- Asztal has quit (calvino.freenode.net irc.freenode.net). 13:25:02 -!- bsmntbombdood has quit (calvino.freenode.net irc.freenode.net). 13:25:02 -!- oklopol has quit (calvino.freenode.net irc.freenode.net). 13:25:02 -!- Overand has quit (calvino.freenode.net irc.freenode.net). 13:25:03 -!- AnMaster has quit (calvino.freenode.net irc.freenode.net). 13:25:03 -!- GregorR has quit (calvino.freenode.net irc.freenode.net). 13:25:08 -!- faxathisia has joined. 13:25:08 -!- ttm_ has joined. 13:25:25 -!- puzzlet has joined. 13:25:25 -!- sekhmet has joined. 13:25:45 -!- Asztal has joined. 13:25:45 -!- oklopol has joined. 13:25:45 -!- bsmntbombdood has joined. 13:25:45 -!- GregorR has joined. 13:25:45 -!- AnMaster has joined. 13:25:45 -!- Overand has joined. 13:33:01 -!- ais523 has joined. 13:39:40 -!- faxathisia has quit ("If there are any aliens, time travellers or espers here, come join me!"). 13:52:51 I found this, rather interesting: gopher://blubb.ch/11/software/fbf 13:53:00 functional brainfuck 13:53:56 physics which states that it is 13:53:56 physically impossible to detect a particle without affecting it in 13:53:56 some way. 13:53:58 (wow, people still uses gopher: ?) 13:54:08 Woops 13:54:11 Asztal, yes? 13:54:15 Copypasta by mistakes it seems 13:57:49 wow, I'm glad that gopher: is still alive 13:58:38 but that looks like a procedural language, not a functional one 14:22:13 -!- mtve has joined. 14:27:51 -!- oerjan has quit ("Redirecting snail mail"). 14:44:26 -!- Tritonio_ has joined. 14:51:40 -!- Slereah has quit (Read error: 104 (Connection reset by peer)). 14:52:17 -!- Slereah has joined. 15:04:44 -!- adu has joined. 15:13:12 -!- Tritonio__ has joined. 15:14:09 -!- Tritonio_ has quit (Read error: 110 (Connection timed out)). 15:18:17 argh. Could somebody explain how to access a gopher file via telnet? I got as far as connecting on port 70. 15:19:52 wait, I think I figured this out... 15:23:59 and here's a pastebin of the FBF source, if anyone is curious and doesn't have a gopher client 15:24:01 http://nonlogic.org/dump/text/1200928851.html 15:28:27 Firefox seems to be able to handle gopher: just fine 15:29:00 in retrospect, it probably would've been easier to open the page on my linux machine 15:40:54 Everyone with Firefox can do Gopher. ;) 15:41:38 I don't use firefox on my mac, for obvious reasons 15:41:58 but as I said, it would've been easier just to use my linux box 15:42:05 -!- ehird` has joined. 15:43:24 Yeah, Firefox on the Mac is crap. 15:49:52 yes it is 15:49:53 highly 15:50:07 and safari is awesome enough anyway, at least with saft etc 15:50:12 haven't tried safari 3 though 15:50:15 i like the brushed metal :P 15:50:21 safari 3 is nifty 15:50:30 it's a pretty transparent upgrade, though 15:51:03 but I wouldn't have it any other way 15:51:09 I'm a Linux fan. 15:51:14 So, I'm waiting on KDE 4.1. 15:51:37 -!- ais523 has quit ("Konversation terminated!"). 15:51:42 Granted, I could *use* KDE 4.0 (had it installed a couple of days ago), but it's still a fairly rough release. 15:51:52 and I'm a mac user, so I'm going to continue to endure incredibly half-assed ports of linux software whenever I don't feel like spending money. 15:52:12 KDE is going to make the ports less half-assed. 15:52:26 Currently, all KDE programs run as native Cocoa apps. 15:52:49 (will be officially supported with KDE 4.1) 15:52:52 the "native" GTK port seems like it has more promise, but it isn't anywhere close to being usable. 15:54:30 * pikhq tries to find screenshots 15:54:56 I really don't think simply having native GUI toolkits is going to solve the main problems, though- so many of the reasons linux ports suck are because they don't follow interface conventions properly (meaning Apple HIG) 15:55:38 "The user interface features, behaviors, and appearances deliver a well-organized and cohesive user experience available to all applications developed for Mac OS X." 15:55:49 That's the reason they don't officially support KDE on Mac OS X yet. 15:55:55 RodgerTheGreat: the best kind of app is a Qt app developed on OS X 15:56:15 it'll be one of the best-designed apps on linux and windows, and fit right into os x 15:56:16 :P 15:56:21 the best kind of app is an app with the frontend rewritten from scratch for OSX. 15:56:27 pikhq: I tried to compile KDE3 with Qt-mac before 15:56:32 to get Amarok 15:56:36 for example, VLC. 15:56:39 too many patches though 15:56:46 the OSX port of VLC is absolutely fantastic 15:56:50 someone else got it working though 15:57:21 I couldn't believe it when I saw VLC running on windows- it's actually missing many features from the OSX version 15:57:47 I can understand complaining about GTK ports. . . 15:57:58 Frankly, GTK is not designed with cross-platform operation in mind. 15:58:02 Inkscape causes me pain every time I use it. 15:58:41 -!- ehird`_ has joined. 15:58:57 Should you want to *try* the KDE ports, you can hit http://techbase.kde.org/index.php?title=Projects/KDE_on_Mac_OS_X . 15:59:08 ehm 15:59:18 Torrent the .dmg if you care. 15:59:20 what was the last thing you heard from me 15:59:28 -!- ehird`_ has changed nick to ehird. 15:59:31 "someone else got it working though" 15:59:32 see above 15:59:39 good that's the last thing i said 16:00:02 but honestly, I don't think anyone has any business "porting" an app to OSX without reading through this: http://developer.apple.com/documentation/UserExperience/Conceptual/OSXHIGuidelines/XHIGIntro/chapter_1_section_1.html 16:00:41 RodgerTheGreat: you can get off your os x high horse 16:00:52 the apps work, don't they? the system as a whole is more elegant and usable than others, no? 16:01:04 so use the non-OSXy port until a more OSXy one is made. 16:05:46 -!- timotiis has joined. 16:06:06 -!- ais523 has joined. 16:08:07 hello ais523 16:08:15 hello ehird 16:08:22 and I am on my own computer now 16:08:26 ais523: thank gawd 16:08:29 :P 16:08:33 and kill your ghost, it's screwing up my tab-complete 16:08:37 oh 16:08:37 sorry 16:08:43 -!- ehird` has quit (Nick collision from services.). 16:09:02 anyway, i had an idea for an underload compiler but it would be kinda slow 16:09:09 err 16:09:10 UNLAMBDA 16:09:20 well, you could always compile via Underload 16:09:26 and on a semi-unrelated note, it would appear that NBC is now Apple's bitch: 16:09:28 ""'We've said all along that we admire Apple, that we want to be in business with Apple.' He then unexpectedly adds, 'We're great fans of Steve Jobs.' No telling what has caused the turnabout. Perhaps the writers strike gave both parties time to reflect on their mounting lost revenue."" 16:09:33 yes, but: 16:09:37 I figured out how to compile everything except c. 16:09:43 ais523: a way to make d work 16:09:48 I have one of those already 16:09:49 basically 16:09:54 every argument to EVERYTHING is a thunk 16:10:06 i.e. you pass a goto ID, just like the underload compiler.. 16:10:07 so: 16:10:08 `ab 16:10:09 is: 16:10:13 ...compiled stuff for a... 16:10:19 CALLIFY(thunky_thunk); 16:10:21 thunky_thunk: 16:10:25 ...compiled stuff for b... 16:10:37 so, d works just by wrapping that thunk in a structure 16:10:43 but ofc it could be slow. 16:10:52 also obviously you need to manage your own call stack, for c 16:10:57 that's basically how the Underload version works 16:11:03 itslow though. 16:11:07 which I wrote completely and then deleted by mistake 16:11:16 but could rewrite without too much trouble 16:11:30 instead of writing s as s, it's written as ((^s)) 16:11:45 `ab is ((^b))(^a))^^ 16:12:01 and `a`bc is (((^c))((^b))^^)((^a))^^ 16:12:14 exactly, it will just be very inefficient 16:12:14 d is the only combinator that doesn't start with ^ to evaluate its argument 16:12:24 but it can be optimised by quite a lot 16:12:29 Of course, if we compiled to haskell this would be trivial :) 16:12:38 you wouldn't have to do anything but: 16:12:45 d x = x 16:12:47 :P 16:13:05 forcing eager evaluation would be the problem there 16:13:17 and then not-forcing again when d was used 16:14:22 ais523: hm yes unlambda is eager 16:14:23 oh well 16:14:32 maybe we should concentrate on the underload compiler. for now. 16:14:37 ais523: do you have rev. 18? 16:15:54 yes 16:16:20 ais523: do you grok haskell? :-) 16:16:32 I can understand it, with some thought 16:16:36 I'm not fast at reading it 16:16:45 and I understand the basics behind the way it works 16:16:52 including monads and the basics of the type system 16:17:03 can you write it, though? 16:17:08 not easily 16:17:17 because I don't know most of the built in operators and libraries 16:18:47 aw 16:18:54 well let me analyze my scheme program 16:19:26 ais523: i'll use an awful lot of pattern matching, quite a bit of string concatentation, and maybe a state monad 16:19:27 :p 16:19:40 pattern matching I'm used to 16:19:43 in most languages 16:22:43 ais523: hm, maybe haskell isn't the best 16:22:49 but this would be ugly in an imperative language 16:22:54 especially with optimization 16:23:58 ais523: Obviously it should be written in underload 16:25:31 ais523: :P 16:26:42 or maybe in GolfScript? 16:26:47 heh 16:26:50 that's sort of a wimpmode for Underload 16:29:51 ais523: parsing underload is funny 16:29:58 because of having to retain strings of everything 16:29:58 :P 16:35:25 I want to change the output rules for the next version 16:35:30 they interfere too much with optimisers 16:35:39 aww 16:35:41 but it's fun.. 16:35:51 because it's hard to optimise a string when you don't know if it might have to be output literally 16:36:09 ais523: anyway, the optimization will be easy: we never remove ()s or anything like that, and we only change the [UL] not the String 16:36:54 yes, in your case 16:37:08 I was thinking of my optimising interpreter entered into Anarchy Golf 16:37:22 which does optimise inside strings, luckily not affecting the output of the problem 16:39:09 http://golf.shinh.org/p.rb?Minimal+scheme+interpreter 16:39:09 wtf 16:39:17 they are all cheats, obviously 16:39:24 they'd ghave to be 16:39:25 my example is wrong 16:41:26 unless they automatically correct mismatched parens 16:42:04 a few of the Underload ones look genuine, though 16:42:46 they can't correct mismatched parens 16:42:50 the form is like this: 16:42:57 (let ((a b) ...) 16:43:18 oh dear 16:44:11 why is there no special variable in Perl that's 1 by default, read-write, and safely changeable? 16:44:27 because it's not that esoteric 16:44:47 in GolfScript I could just assign to 1 as long as I didn't use it later in the program 16:47:58 ais523: parsing underload is hsdfhsdkjhsdfjksdf 16:49:39 -!- slereah_ has joined. 16:50:15 -!- Slereah has quit (Read error: 104 (Connection reset by peer)). 16:54:57 -!- ais523 has quit ("Moving to a different Internet connection; will be back soon"). 16:59:20 -!- slereah_ has quit (Remote closed the connection). 17:00:42 -!- slereah_ has joined. 17:05:54 -!- ais523 has joined. 17:06:18 wb ais523 17:06:32 i'm starting to wonder if haskell is the best language for this :P 17:06:44 it's not usually at all clear what the best language is 17:06:53 and different people use different languages by default 17:07:50 :P 17:08:09 ais523: what would your preferred language be for impl the compiler? 17:08:27 I tend to use Perl by default 17:08:34 but I'm not sure whether it would be a good choice here 17:08:46 I'd most likely end up writing the whole thing as one massive regexp... 17:08:58 BTW, Perl5.10 has recursive regexps, which is great 17:09:12 ais523: that does not bode well for optimization 17:09:18 also, we have to do () unrolling 17:09:47 agreed 17:10:06 C parsers do that sort of thing naturally, but on the other hand they tend to be large and unwieldy to start with 17:10:42 yeah i am NOT doing c 17:10:43 :P 17:11:01 maybe one solution in any language would be to repeatedly extract inner ()s to the end of the list, replacing them with a number 17:11:09 so (a(b(c)d(e)f)) 17:11:25 would change to (a(b<1>d(e)f))>1(c) 17:11:27 i'm ofc aware how to do it 17:11:33 just elegance. 17:11:43 that solution would be easy with regexen 17:12:22 grr... why doesn't Perl allow @_--? 17:12:22 but for the optimization 17:12:26 it has an obvious meaning 17:12:27 so i don't think perl is a good idea 17:12:33 what sort of optimisations are you talking about? 17:13:36 things that make the generated c code less dumb 17:13:36 regexen? :D is that the official plural? 17:13:48 i've used that, but most say regexes 17:13:53 the Underload optimisations I did were a case of partially parsing the program, executing all operations but : and S, and even inside quoted strings 17:13:53 and also some micro-optimisations like :~ to : and deleting ~~ 17:13:54 depends on who you ask 17:14:09 to me, regexes sounds too much like the plural of regexe 17:14:16 I'm happy with regexps, though 17:17:33 wow 17:17:36 i used to have crazy zsh-fu: 17:17:37 precmd() { print -Pn "\e]0;%n@%m:%~\a" } 17:17:37 export PS1=$(print "%{\e[33m%}")"[%n:%~] %#"$(print "%{\e[0m%}")" " 17:18:15 * ais523 normally uses bash 17:18:25 although zsh looks interesting as well 17:18:43 that's mostly just ANSI escapes, though, isn't it, rather than anything shell-specific? 17:18:52 partly 17:18:59 most of: 17:19:01 %X 17:19:04 is zsh specific 17:19:16 and ESPECIALLY the crazy stuff i do with $(...) in there 17:19:47 $(...) is also accepted by bash 17:19:52 ais523: here's what happens when i run that export PS1= line in bash 17:19:53 bash: print: command not found 17:19:53 bash: print: command not found 17:19:53 [%n:%~] %# 17:19:54 it might do something different, though, for all I know 17:19:58 and no colours 17:20:03 ais523: its use there is zsh-specific 17:20:15 basically, the fisrt line gives me a line like: 17:20:20 ehird@hostname:dir 17:20:26 but i get ~/... for home dirs 17:20:30 in dir. 17:20:35 so pretty trivial 17:20:37 but it works robustly 17:20:43 and the second gives me a prompt like this: 17:20:43 [ehird:~] % 17:20:47 coloured yellow 17:23:21 let me rewrite the Underload optimiser 17:23:26 ais523: in what? 17:23:37 I'll write it in Perl, the same as the version I deleted by mistake 17:23:46 more to have something to work from than to make it part of the project 17:23:48 darn. perl. 17:23:48 :( 17:23:52 :P 17:23:56 it was nothing but s/// commands anyway 17:24:03 what else would you expect me to write it in? 17:24:10 SOMETHING GOOD 17:24:11 :P 17:24:25 maybe Python? 17:24:32 that has much the same regex syntax 17:24:47 eek 17:25:11 sorry 17:25:44 :P 17:26:07 the optimising-inside-strings thing was too much of a problem anyway 17:26:15 the idea is that you map (...)! to nothing 17:26:26 and (..a..)(..b..)~ to (..b..)(..a..) 17:26:34 and so on for all the commands except : and S 17:26:47 that optimised generated code to quite an extent 17:26:56 generated code isn't the focus 17:26:57 methinks 17:27:12 otherwise, run-length encoding helps a lot with Church numerals 17:27:34 I've written too many programs along the lines of (::::::::::::::::****************)((a)S)~^^ 17:28:01 on a completely unrelated note I need to get a decent irc client 17:28:37 maybe one that responds to ctcp version requests? 17:28:42 it does. 17:28:52 i wasn't identified. 17:28:57 also, it's Linkinus 17:28:58 which isn't bad 17:29:04 but the ui is kinda grating on me 17:29:47 I'm using Konversation at the moment, purely because it was the only one that came with Ubuntu that I could figure out how to use 17:30:20 konversation is really nice 17:30:25 i wonder if it works on os x nowadays 17:31:17 do KDE apps work on OSX in general? 17:31:19 no. 17:31:25 because KDE does not like qt-mac, much 17:31:26 it is possible 17:31:31 but it's not fun.. you have to patch it to hell 17:31:39 i got bored when i tried. 17:31:57 Let me find the page of someone who manaed 17:32:22 http://www.khaitu.com/projects.php?item=23 17:32:26 but its not native looking 17:33:03 ah 17:33:04 have a patch 17:33:05 http://www.khaitu.com/public/kdelibs.patch 17:34:05 YO ppl, wuzzup 17:34:46 -!- ais523_ has joined. 17:34:58 hello oklopol 17:35:11 helloes 17:35:27 -!- ais523 has quit (Nick collision from services.). 17:35:31 -!- ais523_ has changed nick to ais523. 17:37:04 sorry about that, my wireless connection dropped and my IRC client got confused 17:38:13 ais523: really i ought to just write my own 17:38:14 :P 17:38:58 it would be nice to have a nice portable one written in sh, dd, and netcat 17:39:07 YES 17:39:12 but fuck netcat 17:39:15 we need NETDD 17:39:21 does that even exist? 17:39:26 or make logical sense? 17:39:32 no, but it REALLY FUCKING SHOULD 17:39:39 it's like, the best idea ever 17:39:45 there is nothing more for humans to accomplish 17:43:05 ais523: so! 17:43:12 what language should the compiler be written in :P 17:43:14 what language should the compiler be written in :P 17:43:24 that's not at all an easy question 17:43:33 especially as our programming styles are so different 17:43:38 hehe 17:43:39 this is true 17:43:42 argh stupid linkinus 17:43:44 stop being stupid 17:43:44 so we'd better pick an esolang that neither of us are comfortable with 17:43:45 brb. 17:43:49 -!- ehird has quit. 17:44:05 -!- ehird has joined. 17:44:46 test 17:44:55 test successful 17:47:04 -!- slereah_ has quit (Read error: 104 (Connection reset by peer)). 17:47:13 -!- slereah_ has joined. 17:48:17 slereah_ keeps dying 17:50:10 * ais523 is working on a Codegolf program 17:51:29 codegolf.com? 17:51:34 that's it 17:51:37 codegolf.com = :(, it's not as fun as anarchy golf 17:51:42 I'm not nearly as good as the regulars 17:51:46 far too serious 17:51:51 maybe 17:51:55 it's hard to find a balance 17:52:06 anarchy golf is too prone to cheats and errors in the questions 17:52:21 but codegolf is too slow-moving and you never get to see the winning entries 17:56:02 -!- slereah_ has changed nick to slereah__. 17:57:39 -!- jix has joined. 17:59:30 one thing I like about codegolf is that you can see your own previous entries 17:59:30 -!- RedDak has joined. 18:01:52 ais523: anarchy golf's cheats explicitly mark themselves 18:01:53 so its OK 18:02:31 I know 18:02:40 but there should be separate leaderboards for cheats and noncheats 18:03:11 wow, I just had a great idea for a golfing challenge 18:03:24 but it couldn't be entered into Anarchy Golf 18:03:40 write a program that given three sets of inputs and outputs, generate a program that maps those inputs to those outputs 18:04:01 preferably with some rule to ensure that the /output/ is small as well as the original program... 18:09:09 -!- puzzlet has quit (Remote closed the connection). 18:09:14 -!- puzzlet has joined. 18:19:36 -!- ehird_ has joined. 18:20:19 what did i miss 18:20:21 ais523: um that's trivial 18:20:37 a=>x,b=>y,c=>z -> s/a/x/, s/b/y/, s/c/z/ 18:20:44 yes 18:21:02 -!- Corun has joined. 18:21:02 that's why you'd have to try to minimise the size of the output program 18:21:18 maybe by ruling that the output has to be smaller than the total size of all the input 18:21:31 -!- slereah__ has changed nick to Slereah. 18:24:32 -!- ehird has quit (Read error: 110 (Connection timed out)). 18:32:22 anyone alive? 18:32:25 yes 18:34:03 No. 18:34:38 ais523: so what language would you use for the compiler that isn't perl? :P (i ought to write a program to pedantically refine my questions) 18:34:57 most languages would likely work 18:35:09 but thinking of one in particular is hard 18:35:32 it might even be possible to do it in a language like sed 18:36:12 gosh really? 18:36:12 ;) 18:37:08 -!- asiekierka has joined. 18:37:10 Hey! 18:37:19 Is any GBA/NDS programmer here right now? 18:37:30 willing to do a thing, of course 18:38:45 I don't understand the acronym 18:39:17 ais523: sure but its not convenient 18:39:45 only because sed doesn't do arithmetic 18:41:46 heh 18:42:01 asiekierka: because this is so relevant to esoteric programming 18:42:31 ais523: Game Boy Advance / Nintendo DS 18:42:39 I've never programmed for them 18:42:43 although I have played them 18:42:51 I don't know if it's possible to program them legally 18:42:59 and I wouldn't do it illegally 18:47:07 -!- Tritonio__ has quit (Remote closed the connection). 18:47:14 goddamn linkinus 18:47:16 being stupid 18:47:35 :| 18:50:32 ais523: as far as I know, it's quite legal to do so using something like the CycloDS with devkitpro :) 18:50:49 thanks for that advice 18:51:43 i have a DS with various stuff for running homebrew. never got 'round to really doing the homebrew stuff 18:52:24 though i love my 'GBA Movie player' hacked for the purposes of taking a flash card and providing it in a form readable by the MAX Media Player.. the GBA movie player having hacked-upfrlashed 18:52:30 *hacked-up firmware 18:52:34 :P 18:52:40 it's not a very 'clean' solution.. 19:02:25 one nice golfing trick I discovered: 19:02:42 if you need to initialise a variable to a high number as a loop counter, and don't care which one, use $$ 19:02:52 (i.e. current process's PID) 19:02:57 it's generally well over 1000 19:04:42 some programs used that for the counter prog. 19:04:46 the run 1: 1 19:04:47 run 2: 2 19:04:49 run 3: 3 one 19:04:55 shortest was this iirc: 19:05:01 print$$%7; 19:06:12 print 1+$$%3; # a robust solution 19:06:20 cycles 1,2,3,1,2,3,... 19:08:16 that was used as randomisation, though, rather than just initialising a loop counter 19:10:59 not randomization 19:11:03 code golf will do: 19:11:07 run program first 19:11:07 second 19:11:08 third 19:11:11 so, it's sequential 19:11:18 barring really weird things happenin 19:11:19 g 19:11:26 so: print$$%7; 19:16:48 -!- Deewiant has joined. 19:17:39 So! 19:17:50 So what? 19:18:02 you aren't going to ask me what language you want to write the compiler in again, are you? 19:18:52 i know i know! 19:18:55 oh, wait 19:18:56 i don't 19:29:11 ais523: haha 19:29:12 good idea 19:46:22 -!- ehird- has joined. 19:51:53 55+2=4 19:52:04 in what context? 19:53:29 * Asztal guesses at modulo 53 arirthmetic 19:54:08 "55" = "5 + 5" = "10", 10_2 = 2_10, 2 + 2 = 4? 19:57:12 -!- GreaseMonkey has joined. 19:57:20 -!- ehird- has changed nick to ehird. 20:01:07 oklopol: oklo/msgping 20:01:09 -!- ehird_ has quit (Connection timed out). 20:14:27 -!- slereah__ has joined. 20:17:17 -!- Slereah has quit (Read error: 104 (Connection reset by peer)). 20:29:00 -!- slereah__ has quit (Read error: 104 (Connection reset by peer)). 20:31:36 hi oklopol 20:31:53 -!- slereah__ has joined. 20:36:05 -!- oerjan has joined. 20:37:00 -!- slereah__ has quit (Read error: 104 (Connection reset by peer)). 20:37:15 -!- slereah__ has joined. 20:41:38 -!- ais523 has quit ("Bye everyone!"). 20:42:16 -!- adu has quit (Read error: 104 (Connection reset by peer)). 20:54:09 :\ 20:54:19 busy guy. 20:54:21 -> 20:54:37 -!- slereah__ has quit (Read error: 104 (Connection reset by peer)). 20:55:03 oklopol: you appeared again 20:55:04 :P 20:55:07 -!- slereah__ has joined. 20:55:47 -!- puzzlet has quit (Remote closed the connection). 20:55:52 -!- puzzlet has joined. 20:59:42 -!- slereah__ has quit (Read error: 104 (Connection reset by peer)). 21:00:03 -!- slereah__ has joined. 21:03:58 who is dead? 21:04:34 -!- slereah__ has quit (Read error: 104 (Connection reset by peer)). 21:05:09 -!- slereah__ has joined. 21:05:13 hm? 21:15:57 oklopol: ping 21:16:04 -!- slereah__ has quit (Read error: 104 (Connection reset by peer)). 21:16:56 -!- slereah__ has joined. 21:28:27 ...olp! 21:28:46 well i'm never physically gone, just thinking. 21:29:15 don't stop thinking! remember descartes 21:29:58 a sign with a D on it saying 'I think therefore I am' 21:30:02 now: go forth, and laugh 21:30:06 -!- asiekierka has quit (Read error: 110 (Connection timed out)). 21:30:16 ;))))))))))))))))))) 21:30:21 descartes ouned ass 21:47:12 -!- recon has joined. 21:47:19 -!- recon has left (?). 21:49:33 -!- Slereah has joined. 21:55:08 -!- slereah__ has quit (Read error: 110 (Connection timed out)). 22:09:12 -!- oklopol has quit (Read error: 104 (Connection reset by peer)). 22:13:26 -!- oklopol has joined. 22:20:00 -!- RedDak has quit (Remote closed the connection). 22:39:48 -!- timotiis has quit ("leaving"). 22:40:12 -!- jix has quit ("CommandQ"). 22:47:09 5 22:48:22 2+3 22:50:54 {{},{{}},{{},{{}}},{{},{{}},{{},{{}}}},{{},{{}},{{},{{}}},{{},{{}},{{},{{}}}}}} 22:52:47 10 22:57:48 no thanks 22:58:10 Sold! 23:00:29 ^^ most confusing conversation ever ^^ 23:00:56 I hope I didn't just sold you my sister or something. 23:11:40 -!- cmeme has quit (Read error: 104 (Connection reset by peer)). 23:14:39 -!- Corun has quit (Read error: 110 (Connection timed out)). 23:38:36 behold: #web 23:38:38 [23:37:34] ehird: COBOL is a bad idea? You have an objective reason for that as well? 23:38:48 the second-best place for esoteric programmers, apart from #esoteric 23:40:41 i vaguely recall even COBOL is objective these days. 23:41:54 hehe