←2008-01-20 2008-01-21 2008-01-22→ ↑2008 ↑all
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 <Groniel> PumPum Peidei
00:34:05 -!- chs_dude has joined.
00:34:53 <chs_dude> Please say "Hello, World!"
00:35:00 -!- chs_dude has left (?).
00:45:16 <puzzlet_> is that some kind of PL?
00:48:20 <faxathisia> 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 <xipietotec> 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 <Slereah> http://rendell-attic.org/gol/turing_js_r.gif
11:11:41 <Slereah> <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 <AnMaster> I found this, rather interesting: gopher://blubb.ch/11/software/fbf
13:53:00 <AnMaster> functional brainfuck
13:53:56 <Slereah> physics which states that it is
13:53:56 <Slereah> physically impossible to detect a particle without affecting it in
13:53:56 <Slereah> some way.
13:53:58 <Asztal> (wow, people still uses gopher: ?)
13:54:08 <Slereah> Woops
13:54:11 <AnMaster> Asztal, yes?
13:54:15 <Slereah> Copypasta by mistakes it seems
13:57:49 <ais523> wow, I'm glad that gopher: is still alive
13:58:38 <ais523> 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 <RodgerTheGreat> argh. Could somebody explain how to access a gopher file via telnet? I got as far as connecting on port 70.
15:19:52 <RodgerTheGreat> wait, I think I figured this out...
15:23:59 <RodgerTheGreat> and here's a pastebin of the FBF source, if anyone is curious and doesn't have a gopher client
15:24:01 <RodgerTheGreat> http://nonlogic.org/dump/text/1200928851.html
15:28:27 <ais523> Firefox seems to be able to handle gopher: just fine
15:29:00 <RodgerTheGreat> in retrospect, it probably would've been easier to open the page on my linux machine
15:40:54 <pikhq> Everyone with Firefox can do Gopher. ;)
15:41:38 <RodgerTheGreat> I don't use firefox on my mac, for obvious reasons
15:41:58 <RodgerTheGreat> but as I said, it would've been easier just to use my linux box
15:42:05 -!- ehird` has joined.
15:43:24 <pikhq> Yeah, Firefox on the Mac is crap.
15:49:52 <ehird`> yes it is
15:49:53 <ehird`> highly
15:50:07 <ehird`> and safari is awesome enough anyway, at least with saft etc
15:50:12 <ehird`> haven't tried safari 3 though
15:50:15 <ehird`> i like the brushed metal :P
15:50:21 <RodgerTheGreat> safari 3 is nifty
15:50:30 <RodgerTheGreat> it's a pretty transparent upgrade, though
15:51:03 <RodgerTheGreat> but I wouldn't have it any other way
15:51:09 <pikhq> I'm a Linux fan.
15:51:14 <pikhq> So, I'm waiting on KDE 4.1.
15:51:37 -!- ais523 has quit ("Konversation terminated!").
15:51:42 <pikhq> 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 <RodgerTheGreat> 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 <pikhq> KDE is going to make the ports less half-assed.
15:52:26 <pikhq> Currently, all KDE programs run as native Cocoa apps.
15:52:49 <pikhq> (will be officially supported with KDE 4.1)
15:52:52 <RodgerTheGreat> 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 <RodgerTheGreat> 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 <RodgerTheGreat> "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 <pikhq> That's the reason they don't officially support KDE on Mac OS X yet.
15:55:55 <ehird`> RodgerTheGreat: the best kind of app is a Qt app developed on OS X
15:56:15 <ehird`> it'll be one of the best-designed apps on linux and windows, and fit right into os x
15:56:16 <ehird`> :P
15:56:21 <RodgerTheGreat> the best kind of app is an app with the frontend rewritten from scratch for OSX.
15:56:27 <ehird`> pikhq: I tried to compile KDE3 with Qt-mac before
15:56:32 <ehird`> to get Amarok
15:56:36 <RodgerTheGreat> for example, VLC.
15:56:39 <ehird`> too many patches though
15:56:46 <RodgerTheGreat> the OSX port of VLC is absolutely fantastic
15:56:50 <ehird`> someone else got it working though
15:57:21 <RodgerTheGreat> 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 <pikhq> I can understand complaining about GTK ports. . .
15:57:58 <pikhq> Frankly, GTK is not designed with cross-platform operation in mind.
15:58:02 <RodgerTheGreat> Inkscape causes me pain every time I use it.
15:58:41 -!- ehird`_ has joined.
15:58:57 <pikhq> 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 <ehird`_> ehm
15:59:18 <pikhq> Torrent the .dmg if you care.
15:59:20 <ehird`_> what was the last thing you heard from me
15:59:28 -!- ehird`_ has changed nick to ehird.
15:59:31 <pikhq> "someone else got it working though"
15:59:32 <ehird> see above
15:59:39 <ehird> good that's the last thing i said
16:00:02 <RodgerTheGreat> 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 <ehird> RodgerTheGreat: you can get off your os x high horse
16:00:52 <ehird> the apps work, don't they? the system as a whole is more elegant and usable than others, no?
16:01:04 <ehird> 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 <ehird> hello ais523
16:08:15 <ais523> hello ehird
16:08:22 <ais523> and I am on my own computer now
16:08:26 <ehird> ais523: thank gawd
16:08:29 <ehird> :P
16:08:33 <ais523> and kill your ghost, it's screwing up my tab-complete
16:08:37 <ehird> oh
16:08:37 <ehird> sorry
16:08:43 -!- ehird` has quit (Nick collision from services.).
16:09:02 <ehird> anyway, i had an idea for an underload compiler but it would be kinda slow
16:09:09 <ehird> err
16:09:10 <ehird> UNLAMBDA
16:09:20 <ais523> well, you could always compile via Underload
16:09:26 <RodgerTheGreat> and on a semi-unrelated note, it would appear that NBC is now Apple's bitch:
16:09:28 <RodgerTheGreat> ""'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 <ehird> yes, but:
16:09:37 <ais523> I figured out how to compile everything except c.
16:09:43 <ehird> ais523: a way to make d work
16:09:48 <ais523> I have one of those already
16:09:49 <ehird> basically
16:09:54 <ehird> every argument to EVERYTHING is a thunk
16:10:06 <ehird> i.e. you pass a goto ID, just like the underload compiler..
16:10:07 <ehird> so:
16:10:08 <ehird> `ab
16:10:09 <ehird> is:
16:10:13 <ehird> ...compiled stuff for a...
16:10:19 <ehird> CALLIFY(thunky_thunk);
16:10:21 <ehird> thunky_thunk:
16:10:25 <ehird> ...compiled stuff for b...
16:10:37 <ehird> so, d works just by wrapping that thunk in a structure
16:10:43 <ehird> but ofc it could be slow.
16:10:52 <ehird> also obviously you need to manage your own call stack, for c
16:10:57 <ais523> that's basically how the Underload version works
16:11:03 <ehird> itslow though.
16:11:07 <ais523> which I wrote completely and then deleted by mistake
16:11:16 <ais523> but could rewrite without too much trouble
16:11:30 <ais523> instead of writing s as s, it's written as ((^s))
16:11:45 <ais523> `ab is ((^b))(^a))^^
16:12:01 <ais523> and `a`bc is (((^c))((^b))^^)((^a))^^
16:12:14 <ehird> exactly, it will just be very inefficient
16:12:14 <ais523> d is the only combinator that doesn't start with ^ to evaluate its argument
16:12:24 <ais523> but it can be optimised by quite a lot
16:12:29 <ehird> Of course, if we compiled to haskell this would be trivial :)
16:12:38 <ehird> you wouldn't have to do anything but:
16:12:45 <ehird> d x = x
16:12:47 <ehird> :P
16:13:05 <ais523> forcing eager evaluation would be the problem there
16:13:17 <ais523> and then not-forcing again when d was used
16:14:22 <ehird> ais523: hm yes unlambda is eager
16:14:23 <ehird> oh well
16:14:32 <ehird> maybe we should concentrate on the underload compiler. for now.
16:14:37 <ehird> ais523: do you have rev. 18?
16:15:54 <ais523> yes
16:16:20 <ehird> ais523: do you grok haskell? :-)
16:16:32 <ais523> I can understand it, with some thought
16:16:36 <ais523> I'm not fast at reading it
16:16:45 <ais523> and I understand the basics behind the way it works
16:16:52 <ais523> including monads and the basics of the type system
16:17:03 <ehird> can you write it, though?
16:17:08 <ais523> not easily
16:17:17 <ais523> because I don't know most of the built in operators and libraries
16:18:47 <ehird> aw
16:18:54 <ehird> well let me analyze my scheme program
16:19:26 <ehird> ais523: i'll use an awful lot of pattern matching, quite a bit of string concatentation, and maybe a state monad
16:19:27 <ehird> :p
16:19:40 <ais523> pattern matching I'm used to
16:19:43 <ais523> in most languages
16:22:43 <ehird> ais523: hm, maybe haskell isn't the best
16:22:49 <ehird> but this would be ugly in an imperative language
16:22:54 <ehird> especially with optimization
16:23:58 <ehird> ais523: Obviously it should be written in underload
16:25:31 <ehird> ais523: :P
16:26:42 <ais523> or maybe in GolfScript?
16:26:47 <ehird> heh
16:26:50 <ais523> that's sort of a wimpmode for Underload
16:29:51 <ehird> ais523: parsing underload is funny
16:29:58 <ehird> because of having to retain strings of everything
16:29:58 <ehird> :P
16:35:25 <ais523> I want to change the output rules for the next version
16:35:30 <ais523> they interfere too much with optimisers
16:35:39 <ehird> aww
16:35:41 <ehird> but it's fun..
16:35:51 <ais523> because it's hard to optimise a string when you don't know if it might have to be output literally
16:36:09 <ehird> 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 <ais523> yes, in your case
16:37:08 <ais523> I was thinking of my optimising interpreter entered into Anarchy Golf
16:37:22 <ais523> which does optimise inside strings, luckily not affecting the output of the problem
16:39:09 <ehird> http://golf.shinh.org/p.rb?Minimal+scheme+interpreter
16:39:09 <ehird> wtf
16:39:17 <ehird> they are all cheats, obviously
16:39:24 <ehird> they'd ghave to be
16:39:25 <ehird> my example is wrong
16:41:26 <ais523> unless they automatically correct mismatched parens
16:42:04 <ais523> a few of the Underload ones look genuine, though
16:42:46 <ehird> they can't correct mismatched parens
16:42:50 <ehird> the form is like this:
16:42:57 <ehird> (let ((a b) ...)
16:43:18 <ais523> oh dear
16:44:11 <ais523> why is there no special variable in Perl that's 1 by default, read-write, and safely changeable?
16:44:27 <ehird> because it's not that esoteric
16:44:47 <ais523> in GolfScript I could just assign to 1 as long as I didn't use it later in the program
16:47:58 <ehird> 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 <ehird> wb ais523
17:06:32 <ehird> i'm starting to wonder if haskell is the best language for this :P
17:06:44 <ais523> it's not usually at all clear what the best language is
17:06:53 <ais523> and different people use different languages by default
17:07:50 <ehird> :P
17:08:09 <ehird> ais523: what would your preferred language be for impl the compiler?
17:08:27 <ais523> I tend to use Perl by default
17:08:34 <ais523> but I'm not sure whether it would be a good choice here
17:08:46 <ais523> I'd most likely end up writing the whole thing as one massive regexp...
17:08:58 <ais523> BTW, Perl5.10 has recursive regexps, which is great
17:09:12 <ehird> ais523: that does not bode well for optimization
17:09:18 <ehird> also, we have to do () unrolling
17:09:47 <ais523> agreed
17:10:06 <ais523> 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 <ehird> yeah i am NOT doing c
17:10:43 <ehird> :P
17:11:01 <ais523> 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 <ais523> so (a(b(c)d(e)f))
17:11:25 <ais523> would change to (a(b<1>d(e)f))>1(c)
17:11:27 <ehird> i'm ofc aware how to do it
17:11:33 <ehird> just elegance.
17:11:43 <ais523> that solution would be easy with regexen
17:12:22 <ais523> grr... why doesn't Perl allow @_--?
17:12:22 <ehird> but for the optimization
17:12:26 <ais523> it has an obvious meaning
17:12:27 <ehird> so i don't think perl is a good idea
17:12:33 <ais523> what sort of optimisations are you talking about?
17:13:36 <ehird> things that make the generated c code less dumb
17:13:36 <oklopol> regexen? :D is that the official plural?
17:13:48 <oklopol> i've used that, but most say regexes
17:13:53 <ais523> 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 <ais523> and also some micro-optimisations like :~ to : and deleting ~~
17:13:54 <ais523> depends on who you ask
17:14:09 <ais523> to me, regexes sounds too much like the plural of regexe
17:14:16 <ais523> I'm happy with regexps, though
17:17:33 <ehird> wow
17:17:36 <ehird> i used to have crazy zsh-fu:
17:17:37 <ehird> precmd() { print -Pn "\e]0;%n@%m:%~\a" }
17:17:37 <ehird> export PS1=$(print "%{\e[33m%}")"[%n:%~] %#"$(print "%{\e[0m%}")" "
17:18:15 * ais523 normally uses bash
17:18:25 <ais523> although zsh looks interesting as well
17:18:43 <ais523> that's mostly just ANSI escapes, though, isn't it, rather than anything shell-specific?
17:18:52 <ehird> partly
17:18:59 <ehird> most of:
17:19:01 <ehird> %X
17:19:04 <ehird> is zsh specific
17:19:16 <ehird> and ESPECIALLY the crazy stuff i do with $(...) in there
17:19:47 <ais523> $(...) is also accepted by bash
17:19:52 <ehird> ais523: here's what happens when i run that export PS1= line in bash
17:19:53 <ehird> bash: print: command not found
17:19:53 <ehird> bash: print: command not found
17:19:53 <ehird> [%n:%~] %#
17:19:54 <ais523> it might do something different, though, for all I know
17:19:58 <ehird> and no colours
17:20:03 <ehird> ais523: its use there is zsh-specific
17:20:15 <ehird> basically, the fisrt line gives me a line like:
17:20:20 <ehird> ehird@hostname:dir
17:20:26 <ehird> but i get ~/... for home dirs
17:20:30 <ehird> in dir.
17:20:35 <ehird> so pretty trivial
17:20:37 <ehird> but it works robustly
17:20:43 <ehird> and the second gives me a prompt like this:
17:20:43 <ehird> [ehird:~] %
17:20:47 <ehird> coloured yellow
17:23:21 <ais523> let me rewrite the Underload optimiser
17:23:26 <ehird> ais523: in what?
17:23:37 <ais523> I'll write it in Perl, the same as the version I deleted by mistake
17:23:46 <ais523> more to have something to work from than to make it part of the project
17:23:48 <ehird> darn. perl.
17:23:48 <ehird> :(
17:23:52 <ehird> :P
17:23:56 <ais523> it was nothing but s/// commands anyway
17:24:03 <ais523> what else would you expect me to write it in?
17:24:10 <ehird> SOMETHING GOOD
17:24:11 <ehird> :P
17:24:25 <ais523> maybe Python?
17:24:32 <ais523> that has much the same regex syntax
17:24:47 <ehird> eek
17:25:11 <ais523> sorry
17:25:44 <ehird> :P
17:26:07 <ais523> the optimising-inside-strings thing was too much of a problem anyway
17:26:15 <ais523> the idea is that you map (...)! to nothing
17:26:26 <ais523> and (..a..)(..b..)~ to (..b..)(..a..)
17:26:34 <ais523> and so on for all the commands except : and S
17:26:47 <ais523> that optimised generated code to quite an extent
17:26:56 <ehird> generated code isn't the focus
17:26:57 <ehird> methinks
17:27:12 <ais523> otherwise, run-length encoding helps a lot with Church numerals
17:27:34 <ais523> I've written too many programs along the lines of (::::::::::::::::****************)((a)S)~^^
17:28:01 <ehird> on a completely unrelated note I need to get a decent irc client
17:28:37 <ais523> maybe one that responds to ctcp version requests?
17:28:42 <ehird> it does.
17:28:52 <ehird> i wasn't identified.
17:28:57 <ehird> also, it's Linkinus
17:28:58 <ehird> which isn't bad
17:29:04 <ehird> but the ui is kinda grating on me
17:29:47 <ais523> 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 <ehird> konversation is really nice
17:30:25 <ehird> i wonder if it works on os x nowadays
17:31:17 <ais523> do KDE apps work on OSX in general?
17:31:19 <ehird> no.
17:31:25 <ehird> because KDE does not like qt-mac, much
17:31:26 <ehird> it is possible
17:31:31 <ehird> but it's not fun.. you have to patch it to hell
17:31:39 <ehird> i got bored when i tried.
17:31:57 <ehird> Let me find the page of someone who manaed
17:32:22 <ehird> http://www.khaitu.com/projects.php?item=23
17:32:26 <ehird> but its not native looking
17:33:03 <ehird> ah
17:33:04 <ehird> have a patch
17:33:05 <ehird> http://www.khaitu.com/public/kdelibs.patch
17:34:05 <oklopol> YO ppl, wuzzup
17:34:46 -!- ais523_ has joined.
17:34:58 <ehird> hello oklopol
17:35:11 <oklopol> helloes
17:35:27 -!- ais523 has quit (Nick collision from services.).
17:35:31 -!- ais523_ has changed nick to ais523.
17:37:04 <ais523> sorry about that, my wireless connection dropped and my IRC client got confused
17:38:13 <ehird> ais523: really i ought to just write my own
17:38:14 <ehird> :P
17:38:58 <ais523> it would be nice to have a nice portable one written in sh, dd, and netcat
17:39:07 <ehird> YES
17:39:12 <ehird> but fuck netcat
17:39:15 <ehird> we need NETDD
17:39:21 <ais523> does that even exist?
17:39:26 <ais523> or make logical sense?
17:39:32 <ehird> no, but it REALLY FUCKING SHOULD
17:39:39 <ehird> it's like, the best idea ever
17:39:45 <ehird> there is nothing more for humans to accomplish
17:43:05 <ehird> ais523: so!
17:43:12 <ehird> what language should the compiler be written in :P
17:43:14 <ehird> what language should the compiler be written in :P
17:43:24 <ais523> that's not at all an easy question
17:43:33 <ais523> especially as our programming styles are so different
17:43:38 <ehird> hehe
17:43:39 <ehird> this is true
17:43:42 <ehird> argh stupid linkinus
17:43:44 <ehird> stop being stupid
17:43:44 <ais523> so we'd better pick an esolang that neither of us are comfortable with
17:43:45 <ehird> brb.
17:43:49 -!- ehird has quit.
17:44:05 -!- ehird has joined.
17:44:46 <ehird> test
17:44:55 <ais523> test successful
17:47:04 -!- slereah_ has quit (Read error: 104 (Connection reset by peer)).
17:47:13 -!- slereah_ has joined.
17:48:17 <ehird> slereah_ keeps dying
17:50:10 * ais523 is working on a Codegolf program
17:51:29 <ehird> codegolf.com?
17:51:34 <ais523> that's it
17:51:37 <ehird> codegolf.com = :(, it's not as fun as anarchy golf
17:51:42 <ais523> I'm not nearly as good as the regulars
17:51:46 <ehird> far too serious
17:51:51 <ais523> maybe
17:51:55 <ais523> it's hard to find a balance
17:52:06 <ais523> anarchy golf is too prone to cheats and errors in the questions
17:52:21 <ais523> 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 <ais523> one thing I like about codegolf is that you can see your own previous entries
17:59:30 -!- RedDak has joined.
18:01:52 <ehird> ais523: anarchy golf's cheats explicitly mark themselves
18:01:53 <ehird> so its OK
18:02:31 <ais523> I know
18:02:40 <ais523> but there should be separate leaderboards for cheats and noncheats
18:03:11 <ais523> wow, I just had a great idea for a golfing challenge
18:03:24 <ais523> but it couldn't be entered into Anarchy Golf
18:03:40 <ais523> write a program that given three sets of inputs and outputs, generate a program that maps those inputs to those outputs
18:04:01 <ais523> 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 <ehird_> what did i miss
18:20:21 <ehird_> ais523: um that's trivial
18:20:37 <ehird_> a=>x,b=>y,c=>z -> s/a/x/, s/b/y/, s/c/z/
18:20:44 <ais523> yes
18:21:02 -!- Corun has joined.
18:21:02 <ais523> that's why you'd have to try to minimise the size of the output program
18:21:18 <ais523> 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 <ehird_> anyone alive?
18:32:25 <ais523> yes
18:34:03 <Slereah> No.
18:34:38 <ehird_> 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 <ais523> most languages would likely work
18:35:09 <ais523> but thinking of one in particular is hard
18:35:32 <ais523> it might even be possible to do it in a language like sed
18:36:12 <ehird_> gosh really?
18:36:12 <ehird_> ;)
18:37:08 -!- asiekierka has joined.
18:37:10 <asiekierka> Hey!
18:37:19 <asiekierka> Is any GBA/NDS programmer here right now?
18:37:30 <asiekierka> willing to do a thing, of course
18:38:45 <ais523> I don't understand the acronym
18:39:17 <ehird_> ais523: sure but its not convenient
18:39:45 <ais523> only because sed doesn't do arithmetic
18:41:46 <ehird_> heh
18:42:01 <ehird_> asiekierka: because this is so relevant to esoteric programming
18:42:31 <ehird_> ais523: Game Boy Advance / Nintendo DS
18:42:39 <ais523> I've never programmed for them
18:42:43 <ais523> although I have played them
18:42:51 <ais523> I don't know if it's possible to program them legally
18:42:59 <ais523> and I wouldn't do it illegally
18:47:07 -!- Tritonio__ has quit (Remote closed the connection).
18:47:14 <ehird_> goddamn linkinus
18:47:16 <ehird_> being stupid
18:47:35 <ehird_> :|
18:50:32 <Asztal> ais523: as far as I know, it's quite legal to do so using something like the CycloDS with devkitpro :)
18:50:49 <ais523> thanks for that advice
18:51:43 <ehird_> i have a DS with various stuff for running homebrew. never got 'round to really doing the homebrew stuff
18:52:24 <ehird_> 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 <ehird_> *hacked-up firmware
18:52:34 <ehird_> :P
18:52:40 <ehird_> it's not a very 'clean' solution..
19:02:25 <ais523> one nice golfing trick I discovered:
19:02:42 <ais523> 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 <ais523> (i.e. current process's PID)
19:02:57 <ais523> it's generally well over 1000
19:04:42 <ehird_> some programs used that for the counter prog.
19:04:46 <ehird_> the run 1: 1
19:04:47 <ehird_> run 2: 2
19:04:49 <ehird_> run 3: 3 one
19:04:55 <ehird_> shortest was this iirc:
19:05:01 <ehird_> print$$%7;
19:06:12 <ehird_> print 1+$$%3; # a robust solution
19:06:20 <ehird_> cycles 1,2,3,1,2,3,...
19:08:16 <ais523> that was used as randomisation, though, rather than just initialising a loop counter
19:10:59 <ehird_> not randomization
19:11:03 <ehird_> code golf will do:
19:11:07 <ehird_> run program first
19:11:07 <ehird_> second
19:11:08 <ehird_> third
19:11:11 <ehird_> so, it's sequential
19:11:18 <ehird_> barring really weird things happenin
19:11:19 <ehird_> g
19:11:26 <ehird_> so: print$$%7;
19:16:48 -!- Deewiant has joined.
19:17:39 <ehird_> So!
19:17:50 <ais523> So what?
19:18:02 <ais523> you aren't going to ask me what language you want to write the compiler in again, are you?
19:18:52 <oklopol> i know i know!
19:18:55 <oklopol> oh, wait
19:18:56 <oklopol> i don't
19:29:11 <ehird_> ais523: haha
19:29:12 <ehird_> good idea
19:46:22 -!- ehird- has joined.
19:51:53 <ehird-> 55+2=4
19:52:04 <ais523> in what context?
19:53:29 * Asztal guesses at modulo 53 arirthmetic
19:54:08 <oklopol> "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 <ehird> 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 <adu> 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 <oklopol> :\
20:54:19 <oklopol> busy guy.
20:54:21 <oklopol> ->
20:54:37 -!- slereah__ has quit (Read error: 104 (Connection reset by peer)).
20:55:03 <ehird> oklopol: you appeared again
20:55:04 <ehird> :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 <ehird> 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 <oerjan> hm?
21:15:57 <ehird> oklopol: ping
21:16:04 -!- slereah__ has quit (Read error: 104 (Connection reset by peer)).
21:16:56 -!- slereah__ has joined.
21:28:27 <oklopol> ...olp!
21:28:46 <oklopol> well i'm never physically gone, just thinking.
21:29:15 <oerjan> don't stop thinking! remember descartes
21:29:58 <ehird> a sign with a D on it saying 'I think therefore I am'
21:30:02 <ehird> now: go forth, and laugh
21:30:06 -!- asiekierka has quit (Read error: 110 (Connection timed out)).
21:30:16 <oklopol> ;)))))))))))))))))))
21:30:21 <oklopol> 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 <ehird> 5
22:48:22 <oerjan> 2+3
22:50:54 <Slereah> {{},{{}},{{},{{}}},{{},{{}},{{},{{}}}},{{},{{}},{{},{{}}},{{},{{}},{{},{{}}}}}}
22:52:47 <ehird> 10
22:57:48 <oerjan> no thanks
22:58:10 <Slereah> Sold!
23:00:29 <ehird> ^^ most confusing conversation ever ^^
23:00:56 <Slereah> 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 <ehird> behold: #web
23:38:38 <ehird> [23:37:34] <Windrose> ehird: COBOL is a bad idea? You have an objective reason for that as well?
23:38:48 <ehird> the second-best place for esoteric programmers, apart from #esoteric
23:40:41 <oerjan> i vaguely recall even COBOL is objective these days.
23:41:54 <ehird> hehe
←2008-01-20 2008-01-21 2008-01-22→ ↑2008 ↑all