←2005-11 2005-12 2006-01→ ↑2005 ↑all
2005-12-01
00:24:13 -!- ihope has joined.
00:24:53 <ihope> I'm having a simple problem with Haskell, and am off to deploy it at #haskell.
00:29:39 <ihope> ...And I can't decide what to say.
00:36:27 <calamari> bbl.. gotta bite the bullet and install windows 2003 on here plain :(
00:36:32 -!- calamari has quit ("Leaving").
01:34:04 <ihope> http://pi.ytmnd.com/
01:58:18 <ihope> I'd love a version of that that just went on forever, as pi does/
02:39:05 -!- ihope has left (?).
03:05:23 -!- calamari has joined.
03:05:30 <calamari> hi
03:06:24 * calamari has turned to the dark side :(
03:53:28 <Sgep> hmm?
04:15:06 -!- meat has joined.
04:15:23 <meat> hiho
04:18:58 <calamari> hi meat
04:20:35 <Sgep> himeat
04:28:26 <calamari> Sgep: running windows again
04:28:38 <Sgep> oh
04:28:58 <calamari> and amazingly, I don't have sound, while I do in linux
05:34:38 -!- kipple has joined.
05:54:10 -!- Sgep has quit.
06:20:58 -!- pgimeno has joined.
06:34:46 -!- calamari has quit ("Leaving").
07:01:34 -!- calamari has joined.
07:01:36 <calamari> hi
07:02:10 <kipple> moin
07:05:10 <calamari> hi kipple
07:05:39 * calamari has sound.. finally
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:40:34 -!- Gs30ng has joined.
10:03:07 -!- meat has quit (Read error: 110 (Connection timed out)).
10:56:48 -!- calamari has quit ("Leaving").
11:57:13 -!- Gs30ng has quit ("to reboot").
13:13:39 -!- jix has joined.
15:12:53 -!- ihope has joined.
15:13:38 <ihope> This client auto-away-ifies me every time I run it.
16:02:13 -!- ihope has quit (Read error: 110 (Connection timed out)).
16:02:41 -!- nooga has joined.
16:02:47 <nooga> hi
16:26:12 <nooga> have someone ever tried to write JIT VM ?
16:27:51 <nooga> just-in-time i mean
16:29:12 <jix> GregorR ;)
16:45:20 <nooga> http://rafb.net/paste/results/MS6Mtu81.html
16:45:45 <nooga> hehe, my first steps in obfuscating C ;p
16:47:01 -!- lirthy has quit (Read error: 104 (Connection reset by peer)).
16:47:10 -!- lirthy has joined.
17:00:38 <nooga> http://rafb.net/paste/results/gGnr9276.html
17:00:41 <nooga> second step
17:05:04 -!- Keymaker has joined.
17:14:30 <nooga> hi Keymaker
17:30:05 -!- jix has quit ("This computer has gone to sleep").
17:31:52 <Keymaker> hi nooga
17:37:01 -!- nooga has quit (Read error: 110 (Connection timed out)).
18:12:00 -!- marcan_ has joined.
18:12:52 -!- GregorR-L has joined.
18:17:25 -!- marcan has quit (No route to host).
18:20:09 -!- BodyTag has joined.
18:50:37 -!- Keymaker has left (?).
19:04:23 -!- CXI has quit (Read error: 104 (Connection reset by peer)).
19:04:33 -!- CXII has joined.
19:04:35 -!- kipple has quit (Read error: 104 (Connection reset by peer)).
19:06:04 -!- CXII has changed nick to cXI.
19:06:08 -!- cXI has changed nick to CXI.
19:06:38 -!- kipple has joined.
19:10:32 -!- GregorR-L has quit (Read error: 113 (No route to host)).
19:56:59 -!- jix has joined.
20:51:02 -!- Sgep has joined.
20:51:23 <Sgep> hi all
20:51:32 <kipple> hello
20:53:04 <BodyTag> Wow, people talking. :O
21:17:20 -!- GregorR-L has joined.
21:22:24 -!- GregorR-L has quit (Remote closed the connection).
21:35:21 -!- marcan_ has quit ("Lost terminal").
21:37:15 -!- Jevin has joined.
21:37:16 -!- Jevin has changed nick to Taliesin41.
21:37:29 -!- Taliesin41 has changed nick to JevinClide.
21:37:35 <JevinClide> better... ^_^
21:37:46 <JevinClide> *phew*
21:39:17 -!- marcan has joined.
21:39:54 <JevinClide> hi marcan...
21:47:24 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
21:56:04 -!- kipple has quit (Read error: 110 (Connection timed out)).
21:57:08 -!- ChanServ has quit (brown.freenode.net irc.freenode.net).
22:00:11 <lirthy> he ran away
22:00:27 <lirthy> capture!
22:07:28 -!- BodyTag has quit ("... Whoo.").
22:15:17 -!- ChanServ has joined.
22:15:17 -!- irc.freenode.net has set channel mode: +o ChanServ.
23:01:34 -!- ihope has joined.
23:31:47 -!- JevinClide has quit ("Miranda IM! Smaller, Faster, Easier. http://miranda-im.org").
2005-12-02
00:14:08 -!- ihope has quit (Read error: 110 (Connection timed out)).
03:44:50 -!- GregorR has joined.
04:30:15 <Sgep> Really should be working on Mo** ***** [censored to protect name of project in fear that it might reveal something about my age]
04:30:29 * Sgep realizes that he /amsg'd that to everoyne...
04:39:41 <Sgep> Bye all
04:39:42 -!- Sgep has quit (Remote closed the connection).
06:04:03 -!- Sgep has joined.
07:05:54 -!- Sgep has changed nick to Sgeo|DeadTired.
07:43:29 <GregorR> ¿Dondé esta el canal por discusión de lenguajes de programación esotéricos en Inglés?
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:35:23 -!- kipple has joined.
12:12:55 -!- Sgeo|DeadTired has quit (Read error: 104 (Connection reset by peer)).
12:43:27 -!- puzzlet has joined.
14:14:43 -!- jix has joined.
16:46:14 -!- EgoBot has joined.
17:06:39 -!- Gs30ng has joined.
17:14:46 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
17:14:51 -!- jix has joined.
17:58:34 -!- marcan has quit ("Lost terminal").
18:05:16 -!- marcan has joined.
18:34:50 -!- Keymaker has joined.
18:58:01 -!- Keymaker has left (?).
19:03:14 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
19:03:26 -!- jix has joined.
19:05:58 -!- sp3tt_ has joined.
19:08:06 -!- sp3tt_ has quit (Client Quit).
19:20:27 -!- kipple has quit (Read error: 104 (Connection reset by peer)).
19:21:00 -!- kipple has joined.
20:13:26 -!- BigZaphod has joined.
20:33:39 -!- Keymaker has joined.
20:33:53 <Keymaker> good evening
20:33:59 <Keymaker> is anybody out there?
20:35:43 <jix> me
20:36:10 <Gs30ng> and me
20:36:12 <jix> i just found a new (well infinity new) integer sequences...
20:38:37 <jix> it's defined as floor(1/fractional_part(pi*base^item)) .. item is starting with 0
20:39:06 <Keymaker> could you post some of the first numbers?
20:39:09 <jix> the first few terms for base 10 are: 7,2,6,1,1,3,1,1,2,1,1,1,1,1,3,4,2,1,2,1,3,1,2,2,2,1,3,3,1,1,1,34,3,1,1,2,5,1,\
20:39:09 <jix> 1,5,1,1,2,1,1,2,1,1,9,17,1,1,4,10,1,1,2,1,2,2,1,1,4,3,12,1,1,6,1,2,15,1,3,1,1,\
20:39:09 <jix> 4,11,1,1,1,1,1,3,1,28,2,2,1,3,1,2,2,4,8,5,1,14,1,1,1,1
20:39:43 <Keymaker> it looks interesting
20:40:05 <jix> there is even a constant for each base...
20:40:15 <jix> take the sequence as terms for a continued fraction...
20:41:00 <jix> for base 10 it's about 7.4645956186935248821352526824565788450892587833567236004356404248344757360301\
20:41:00 <jix> 88725175194269758874735
20:41:18 <jix> i think it's irrational
20:44:54 <jix> oh base can be a non-natural number too
20:46:23 <Keymaker> wouldn't be easy to make a program print out them in brainfuck
20:46:32 <jix> yes...
20:46:43 <jix> bbl
20:47:07 <Keymaker> ok
21:24:13 -!- calamari has joined.
21:25:19 <calamari> hi
21:25:40 <Gs30ng> grouped calamari
21:26:09 <calamari> segregated Gs30ng
21:26:45 <Keymaker> hi calamari
21:26:52 <calamari> hi keymaker
21:27:01 <Gs30ng> we should put /me before our messages
21:27:06 <calamari> I need to enter my contest so you can win your abacus, don't I? :)
21:27:37 <Keymaker> actually no ;)
21:27:48 <Keymaker> you only talked about having at least one submission, and i've made two ;)
21:27:52 <calamari> lol
21:27:57 <calamari> okay then :)
21:28:05 <Keymaker> ..but otherwise, you must :)
21:28:30 <Keymaker> i managed to squeeze two bytes. my final entry is thus 400 bytes exactly
21:29:18 <calamari> cool
21:29:40 <Keymaker> i'll post the md5 tomorrow, too lazy today
21:30:04 * calamari loads up bfdebug
21:30:21 <calamari> dont wait too long ;)
21:30:40 <Keymaker> the competition ends 5th, right?
21:30:51 <calamari> yep
21:30:58 <Keymaker> ok
21:32:48 <calamari> I have a Linux evangelism story...
21:33:03 <calamari> I had to install win2003 for vs.net (my c# class)
21:33:40 <Keymaker> did something go wrong?
21:34:00 <calamari> so my wife used it yesterday.. she mentioned that Linux was better because there was no delay when typing and she missed the middle mouse button functionality :)
21:34:27 <Keymaker> :)
21:35:00 <Keymaker> i don't still have a mouse with a middle button
21:35:13 <calamari> hahaha
21:35:25 <calamari> do you have emulation on?
21:35:31 <Keymaker> what's that?
21:35:58 <calamari> middle mouse button emulation.. you are running x, right ?
21:36:12 <Keymaker> yes, but not at this moment
21:36:21 <Keymaker> but no, i don't have any emulation on
21:36:38 <calamari> you can set it so that clicking both buttons at once produces a middle click
21:36:58 <Keymaker> ok
21:37:18 <Keymaker> i should just get a new mouse.. this old one doesn't even work properly anymore
21:37:32 <Keymaker> one can get a decent three button mouse for under ten euros
21:37:36 <calamari> back in the MS-DOS days I wrote a tsr that did that.. but I used the SysRq key on the keyboard
21:38:02 <calamari> iirc I wrote it for AutoCAD
21:38:08 <Keymaker> ah
21:41:05 -!- Sgep has joined.
21:44:53 <calamari> one of my homework problems is similar to having a bf with > but no <. Instead of < therei s an instuction to reset the tape to the left side.
21:45:18 <calamari> the trick is to simulate <
21:45:24 <Keymaker> yeah
21:45:29 <Keymaker> interesting :)
21:46:23 <Keymaker> hmm, can't figure it out
21:46:30 <calamari> it's a little different than bf tho.. because it's a turing machine
21:46:50 <Keymaker> ah
21:47:27 <calamari> I think I've figured it out.. just need to work through an example to be sure
21:47:36 <Keymaker> ok
21:47:57 <calamari> of course this probably wouldn't apply to bf hehe
21:48:06 <Keymaker> yeah
21:48:07 -!- BigZaphod has left (?).
21:58:00 <calamari> bah..
21:58:35 <calamari> I could do it with two tapes
21:58:57 <calamari> but that might be difficult to prove then
21:59:11 <calamari> because the two-tape proof relies on being able to move left
22:00:46 <calamari> anyways :)
22:02:52 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
22:03:31 <calamari> ahh, got it :)
22:03:41 <Keymaker> good :)
22:03:56 <calamari> but it wouldn't work for bf, so it's probably not very interesting
22:06:38 <Keymaker> say, do you have anything you would want to ask urban mller about? ;)
22:07:07 <calamari> yeah.. why isn't he still participating in the eso community
22:07:22 <Keymaker> ok
22:07:39 <calamari> did you get ahold of him or something ? :)
22:07:52 <Keymaker> not yet, but i finally sent him e-mail
22:08:01 <Keymaker> and requested i could interview him
22:08:07 <Keymaker> via e-mail, naturally
22:08:25 <calamari> please rephrase my question so that it isn't offensive :)
22:08:33 <Keymaker> yeah, of course :)
22:10:29 <Keymaker> by the way, has he been in the eso circles, other than brainfuck?
22:10:49 <calamari> I don't think so.. didn't he write bf in response to false?
22:11:12 <Keymaker> not sure
22:11:24 <calamari> it just seems weird that bf isn't mentioned on his page.. and he never stops by and notices.. hey cool a bunch of people are using bf.. etc
22:11:34 <Keymaker> yeah
22:11:53 <Keymaker> it's really something if your language is the standard way of proving turing-completeness of a new language
22:11:57 <calamari> yeah
22:12:06 <calamari> wonder if he knows about p''
22:12:28 <Keymaker> no idea, perhaps could be questioned
22:12:56 <calamari> that would be a hard question.. wouldn't want to insinuate that he based bf upon it
22:13:01 <Keymaker> yeah
22:13:19 <Keymaker> i'd say he hasn't heard of p"
22:13:26 <calamari> I'd agree
22:13:51 <calamari> but it would be interesting to see what his response would be to it
22:13:57 <Keymaker> yeah
22:14:18 <Keymaker> about ideas; for example, i've got some crazy ideas that some philosophers have thought hundreds of years ago, at the time i hadn't heard about philosophy at all
22:14:35 <calamari> right
22:15:06 <Keymaker> people can get the same ideas and there often isn't any connection
22:15:52 <calamari> also.. what happened to ben olmstead?
22:16:28 <Keymaker> probably went insane ;)
22:17:33 <Keymaker> perhaps decided to write a malbolge quine, and hasn't been seen since that
22:18:10 <calamari> hey, you're good at quines... ;)
22:21:02 <calamari> hrm.. I can't think about bf while I have homework.. better finish it first :)
22:21:21 <Keymaker> yeah
22:21:26 <Keymaker> let the homework be ;)
22:38:18 <calamari> what is .. called, if it is above a letter?
22:38:37 <Keymaker> umlaut or something?
22:38:40 <Keymaker> not sure
22:38:45 <calamari> thanks
22:39:20 <Keymaker> yeah, it's umlaut
22:40:38 <calamari> yep.. dictionary.com has it.. calls it also a diacritic mark.
22:43:46 -!- Sgep has quit (Remote closed the connection).
22:44:39 -!- Sgep has joined.
23:21:26 -!- kipple has quit (Read error: 110 (Connection timed out)).
23:38:41 -!- Sgep has quit (Remote closed the connection).
23:40:29 -!- Sgep has joined.
2005-12-03
01:00:36 <Sgep> Night all.
01:00:40 <Keymaker> night
01:00:45 <Keymaker> i'm just about to quit too :)
01:00:50 <Keymaker> bye all
01:00:51 -!- Sgep has quit.
01:00:54 -!- Keymaker has left (?).
01:57:15 -!- puzzlet has quit (Read error: 110 (Connection timed out)).
01:58:50 -!- int-e has joined.
02:02:07 * int-e wonders where calamari's forum went
02:03:07 -!- puzzlet has joined.
02:03:07 * int-e finally got around to code up an entry for the a^nb^nc^n task :)
02:19:35 -!- digwuren has joined.
02:28:23 -!- puzzlet_ has joined.
02:30:43 -!- puzzlet has quit (Read error: 110 (Connection timed out)).
02:41:41 -!- int-e has quit (Remote closed the connection).
03:22:45 -!- puzzlet_ has quit (Read error: 110 (Connection timed out)).
03:44:34 <calamari> int-e: http://esoforum.kidsquid.com/ it didn't go anywhere, as far as I know :)
05:38:02 -!- kipple has joined.
06:13:30 -!- puzzlet has joined.
06:52:29 -!- puzzlet has quit (Read error: 110 (Connection timed out)).
06:52:35 -!- puzzlet has joined.
07:02:13 -!- kipple has quit (Read error: 104 (Connection reset by peer)).
07:02:48 -!- kipple has joined.
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
09:19:05 -!- puzzlet_ has joined.
09:21:55 -!- int-e has joined.
09:24:20 -!- puzzlet has quit (Read error: 104 (Connection reset by peer)).
09:24:39 -!- digwuren has quit (Remote closed the connection).
09:51:57 -!- puzzlet_ has quit (Remote closed the connection).
09:51:59 -!- puzzlet has joined.
09:53:02 -!- GregorR has quit (Read error: 104 (Connection reset by peer)).
10:11:00 -!- puzzlet has quit (Read error: 110 (Connection timed out)).
10:12:56 -!- EgoBot has quit (Read error: 110 (Connection timed out)).
10:15:22 -!- GregorR has joined.
10:19:43 -!- jix has joined.
10:35:27 <int-e> calamari: the forum was down (unreachable; the URL gave a 404 error) for half an hour or so earlier
10:49:33 -!- Keymaker has joined.
10:50:53 <Keymaker> aaargh.. i knew i will never win a brainfuck competition
10:51:10 <Keymaker> impressive amount of instructions, int-e
10:51:57 <int-e> Keymaker: I've micoroptimized one part; I'm at 346 now. I still wonder if there's a more clever algorithm though.
10:52:08 <int-e> Keymaker: the problem is surprisingly tricky for brainfuck
10:52:13 <Keymaker> yeah
10:52:29 <Keymaker> wow, sounds very good
10:52:44 <Keymaker> it wasn't as simple as i expected, in the beginning
10:54:16 <int-e> same here. I actually tried to code something quickly shortly after the contest was announced and failed.
11:25:50 * Keymaker realized how to get the entry about 20 instructions smaller..
11:26:04 <Keymaker> not enough.. :(
11:28:02 <int-e> well, do that two more times :)
11:28:26 <Keymaker> hehe
11:33:07 -!- kipple has quit ("See you later").
11:37:20 -!- kipple has joined.
11:40:56 <Keymaker> int-e: done anything besides your solution in brainfuck for a while?
11:41:45 <int-e> not really
11:42:57 <Keymaker> ok
11:46:39 <Keymaker> away for some mins..
12:24:42 -!- calamari has quit ("Leaving").
12:47:47 <Keymaker> must go..
12:47:48 -!- Keymaker has left (?).
14:32:40 -!- lirthy has left (?).
14:36:07 -!- lirthy has joined.
14:38:15 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
14:38:26 -!- jix has joined.
14:45:21 -!- lirthy has left (?).
14:52:50 -!- lirthy has joined.
20:25:15 -!- int-e has left (?).
20:41:58 -!- {^Raven^} has joined.
20:57:29 -!- echeese has joined.
22:02:38 -!- Sgep has joined.
22:21:17 -!- CXI has quit (Read error: 104 (Connection reset by peer)).
22:21:43 -!- CXI has joined.
22:51:36 -!- CXI has quit (Read error: 104 (Connection reset by peer)).
22:52:00 -!- CXI has joined.
2005-12-04
01:11:25 -!- ihope has joined.
01:12:11 <ihope> 'Ello
01:12:24 <ihope> Yesterday I figured out what monads were.
01:17:18 -!- kipple has quit (Read error: 110 (Connection timed out)).
01:29:06 <Sgep> Night all
01:29:16 <ihope> G'night
01:30:29 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
02:02:22 -!- Sgep has quit.
02:25:01 -!- echeese has quit ("Leaving").
02:30:39 -!- CXII has joined.
02:32:36 -!- CXI has quit (brown.freenode.net irc.freenode.net).
02:32:36 -!- sekhmet has quit (brown.freenode.net irc.freenode.net).
02:37:48 -!- CXII has changed nick to CXI.
02:37:48 -!- Isole has joined.
02:38:27 -!- sekhmet has joined.
02:40:06 -!- Isole has quit (Client Quit).
02:40:14 -!- sekhmet has quit (Connection reset by peer).
02:43:08 -!- sekhmet has joined.
02:44:07 <GregorR> sekhmet: Hello grey-haired woman!
03:32:02 -!- ihope has quit ("Chatzilla 0.9.68.5 [Firefox 1.0.7/20050915]").
03:52:57 -!- int-e has joined.
03:53:13 -!- int-e has quit ("Bye!").
04:48:25 * sekhmet didn't realize that sekhmet had grey hair
04:48:28 <sekhmet> But I can dig it
05:07:44 -!- GregorR has quit ("Chatzilla 0.9.68.5 [Firefox 1.0.7/20050920]").
07:41:13 -!- puzzlet has joined.
07:48:12 -!- kipple has joined.
07:48:25 <puzzlet> hi kipple
07:55:43 <kipple> hello
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:48:17 -!- GregorR has joined.
08:58:11 -!- kipple has quit (Read error: 104 (Connection reset by peer)).
08:59:01 -!- kipple has joined.
09:12:50 -!- kipple has quit ("See you later").
09:13:55 -!- kipple has joined.
09:18:42 -!- EgoBot has joined.
09:35:54 -!- int-e has joined.
09:49:39 -!- jix has joined.
10:20:37 -!- jix has quit (Read error: 104 (Connection reset by peer)).
10:29:20 -!- jix has joined.
10:44:26 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
10:44:35 -!- jix has joined.
11:38:45 -!- Keymaker has joined.
11:39:08 <kipple> hi Keymaker
11:39:30 <kipple> how goes your bizarre basic project?
11:41:32 <Keymaker> hi kipple
11:41:45 <Keymaker> to be honest, i haven't worked it at all
11:41:53 <Keymaker> since the beginning of it
11:42:23 <Keymaker> i mean, i haven't worked on it at all since the last time i talked about it, in the beginning of the project
11:42:41 <Keymaker> :(
11:43:17 <int-e> Keymaker: I chiseled off another 14 bytes from my entry last night :)
11:44:42 <Keymaker> aaarg :D
11:44:56 <Keymaker> int-e: i was just about to say that impressive job with the solution
11:45:03 <Keymaker> i mean entry
11:45:24 <Keymaker> i wonder whether we have used the same algorithm
11:45:31 <Keymaker> we'll see in a day :)
11:49:33 <Keymaker> but well, i assume your way is different, and obviously simpler
11:52:16 <kipple> hehe. that is a common fate for many esolang ideas I think :) (I have a lot of those myself)
11:52:23 <Keymaker> :)
11:52:35 <Keymaker> yeah
11:54:45 <int-e> Keymaker: we'll see
11:55:33 <Keymaker> it's amazing program size.. when the competition began i was sure it'll be very hard for anyone to get the size under 500 instructions
11:57:03 <Keymaker> i didn't bother to shorten my program yesterday, since that wouldn't have helped that much.. at least get to release a nice 40x10 or 20x20 program block on my site when the competition is over..
11:57:41 <Keymaker> i'll post the md5 for the 400 instruction version after the simpsons..
11:57:49 <Keymaker> although there's no point basically :)
11:58:01 <int-e> it's 400 bytes
11:58:07 <int-e> that's a magical number :)
11:58:07 <Keymaker> yes
11:58:13 <Keymaker> oh, didn't know that :)
11:58:55 <int-e> it's a round number, it's a perfect square, it has no prime divisor >5 so it's quite smooth ...
11:59:48 <Keymaker> nice :)
12:00:15 <int-e> oh, btw, there are no boring integers.
12:00:18 <int-e> proof:
12:00:21 <Keymaker> hehe
12:00:24 <int-e> err, natural numbers.
12:00:35 <int-e> proof: assume that there are boring natural numbers
12:00:41 <Keymaker> by the way, gotta go for half an hour: the simpons :)
12:00:42 <int-e> then there'd be a smallest boring natural number
12:00:50 <int-e> as such, it'd be whooly remarkable.
12:00:53 <int-e> contradiction.
12:01:10 <Keymaker> :)
12:01:17 <Keymaker> bbl
12:03:43 <int-e> wholly. I knew I made a typo there.
12:05:04 -!- pgimeno has quit (Read error: 104 (Connection reset by peer)).
12:13:50 <lament> int-e: but there are boring reals, then?
12:15:16 <int-e> lament: definitely
12:15:27 <lament> hahahaha
12:15:37 <puzzlet> Pi is boring
12:15:44 <lament> it seems that the statement "there are no boring reals" is equivalent to the axiom of choice
12:15:48 <int-e> lament: because the things we can say about real numbers are countable
12:15:53 <lament> since it seems obvious that some reals are boring
12:15:59 <int-e> lament: so there are real numbers we can't really say anything about
12:16:01 <lament> then the axiom of choice must be false
12:16:09 <lament> QED
12:16:13 * lament bows
12:16:31 <int-e> lament: hmm. not really.
12:16:33 * puzzlet bows back
12:16:41 <lament> int-e: Yes. the well-ordering principle!
12:16:44 <puzzlet> what are you talking about though
12:16:48 <puzzlet> "boring"?
12:17:14 <int-e> lament: there's a countable model of set theory; this means that for every thing that can be proved, you only need countable many examples (witnesses) ...
12:18:41 <int-e> (at least as far as I remember, the von Neumann axioms can be modelled as first order formulas built on top of the 'element of' relation)
12:19:47 <lament> what's that have to do with anything?
12:20:34 <int-e> it means that even if the axiom of choice is true, you can still have uninteresting real numbers.
12:20:41 <int-e> you just don't need to use them anywhere.
12:21:15 <lament> no
12:21:15 -!- pgimeno has joined.
12:21:19 <lament> if the AC is true
12:21:33 <lament> then exactly the same proof as for integers works for reals, too
12:21:59 <int-e> nope. you can say that the set of uninteresting reals has a member - but you can't name it
12:22:31 <int-e> there's nothing that helps you select one and only one out of them as being interesting.
12:22:37 <int-e> you need a well-ordering to do that.
12:22:41 <lament> exactly
12:22:49 <int-e> one that you can name
12:22:56 <lament> and the well-ordering principle is equivalent to AC
12:23:22 <int-e> lament: still, that only tells me that there are well orderings of the real numbers - but there are many of them; which one will you use?
12:23:43 * int-e sees nothing that makes one better than all others
12:24:07 <lament> int-e: what makes the <-relation ordering the best ordering for integers?
12:24:17 <int-e> lament: it's natural
12:24:48 <lament> you have a point.
12:24:51 <lament> good night :P
12:25:18 <int-e> sleep well
12:35:33 <Keymaker> back..
12:36:37 <Keymaker> int-e: what kind of test calamari ought to run?
12:37:29 <Keymaker> i think the following: 1. file with only one new-line 2. file with few k of pattern "abc" 3. file with few ks of a, b, and c
12:37:57 <Keymaker> and perhaps something like bbbbccccaaaa
12:37:58 <int-e> Keymaker: I don't know. I've tested my program with short inputs (<=9 characters) and some selected long ones
12:38:19 <Keymaker> ok
12:41:22 <int-e> there are 29524 inputs of length <=9, which seems manageable
12:41:53 <Keymaker> hm?
12:42:04 <int-e> for i in "" {a,b,c} {a,b,c}{a,b,c} {a,b,c}{a,b,c}{a,b,c} {a,b,c}{a,b,c}{a,b,c}{a,b,c} {a,b,c}{a,b,c}{a,b,c}{a,b,c}{a,b,c} {a,b,c}{a,b,c}{a,b,c}{a,b,c}{a,b,c}{a,b,c} {a,b,c}{a,b,c}{a,b,c}{a,b,c}{a,b,c}{a,b,c}{a,b,c} {a,b,c}{a,b,c}{a,b,c}{a,b,c}{a,b,c}{a,b,c}{a,b,c}{a,b,c} {a,b,c}{a,b,c}{a,b,c}{a,b,c}{a,b,c}{a,b,c}{a,b,c}{a,b,c}{a,b,c}; do echo $i | ./bfigolf entry.b; done
12:42:29 <int-e> that's the basic idea
12:55:28 <int-e> . o O ( feeding invalid input to a program that does no error checking is bad )
12:56:06 <Keymaker> yes
12:56:08 <Keymaker> :)
12:56:26 <int-e> and I wonder why I'm getting Cell value too small (-1) errors :)
12:56:56 <int-e> there's an off-by-one bug in bfigolf.c (probably not serious though)
12:57:03 <Keymaker> what kind of?
12:57:09 <Keymaker> (i've used another interpreter)
12:57:21 <int-e> namely, the realloc should be realloc(mem, (maxmp+1024+1)*sizeof(unsigned char))
12:57:34 <Keymaker> uh, i don't understand about that :)
12:57:35 <int-e> instead of the same without +1
12:58:00 <Keymaker> aha.. well, maybe you should inform calamari, i think
12:58:05 <Keymaker> just in case
12:59:58 <Keymaker> int-e: any others than we going to enter the competition?
13:01:23 <int-e> Keymaker: I'll write a forum post
13:04:21 <int-e> Keymaker: I don't know; the usual suspects would be Laurent and Daniel. I've not heard anything from them for a while (but I've been staying away myself, too, so I wouldn't know.)
13:07:45 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
13:08:18 <Keymaker> yeah.. laurent asked the value of new-line to be defined when the competition began, but haven't heard of him since then
13:08:42 <Keymaker> i hope we will get more entries
13:10:09 <Keymaker> jix was at least working on one, i think.. and calamari
13:14:19 -!- jix has joined.
13:16:38 <int-e> heh. jix, are you still working on your bfgolf entry?
13:16:51 <jix> no...
13:17:01 <int-e> aww.
13:17:20 <int-e> (Keymaker and I are wondering if there will be more than 2 entries)
13:19:16 <Keymaker> well, at least it'll be interesting to see the different ways we (probably) are using
13:19:26 <fizzie> It was the a^n b^n c^n case?
13:20:04 <Keymaker> yeah
13:20:24 <fizzie> I did consider trying to write an entry, but haven't had the time.
13:20:30 <Keymaker> yeah
13:20:36 -!- Sgep has joined.
13:20:39 <Keymaker> time seems to be a problem with many, i suppose
13:23:48 <Keymaker> int-e: got e-mail address? i'd need to ask one thing kinda related to this contest
13:24:42 <Keymaker> int-e: i can't use private messages
13:24:50 <Keymaker> int-e: unregistered users can't
13:25:16 <Keymaker> the reason i don't ask here in public is that the project is a surprise, kind of..
14:38:51 <Keymaker> *sigh* about 16 hours or something till the end of the competition..
14:46:35 <int-e> I'll definitely not write another entry nor optimize the one I have further *eg*
14:46:56 <int-e> unless someone submits a 331 bytes one
14:48:03 <Keymaker> yeah, it's a winning solution i'd assume
16:10:33 <int-e> Keymaker: eh, shouldn't that be 40 hours?
16:11:11 <Keymaker> yeah
16:11:15 <Keymaker> i'm good at math ;)
16:54:10 <Keymaker> bye
16:54:12 -!- Keymaker has left (?).
17:30:06 -!- Sgep has quit (Read error: 104 (Connection reset by peer)).
17:31:57 -!- Sgep has joined.
17:44:47 -!- {^Raven^} has quit (Remote closed the connection).
17:47:20 -!- int-e has left (?).
18:53:37 -!- kipple has quit (Read error: 104 (Connection reset by peer)).
18:54:35 -!- kipple has joined.
19:19:58 -!- ihope has joined.
19:20:10 <ihope> ```si`k``si`k``sii``s``s`kski
19:21:06 <ihope> I think that's the Church numeral for Steinhaus's Mega.
19:30:14 <ihope> And ```si`k``si`k``si`k``sii``s``s`kski is much, much bigger...
20:15:32 <ihope> Now here's a nice sequence: !1 = 2, !2 = 8, !3 = 402653184*2^402653184.
20:29:38 -!- lirthy has quit (Read error: 104 (Connection reset by peer)).
20:39:58 -!- nooga has joined.
20:40:05 <nooga> Halloo
20:40:26 <Sgep> hi nooga
20:43:16 <nooga> hah
20:44:28 <nooga> i want finally to develop own, huge, usefull language and become lie Larry Wall or Bjarne Stroustrup
20:44:36 <ihope> :-)
20:45:06 <nooga> like*
20:46:39 -!- lirthy has joined.
20:46:44 <nooga> who wants to help me? ;p
20:48:05 <ihope> Me, maybe.
20:48:08 <GregorR> You want to become like Larry Wall, the primary developer of a language so huge and obnoxious that it's /not/ useful?
20:49:11 <lindi-> you mean "\/not\/" ? ;)
20:49:28 <GregorR> XD
20:49:29 <nooga> oh, i will begin with simple things... like compiling arithmetic expressions, flow control and simple types
20:49:57 <lindi-> heh, i've spent the last two days writing a compiler for a school project
20:50:09 <ihope> Wait! Functional or imperative?
20:50:18 <nooga> i've spend last year trying to write complete compiler :]
20:50:39 <lindi-> nooga: oh :)
20:50:47 <lindi-> nooga: you obviously lack some deadlines :)
20:50:58 <lindi-> ihope: ?
20:51:08 <GregorR> nooga: Finish a compiler for it tomorrow or I WILL HUNT YOU DOWN
20:51:15 <GregorR> Tada, deadlines.
20:51:26 <nooga> i think it should be like C++ (but more like Java) + perl + ML ;]
20:51:40 <ihope> All imperative, then?
20:51:47 <nooga> yea
20:52:36 <lindi-> doesn't ML support functional programming well?
20:52:48 <nooga> it does
20:52:59 <nooga> but i meant "a little bit of ML"
20:53:32 <nooga> to allow something like this: a = {something; something; something;} + b;
20:53:41 <ihope> Aha.
20:53:52 <nooga> soemtimes it's usefull
20:54:09 <ihope> a = map (+b) [something,something,something]
20:55:42 <nooga> and i plan builtin perl-like regexp
20:56:03 <nooga> no fuc**g headers like in C++
20:56:27 <nooga> methods implemented inside classes
20:56:33 * GregorR tries to figure out what curse word is spelled fuc__g ... one too few letters for fucking ...
20:56:56 <nooga> but treat * like in wildcards...
20:57:14 <GregorR> I'll treat it like regex :P
20:57:20 <GregorR> So it could be fucccccccccccccccccccccccccccccccccccccccccccccccccccccccccg
20:57:29 <ihope> Fucing, I suppose...
20:58:07 <nooga> oh -.-'
20:58:13 <nooga> FUCKING allright?
20:58:31 <GregorR> GASP YOU TYPED A CURSY WORD!!!!!!!
20:58:43 <nooga> i forgot about the FUCKING K before FUCKING C
20:59:03 * ihope stares in some ranom direction
20:59:41 <GregorR> (The random direction happens to be exactly towards the screen)
20:59:48 -!- calamari has joined.
20:59:50 <nooga> no
20:59:52 <nooga> damn
20:59:53 <nooga> idk
20:59:54 <nooga> after
20:59:57 <nooga> whaterver
20:59:59 <nooga> ;/
21:02:37 <nooga> !help
21:02:58 <calamari> hi
21:03:03 <GregorR> EgoBot: Ping?
21:03:05 <GregorR> !help
21:03:05 <nooga> hi calamari
21:03:35 * calamari suggests Linguine for the Ego Bot
21:04:42 * ihope wonders if IRCbots like lignuine
21:04:54 <nooga> linguine?
21:05:08 <EgoBot> help ps kill i eof flush show ls
21:05:10 <EgoBot> 1l 2l adjust axo befunge bch bf{8,[16],32,64} glass glypho kipple lazyk malbolge pbrain rail sadol sceql udage01
21:05:14 <calamari> yeah, but they can only take one line.. :)
21:05:15 <GregorR> Yay lag!
21:05:37 <EgoBot> help ps kill i eof flush show ls
21:05:37 <EgoBot> 1l 2l adjust axo befunge bch bf{8,[16],32,64} glass glypho kipple lazyk malbolge pbrain rail sadol sceql udage01
21:05:48 <calamari> unless Gregor changed it so that programs can use \n for multiple lines
21:05:48 <nooga> lol
21:05:49 <nooga> SADOL
21:05:58 <nooga> there's SADOL there!!!
21:06:03 <lindi-> nooga: maybe http://www.cs.hut.fi/Opinnot/T-106.550/Harjoitustyo/vaihe3.pdf could be helpful to you?
21:06:17 <nooga> !sadol !"1a
21:06:25 <EgoBot> a
21:06:31 <nooga> aha ;p
21:07:07 <GregorR> It can use URLs.
21:07:12 <GregorR> Just use pastebin for multiple lines.
21:07:44 <calamari> !pastebin
21:07:50 <nooga> !sadol (3~f1(5:a0:b1:i2@|<i#_0=i#_0(2?%i2:b+ba:a+ab:i+i1?%#_02ba:l,220@:l-l1!+f-,220l"1
21:08:07 <GregorR> http://www.pastebin.ca/
21:08:20 <calamari> thanks for the irp :)
21:08:42 <ihope> Canadia, eh?
21:08:58 <EgoBot> 1 1 2 3 5 8 13 21 34 55 89 144 233 377 610 987 1597 2584 4181
21:09:43 <ihope> What would happen if I !bf +[]?
21:09:51 <GregorR> It'll stop after a bit.
21:09:59 <calamari> or you can kill it
21:10:06 <GregorR> Or you can kill it :P
21:10:09 <nooga> What a lag
21:10:27 <GregorR> !ps
21:10:36 <nooga> lindi-: who makes this minijava?
21:10:46 <EgoBot> 1 GregorR: ps
21:11:00 <lindi-> nooga: what do you mean?
21:11:24 <ihope> Testing
21:11:38 <nooga> who's Lina Salmela
21:11:55 <nooga> Leena*
21:12:07 <ihope> Hmm... did somebody just say "Testing"?
21:12:47 <calamari> minijava?
21:16:03 <nooga> hyvaa paivaa
21:16:24 <nooga> sounds almost like minijavaa
21:19:27 <ihope> Maybe I could make a language called Lava...
21:20:18 -!- ihope has quit ("Chatzilla 0.9.68.5 [Firefox 1.0.7/20050915]").
21:20:37 <nooga> bybyy
21:22:04 <calamari> mm Lava.. write hot code, spewing ash and poisonous fumes.. then let your code harden into an impenetrable mass
21:22:47 <GregorR> Sounds like perl!
21:22:55 <nooga> shut..up...
21:23:11 <nooga> perl is cool ;>
21:23:35 <nooga> excuse me for that "shut up"...0.0
21:23:35 <calamari> perl is so 90's
21:23:45 <nooga> not perl 5 ;p
21:23:59 <calamari> hehe
21:24:02 <nooga> i got to lear ruby
21:24:07 <nooga> learn
21:24:27 <calamari> I'd buy a new perl book for version 5, if I ever used the books I currently have
21:24:51 <calamari> I could sell them as "Like New" :(
21:30:00 <nooga> i elarn new languages from the net and documentation
21:30:10 <nooga> i think the first two is the worse
21:30:19 <nooga> then every another is much easier
21:30:49 <jix> i learnd the first language from a computer magazine...
21:35:07 <nooga> my first was pascaal
21:35:21 <jix> my first was real-basic
21:35:28 <jix> a visual-basic clone for mac os
21:48:37 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
21:53:24 <nooga> oh
21:53:25 <nooga> mac
21:54:08 <nooga> lindi-: tell me, is "Leena" name for a woman or man??
21:55:31 <lindi-> nooga: at least in finnish that's woman's name
21:57:43 <nooga> mhm
21:57:52 <nooga> what about Mika?
21:59:50 <lindi-> nooga: that's man's name
22:00:09 <nooga> ha
22:01:21 <nooga> in Polish most woman's names are ended with 'a', only exeption is diminution for name Jakub - Kuba
22:01:28 <nooga> Kuba is man's name
22:01:42 <lindi-> ok
22:02:39 <nooga> i think that avoids mistakes :>
22:06:09 <nooga> hm, does most adjectives in finnish end with -nen ?
22:06:49 <lindi-> nooga: some do but i wouldn't say that most
22:07:26 <nooga> i'm just flipping through a finnish dictionary
22:07:31 <lindi-> heh
22:07:54 <nooga> i've tried to learn finnish but there's no good courses
22:08:15 <nooga> only phrase books and dictionaries ;/
22:11:37 <lindi-> hmm
22:12:03 <nooga> and it's hell hard!
22:13:10 <lindi-> probably :)
22:13:44 <Gs30ng> Polish is well known as a truly hard one
22:14:08 <nooga> but Finnish is worse ;d
22:14:57 <nooga> well.. maybe that's because I use Polish fluently from child
22:15:09 <nooga> and it's my natural, native language
22:15:33 <Gs30ng> for english-native, it's really hard to learn korean
22:15:46 <Gs30ng> but for korean-native, learning english is somewhat easier
22:16:01 <nooga> same here i think...
22:16:25 <Gs30ng> since korean is refered to be more complex than english
22:16:31 <Gs30ng> so may the force be with you, nooga
22:16:37 <nooga> english is easier than Polish, Korean, Chineese, Finnish, Hungarian, Russian, Nyjorsk, Dannish... and some other ;;p
22:16:50 <nooga> English*
22:17:24 <Gs30ng> i think you(and i)'ve got a good condition to learn another language... having a complex lang for own native lang
22:17:53 <nooga> that's true
22:19:51 <nooga> frend of mine have learned hangul
22:24:48 <nooga> but i saw a Finn in out TV who speaks Polish fluently and without any odd accent
22:24:56 <nooga> our*
22:25:21 <lindi-> hmm
22:25:39 <lindi-> nooga: just try to IRC on finnish channels :)
22:26:15 <nooga> how do you "21th" in Finnish?
22:26:22 <nooga> *say*
22:26:51 <nooga> tfu tfu 21st
22:27:07 <lindi-> kahdeskymmenesensimminen
22:27:10 <nooga> hahah
22:27:12 <nooga> i knew!
22:28:00 <nooga> and kuka means "who" but kukka means "a flower"
22:28:07 <lindi-> yep
22:28:26 <nooga> mato - worm, matto - carpet
22:29:03 <nooga> puro - stream, puuro - porridge
22:29:08 -!- kipple has quit (Read error: 110 (Connection timed out)).
22:29:09 <lindi-> right. it shouldn't be a problem if you write them. pronouncing might be trickier for a foreigner though
22:29:24 <nooga> yep, i tried...
22:29:57 <nooga> those 16 diphtongs are also quite hard
22:31:04 <nooga> for me it's hard to say something between a and e and i :)
22:31:18 <nooga> because Polish is rather hard
22:32:16 <nooga> i mean we've got hard speech sounds
22:33:58 <nooga> got to go
22:34:02 <nooga> bye
22:34:47 -!- nooga has quit.
2005-12-05
01:38:11 -!- calamari has quit ("Leaving").
02:28:47 -!- mitte has joined.
02:29:06 <mitte> hello
02:38:14 -!- Sgep has quit.
02:44:46 -!- calamari has joined.
02:55:58 -!- calamari has quit ("Leaving").
04:00:50 -!- marcan_ has joined.
04:05:47 -!- marcan has quit (Connection timed out).
05:06:20 -!- mitte has left (?).
07:39:14 -!- kipple has joined.
07:41:50 -!- marcan_ has quit (Success).
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:02:03 -!- marcan has joined.
09:10:16 -!- CXII has joined.
09:17:23 -!- CXI has quit (Nick collision from services.).
09:17:25 -!- CXII has changed nick to CXI.
09:32:08 -!- puzzlet has quit (Read error: 110 (Connection timed out)).
11:40:40 -!- puzzlet has joined.
12:11:24 -!- int-e has joined.
13:11:54 -!- puzzlet has quit (brown.freenode.net irc.freenode.net).
13:11:56 -!- tokigun has quit (brown.freenode.net irc.freenode.net).
13:12:40 -!- puzzlet has joined.
13:12:40 -!- tokigun has joined.
13:45:06 -!- jix has joined.
13:58:25 -!- puzzlet has quit (brown.freenode.net irc.freenode.net).
13:58:25 -!- tokigun has quit (brown.freenode.net irc.freenode.net).
13:58:41 -!- puzzlet has joined.
14:01:43 -!- tokigun has joined.
14:11:14 -!- tokigun has quit (brown.freenode.net irc.freenode.net).
14:11:15 -!- tokigun has joined.
14:45:41 -!- kipple has quit (Read error: 104 (Connection reset by peer)).
14:46:33 -!- kipple has joined.
16:54:43 -!- Keymaker has joined.
16:55:28 <Keymaker> evening
17:02:53 -!- lirthy has quit ("in truth there is no better place to be").
17:08:50 -!- lirthy has joined.
18:06:51 -!- int-e has left (?).
18:27:22 -!- Keymaker has left (?).
18:48:43 -!- int-e has joined.
19:17:01 -!- int-e has left (?).
20:31:25 -!- calamari has joined.
20:31:34 <calamari> hi
20:38:20 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
21:11:29 -!- Sgep has joined.
21:36:26 <calamari> hmm.. I wonder if it is possible to simulate a Turing machine that is possibly a decider, or whether I can only simulate a recognizer
21:36:54 <calamari> (I mean if the TM is possibly a decider or a recognizer, but I don't know which)
21:37:22 <calamari> err strike that.. makes no sense :)
21:38:25 <calamari> the halting problem I think tells me that I can't simulate a TM and produce a decider
21:46:36 <Sgep> decider? recognizer?
21:46:51 <calamari> <calamari> err strike that.. makes no sense :)
21:46:58 <calamari> ;)
21:47:44 <calamari> the only recognizers I know of are for TM's and Tron.. hehe
21:49:29 <calamari> hmm, actually maybe it would work
21:49:44 <calamari> if the simulation got to a reject state then it would reject
21:50:00 <calamari> I was getting confused with nondeterministic TM's
21:50:39 <calamari> yay.. this is much easier :)
22:12:16 -!- Arrogant has joined.
22:20:05 -!- Keymaker has joined.
22:20:17 <Keymaker> 'ello calamari
22:20:23 <Keymaker> have you checked your forums?
22:20:37 <Keymaker> bertram and daniel have posted very short entries..
22:21:03 <Keymaker> (int-e and dbc, i mean)
22:23:58 <calamari> cool
22:24:27 <Keymaker> yeah, it's pretty cool
22:24:34 <Keymaker> i can't wait to see their solutions
22:25:31 <calamari> I unfortunately can't justify writing an entry :( too much homework .. working on it now even
22:25:49 <Keymaker> yeah :\
22:26:13 <calamari> maybe I can extend the deadline a couple weeks.. (just kidding)
22:26:23 <Keymaker> phew :)
22:26:31 <Keymaker> what time is it over there now?
22:26:58 <calamari> 3:38pm
22:27:05 <calamari> errr.. 3:26pm ;)
22:27:29 <calamari> wow.. my watch is over 12 minutes off from them real time
22:27:35 <Keymaker> :)
22:27:57 <Keymaker> hmm, when i wake up tomorrow, the competition has ended. nice :D
22:28:15 <Keymaker> then i can get to see the others' entries..
22:28:48 <calamari> yeah.. although I still need to write the test cases
22:28:54 <Keymaker> well, in case nobody else enters i'm kinda "third" ;)
22:28:59 <calamari> and that won't be happening until after finals
22:29:00 <Keymaker> ah, the tests
22:29:06 <Keymaker> here are some suggestions:
22:29:14 <Keymaker> 1. file with only one new-line
22:29:27 <Keymaker> 2. file with few ks of "abc" pattern
22:29:28 <calamari> I have 11 different orderings of a b and c I need to test for :)
22:29:37 <Keymaker> ok
22:29:59 <Keymaker> remember to have some long tests, over 255 chars of each
22:30:05 <Keymaker> letter
22:30:06 <calamari> yeah definitely
22:30:20 <calamari> I'll probably write some randomly generated tests as well
22:30:24 <Keymaker> yeah
22:30:46 <calamari> but everyone will be tested with the same things, for fairness
22:30:56 <Keymaker> sure
22:31:24 <calamari> ok, afk to continue my thrilling proof of the equivalence of a 2 stack PDA and TM
22:31:30 <Keymaker> :)
22:31:55 <calamari> <groan>
22:44:07 <fizzie> Are you doing that just for fun, or is it an exercise of some sort?
22:44:21 <fizzie> Can't you just say it's obvious that they're equivalent? :p
22:44:28 <Keymaker> :)
22:44:35 <Keymaker> it's school work, i assume
22:44:48 <calamari> fizzie: it's homework
22:50:21 <fizzie> Heh, on the 'introduction to theoretical computer science' course we mostly had to just design TMs for various languages. Though there were some "prove foo" exercises, too.
22:53:35 <Gs30ng> the more powerful model of computation, TM > PDA > FSA, right?
22:53:42 <calamari> yes
22:54:07 <calamari> TM > decider > nondeterministic PDA > deterministic PDA > FSA
22:54:26 <Keymaker> what PDA stands for?
22:54:29 <Gs30ng> iirc PDA has it's own stack-like data management system
22:54:31 <Gs30ng> push down
22:54:36 <Gs30ng> automata(automaton)
22:54:36 <calamari> pushdown automata
22:54:47 <Keymaker> ah, of course.. i forgot..
22:55:09 <Gs30ng> FSA does not, but PDA has one stack-like thing
22:55:26 <Gs30ng> so i think that term '2 stack PDA' is a little bit weird
22:56:30 <calamari> on the homework it is described as a k stack PDA, where k=0 an NFA, k=1 a normal PDA
22:57:04 <calamari> NFA being a nodeterministic FSA
22:57:36 <calamari> NFA's and FSA's are equally powerful
22:57:49 <calamari> as are TM's and nondeterministic TM's
22:58:24 <fizzie> And n-track TM's and n-tape TM's, although that's somewhat obvious too.
22:58:30 <calamari> there is some question whether a probabilistic TM is more powerful than a normal TM.. at least according to wikipedia
23:05:03 <calamari> argh.. PDA's don't give EOF.. messing up my proof. hehe
23:17:03 <Sgep> Byeall
23:17:05 -!- Sgep has quit.
23:22:57 -!- kipple has quit (Read error: 110 (Connection timed out)).
23:27:56 -!- Sgep has joined.
2005-12-06
00:07:04 <Sgep> Byeall
00:07:05 -!- Sgep has quit.
00:07:15 <Keymaker> bye
00:09:50 -!- Arrogant has quit ("I AM QUIT HAVE A NICE DAY").
00:54:11 <Keymaker> nite.
00:54:14 -!- Keymaker has left (?).
00:55:57 -!- calamari has quit ("Leaving").
04:39:16 -!- sekhmet_ has joined.
04:46:58 -!- sekhmet has quit (Nick collision from services.).
04:47:01 -!- sekhmet_ has changed nick to sekhmet.
07:31:08 -!- jix has joined.
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:00:03 -!- Gs30ng has quit ("sleep").
08:11:54 -!- jix has quit (Read error: 104 (Connection reset by peer)).
08:35:35 -!- CXI has quit (Read error: 104 (Connection reset by peer)).
08:37:09 -!- CXI has joined.
09:45:55 -!- klutzy has joined.
09:46:16 -!- lirthy has quit (Read error: 104 (Connection reset by peer)).
09:56:45 -!- CXII has joined.
10:21:26 -!- CXI has quit (Read error: 110 (Connection timed out)).
11:51:08 -!- int-e has joined.
11:56:31 -!- kipple has joined.
12:58:57 -!- int-e has left (?).
15:01:42 -!- J|x has joined.
15:09:05 -!- J|x has changed nick to jix.
15:19:03 -!- CXII has quit ("If you're reading this, it's probably xchat's fault.").
15:19:42 -!- CXI has joined.
17:23:43 -!- kipple has quit ("See you later").
17:27:29 -!- kipple has joined.
18:06:13 -!- klutzy has changed nick to lirthy.
18:10:26 -!- puzzlet has changed nick to PuzzletChung.
18:13:06 -!- PuzzletChung has changed nick to puzzlet.
18:19:48 -!- puzzlet has changed nick to PuzzletChung.
19:15:32 -!- GregorR has quit (Remote closed the connection).
20:06:03 -!- kipple has quit (Read error: 104 (Connection reset by peer)).
20:06:06 -!- kipple has joined.
21:52:29 -!- Sgep has joined.
21:59:02 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
2005-12-07
00:47:22 -!- kipple has quit (Read error: 110 (Connection timed out)).
03:34:36 -!- calamari has joined.
03:34:41 <calamari> hi
03:48:34 <calamari> bye
03:48:36 -!- calamari has quit ("Leaving").
04:01:49 -!- marcan has quit (Connection timed out).
04:15:14 -!- marcan has joined.
04:19:03 -!- Sgep has quit.
05:45:39 -!- GregorR has joined.
07:31:59 -!- kipple has joined.
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:33:21 -!- Keymaker has joined.
09:54:24 * Keymaker thinks about writing a brainfuck program that prints out its own amount of instructions as integer
10:14:41 <Keymaker> this isn't what i originally had in mind, but it looks nice :)
10:14:42 <Keymaker> ++-++-++-++-++[>++++++++<-]>+++..
10:24:11 <Keymaker> here is a bit shorter version, that looks better
10:24:14 <Keymaker> >>>+++++[>++++++++++<-]>+.---.
10:29:57 <Keymaker> here's a 32-byte version that prints a new-line too
10:29:59 <Keymaker> >++++++++++[>+>+++++<<-]>>+.-.<.
10:47:58 -!- int-e has joined.
11:45:05 -!- Keymaker has left (?).
12:48:22 -!- Keymaker has joined.
12:49:03 <Keymaker> what is wrong with this python code?
12:49:05 <Keymaker> m = [1, 2, 3, 0]
12:49:05 <Keymaker> while m[i] > 0:
12:49:05 <Keymaker> print m[i]
12:49:49 <kipple> don't you need to increment i?
12:49:58 <Keymaker> yes,
12:50:02 <Keymaker> but that whole thing doesn't work
12:50:27 * kipple doesn't know python :(
12:50:33 <Keymaker> :(
12:50:44 <Keymaker> i'm not very familiar with this either, as you can see ;)
12:50:49 <int-e> lemme think
12:51:19 <int-e> NameError: name 'i' is not defined
12:51:25 <int-e> that's quite a clue, isn't it?
12:51:41 <Keymaker> no
12:51:44 <int-e> add a i = 0 before the loop and it's an infinite loop
12:52:04 <int-e> i = 0
12:52:04 <int-e> m = [1, 2, 3, 0]
12:52:04 <int-e> while m[i] > 0:
12:52:04 <int-e> print m[i]
12:52:04 <int-e> i += 1
12:52:07 <Keymaker> hmm
12:52:09 <Keymaker> fun
12:52:14 <Keymaker> i thought i tried it already :)
12:52:25 <Keymaker> thanks
12:52:43 <Keymaker> i thought python didn't need variable defining
12:53:25 <int-e> hmm, that's not quite true. (obviously)
12:53:39 <int-e> but you don't need to declare the variable before assigning a value to it
12:53:44 <Keymaker> ah
12:53:48 <int-e> for a in m:
12:53:48 <int-e> print a
12:53:58 <int-e> (that's slightly different though, it prints the 0, too)
12:54:08 <int-e> (and goes past the 0 if the list is longer)
12:57:17 <int-e> for a in m:
12:57:17 <int-e> if a == 0:
12:57:17 <int-e> break
12:57:17 <int-e> print a
12:57:36 <int-e> (ok. that's the obvious alternative if you don't need the index later - I'll stop now)
12:57:44 <Keymaker> :)
13:07:31 <Keymaker> i hate normal languages.. grhh
13:08:17 <int-e> Hmm. I think Python is very neat.
13:44:13 <Keymaker> done; http://koti.mbnet.fi/yiap/stuff/selfmd5.py
13:45:03 <kipple> neat
13:45:32 <Keymaker> it's md5 (and output) is (or at least should be) b1f532d69db9c1366389ff855da9ae04
13:47:50 <int-e> ", ".join(map(str, [45,45,45])) -> "45, 45, 45"
13:48:07 <int-e> you might like this :)
13:48:47 <int-e> (it works on arbitrary lists, of course)
13:48:57 <int-e> of numbers.
13:49:18 <int-e> hmm. actually strings don't hurt either
13:49:35 <int-e> (but Python prefers to print them with '')
13:49:43 <Keymaker> i can't get it working
13:49:48 <Keymaker> perhaps my python version is too old
13:50:13 <int-e> hmm.
13:50:28 -!- jix has joined.
13:50:44 <int-e> how old is 'old'?
13:50:55 <Keymaker> could be few years
13:51:02 <jix> moin
13:51:06 <Keymaker> hi
13:51:08 <int-e> I have 2.4.2 - which is fairly modern.
13:51:28 <int-e> it works in 2.3 too
13:52:29 <Keymaker> 2.3.3 is says
13:53:01 <Keymaker> hmm, do i need to have anything else in the file than that code line?
13:53:11 <int-e> did you strip off the ' -> [...]' part?
13:53:17 <Keymaker> nope
13:53:22 <int-e> you should, sorry
13:53:29 <Keymaker> oh, ok
13:53:42 <Keymaker> the interpreter was complaining about "->" part
13:54:07 <int-e> I just used it to show the result on the same line.
13:54:23 <Keymaker> ok
13:54:53 <Keymaker> useful line of code
13:56:16 <Keymaker> consider nothing obvious when talking to me about something ;)
13:56:44 * jix is working on a emulator...
13:56:46 <jix> +n
13:56:50 <Keymaker> what kind of?
13:56:55 <jix> colecovision
13:57:00 <Keymaker> what's that?
13:57:09 <jix> some z80 game-device
13:57:19 <Keymaker> ah
13:57:23 <jix> using sound and graphic chips from TI
13:58:09 <Keymaker> nice :)
13:58:17 <Keymaker> how do you know how it works?
13:58:58 <jix> there are internet sites that describe the hardware
13:59:06 <Keymaker> ah
13:59:34 <jix> and i know how the z80 works by viewing offical and inoffical z80 documentation
13:59:55 <Keymaker> ok
14:03:05 <int-e> s = ['print s', 'print "\\n".join(s)']
14:03:05 <int-e> print "s = ", s
14:03:05 <int-e> print "\n".join(s)
14:03:10 <int-e> python quine :)
14:03:21 <Keymaker> nice :)
14:03:22 <int-e> hmm, one space too much.
14:03:31 <int-e> should be print "s =", s
14:03:36 <Keymaker> ok
14:03:52 <int-e> s = ['print "s =", s', 'print "\\n".join(s)']
14:03:52 <int-e> print "s =", s
14:03:52 <int-e> print "\n".join(s)
14:03:58 <int-e> that's better
14:04:19 <int-e> (the fun thing is that python quotes strings inside lists when printing lists)
14:06:12 <int-e> you can exploit the same thing with the str() function
14:06:22 <int-e> so it can be used for the md5sum program as well
14:07:13 <jix> ruby port:
14:07:14 <jix> s = ["puts 's = '+s.inspect","puts s"]
14:07:14 <jix> puts 's = '+s.inspect
14:07:14 <jix> puts s
14:33:39 -!- Keymaker has left (?).
16:28:59 -!- Keymaker has joined.
16:32:48 <int-e> 247 bytes is quite impressive.
16:33:39 <Keymaker> yeah
16:35:36 <Keymaker> it's amazing how the task got optimized
17:05:59 -!- int-e has quit ("Bye!").
17:31:49 -!- lindi- has quit (Read error: 113 (No route to host)).
17:52:02 -!- Keymaker has left (?).
20:33:03 -!- Sgep has joined.
20:56:58 -!- Keymaker has joined.
21:25:56 <Keymaker> bf-hacks.org has been updated with a new program i made up today!
21:25:58 <Keymaker> http://bf-hacks.org/hacks/ptmbsg.b
21:26:21 <Keymaker> it's a Prouhet-Thue-Morse binary sequence generator
21:26:39 <Keymaker> i think it's one of my best programs. check it out :)
21:39:15 <jix> one of my best programs (sort) not the shortest sort but very short: >>,[[-[->>+<<]+>>]<+<[-<<]>>,]+[>[-<.>]<[->>+<<]>>+]
21:39:27 <Keymaker> what it does?
21:39:35 <jix> it sorts all input bytes
21:39:41 <Keymaker> ah
21:39:43 <Keymaker> cool
21:40:17 <jix> uses 0 for eof...
21:40:45 <Keymaker> ok
21:41:25 <Keymaker> that kind of thing has once been in bf golf if i remember correct. if you had been around at that time you would've placed well
21:41:34 <Keymaker> (i wasn't around at that time, btw)
21:42:14 <jix> the version at short.b (where the shortest hw is in) is 1 or 2 bytes shorter than mine
21:42:38 <Keymaker> so, that's pretty good solution ;)
21:48:03 <Sgep> bf golf?
21:48:13 <Keymaker> brainfuck golf
21:48:17 <Keymaker> brainfuck.sourceforge.net
21:52:30 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
23:00:53 <Keymaker> me go
23:00:55 -!- Keymaker has left (?).
23:03:18 -!- kipple has quit ("See you later").
2005-12-08
00:55:05 -!- PuzzletChung has quit (Read error: 104 (Connection reset by peer)).
00:57:10 -!- puzzlet has joined.
01:48:30 -!- ihope has joined.
01:48:38 <ihope> Mello
01:54:28 <ihope> I'm writing a Haskell program that will write a Foobar program that will output the 99 bottles of beer song.
01:55:12 <ihope> Since that song is less that 65536 characters, actually doing this "the right way" is not fundamentally better than doing it via brute force.
02:04:05 <ihope> Yay! Two hundred kilobytes of "foobeer.omy".
02:22:52 <Sgep> Any comments on my interpreter?
02:24:41 * Sgep sees comments
02:24:45 <ihope> Still haven't tried it yet
02:28:12 * Sgep wonders why he claimed that spaces need to be removed
02:28:47 <ihope> Hmm, apparently nothing between the first hash sign and the second pasted properly.
02:29:08 <ihope> 'Ere we go.
02:30:06 <ihope> Hmm, boop. How do I save a file in vi?
02:35:26 <fizzie> :w
02:35:49 <fizzie> Or ":w file.bleh" if you've opened an unnamed file.
02:38:21 <ihope> I decided to use cat instead :-P
02:39:16 <fizzie> "Halp! I'm trapped in vi and I can't get out!"
02:39:30 <ihope> :q!
02:40:23 <ihope> Well, I got your interpreter pasted into a JPEG file...
02:40:29 -!- ihope has quit ("Chatzilla 0.9.68.5 [Firefox 1.0.7/20050915]").
04:28:09 -!- Sgep has quit.
05:22:31 -!- Gs30ng has joined.
07:26:25 -!- wooby has joined.
07:26:46 <wooby> hello
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:06:54 -!- wooby has quit.
08:09:23 -!- kipple has joined.
08:11:21 -!- nooga has joined.
08:11:25 <nooga> hi
08:56:44 * nooga is writing memory manager
09:08:14 -!- nooga has quit ("Lost terminal").
10:25:51 -!- GregorR has quit (Remote closed the connection).
10:32:10 -!- Gs30ng has quit ("잡니다. (gotta sleep)").
12:02:44 -!- tweekgeek has joined.
12:21:29 -!- kipple has quit (Read error: 104 (Connection reset by peer)).
12:21:32 -!- kipple has joined.
12:24:03 -!- tweekgeek has left (?).
12:51:21 -!- CXI has quit (Read error: 104 (Connection reset by peer)).
12:51:46 -!- CXI has joined.
12:55:23 -!- lindi- has joined.
13:39:33 -!- jix has joined.
16:29:40 -!- graue has joined.
16:29:48 <graue> hello
16:30:09 <graue> just for the record, the wiki mirror at http://esolang.kidsquid.com/ is showing a bunch of PHP errors, and calamari should fix it
16:30:48 <graue> well, that's really all I had to say here
16:30:51 -!- graue has left (?).
18:17:57 -!- nooga has joined.
18:20:45 <nooga> well
18:20:47 <nooga> hello?
18:55:59 <nooga> what was the name of that esolang with random execution order?
19:01:46 <jix> whenever?
19:18:22 -!- tokigun has quit (Remote closed the connection).
19:18:26 -!- tokigun has joined.
20:10:00 -!- Sgep has joined.
20:37:16 -!- nooga has quit ("Lost terminal").
20:48:28 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
20:48:37 -!- jix has joined.
21:27:35 -!- Arrogant has joined.
21:32:55 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
22:25:24 -!- Sgep has quit (Read error: 104 (Connection reset by peer)).
22:26:10 -!- Sgep has joined.
23:21:27 -!- kipple has quit (Read error: 110 (Connection timed out)).
23:33:27 -!- ihope has joined.
23:34:00 <ihope> Gack. Why does Chatzilla always automatically set me to "away"?
2005-12-09
00:08:32 <Sgep> re ihope
00:12:59 <ihope> ?
00:35:09 -!- GregorR has joined.
00:37:02 -!- Arrogant has quit (Read error: 113 (No route to host)).
01:15:55 -!- puzzlet has quit (Read error: 110 (Connection timed out)).
01:18:51 -!- ihope has quit (Read error: 110 (Connection timed out)).
02:28:08 -!- ihope has joined.
02:35:14 -!- CXII has joined.
02:47:14 -!- ihope has quit ("Chatzilla 0.9.69 [Firefox 1.0.7/20050915]").
02:57:08 -!- CXI has quit (Connection timed out).
03:09:05 * Sgep is leaving in less than 2min
03:09:40 * Sgep executed sudo shutdown -h 5
03:10:38 -!- Sgep has quit (Remote closed the connection).
03:22:31 -!- pgimeno has quit (brown.freenode.net irc.freenode.net).
03:22:58 -!- pgimeno has joined.
03:23:34 -!- pgimeno has quit (brown.freenode.net irc.freenode.net).
03:24:00 -!- pgimeno has joined.
04:04:50 -!- CXI has joined.
04:27:55 -!- CXII has quit (Connection timed out).
05:17:55 -!- puzzlet has joined.
06:12:38 -!- sekhmet_ has joined.
06:25:39 -!- sekhmet has quit (Read error: 110 (Connection timed out)).
06:35:15 -!- sekhmet_ has changed nick to sekhmet.
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
09:20:32 -!- kipple has joined.
13:59:35 -!- jix has joined.
16:09:39 -!- puzzlet has quit (Read error: 110 (Connection timed out)).
17:52:47 -!- Keymaker has joined.
17:53:47 <Keymaker> hello
17:54:18 <Keymaker> hmmm, anyone familiar with reading binary files in c in windows/dos?
17:54:48 <lindi-> what about it?
17:54:54 <Keymaker> could you help a bit?
17:56:53 <Keymaker> ?
17:57:36 <lindi-> help in what? ;)
17:58:22 <Keymaker> reading the files :) could you write a simple program that'd open something file and read a byte from it to variable and then close the file?
17:59:20 <Keymaker> and show how to read a word and a double word?
17:59:39 <Keymaker> (2-bytes and 4-bytes)
18:03:02 <Keymaker> come on, i can get never started unlike someone shows me this simple thing :)
18:03:09 <Keymaker> *unless
18:14:25 <Keymaker> perhaps i should use python instead.. but can it compile?
18:15:20 <Keymaker> although i have no idea how to do these things in python either
18:16:52 <Keymaker> mh, no, c'd suit better
18:21:07 <lindi-> Keymaker: a sec
18:21:22 <Keymaker> ok:)
18:22:55 <lindi-> Keymaker: int byte; FILE *fp; fp = open("somefile", "rb"); assert(fp); byte = fgetch(fp); assert(byte != EOF); // reads one byte
18:23:27 <lindi-> Keymaker: what endianess do you want to use with the words?
18:23:48 <Keymaker> hmm, not sure which one is it.. it's the one used in windows/dos
18:37:11 <Keymaker> oh this is so frustrating.. hopefully the last time ever i use c
18:37:58 <lindi-> you better check the byteorder somewhere :)
18:39:40 <lindi-> int byte1, byte2, word; byte1 = fgetch(fp); byte2=fgetch(fp); word = byte1+(byte2<<8) // reads one little-endian word
18:39:59 <lindi-> Keymaker: just make that a function and it's less painless
18:40:06 <Keymaker> ok
18:40:30 <lindi-> and remember checks for EOF
18:40:45 <Keymaker> how?
18:40:55 <lindi-> depends on how you want to fail of course
18:41:03 <Keymaker> :)
18:41:06 <lindi-> assert(byte1 != EOF) will kill the whole program
18:42:30 <Keymaker> thanks. i don't understand this stuff, so, do i need to close the file somehow?
18:42:40 <Keymaker> and what assert does?
18:42:42 <lindi-> fclose(fp)
18:42:48 <Keymaker> ok
18:43:02 <lindi-> Keymaker: it's just a debugging aid which i tend to overuse :)
18:43:10 <Keymaker> ah.
18:43:33 <Keymaker> and the last question, is there any way to read from exact hex address?
18:43:44 <lindi-> Keymaker: from the file?
18:43:46 <Keymaker> yeah
18:43:51 <lindi-> just seek()
18:43:59 <lindi-> or fseek() actually
18:44:14 <Keymaker> how do i do that?
18:44:14 -!- nooga has joined.
18:44:18 <nooga> http://www.99-bottles-of-beer.net/language-sadol-941.html
18:44:20 <nooga> LOOK!
18:44:27 <nooga> someone codes in sadol !
18:44:37 <lindi-> Keymaker: check the manual ;)
18:44:40 <Keymaker> yeah, i've seen that :) nice
18:44:43 <nooga> and i dont know him (probably)
18:44:45 <Keymaker> lindi-: ok
18:44:52 <Keymaker> thanks for all the fish,
18:44:54 <lindi-> Keymaker: and ask if it's unclear
18:44:59 <Keymaker> ok
18:45:18 <Keymaker> bbl..
18:48:17 <nooga> yay
18:48:21 <nooga> success!!!
18:48:40 <nooga> someone has written a program in my language
18:48:45 <nooga> yay yay yay!
19:12:55 <nooga> hm
19:13:00 <nooga> that's funny
19:15:03 <Keymaker> :)
19:15:06 <Keymaker> (back)
19:23:26 <nooga> hm
19:23:34 * nooga is writing SADOL2 interpreter
19:43:49 <Keymaker> lindi-: what should i do to get the file-to-be-opened given as argument for the program? like, prog1 file.txt
19:46:32 <fizzie> int main(int argc, char ** argv) { FILE * fp; if(argc != 2) die(); fp = fopen(argv[1], "rb"); ...
19:46:49 <Keymaker> thanks
19:48:28 <fizzie> And fseek(fp, offset, SEEK_SET); makes future fread()s (or fgetch()s) start at 'offset' bytes from the start of the file.
19:48:58 <Keymaker> cool! :)
19:54:09 <nooga> wo
19:54:11 <Keymaker> f... ten errors in few lines already..
19:54:15 <nooga> Keymaker learns C ?
19:54:38 <Keymaker> well, my purpose isn't try to learn it, just code one program :)
19:55:02 <nooga> in what did you code until now?
19:55:11 <Keymaker> brainfuck :)
19:55:17 <Keymaker> and will code in the future as well..
19:55:29 <Keymaker> i've used c sometimes, but never these file things
19:55:48 <Keymaker> but well, the programs i've written in c this far have been minimal.
19:56:32 <Keymaker> ah, solved the probelm
19:56:43 <Keymaker> *bl
19:57:40 <Keymaker> fizzie: those things require more than stdio.h?
19:57:57 <fizzie> They shouldn't.
19:58:01 <Keymaker> hmm
19:58:20 <Keymaker> then i guess i'm having some problem in my c compiler.. or in dev-c++
19:58:28 <Keymaker> probably the latte
19:58:30 <Keymaker> *r
19:59:58 <Keymaker> it doesn't complain errors but it complains "undefined reference to `die'" and doesn't create anything
20:02:10 <lindi-> Keymaker: by "die()" fizzie meant that you need to handle the error somehow
20:02:40 <Keymaker> it isn't c function?
20:02:45 <nooga> i guess no
20:02:58 <nooga> its in perl en php though
20:03:17 <Keymaker> hmm, i thought i've seen it in c before
20:03:41 <Keymaker> but nevertheless, now it complains about "undefined reference to `fgetch'"
20:03:42 <lindi-> Keymaker: you can create the function yourself
20:03:57 <lindi-> Keymaker: sorry, it's fgetc()
20:04:13 <fizzie> Heh, thought it was fgetc() but since lindi used fgetch... :p
20:04:25 <nooga> void die(char* s) {printf("error: %s",s); exit(1);}
20:04:26 <nooga> :>
20:04:32 <Keymaker> ok
20:04:38 <Keymaker> thanks, now it works
20:04:39 <lindi-> getch must be some ncurses stuff
20:05:20 <Keymaker> argh, the functions.. i wouldn't like to use own functions but i guess it's rather necessary
20:05:48 <Keymaker> or well, not necessary, but might ease the work
20:06:08 <lindi-> indeed
20:07:03 <Keymaker> what this "argc != 2" means?
20:07:09 <Keymaker> file doesn't exist or what?
20:07:29 <fizzie> Tests that there are two arguments provided to the program.
20:07:34 <fizzie> (The first one is always the program name.)
20:07:56 <Keymaker> ok
20:08:03 <Keymaker> then, how do i check the file is there?
20:08:13 <fizzie> If it isn't, fopen() fails.
20:08:19 <fizzie> (And returns NULL.)
20:09:15 <Keymaker> ok
20:09:27 <Keymaker> this language has no logic :)
20:10:34 <Keymaker> hmh, i can't use it
20:10:54 <Keymaker> there's "fp = fopen(argv[1], "rb");"
20:11:03 <Keymaker> how do i check if fopen returns null?
20:11:10 <Keymaker> and what is that 'fp'
20:11:54 <lindi-> Keymaker: if (fp == NULL) { fprintf(stderr, "Failed to open file\n"); exit(1); }
20:12:06 <nooga> Keymaker: how many languages did you invent?
20:12:10 <lindi-> or assert(fp); ;)
20:12:28 <nooga> *have you invented?
20:13:01 <Keymaker> nooga: unnecessary and trigger (partly)
20:13:12 <Keymaker> and some unreleased, unfinished
20:13:25 <nooga> and you have problems with C
20:13:30 <Keymaker> yes
20:13:33 <nooga> omigosh
20:13:39 <Keymaker> :p
20:13:45 <Keymaker> brainfuck makes sense, this does not
20:13:53 <nooga> what about SADOL
20:13:54 <nooga> ?
20:14:06 <jix> i'm coding my emulator in c
20:14:08 <nooga> nice, warm, lovely, functional paradigm
20:14:13 <Keymaker> :)
20:14:16 <jix> but i'm a c beginner...
20:14:16 <Keymaker> yeah
20:14:26 <Keymaker> (bbl)
20:14:39 <Keymaker> you, a beginner?! and managed to write a kipple interpreter?
20:14:54 * Keymaker dies
20:14:57 <nooga> jix: check out http://regedit.risp.pl/nosense/
20:16:07 <nooga> i'm coding next idea of that guy (a friend of mine) - sqr16, 8 bit machine emulator with only 256 bytes of memory :D
20:16:11 <jix> nooga: i did something like this before.. but i didn't took it to that level...
20:16:25 <jix> only simple terminal IO
20:16:33 <jix> simple instruction set
20:16:38 <jix> but now i'm writing a z80 emulator
20:16:41 <nooga> i plan to use xanalogtv as a display
20:16:45 <jix> for a coleco vision emulator
20:16:59 <nooga> like in the "apple][" screensaver for linux
20:18:56 <nooga> http://images.opentopia.com/enc/3/2116/Apple2_BSOD.jpg
20:19:25 <nooga> http://images.opentopia.com/enc/3/2116/Apple2_Screensaver.jpg
20:19:55 <nooga> oh http://hactar.net/kzed/images/ircpower.jpg
20:20:00 <nooga> it looks like this
20:20:20 <nooga> xanalogtv emulates old, damaged tv display :D
20:20:23 <jix> where do i get xanalogtv?
20:20:30 <jix> (i know the apple][ screen saver)
20:20:41 <jix> would be cool for coleco vision emulator too
20:21:17 <nooga> check out the sources of xscreensaver
20:21:45 <fizzie> I've started to write two z80 emulators already. :p
20:22:07 <nooga> http://www.die.net/doc/linux/man/man1/xanalogtv.1.html
20:22:10 <fizzie> (Neither one got very far - although I think both times I had the z80 cpu part semi-done.)
20:22:59 <nooga> hah
20:23:05 <nooga> i just hate kdevelop
20:23:09 <nooga> it's horrible
20:23:23 <nooga> all that mess with automake and autoconf
20:23:28 <nooga> werid errors
20:23:36 <nooga> blah
20:23:38 <jix> fizzie: i implemented LD PUSH POP and EX ....
20:23:54 <jix> i'm implementing the decoding atm (i use code generation because i want to finish it...)
20:24:43 <nooga> i see that z80 is quite popular
20:27:29 <jix> it is
20:27:56 <nooga> simple
20:27:58 <nooga> huh
20:31:05 <nooga> i thought about a script for generating some opcodes' code
20:31:26 <nooga> because there are many of almost equal
20:33:53 <jix> i do that...
20:34:01 <jix> it's like a specialized macro system
20:34:05 <nooga> yea
20:39:20 <fizzie> I used to have a Z80 datasheet/manual here, too. Although as I didn't bother emulating the timing issues, any old opcode list would've been as good.
20:40:04 <jix> i use z80-documentated.pdf
20:40:09 <jix> it's very complete...
20:41:47 <Keymaker> mh, this program doesn't work correctly
20:42:15 <Keymaker> int main(int argc, char ** argv){
20:42:15 <Keymaker> FILE * fp;
20:42:15 <Keymaker> if (argc != 2){ die("An argument is missing (input file)."); };
20:42:15 <Keymaker> if (fp == NULL){ die("Failed to open file."); }
20:42:15 <Keymaker> fp = fopen(argv[1], "rb");
20:42:33 <fizzie> Should you perhaps fopen first and check fp == NULL after?
20:42:57 <Keymaker> i don't know :)
20:43:04 <fizzie> I think it might make sense.
20:43:22 <fizzie> Now I'd need to design a MIPS R3000 CPU and a MMU for it, and optionally a FPU too. Optionally with VHDL descriptions so it can be simulated. A bit too low-level for my tastes.
20:43:25 <nooga> lool
20:44:08 <Keymaker> yeah, it makes sense, but the behaviours stays as strange as before
20:44:52 <Keymaker> it doesn't print the stuff in die() and quits strangely
20:45:41 <nooga> hahm
20:46:43 <Keymaker> mmh, now it works.
20:47:59 <jix> i have two files decode.table... does the opcode => instruction mapping... and instructions.in.c that contains the code for the instructions... i use ruby code to parse both and combine them into compilable c code
20:48:16 <jix> a line in decode.table looks like: ON 0xDD 0b01110aaa bDO LD_de1(`Rix`, a:r, b)T 19 # LD (IX+d),r
20:48:50 <nooga> lol :D
20:49:01 <jix> and LD_de1 is defined in instructions.in.c
20:49:47 <jix> backticks can contain any c code... it's inserted into the template at instructions.in.c
20:50:06 <jix> a:r says look up the c code for every possible a in the enum table r
20:50:53 <Keymaker> someone; how do i read a double word?
20:51:11 <Keymaker> (lindi-: the code for reading word works perfectly)
20:51:54 <fizzie> Just extrapolate on it. byte1, byte2, byte3, byte4 - fgetc four times - dword = (byte1 << 24) | (byte2 << 16) | (byte3 << 8) | byte4.
20:52:19 <jix> or use read.. (check byte order!)
20:52:21 <jix> fread
20:52:36 <lindi-> fizzie: that would read big-endian dword though
20:52:51 <fizzie> Well, big-endian is what makes sense. :p
20:53:04 <Keymaker> but this is needed in windows
20:53:07 <Keymaker> ;)
20:53:21 <jix> if you use fread on big-endian it reads big-endian if runs on little it reads little endian
20:53:35 <lindi-> jix: yeah, and that's very bad
20:53:48 <fizzie> You could use "unsigned int foo; fread(&foo, 4, 1, fp);" if you didn't care about portability.
20:54:06 <Keymaker> thanks
20:54:13 <lindi-> things like int being 16-bits and so on...
20:54:17 <Keymaker> well, i don't care about portability since it's a level editor for old dos game
20:54:28 <lindi-> please care about portability :)
20:54:37 <lindi-> as it's so easy in this case
20:54:44 <Keymaker> then, what do i use?!
20:54:53 <Keymaker> fizzie's first code or second?
20:55:02 <lindi-> Keymaker: fizzies code but reverse the order of bytes
20:55:48 <Keymaker> like "dword = (byte4 << 24) | (byte3 << 16) | (byte2 << 8) | byte1"?
20:55:55 <lindi-> yep
20:55:58 <Keymaker> ok
20:56:02 <Keymaker> then i'll use that
20:56:45 <Keymaker> well, i can't make functions of those
20:57:59 <lindi-> Keymaker: why not?
20:58:29 <Keymaker> i don't have the skills
20:58:34 <Keymaker> ;)
20:59:11 <Keymaker> would the fgetc work if i call it from some function?
20:59:21 <fizzie> Uh. int read_word(FILE * fp) { int byte1, byte2; byte1 = fgetc(fp); byte2 = fgetc(fp); return byte1 | (byte2 << 16); }
20:59:28 <fizzie> (Without error-checking.)
20:59:34 <Keymaker> thanks
20:59:46 <fizzie> Why wouldn't it work when called from a function?
21:00:14 <Keymaker> i don't know
21:00:21 <Keymaker> i don't understand how it works
21:00:36 <Keymaker> when i call it, do i need to have something inside ( ) ?
21:00:47 <Keymaker> the read_word
21:00:57 <fizzie> The file pointer.
21:01:04 <Keymaker> how do i write it there?
21:01:17 <fizzie> How would you write it when calling fgetc?
21:01:28 <Keymaker> i have no idea :p
21:01:39 <fizzie> Well, "fp". If that's what you call it.
21:01:50 <Keymaker> ah
21:01:54 <Keymaker> thanks
21:01:59 <fizzie> fp = fopen(..); foo = read_word(fp); ...
21:03:32 <lindi-> and error checking for every other line ;)
21:04:09 <Keymaker> i think i'll leave the error checking out, it's too annoying
21:04:42 <lindi-> you'll hit nasty bugs if you do that
21:10:25 <Keymaker> is int two bytes or does that need to be defined somehow to keep portability?
21:10:56 <jix> int is somewhere between 8 and 64 bytes.. (most of the time.. there may be exceptions...)
21:11:18 <jix> it could be something different than a multiple of 8 bits...
21:11:23 <Keymaker> ok
21:11:24 <jix> if a byte != 8bits...
21:11:25 <lindi-> at least here it's 4 bytes
21:11:37 <jix> #include <stdint.h>
21:11:52 <Keymaker> jix; what does it do?
21:12:04 <jix> you get things like int32_t for a 32bit signed int
21:12:05 <lindi-> and in real mode dos system it's 2 bytes
21:12:13 <jix> or uint16_t
21:12:25 <jix> you can typedef to u16 and s16 and u32....
21:12:36 <jix> typedef uint8_t u8;
21:12:36 <jix> typedef int8_t s8;
21:12:40 <Keymaker> well, i don't understand any of those lines, but ok
21:12:51 <jix> then u8 is a 8bit unsigned
21:13:03 <jix> replace 8bit with the bit count you want..
21:14:31 <fizzie> Or just use "uint16_t foo" for a 16-bit word, and "uint32_t bar" for a 32-bit dword - they're not _that_ long that you'd need to abbreviate them to u16 or u32.
21:15:12 <Keymaker> ok, thanks
21:15:12 <jix> i don't use uint16_t because i always type things liek int_16t or uint16t or t_uint16...
21:16:18 <fizzie> And then again, that's not the most portable solution. It might not work on, say, a Cray, where 16-bit integers don't exist. A more portable choice would be to use int_least16_t and int_least32_t from stdint.h.
21:17:00 <jix> if you need exactly that amount of bits that won't work... making it even worse because it compiles without errors...
21:17:18 <fizzie> I don't think he needs exactly that amount of bits.
21:17:29 <Keymaker> no
21:17:34 <jix> (i do)
21:17:53 <fizzie> You just think you do. :p
21:18:29 <jix> no
21:18:31 <fizzie> One can always add "&0xffff"s there.
21:18:31 <Keymaker> i don't dare even think what kind of problems there will be with file saving..
21:18:51 <jix> fizzie: but i don't want to do that
21:21:47 <fizzie> Then you'll probably need to do something like #ifdef UINT8_MAX typedef uint8_t u8; #define SET8(a,b) ((a) = (b)) #define GET8(a) (a) #else typedef uint_fast8_t u8; #define SET8(a,b) ((a) = ((b)&0xff)) #define GET8(a) ((a)&0xff) #endif, if you want your thing to work on platforms where no 8-bit integers exist.
23:32:32 -!- clog has joined.
23:32:32 -!- clog has joined.
23:38:46 <Keymaker> can't there be global arrays?
2005-12-10
00:17:05 <fizzie> Why not?
00:17:43 <Keymaker> well, guess i just couldn't get them working
00:18:17 <fizzie> If you want to allocate an array dynamically, you can use something like "uint8_t * blaharray = malloc(1234); if(blaharray == NULL) die();" and then free(blaharray); when you're finished. blaharray can obviously be a global variable too.
00:31:04 -!- Gs30ng has joined.
00:39:37 <Sgep> AFK all
00:41:07 * Gs30ng runs away from keyboard as he is bid.
00:43:22 -!- kipple_ has quit (Read error: 110 (Connection timed out)).
00:45:10 -!- Keymaker has left (?).
02:12:12 -!- lirthy has quit (Read error: 104 (Connection reset by peer)).
02:14:01 -!- lirthy has joined.
02:17:08 -!- scott has joined.
02:18:27 -!- scott has left (?).
02:25:50 -!- cmeme has quit (SendQ exceeded).
02:28:30 -!- cmeme has joined.
02:47:28 -!- CXI has quit (niven.freenode.net irc.freenode.net).
02:47:49 -!- CXI has joined.
02:58:48 -!- cmeme has quit ("Client terminated by server").
02:59:25 -!- cmeme has joined.
03:01:09 -!- cmeme has quit (Client Quit).
03:01:46 -!- cmeme has joined.
03:03:30 -!- cmeme has quit (Client Quit).
03:04:07 -!- cmeme has joined.
03:05:51 -!- cmeme has quit (Client Quit).
03:06:28 -!- cmeme has joined.
03:08:13 -!- cmeme has quit (Client Quit).
03:08:49 -!- cmeme has joined.
03:10:33 -!- cmeme has quit (Client Quit).
03:11:10 -!- cmeme has joined.
03:12:55 -!- cmeme has quit (Client Quit).
03:13:31 -!- cmeme has joined.
03:15:16 -!- cmeme has quit (Read error: 104 (Connection reset by peer)).
03:15:52 -!- cmeme has joined.
03:17:37 -!- cmeme has quit (Client Quit).
03:18:14 -!- cmeme has joined.
03:19:58 -!- cmeme has quit (Client Quit).
03:20:35 -!- cmeme has joined.
03:22:19 -!- cmeme has quit (Client Quit).
03:22:56 -!- cmeme has joined.
03:24:40 -!- cmeme has quit (Client Quit).
03:25:17 -!- cmeme has joined.
03:27:01 -!- cmeme has quit (Client Quit).
03:27:38 -!- cmeme has joined.
03:29:23 -!- cmeme has quit (Client Quit).
03:29:59 -!- cmeme has joined.
03:31:44 -!- cmeme has quit (Client Quit).
03:32:20 -!- cmeme has joined.
03:34:05 -!- cmeme has quit (Client Quit).
03:34:41 -!- cmeme has joined.
03:35:23 -!- CXI has quit (Read error: 104 (Connection reset by peer)).
03:36:26 -!- cmeme has quit (Client Quit).
03:37:02 -!- cmeme has joined.
03:38:47 -!- cmeme has quit (Read error: 104 (Connection reset by peer)).
03:39:24 -!- cmeme has joined.
03:40:43 -!- CXI has joined.
03:41:08 -!- cmeme has quit (Client Quit).
03:41:45 -!- cmeme has joined.
03:43:29 -!- cmeme has quit (Connection reset by peer).
03:44:06 -!- cmeme has joined.
03:45:50 -!- cmeme has quit (Read error: 104 (Connection reset by peer)).
03:46:27 -!- cmeme has joined.
03:48:11 -!- cmeme has quit (Client Quit).
03:48:48 -!- cmeme has joined.
03:50:32 -!- cmeme has quit (Client Quit).
03:51:09 -!- cmeme has joined.
03:52:53 -!- cmeme has quit (Read error: 104 (Connection reset by peer)).
03:53:30 -!- cmeme has joined.
03:55:15 -!- cmeme has quit (Read error: 104 (Connection reset by peer)).
03:55:51 -!- cmeme has joined.
03:57:36 -!- cmeme has quit (Client Quit).
03:58:12 -!- cmeme has joined.
03:59:57 -!- cmeme has quit (Client Quit).
03:59:58 <Sgep> Comp going down in approx 16 min
04:00:33 -!- cmeme has joined.
04:02:18 -!- cmeme has quit (Client Quit).
04:02:54 -!- cmeme has joined.
04:07:59 <Gs30ng> cmeme bot is crazy
04:12:41 -!- cmeme has quit (Remote closed the connection).
04:14:02 -!- cmeme has joined.
04:15:11 -!- Sgep has quit (Remote closed the connection).
04:32:56 -!- puzzlet has joined.
04:56:17 -!- puzzlet has quit (Read error: 110 (Connection timed out)).
05:05:29 -!- calamari has joined.
05:05:35 <calamari> hi
05:34:17 -!- EgoBot has quit (Read error: 110 (Connection timed out)).
05:39:19 -!- GregorR has quit (Read error: 110 (Connection timed out)).
06:38:59 -!- marcan has quit (Remote closed the connection).
06:41:46 -!- marcan has joined.
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:07:49 -!- Arrogant has joined.
08:43:46 -!- Arrogant has quit ("I AM QUIT HAVE A NICE DAY").
08:49:46 -!- Robdgreat has joined.
09:28:25 -!- kipple has joined.
09:35:00 -!- calamari has left (?).
09:56:50 -!- Gs30ng has quit ("떠난다").
10:56:22 -!- jix has joined.
11:08:18 -!- GregorR has joined.
11:24:17 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
11:24:24 -!- jix has joined.
11:35:55 -!- puzzlet has joined.
11:52:47 -!- puzzlet_ has joined.
12:00:39 -!- puzzlet has quit (Read error: 110 (Connection timed out)).
13:09:34 -!- puzzlet_ has quit (Read error: 110 (Connection timed out)).
13:29:55 -!- klutzy has joined.
13:31:06 -!- lirthy has quit (Read error: 104 (Connection reset by peer)).
13:31:14 -!- klutzy has changed nick to lirthy.
16:16:25 -!- Sgep has joined.
17:02:17 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
17:03:20 -!- jix has joined.
17:34:50 -!- ihope has joined.
17:38:53 <ihope> Does MISC use two
17:39:06 <ihope> 's complement to determine whether a number in negative?
19:03:46 -!- nooga has joined.
19:03:52 <nooga> hi
19:03:59 <nooga> who's English/
19:30:16 -!- ihope has quit (Read error: 110 (Connection timed out)).
19:56:30 -!- nooga has quit (Read error: 110 (Connection timed out)).
20:19:06 -!- CXI has quit (Read error: 104 (Connection reset by peer)).
20:19:36 -!- CXI has joined.
21:16:02 -!- calamari has joined.
21:16:13 <calamari> hi
21:18:30 <Sgep> hi cal
22:14:34 -!- Arrogant has joined.
22:25:13 -!- Arrogant has quit ("I AM QUIT HAVE A NICE DAY").
22:44:09 -!- lament_ has joined.
22:49:55 -!- lament has quit (Read error: 110 (Connection timed out)).
23:38:35 -!- calamari has quit ("Leaving").
2005-12-11
00:47:17 -!- lament_ has changed nick to lament.
01:29:02 <Sgep> Leaving in lessthan 3 min
01:31:11 -!- Sgep has quit (Remote closed the connection).
01:55:06 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
01:57:02 -!- kipple has quit (Read error: 110 (Connection timed out)).
02:16:59 -!- ihope has joined.
02:17:26 <ihope> Whaddya know?
02:34:16 -!- GregorR has quit (Remote closed the connection).
02:48:57 -!- GregorR has joined.
02:49:31 <lament> nothing much.
02:52:49 -!- Sgep has joined.
03:14:02 <ihope> Ah.
03:14:14 -!- ihope has quit ("Chatzilla 0.9.69 [Firefox 1.0.7/20050915]").
03:16:39 <Sgep> bye all
03:24:40 -!- Sgep has quit.
03:49:55 -!- calamari has joined.
03:50:01 <calamari> hi
04:08:39 -!- marcan has quit ("Lost terminal").
04:36:37 -!- Sgep has joined.
05:21:09 -!- calamari has quit ("Leaving").
05:40:15 -!- perky has joined.
06:39:26 -!- Sgep has quit.
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
10:40:31 -!- puzzlet has joined.
11:00:39 -!- jix has joined.
11:28:44 -!- puzzlet_ has joined.
11:29:16 -!- puzzlet has quit (Read error: 104 (Connection reset by peer)).
11:56:50 -!- puzzlet_ has quit (Read error: 110 (Connection timed out)).
14:39:37 -!- Robdgreat has quit.
15:12:53 -!- sekhmet has quit (Remote closed the connection).
15:54:39 -!- BodyTag has joined.
16:35:46 -!- Sgep has joined.
16:41:41 -!- sekhmet has joined.
16:45:11 -!- kipple has joined.
16:54:15 -!- puzzlet has joined.
18:04:50 -!- puzzlet has quit (Read error: 110 (Connection timed out)).
18:05:37 -!- lirthy has quit (Read error: 104 (Connection reset by peer)).
18:05:39 -!- CXI has quit (Read error: 104 (Connection reset by peer)).
18:11:01 -!- lirthy has joined.
18:43:37 -!- Arrogant has joined.
18:52:54 -!- CXI has joined.
19:09:47 -!- BodyTag has quit (Read error: 110 (Connection timed out)).
19:17:46 -!- kipple has quit (Read error: 104 (Connection reset by peer)).
19:18:59 -!- pgimeno has quit (niven.freenode.net irc.freenode.net).
19:19:09 -!- cpressey has quit (niven.freenode.net irc.freenode.net).
19:19:10 -!- tokigun has quit (niven.freenode.net irc.freenode.net).
19:19:11 -!- ineiros has quit (niven.freenode.net irc.freenode.net).
19:19:15 -!- perky has quit (niven.freenode.net irc.freenode.net).
19:19:15 -!- ZeroOne has quit (niven.freenode.net irc.freenode.net).
19:19:16 -!- fizzie has quit (niven.freenode.net irc.freenode.net).
19:19:16 -!- Sgep has quit (niven.freenode.net irc.freenode.net).
19:19:16 -!- jix has quit (niven.freenode.net irc.freenode.net).
19:19:16 -!- GregorR has quit (niven.freenode.net irc.freenode.net).
19:19:16 -!- lament has quit (niven.freenode.net irc.freenode.net).
19:21:36 -!- Sgep has joined.
19:21:36 -!- jix has joined.
19:21:36 -!- perky has joined.
19:21:36 -!- GregorR has joined.
19:21:36 -!- lament has joined.
19:21:36 -!- pgimeno has joined.
19:21:36 -!- tokigun has joined.
19:21:36 -!- ZeroOne has joined.
19:21:36 -!- ineiros has joined.
19:21:36 -!- fizzie has joined.
19:21:36 -!- cpressey has joined.
19:23:18 -!- pgimeno has quit (niven.freenode.net irc.freenode.net).
19:23:28 -!- cpressey has quit (niven.freenode.net irc.freenode.net).
19:23:32 -!- tokigun has quit (niven.freenode.net irc.freenode.net).
19:23:32 -!- ineiros has quit (niven.freenode.net irc.freenode.net).
19:23:33 -!- perky has quit (niven.freenode.net irc.freenode.net).
19:23:33 -!- ZeroOne has quit (niven.freenode.net irc.freenode.net).
19:23:33 -!- fizzie has quit (niven.freenode.net irc.freenode.net).
19:23:46 -!- perky has joined.
19:23:46 -!- pgimeno has joined.
19:23:46 -!- tokigun has joined.
19:23:46 -!- ZeroOne has joined.
19:23:46 -!- ineiros has joined.
19:23:46 -!- cpressey has joined.
19:23:46 -!- fizzie has joined.
19:25:37 -!- Arrogant has quit ("I AM QUIT HAVE A NICE DAY").
20:18:21 -!- lindi- has quit (Read error: 110 (Connection timed out)).
20:33:34 -!- lindi- has joined.
21:03:35 -!- BodyTag has joined.
21:12:43 -!- t53l13b has joined.
21:17:31 -!- t53l13b has left (?).
21:53:55 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
22:25:38 -!- BodyTag has quit (Read error: 110 (Connection timed out)).
23:26:00 -!- Sgep has quit (Connection timed out).
23:36:04 -!- kipple has joined.
23:44:45 -!- kipple_ has joined.
23:54:49 -!- Sgep has joined.
2005-12-12
00:02:43 -!- kipple has quit (Read error: 110 (Connection timed out)).
00:29:12 -!- BodyTag has joined.
00:43:11 -!- BodyTag has changed nick to Lars.
00:45:21 -!- Lars has changed nick to BodyTag.
00:45:30 -!- BodyTag has left (?).
00:48:04 -!- BodyTag has joined.
01:08:59 <GregorR> Last bottle of Moxie! :(
01:09:24 <kipple_> go to the store, buy some more
01:09:33 <kipple_> 99 bottles of moxie on the wall...
01:09:34 <GregorR> Not that easy.
01:10:17 <GregorR> I have to make an appointment, go to a crazy scary place while trying not to spontaneusly combust, be ridiculed, and finally get some Moxie.
01:19:01 -!- kipple_ has quit ("See you later").
01:55:03 -!- graue has joined.
02:19:32 -!- GregorR has quit (Remote closed the connection).
02:22:07 <Sgep> Moxie?
02:22:45 -!- GregorR has joined.
02:23:06 <Sgep> regr
02:23:29 <GregorR> 'lo
02:33:41 -!- Sgep has quit (Remote closed the connection).
02:34:20 -!- Sgep has joined.
02:39:59 -!- calamari has joined.
02:40:05 <calamari> hi
02:40:24 <GregorR> 'lo
02:41:20 <graue> hello, calamari
02:41:32 <calamari> hi gregor, graue
02:41:40 <graue> you should fix your mirror of the esoteric programming language wiki; it currently shows error messages
02:42:14 <calamari> ahh.. didn't realize that.. thanks for letting me know :)
02:42:47 <calamari> has anything changed on your end, wiki-wise?
02:43:32 <graue> the database backup may have been down one day before I realized my mistake and fixed it
02:45:19 <calamari> the translation I'm doing is going from a later version to an older one (because my web provider won't upgrade mysql).. so it's probably due to something that was never used that I hadn't converted.. maybe it is being used now
03:00:54 <calamari> bah.. this cdrw drive is gone :(
03:03:02 <calamari> really sad.. the drive on my ancient power mac that I got from the thrift store is still working fine.. and a 3 year old drive dies
03:07:14 <graue> they don't make 'em like they used to
03:09:27 <calamari> well.. I guess this means I can buy myself a dvd writer for christmas :)
04:09:05 -!- puzzlet has joined.
04:13:54 -!- cronian has joined.
04:14:03 -!- cronian has left (?).
04:38:39 -!- graue has quit ("Leaving").
04:40:40 -!- puzzlet has quit (Read error: 110 (Connection timed out)).
05:15:45 -!- puzzlet has joined.
05:28:04 -!- Sgep has quit (Remote closed the connection).
05:30:29 -!- puzzlet_ has joined.
05:30:30 -!- puzzlet has quit (Read error: 104 (Connection reset by peer)).
05:47:38 -!- puzzlet has joined.
05:47:45 -!- puzzlet_ has quit (Read error: 104 (Connection reset by peer)).
06:07:53 -!- puzzlet has quit (Read error: 110 (Connection timed out)).
06:34:37 -!- Gs30ng has joined.
06:51:46 -!- puzzlet has joined.
07:12:34 -!- puzzlet has quit (Read error: 110 (Connection timed out)).
07:40:13 -!- BodyTag has quit ("Wewt Gaim :D").
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:14:07 -!- puzzlet has joined.
08:32:56 -!- puzzlet_ has joined.
08:33:02 -!- puzzlet_ has quit (Client Quit).
08:33:08 -!- puzzlet_ has joined.
08:35:02 -!- puzzlet has quit (Read error: 110 (Connection timed out)).
08:36:12 -!- CXII has joined.
08:52:09 -!- calamari has quit ("Leaving").
08:52:22 -!- calamari has joined.
08:52:50 -!- CXI has quit (Connection timed out).
08:53:51 -!- puzzlet_ has quit (Read error: 110 (Connection timed out)).
09:05:40 -!- puzzlet has joined.
09:15:11 -!- calamari_ has joined.
09:15:24 -!- calamari has quit (Read error: 104 (Connection reset by peer)).
09:25:45 -!- kipple has joined.
09:34:37 -!- calamari_ has quit ("Leaving").
09:34:38 -!- calamari_ has joined.
09:56:39 -!- calamari_ has quit ("Leaving").
09:56:41 -!- calamari_ has joined.
09:59:35 -!- puzzlet has quit (Read error: 110 (Connection timed out)).
10:11:04 -!- Gs30ng_ has joined.
10:16:25 -!- puzzlet has joined.
10:19:15 -!- puzzlet has quit (Client Quit).
10:19:47 -!- puzzlet has joined.
10:29:40 -!- Gs30ng has quit (Read error: 110 (Connection timed out)).
10:37:46 -!- puzzlet_ has joined.
10:38:23 -!- puzzlet_ has quit (Client Quit).
10:38:30 -!- puzzlet_ has joined.
10:39:00 -!- puzzlet_ has quit (Client Quit).
10:39:19 -!- puzzlet_ has joined.
10:40:29 -!- puzzlet has quit (Read error: 104 (Connection reset by peer)).
10:59:51 -!- puzzlet_ has quit (Read error: 110 (Connection timed out)).
11:06:38 -!- CXII has quit (Read error: 104 (Connection reset by peer)).
11:07:10 -!- CXI has joined.
11:36:54 -!- BodyTag has joined.
11:59:21 -!- puzzlet has joined.
12:19:32 -!- puzzlet has quit (Read error: 110 (Connection timed out)).
12:21:14 -!- puzzlet has joined.
12:22:18 -!- BodyTag has quit (Read error: 110 (Connection timed out)).
12:53:14 -!- puzzlet has quit (Read error: 110 (Connection timed out)).
12:55:33 -!- CXI has quit (Read error: 104 (Connection reset by peer)).
12:56:18 -!- CXI has joined.
12:56:55 -!- Keymaker has joined.
13:08:14 -!- jaro3000 has joined.
13:09:29 -!- CXI has quit ("If you're reading this, it's probably xchat's fault.").
13:20:09 -!- Gs30ng_ has changed nick to Gs30ng.
13:32:46 -!- calamari_ has quit ("Leaving").
13:34:00 -!- jaro3000 has quit ("leaving").
13:34:34 -!- jix has joined.
13:47:49 -!- jaro3000 has joined.
13:47:50 -!- nooga has joined.
13:47:56 <nooga> hi
13:48:23 <jaro3000> hello
13:48:29 <nooga> damn
13:48:38 -!- Gs30ng has quit ("잠").
13:48:39 <jaro3000> what happend ?
13:48:53 <nooga> jaro3000: use egobot
13:49:02 <nooga> it has got SADOL support
13:49:09 <nooga> -.-'
13:49:14 <jaro3000> !help
13:49:15 <nooga> but it's not here!
13:49:18 <nooga> damn
13:49:23 <jaro3000> where is egobot ?
13:49:25 <jaro3000> damn :-\
13:50:48 <jaro3000> ok, so i'll give you code ( exactly two codes ) - run it in BDSM locally :-)
13:51:02 <jaro3000> first one:
13:51:02 <jaro3000> (4:C",216!"9(4:C",216!C!C!"9(4:C",216!C!C
13:52:01 <nooga> a quine ?D:
13:52:28 <jaro3000> second one is more intresting :-)
13:52:35 <jaro3000> eniuq :-)
13:52:36 <jaro3000> (7:C",228!R!C!"7822,"R:!R!"9822,"C:7(:R",228(7:C",2289"!R!:R",2287"!C!R!!R!C!"7822,"R:!R!"9822,"C:7(
13:53:11 <nooga> gosh
13:53:14 <nooga> you're the god
13:53:29 <nooga> it's probbly first quine written in SADOL :>
13:54:09 <jaro3000> and first eniuq i think ( it's just like quine, but output code is reversed :-P )
13:54:11 <nooga> oi oi
13:54:55 <nooga> cool
13:55:11 <nooga> i was too lazy to even try to write a quine in my own language ;p
13:55:23 <jaro3000> :-)
13:55:40 <jaro3000> name "SADOL" isn't mistake :-P
13:55:46 <nooga> hahah
13:55:50 <nooga> i know :>
13:56:31 <nooga> i think i must write a final specification and write an entry to esolangs.org wiki and wikipedia
13:56:32 <jaro3000> but writing that eniuq was pretty cool :-)
13:56:46 <jaro3000> yeah...
13:58:37 <nooga> :*
13:59:35 <nooga> uR t3h uB3R Haxx0r
14:02:02 <nooga> jaro3000: what do you think about computational class of SAODL
14:02:06 <nooga> SADOL* ?
14:02:15 <nooga> is it Turing-complete?
14:03:06 <nooga> brb
14:03:09 <nooga> (dog)
14:13:18 -!- nooga has quit.
14:13:33 -!- nooga has joined.
14:42:03 <nooga> back
14:42:07 <nooga> jaro3000: r u there?
14:48:45 <jaro3000> yeah
14:56:55 -!- nooga_ has joined.
14:56:58 <nooga_> back
15:02:34 -!- nooga has quit (Read error: 110 (Connection timed out)).
15:06:10 -!- nooga_ has changed nick to nooga.
15:34:04 <nooga> woowoo
15:47:46 <jaro3000> nooga: it's possible to implement in SADOL everything what we can implement in Brainfuck ( especially Brainfuck interpreter :-) ), so SADOL is Turning-complete
15:51:02 <nooga> good
15:51:06 <nooga> as i thought
15:57:40 <Keymaker> sigh.. could fizzie or some other point out how do i write to file in c?
15:58:42 <nooga> hm¿
15:59:06 <nooga> you dont know how to write a file in c ?
15:59:11 <Keymaker> no
16:00:10 <nooga> FILE* blah = fopen("file.txt","w"/*or "a" to append*/); fprintf(blah,"text"); fclose(blah);
16:00:37 <Keymaker> does it work on binary mode if i use wb or ab?
16:01:15 <Keymaker> and, can i have multiple files open at the same time?
16:05:52 <lindi-> Keymaker: sure
16:06:03 <lindi-> Keymaker: you just need multiple FILE pointers
16:06:10 <Keymaker> ok
16:09:49 <nooga> ha
16:09:51 <nooga> !
16:10:05 <nooga> jaro3000 wrote a quine in SADOL
16:19:01 -!- BodyTag has joined.
16:42:00 -!- BodyTag has quit ("Wewt Gaim :D").
16:45:40 -!- nooga has quit ("Lost terminal").
17:25:09 <Keymaker> time to exit.
17:25:11 -!- Keymaker has left (?).
20:02:56 -!- jaro3000 has left (?).
20:18:22 -!- marcan has joined.
20:48:54 -!- Sgep has joined.
21:00:45 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
22:32:42 * Sgep is leaving in lessthan 30min.
23:01:02 <Sgep> Bye all
23:01:06 -!- Sgep has quit.
2005-12-13
00:23:08 -!- kipple has quit (Read error: 110 (Connection timed out)).
00:38:51 -!- CXI has joined.
00:50:14 -!- graue has joined.
01:45:49 -!- Gs30ng has joined.
02:09:10 <lament> cpressey: ready for the exam? :)
02:13:40 <lament> i hate how we never use the (define (foo a b c)) form
03:03:09 -!- CXI has quit (Read error: 104 (Connection reset by peer)).
04:03:33 -!- CXI has joined.
05:34:51 -!- graue has quit ("Leaving").
05:48:04 -!- puzzlet has joined.
06:05:04 -!- calamari has joined.
06:54:22 -!- jix has joined.
07:06:41 -!- GregorR has quit (Read error: 110 (Connection timed out)).
07:29:58 -!- GregorR has joined.
07:30:26 -!- mtve has quit (Read error: 110 (Connection timed out)).
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:13:31 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
09:20:48 -!- CXII has joined.
09:42:20 -!- CXI has quit (Connection timed out).
10:13:27 -!- kipple has joined.
11:08:45 -!- jaro3000 has joined.
15:41:10 -!- jix has joined.
16:10:01 -!- mtve has joined.
16:28:17 -!- CXII has quit (Read error: 104 (Connection reset by peer)).
16:44:59 -!- CXI has joined.
17:42:33 -!- puzzlet has quit (Read error: 110 (Connection timed out)).
18:29:19 -!- marcan has quit ("Lost terminal").
18:31:49 -!- marcan has joined.
18:57:58 -!- marcan has quit (Connection timed out).
19:08:38 -!- calamari has quit (Read error: 110 (Connection timed out)).
20:06:45 -!- Sgep has joined.
20:58:04 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
21:00:27 -!- CXI has quit (Read error: 104 (Connection reset by peer)).
21:01:48 -!- CXI has joined.
21:57:46 -!- SnorkyPlus has joined.
22:38:30 -!- SnorkyPlus has left (?).
22:55:27 -!- jaro3000 has quit ("leaving").
2005-12-14
00:35:45 <lament> blah.
01:21:27 -!- kipple has quit (Read error: 110 (Connection timed out)).
02:25:25 -!- puzzlet has joined.
03:16:29 -!- Sgep has quit.
06:20:51 -!- Arrogant has joined.
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:07:42 -!- nooga has joined.
08:07:45 <nooga> hiallo
08:42:48 -!- Arrogant has quit ("I AM QUIT HAVE A NICE DAY").
09:46:08 -!- Gs30ng has changed nick to dsh.
09:46:27 <dsh> oops... somebody already owned this
09:46:32 -!- dsh has changed nick to hh.
09:46:37 <hh> owned too
09:46:55 -!- hh has changed nick to handongseong.
09:48:09 <puzzlet> why not gs30ng
09:49:01 <handongseong> gs corporation
09:49:41 <handongseong> http://www.gsretail.com/GS25/main.asp
09:49:49 <handongseong> i hate this
09:49:59 -!- kipple has joined.
09:51:16 <handongseong> too tiresome to deal with people asking me what's wrong with me and that convenience store company, again and again
09:54:34 <handongseong> and why freenode does not allow UTF-8 nicknames?
10:05:55 -!- CXI has quit (Connection timed out).
10:14:06 <nooga> hi
10:14:07 <nooga> :>
10:14:24 <nooga> i've written SADOL description in the wiki
10:14:49 <handongseong> nice
10:15:29 <handongseong> i'm developing a language partially inspired by sadol
10:15:39 <nooga> im glad to hear this :>
10:24:56 -!- lirthy has quit ("in truth there is no better place to be").
10:29:10 -!- lirthy has joined.
10:31:00 <nooga> who needs another tape language!
10:31:12 <nooga> funcional paradigm is soo cool
10:32:08 <nooga> (4:C",216!"9(4:C",216!C!C!"9(4:C",216!C!C < a quine without almighty lambda function ;p
11:08:43 <nooga> well
11:11:25 <handongseong> right
11:11:41 <handongseong> functional is too cool
11:12:01 <handongseong> too cool for guys here in korea :(
11:14:18 <nooga> the truth is that i dont even know LISP :D
11:14:37 <nooga> but i've tried it
11:17:22 <nooga> handongseong: can you tell something about your new language partially inspired by SADOL >?
11:17:44 <handongseong> oh well
11:17:52 <handongseong> it's purely functional
11:18:54 <handongseong> taking some ideas from haskell (monad)
11:19:02 <handongseong> and from clean (uniqueness type)
11:19:31 <handongseong> but it's gonna be nothing neither monad nor uniqueness type
11:20:09 <nooga> hm
11:20:13 <handongseong> ok anyway
11:20:17 <handongseong> they are totally not important
11:20:39 <handongseong> and you know, i can only design a language that i can understand
11:20:48 <nooga> :>
11:21:12 <handongseong> so it's gonna be kinda easy-to-learn, but hard-to-actually-program, just like another esoteric ones
11:21:23 <handongseong> and well, it's 2-dimensional
11:21:29 <nooga> oh
11:21:39 <nooga> 2 dimensional functional language? :>
11:21:47 <handongseong> you may wonder how can i implement purely functional one with a plane
11:21:54 <nooga> that's something new
11:22:09 <handongseong> like, flow of control is important in 2d ones
11:22:13 <handongseong> like <>^v
11:22:56 <handongseong> but i've got a good idea to combine 2d and functional paradigm, so wait and see how monstrous this one will be
11:23:59 <nooga> i just can't wait :>
11:24:57 <handongseong> suppose this
11:25:19 <handongseong> here's a traditional imperative stack-based one
11:25:32 <handongseong> 1 pushes 1 on top of the stack, 2 pushes 2... blah blah
11:25:40 <handongseong> and + addes top 2 elements of the stack
11:25:54 <nooga> yea
11:25:59 <handongseong> now, here's a functional, reverse polish notation one
11:26:12 <handongseong> 1 is a nullary function that returns 1
11:26:29 <handongseong> + is a binary function that returns the sum of 2 arguments
11:26:39 <handongseong> now, a code like "1 2 +"
11:26:42 <nooga> mhm
11:26:54 <handongseong> can be both imperative stack based one or functional one
11:27:10 <nooga> that's right
11:27:30 <handongseong> here is where i started designing this lang
11:27:39 <nooga> i see
11:27:57 <handongseong> a funge program can be considered partially functional
11:28:01 <handongseong> :)
11:28:52 <nooga> :D
11:29:38 <nooga> btw. reverse polish notation is called in Polish language: "odwrotna notacja polska"
11:29:52 <nooga> and im Polish :>
11:30:31 <handongseong> wait... my language is forward polish notation?!
11:30:47 <handongseong> ...ah. you'll see why soon
11:30:49 <nooga> he?
11:30:50 <handongseong> oh
11:30:56 <handongseong> polish. that's right
11:31:16 <nooga> SADOL is forward polish notation
11:31:20 <handongseong> i want there a Korean-something in computer science
11:31:32 <nooga> hehe
11:31:47 <handongseong> Korea is kinda graveyard of real computer science -_-
11:32:17 <nooga> but you're making many MMO games :>
11:32:25 <handongseong> yes. pragmatic.
11:32:34 <nooga> i used to play MU Online -.-'
11:32:41 <handongseong> by the way how did you know that?
11:32:42 <handongseong> oh
11:32:56 <nooga> it was stupid, simple and addicting :>
11:33:14 <handongseong> i haven't played MU actually but always seen advertisement of it on subway train
11:34:17 <puzzlet> Ragnarok was internationally popular once
11:34:59 <nooga> now i have tried Lineage 2
11:35:05 <handongseong> and there it sounds a little bit horrible
11:35:10 <nooga> i think it's also Korean
11:35:23 <handongseong> Ragnarok was internationally popular!
11:35:47 <handongseong> Lineage is one of the most successful MMORPG in Korea
11:36:25 <nooga> because there are sexy elves everywhere in it ;p
11:36:46 <handongseong> lol
11:37:19 <handongseong> it used to be regarded as a big problem by some conservative politicians
11:37:36 <nooga> really, check the fanarts or concept arts
11:37:43 <nooga> http://www.lineage2.com/community/fanart.html
11:38:20 <puzzlet> handongseong, it WAS?
11:39:10 <handongseong> puzzlet, since i'm not sure it *is* a hot issue, but i'm sure it was, thus what i said.
11:39:33 <nooga> hm
11:40:25 <handongseong> but i think it's quite important for MMORPG to have beautiful player characters
11:40:40 <handongseong> since the gamers have some kinda... empathy? on their characters
11:40:42 <nooga> a friend of mine knows Hangul
11:41:11 <puzzlet> socially
11:41:12 <nooga> hehe, i've got nude patch for L2
11:41:20 <puzzlet> lol
11:41:28 <nooga> and for Half Life 2
11:41:30 <puzzlet> they make patch for everything
11:41:40 <nooga> cuz it's simple
11:42:13 <nooga> take some textures of human body, change the models a bit... voila
11:42:35 <nooga> imho HL@ is the best game ever
11:42:37 <nooga> HL2
11:42:58 <nooga> brb
11:43:23 <handongseong> sometimes that kinds of patches worsen the gameplay... i once used no-mosaic patch for an adult game and it was truly horrible
11:44:12 <handongseong> forced to recover the mosaic immediately, which was impossible, so re-installed the whole game -_-
12:17:43 <nooga> i've found a cool game
12:19:04 <nooga> http://www.the-underdogs.org/game.php?gameid=653
12:20:58 <ineiros> Ah, Logical is a classic.
12:21:52 -!- nooga has quit ("Lost terminal").
12:30:12 <fizzie> The adventure game B.A.T. 2 ( http://www.the-underdogs.org/game.php?id=83 ) has a befunge-like programming language (albeit sadly quite limited) in it.
12:56:31 -!- nooga has joined.
12:57:39 <nooga> hm
12:57:53 <nooga> Logical is great idea for an esolang
13:01:12 <nooga> damn.. I have problems with running dosbox under SUSE10
13:08:56 <puzzlet> why, dosbox should be one of the least problematic
13:09:25 <puzzlet> i think
13:21:43 -!- jix has joined.
13:24:30 <nooga> idk
13:24:36 <nooga> yast2 eacts werid
13:24:41 <nooga> acts*
13:28:20 <nooga> yay
13:28:23 <nooga> i've got it
13:28:51 <nooga> i had to compile it by myself ;p
14:11:26 <nooga> where's egobot huh?
14:30:50 <nooga> heh
14:59:11 <nooga> bah
14:59:13 <nooga> got to go
15:01:27 -!- nooga has quit ("Lost terminal").
19:02:53 -!- handongseong has quit (Read error: 110 (Connection timed out)).
20:24:48 -!- calamari has joined.
20:24:54 <calamari> hi
20:37:31 <cpressey> hi
20:37:43 <cpressey> lament: no
20:37:45 <cpressey> ;)
20:38:58 <cpressey> fizzie: i've heard rumours that there was some kind of giant-robot-fighting-game (for NES?) that used a befunge-like control language... but i don't know anything more about it
20:39:09 <cpressey> i'd be interested, if anyone happens to know
20:58:52 <calamari> dunno about that.. but there is always Atari 2600 Basic Programming
20:59:33 <calamari> only problem is the program will be limited to about 6 lines.. past that you have to type the code blind
21:04:25 <calamari> cpressey.. there's c robots.. guressing that's not what you are talking about
21:04:36 <calamari> although it's fun :)
21:05:35 <lament> cpressey: i screwed up the CPS conversion question :(
21:05:55 <lament> the for-each one
21:06:05 <lament> my brain exploded
21:07:52 <calamari> cpressey: is this it? http://www.metahuman.org/martin/pi.html
21:12:05 <calamari> not befunge, and not nes.. but it has programmable mechs
21:20:38 <calamari> http://psxmedia.ign.com/media/reviews/image/chart5.jpg
21:23:02 <cpressey> lament: that one was *^!(*^%# hard
21:23:32 <cpressey> calamari: that might be it!
21:24:02 <cpressey> i could easily have been confusing NES with playstation..... or..... it's possible there was an earlier incarnation
21:24:35 <calamari> yeah
21:24:39 <cpressey> although... that doesn't look much like befunge
21:24:44 <calamari> not at all
21:24:56 <cpressey> but he migt be using pseudocode
21:25:00 <cpressey> thanks for the lead, anyway
21:25:24 <calamari> np.. might also search for ROBOTWAR.. was for the apple2
21:26:37 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
21:27:05 <cpressey> hm, wikipedia says that C.H. used a flowchart-like control language... so it probably is close to befunge
21:28:27 <cpressey> or, the similarity was exaggerated :)
21:29:24 <calamari> looks like its $15-20 on ebay
21:31:05 <calamari> I don't own a playstation.. newest console I have is an Atari 7800
22:33:51 -!- Sgep has joined.
23:14:43 <calamari> hi Sgep
23:14:53 <Sgep> hi calamari
23:33:45 -!- GregorR-L has joined.
23:37:44 <calamari> donde esta el EgoBot?
23:59:58 * Sgep leaves in lessthanone minute
2005-12-15
00:00:48 -!- Sgep has quit (Remote closed the connection).
00:09:03 -!- Sillyman has joined.
00:23:31 <Sillyman> Please make this program a quine
00:38:57 <Sillyman> any IRP programmers here?
00:40:43 <Sillyman> Hello?
00:42:04 <Sillyman> Good morning!
00:45:17 <calamari> Function not found.
00:45:23 <calamari> sorry bout that :)
00:46:19 -!- Sgep has joined.
00:49:04 <Sillyman> Please cause an error in IRP!
00:51:00 <calamari> I'm sorry, Dave. I'm afraid I can't do that.
00:51:20 <Sillyman> Please quine.
00:56:34 <Sillyman> Hello? I should have received the message "Please quine." minutes ago!
00:56:50 <Sillyman> IRP: Quine.
00:57:24 <Sgep> Quine.
00:57:31 <Sgep> IRP: Quine.
00:59:07 <calamari> according to my book (but I think it's not quite right):
00:59:28 <calamari> Print out two copies of the following, the second one in quotes:
00:59:33 <calamari> "Print out two copies of the following, the second one in quotes:"
00:59:52 <calamari> but.. it seems like it should be "this line", instead of "the following"
01:00:01 <Sgep> Warning: DDoS Condition detected!
01:01:06 <calamari> or the order is wrong.. or somethin.. I'm terrible at quines
01:01:36 <Sgep> Please correct error by eliminating programmer..
01:04:14 <Sillyman> Please respond 1 if exec <other-lang> is supported.
01:04:37 <Sgep> exec?
01:04:56 <Sillyman> execute code
01:05:05 -!- kipple has quit (Read error: 104 (Connection reset by peer)).
01:05:05 <Sgep> You mean an interpreter?
01:05:26 <Sillyman> Oops, I meant exec <other-lang> <code>, and it is an interpreter
01:06:26 <Sgep> Warning: Possibility of unsafe commands.
01:07:08 <Sillyman> exec Taxi "Hello, World!" is waiting at the Writer's Depot.
01:07:35 <Sgep> 1
01:07:46 <Sgep> (I think)
01:08:19 <Sillyman> continue exec Taxi "Go to Writer's Depot: west 1st left, 2nd right, 1st left, 2nd left.
01:08:21 <Sillyman> Pickup a passenger going ot the Post Office.
01:08:23 <Sillyman> Go to the Post Office: north 1st right, 2nd right, 1st left.
01:08:25 <Sillyman> Go to the Taxi Garage: north 1st right, 1st left, 1st right.
01:09:26 <Sgep> 0; Laziness condition detected
01:09:31 <Sillyman> Hello, World! would be the correct response.
01:09:39 * Sgep was lazy
01:11:23 <Sillyman> Please respond 1 if too lazy to execute a hello, world in INTERCAL
01:11:30 <Sillyman> 1
01:12:34 <Sgep> 1
01:14:50 <calamari> so.. Sillyman, have you written any esolangs?
01:16:03 <Sillyman> No programs yet
01:16:15 <Sillyman> I don't have enough time
01:16:59 <Sillyman> exec brainf*ck ,>,>,>,>,<<<<.>.>.>.>
01:18:06 <Sillyman> oops, exec brainf*ck ,>,>,>,>,<<<<.>.>.>.>.
01:21:56 <Sillyman> Queue input: 5;c;h;a;r.
01:23:57 -!- GregorR-L has quit ("Chatzilla 0.9.68.5 [Firefox 1.0/20041107]").
01:31:43 <Sillyman> Respond 1 if you are a IRP programmer
01:32:09 -!- CXI has joined.
01:34:59 <Sgep> Hi CXI
01:35:35 <CXI> hi
01:38:41 <Sillyman> bye
01:38:46 -!- Sillyman has quit ("Chatzilla 0.9.68.5.1 [Firefox 1.0.7/20050915]").
02:33:49 -!- jcowan has joined.
02:44:20 <jcowan> How esoteric does a language have to be to be discussed here? Does Joy count?
02:45:22 <Sgep> joy?
02:51:05 <jcowan> http://www.latrobe.edu.au/philosophy/phimvt/joy.html
03:01:14 -!- jcowan has quit ("Leaving").
03:05:10 -!- Sgep has quit (Remote closed the connection).
03:28:10 -!- Sgep has joined.
04:32:51 <cpressey> i wouldn't consider joy esoteric, exactly... but that doesn't mean it can't be discussed here
04:33:41 -!- sekhmet has quit (Read error: 104 (Connection reset by peer)).
04:33:43 <Sgep> what is joy?
04:52:28 -!- fungebob has joined.
05:09:56 <Sgep> Night-all!
05:13:39 -!- Sgep has quit (Remote closed the connection).
05:38:03 -!- lirthy has quit (Read error: 104 (Connection reset by peer)).
05:38:04 -!- lirthy has joined.
05:56:05 -!- sekhmet has joined.
06:15:00 <lament> well
06:15:00 <lament> there's already a channel for Joy
06:15:00 <lament> #concatenative
06:15:00 <lament> and i'm sure they don't consider it esoteric :)
06:15:00 <fungebob> hey are there any esolangs out there that mimic the biological/genetic process in any way?
06:15:01 <lament> Homespring :D
07:07:36 -!- calamari has quit ("Leaving").
07:44:17 -!- nooga has joined.
07:44:20 <nooga> hi :>
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:12:40 -!- kipple has joined.
08:15:32 <nooga> oi kipple
08:15:39 <kipple> hi
08:16:39 <nooga> i messing at the wiki hehe
08:16:53 <nooga> i'm*
08:18:14 <kipple> that's nice. most of the wiki edits lately have been spam... :(
08:19:39 <nooga> but..
08:19:42 <nooga> # (diff) (hist) . . m Talk:SADOL; 16:05 . . Nooga (Talk) (Help :))
08:19:42 <nooga> # (diff) (hist) . . m Talk:SADOL; 16:05 . . Nooga (Talk) (Again :()
08:19:42 <nooga> # (diff) (hist) . . m Talk:SADOL; 16:05 . . Nooga (Talk) (Bah, removed my mistake...)
08:19:46 <nooga> # (diff) (hist) . . m Talk:SADOL; 16:04 . . Nooga (Talk) (Help :))
08:19:52 <nooga> isn't it stupid :F ??
08:21:50 -!- fungebob has quit (Read error: 110 (Connection timed out)).
08:25:15 <kipple> hehe.
08:28:00 <nooga> SADOL is still unfinished
08:28:01 <kipple> no need to worry. the SADOL article looks very good
08:28:15 <kipple> most esolangs are... :)
08:28:16 <nooga> :)
08:35:36 <nooga> Adam Sawiski works on better interpreter
08:51:23 <nooga> kipple: don't u think that my article is the one of longest?
08:54:14 -!- lirthy has quit (Read error: 104 (Connection reset by peer)).
08:54:16 -!- klutzy has joined.
08:54:28 <kipple> nooga: it's in the top 10 - http://esoteric.voxelperfect.net/wiki/Special:Longpages
08:56:22 <nooga> wohoo :>
08:56:38 <nooga> and it willget a bit longer in the nearest future
08:56:52 <nooga> OMG i'm late to school!
08:56:59 <nooga> bye
08:57:07 -!- nooga has quit ("Lost terminal").
08:57:25 -!- klutzy has changed nick to lirthy.
09:08:21 -!- lirthy has quit (Read error: 104 (Connection reset by peer)).
09:09:19 -!- lirthy has joined.
10:23:40 -!- kipple has quit ("See you later").
10:56:40 -!- jix has joined.
15:00:21 -!- Keymaker has joined.
15:01:00 <Keymaker> check. check.
16:03:27 -!- Keymaker has left (?).
16:37:04 -!- ihope has joined.
17:53:13 -!- ihope has quit (Read error: 110 (Connection timed out)).
18:23:29 -!- puzzlet_ has joined.
18:24:26 -!- puzzlet has quit (Read error: 104 (Connection reset by peer)).
19:45:13 -!- lindi- has quit (Read error: 104 (Connection reset by peer)).
20:53:28 -!- ihope has joined.
21:17:28 -!- Sgep has joined.
21:27:01 <ihope> Roundabout
21:27:42 <ihope> > error "Testing" :: Int
21:28:30 -!- ihope has left (?).
21:28:59 -!- ihope has joined.
21:28:59 -!- ihope has left (?).
21:45:41 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
22:36:44 -!- ihope has joined.
22:36:56 <ihope> Gasp!
23:29:05 <ihope> ```s``si`k``s``si`k``siiii``s``s`kski
2005-12-16
00:23:29 -!- ihope has quit (Read error: 110 (Connection timed out)).
01:16:02 -!- ihope has joined.
02:19:09 -!- ihope_ has joined.
02:20:13 -!- ihope has quit (Nick collision from services.).
02:20:20 -!- ihope_ has changed nick to ihope.
02:20:31 <ihope> That's fun.
02:22:53 -!- ihope has quit (Client Quit).
04:40:39 -!- Sgep has quit (Remote closed the connection).
06:39:40 -!- Gs30ng has joined.
06:46:08 <Gs30ng> hello
07:25:45 <Gs30ng> mhm
07:25:50 <Gs30ng> sadol is not purely functional
07:26:11 <Gs30ng> i should design some functions of my own
07:35:01 -!- nooga has joined.
07:35:09 <nooga> hhi
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:45:00 <lament> funny
08:45:09 <lament> now that i took the languages design course
08:45:20 <lament> i guess i'm officially a language designer.
08:45:24 <Gs30ng> funny
08:45:50 <Gs30ng> lament, you're not gonna tell us it means a *language*
08:45:58 <Gs30ng> like, auxillary language or something
08:46:11 <lament> programming language
08:46:17 <Gs30ng> cool
08:46:49 <Gs30ng> i've got no idea about there are any programming language design course
08:47:54 -!- nooga has quit ("Lost terminal").
13:48:04 -!- jix has joined.
14:02:49 -!- nooga has joined.
14:02:55 <nooga> hi
14:04:40 <Gs30ng> hi
14:10:01 <nooga> wassup?
14:56:00 -!- kipple has joined.
15:11:51 * nooga goes to the club
15:12:08 <nooga> he'll perform with his rock band
15:13:29 <kipple> good luck :)
15:13:52 <nooga> it will be necessary
15:14:25 <nooga> bcs im going to improvise
15:14:29 <nooga> hheheh
15:14:30 <nooga> bye
15:14:36 -!- nooga has quit.
15:32:00 -!- jix has quit ("This computer has gone to sleep").
15:41:33 -!- Gs30ng has quit (Read error: 110 (Connection timed out)).
17:33:13 -!- kipple has quit (Read error: 104 (Connection reset by peer)).
17:37:44 -!- kipple has joined.
20:27:49 -!- jix has joined.
20:38:20 -!- lindi- has joined.
22:09:47 <lament> you don't need luck to improvise
22:09:51 <lament> just lots and lots of drugs
22:14:16 -!- Sgep has joined.
22:33:26 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
2005-12-17
01:10:15 -!- ihope has joined.
01:10:25 <ihope> I'm writing a Smurf interpreter in Haskell.
01:25:38 <ihope> Failed miserably!
01:25:46 <ihope> And restarting, of course.
01:30:23 <ihope> This time, I won't make code that makes me go "What the booch?"
01:30:55 <Sgep> Bye all
02:04:41 <ihope> Okay, now my new parser has "instructions" for push-the-empty-string-onto-the-stack and add-a-character-to-the-end-of-the-top-string.
02:05:23 <ihope> Both are used internally; there's no way to access them "normally".
02:06:25 <ihope> There's also an error instruction.
02:06:54 -!- kipple has quit ("Trillian (http://www.ceruleanstudios.com").
02:37:13 -!- ihope has quit (Read error: 110 (Connection timed out)).
02:50:49 -!- ihope has joined.
03:14:00 -!- ihope has quit (Read error: 110 (Connection timed out)).
04:17:05 <Sgep> Night-all.
04:18:36 -!- Sgep has quit.
05:05:53 -!- calamari has joined.
07:59:10 -!- calamari has quit ("Leaving").
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
09:37:58 -!- lirthy has quit ("in truth there is no better place to be").
09:49:34 -!- lirthy has joined.
10:27:41 -!- clog has joined.
10:27:41 -!- clog has joined.
10:31:30 -!- lirthy has quit ("you should feel more feel, you should take more take").
10:37:48 -!- lirthy has joined.
10:39:28 -!- clog has joined.
10:39:28 -!- clog has joined.
11:03:49 -!- jix has joined.
11:26:55 -!- sekhmet has quit (niven.freenode.net irc.freenode.net).
11:26:55 -!- CXI has quit (niven.freenode.net irc.freenode.net).
11:26:55 -!- lament has quit (niven.freenode.net irc.freenode.net).
11:27:01 -!- GregorR has quit (niven.freenode.net irc.freenode.net).
11:27:30 -!- CXI has joined.
11:27:52 -!- GregorR has joined.
11:30:55 -!- GregorR has quit (niven.freenode.net irc.freenode.net).
11:30:55 -!- CXI has quit (niven.freenode.net irc.freenode.net).
11:30:55 -!- jix has quit (niven.freenode.net irc.freenode.net).
11:31:01 -!- lindi- has quit (niven.freenode.net irc.freenode.net).
11:31:01 -!- pgimeno has quit (niven.freenode.net irc.freenode.net).
11:31:02 -!- puzzlet_ has quit (niven.freenode.net irc.freenode.net).
11:31:02 -!- lirthy has quit (niven.freenode.net irc.freenode.net).
11:31:02 -!- tokigun has quit (niven.freenode.net irc.freenode.net).
11:31:02 -!- cpressey has quit (niven.freenode.net irc.freenode.net).
11:31:02 -!- ineiros has quit (niven.freenode.net irc.freenode.net).
11:31:02 -!- ZeroOne has quit (niven.freenode.net irc.freenode.net).
11:31:02 -!- perky has quit (niven.freenode.net irc.freenode.net).
11:31:03 -!- fizzie has quit (niven.freenode.net irc.freenode.net).
11:31:03 -!- ChanServ has quit (niven.freenode.net irc.freenode.net).
11:31:03 -!- mtve has quit (niven.freenode.net irc.freenode.net).
11:31:03 -!- cmeme has quit (niven.freenode.net irc.freenode.net).
11:31:22 -!- cmeme has joined.
11:31:22 -!- mtve has joined.
11:31:22 -!- fizzie has joined.
11:31:22 -!- cpressey has joined.
11:31:22 -!- ineiros has joined.
11:31:22 -!- ZeroOne has joined.
11:31:22 -!- tokigun has joined.
11:31:22 -!- pgimeno has joined.
11:31:22 -!- perky has joined.
11:31:22 -!- puzzlet_ has joined.
11:31:22 -!- lindi- has joined.
11:31:22 -!- lirthy has joined.
11:31:28 -!- GregorR has joined.
11:31:28 -!- CXI has joined.
11:31:29 -!- jix has joined.
11:31:56 -!- sekhmet has joined.
11:32:02 -!- lament has joined.
11:40:54 -!- ChanServ has joined.
11:40:54 -!- irc.freenode.net has set channel mode: +o ChanServ.
11:44:52 -!- puzzlet_ has quit (niven.freenode.net irc.freenode.net).
11:44:52 -!- cpressey has quit (niven.freenode.net irc.freenode.net).
11:44:52 -!- lirthy has quit (niven.freenode.net irc.freenode.net).
11:44:56 -!- tokigun has quit (niven.freenode.net irc.freenode.net).
11:45:09 -!- cpressey has joined.
11:45:09 -!- lirthy has joined.
11:46:09 -!- perky has quit (niven.freenode.net irc.freenode.net).
11:46:09 -!- ineiros has quit (niven.freenode.net irc.freenode.net).
11:46:15 -!- ZeroOne has quit (niven.freenode.net irc.freenode.net).
11:46:40 -!- ZeroOne has joined.
11:47:59 -!- mtve has quit (niven.freenode.net irc.freenode.net).
11:48:00 -!- cmeme has quit (niven.freenode.net irc.freenode.net).
11:48:30 -!- mtve has joined.
11:49:53 -!- tokigun has joined.
11:51:15 -!- perky has joined.
11:52:48 -!- jix has quit (niven.freenode.net irc.freenode.net).
11:53:10 -!- jix has joined.
11:55:00 -!- cmeme has joined.
11:57:33 -!- perky has quit (niven.freenode.net irc.freenode.net).
11:57:33 -!- ZeroOne has quit (niven.freenode.net irc.freenode.net).
11:57:33 -!- lirthy has quit (niven.freenode.net irc.freenode.net).
11:57:33 -!- cpressey has quit (niven.freenode.net irc.freenode.net).
11:57:33 -!- lindi- has quit (niven.freenode.net irc.freenode.net).
11:57:33 -!- pgimeno has quit (niven.freenode.net irc.freenode.net).
11:57:33 -!- fizzie has quit (niven.freenode.net irc.freenode.net).
11:57:47 -!- pgimeno has joined.
11:57:49 -!- fizzie has joined.
11:57:50 -!- lindi- has joined.
11:57:52 -!- perky has joined.
11:57:52 -!- ZeroOne has joined.
11:57:52 -!- lirthy has joined.
11:57:52 -!- cpressey has joined.
12:06:21 -!- lindi- has quit (niven.freenode.net irc.freenode.net).
12:08:19 -!- fizzie has quit (niven.freenode.net irc.freenode.net).
12:09:19 -!- pgimeno has quit (niven.freenode.net irc.freenode.net).
12:09:32 -!- pgimeno has joined.
12:09:38 -!- puzzlet has joined.
12:11:21 -!- lindi- has joined.
12:13:20 -!- fizzie has joined.
12:15:33 -!- kipple has joined.
14:26:19 -!- cmeme has quit (Remote closed the connection).
14:26:58 -!- cmeme has joined.
15:17:54 -!- Sgep has joined.
15:39:39 -!- kipple has quit ("Trillian (http://www.ceruleanstudios.com").
16:40:08 -!- ineiros has joined.
18:00:21 -!- Gs30ng has joined.
18:00:31 <Gs30ng> hi
18:02:07 -!- Gs30ng has quit (Client Quit).
18:05:40 -!- lirthy has quit (Read error: 104 (Connection reset by peer)).
19:55:43 -!- Sgep has quit (Read error: 104 (Connection reset by peer)).
19:58:35 -!- Sgep has joined.
22:27:35 -!- fungebob has joined.
22:42:13 -!- Sgep has quit (Read error: 104 (Connection reset by peer)).
22:44:03 -!- Sgep has joined.
2005-12-18
00:05:49 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
01:59:23 -!- ihope has joined.
02:01:55 <ihope> Hmm, how about a Brainf*** program that must increment a cell a number of times equal to Steinhaus's Mega?
02:35:44 <lament> shouldn't be hard to write
02:35:51 <lament> will take a while to execute, though
02:36:08 <ihope> :-)
02:36:40 <lament> actually
02:36:47 <lament> the program is trivial to write
02:37:01 <ihope> Just write + mega times?
02:37:03 <lament> yes :)
02:37:25 <ihope> Well, let that be the first entry in the Mega Golf Contest.
02:38:08 <lament> a null program also works fine
02:38:16 <ihope> Does it?
02:38:24 <lament> in 8-bit brainfuck, certainly
02:38:38 <ihope> >:-)
02:39:40 <lament> Mega is clearly divisible by most powers of two :)
02:40:01 <ihope> :-)
02:40:08 <ihope> But it's smaller than almost all of them.
02:40:24 <lament> well
02:40:40 <lament> "most powers of two ever used in the context of information storage" :D
02:40:52 <ihope> Hah.
02:42:38 <ihope> Well, a nice big number is (aleph . aleph . aleph) 3.
02:43:29 <lament> i'm not familiar with that notation.
02:43:55 <ihope> aleph (aleph (aleph 3))
02:44:16 <lament> eh
02:44:18 <lament> i see
02:44:30 <lament> never thought of looking at aleph as a function.
02:45:52 <ihope> Everything's a function!
02:47:13 <ihope> Too many functions.
03:37:25 -!- ihope has quit (Read error: 110 (Connection timed out)).
03:40:03 <Sgep> Bye all
03:40:31 -!- Sgep has quit.
05:08:37 -!- Arrogant has joined.
05:40:44 -!- Paragon_ has joined.
06:07:51 -!- Arrogant has quit (Read error: 113 (No route to host)).
06:56:40 -!- GregorR has quit (Remote closed the connection).
07:01:04 -!- GregorR has joined.
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
09:00:22 -!- Gs30ng has joined.
09:30:27 -!- Paragon_ has quit ("I AM QUIT HAVE A NICE DAY").
09:30:53 -!- jix has joined.
10:22:03 -!- J|x has joined.
10:29:53 -!- jix has quit (Read error: 145 (Connection timed out)).
10:53:27 -!- fungebob has quit (Read error: 110 (Connection timed out)).
10:58:24 -!- J|x has changed nick to jix.
13:06:27 -!- lirthy has joined.
13:24:33 <puzzlet> hey lirthy
13:24:58 <lirthy> yep
13:58:10 -!- Gs30ng_ has joined.
14:17:44 -!- Gs30ng has quit (Read error: 110 (Connection timed out)).
15:56:18 <Gs30ng_> i have a question... the number of the arguments of a function is called `arity'. then is there any term for the number of the return values of a function?
15:56:22 -!- Gs30ng_ has changed nick to Gs30ng.
15:58:08 <puzzlet> "one"
15:59:13 <Gs30ng> lol
15:59:47 <Gs30ng> there are some functions which return several values
16:00:08 <Gs30ng> afaik, functions of Scheme is
16:00:19 <Gs30ng> and also in lambda calculus... untyped, maybe
16:33:35 -!- Sgep has joined.
17:21:35 -!- nooga has joined.
17:21:37 <nooga> hi
17:22:19 <nooga> when I watch recent changes on the wiki there are only spam deletion logs :D
17:24:41 <nooga> btw. BDSM2 + Cool SADOL documemtation + mod_SADOL for apache are coming soon!
17:37:40 <Gs30ng> what
17:37:43 <Gs30ng> mod_SADOL?
17:37:46 <Gs30ng> omg
17:37:47 <nooga> yea
17:38:08 <nooga> <body> ... <?sadol {...} ?> ... :D
17:38:32 <nooga> a little bonus
17:41:08 <nooga> hm
17:41:53 <nooga> then i'll write the official SADOL homepage in SADOL :D
17:44:11 <Gs30ng> that's SADO
17:44:55 <nooga> http://www.99-bottles-of-beer.net/toplist_esoteric.html << LOOK!!!
17:45:02 <nooga> WTF?
17:46:38 <nooga> i'll better take screenshot :>
18:04:13 <nooga> BSDM - Badly Developed Sadol Machine, is, in fact, developed in the best possible way
18:04:32 <nooga> it's hella fast and it's optimizing code in many different ways
18:09:25 <jix> Gs30ng: in lambda calculus there is only one return value
18:09:40 <jix> and only one argument
18:10:36 <Gs30ng> jix: then what about ω
18:10:47 <jix> about what?
18:10:55 <Gs30ng> ω combinator in lambda calculus
18:11:26 <jix> it has one argument and one return value
18:11:40 <jix> it takes x and returns x applied to x
18:12:17 <Gs30ng> i see
18:23:55 <nooga> i dont understand lambda calculus :>
18:24:45 -!- nooga has quit ("Lost terminal").
18:26:34 <fizzie> Scheme indeed has multiple return values, but I think the term comparable to "arity of x" is "number of values returned by x". Or perhaps "arity of the continuation expected by x".
18:28:57 <fizzie> At least R5RS doesn't use any special word for it.
18:29:37 <Gs30ng> yeap
18:30:23 <Gs30ng> since we don't need that notion in case of general languages, it seems there's no specific word for it
18:31:57 <Gs30ng> damn english mistakes
18:32:07 <Gs30ng> i mean, with general, a lot of
18:49:41 <jix> lisp has multiple return values to
19:28:01 -!- fungebob has joined.
21:05:37 -!- Gs30ng has quit ("잠").
21:41:40 <lament> jix: i don't think there's necessarily only one argument in lambda calculus.
21:44:31 <lament> typed LC anyway
21:44:43 * lament attempts to check this
21:45:51 <lament> hm, wikipedia agrees with you
21:50:08 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
22:38:53 -!- pgimeno has quit (niven.freenode.net irc.freenode.net).
22:39:36 -!- pgimeno has joined.
2005-12-19
02:48:15 -!- lirthy has quit ("you should feel more feel you should take more take").
02:54:23 -!- lirthy has joined.
02:54:31 -!- lirthy has quit (Read error: 104 (Connection reset by peer)).
02:54:38 -!- lirthy has joined.
04:22:33 <Sgep> Night all
04:24:01 -!- Sgep has quit.
05:46:58 -!- AKILLI_KIZ_VARMI has joined.
05:47:25 <AKILLI_KIZ_VARMI> selamlar
05:47:31 <AKILLI_KIZ_VARMI> birileri varm0131?
05:48:04 <AKILLI_KIZ_VARMI> turk varm0131
05:48:05 <AKILLI_KIZ_VARMI> turk
06:09:56 -!- AKILLI_KIZ_VARMI has quit (Client Quit).
07:12:58 -!- lirthy has quit ("you should feel more feel you should take more take").
07:13:13 -!- lirthy has joined.
07:21:53 <lament> haha
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:38:19 -!- fungebob has quit (Read error: 110 (Connection timed out)).
08:56:52 -!- CXII has joined.
09:18:47 -!- CXI has quit (Connection timed out).
09:20:33 -!- Gs30ng has joined.
12:34:18 -!- ineiros has quit ("irssi").
12:37:21 -!- ineiros has joined.
13:02:34 -!- jix has joined.
14:01:37 -!- fizzie has quit (niven.freenode.net irc.freenode.net).
14:23:14 -!- nooga has joined.
14:23:21 <nooga> HI!
14:25:19 <Gs30ng> hi!
14:25:40 <nooga> BDSM2 is done!
14:31:06 <nooga> it compiles under linux and wndows
14:31:21 <nooga> and executable has got only 72 kb!!
14:31:29 <nooga> kB i mean
15:09:54 -!- nooga has quit (Read error: 110 (Connection timed out)).
15:45:57 -!- fizzie has joined.
16:03:32 -!- Keymaker has joined.
16:03:45 <Keymaker> evening
16:03:50 <Keymaker> nooga: that sounds nice
16:50:19 <Keymaker> is there any short assembler code for checking if value is odd or not?
16:55:08 <fizzie> Just and with 1?
16:55:18 <fizzie> One would hope AND would set the zero flag.
16:55:36 <Keymaker> thanks
16:59:14 <fizzie> Or "andi $t0, 1 ; beq $t0, $0, oh_it_was_even" if you happen to be on a MIPSish system.
16:59:37 <fizzie> Hmm, seems I managed to insert some undesired characters there.
17:03:18 <Keymaker> i'm really lucky it's so simple task :)
17:05:13 <fizzie> Menghfeh. Went to sleep at 0700, woke up at 1000, and now been in an exam first 1300-1600 and then 1615-1900. Sleeeepy.
17:05:59 <Keymaker> :\
17:06:04 <Keymaker> and won't go to bed yet? :D
17:07:23 <fizzie> Well, the exam ends at 1925, have to wait for that. Then there's the food issue - perhaps even more hungry than sleepy.
17:08:01 <fizzie> BGEZAL really isn't a pleasant mnemonic for an opcode.
17:08:43 <Keymaker> ok
17:08:44 <Keymaker> bgezal?
17:08:51 <Keymaker> what's that?
17:09:37 <jix> branch if greater or equal or zero or allways or less?
17:10:33 <Keymaker> crazy :)
17:10:46 <jix> that was a question
17:10:51 <jix> that opcode would be really useless
17:11:00 <Keymaker> yeah
17:13:29 <fizzie> Branch on Greater than or Equal to Zero And Link.
17:14:01 <fizzie> Like the normal branch, but saves the return address in register $31.
17:23:15 <jix> is there a BLEZAL ?
17:23:36 <fizzie> I think so. Closed the reference sheet window already.
17:23:54 <fizzie> I think ~all the branch instructions had an -AL version.
17:24:06 <fizzie> Perhaps even BEQAL.
17:24:11 <jix> in arm asm you can prefix ANY instruction with condition codes
17:24:17 <jix> or postfix...
17:24:42 <fizzie> MMX instructions are still uglier.
17:24:54 <fizzie> PUNPCKLDQ
17:25:03 <fizzie> PUNPCKHBW
17:25:32 <Keymaker> adn that should be easier to remember than the byte-code :D
17:25:34 <fizzie> Away now.
17:25:47 <Keymaker> bye
17:25:57 <fizzie> Considering that x86 instructions can be up to 17 bytes long, the bytecode probably isn't that easy to remember either. :p
17:26:26 <Keymaker> :)
19:20:11 <Keymaker> can one modify zero flag in assembler directly, without doing any cmp or stuff?
19:26:09 -!- Metalcore has joined.
19:30:23 <fizzie> lahf, sahf, popf and pushf can be used to load/store the flag register, but that's not very convenient.
19:34:33 <fizzie> I guess "test al, 0" would clear the zero flag without causing anything else. (Except messing the other flags too.)
19:44:53 <Keymaker> ok
19:45:02 <Keymaker> well, i'll use cmp
19:45:13 <lament> hi all
19:45:17 <Keymaker> hi
19:53:18 -!- int-e has joined.
20:09:13 -!- Gs30ng_ has joined.
20:16:47 <Keymaker> exit time. bye
20:16:51 -!- Keymaker has left (?).
20:27:23 -!- Gs30ng has quit (Read error: 110 (Connection timed out)).
21:58:11 -!- Sgep has joined.
22:04:16 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
23:00:06 -!- SimonRC has joined.
23:00:21 <SimonRC> Hey, cool!
23:01:54 <SimonRC> >0".enoyrevE olleH">:#._@
23:19:27 <fizzie> 025*"?enilwen oN">:#._@
23:35:41 <Sgep> what?
23:46:54 <SimonRC> Sgep: befunge
23:47:20 <fizzie> The language of choice for oneliners.
23:47:24 <SimonRC> heh
23:47:32 <SimonRC> you mean Unefunge, surely?
23:47:43 * SimonRC likes Bef98
23:48:17 <SimonRC> I considered trying to write a C-to-befunge compiler once
23:50:41 <fizzie> I wrote a befunge-to-C compiler once, or a simple "output C" test backend for my never-finished befunge-to-Java-bytecode compiler. Never finished it, and it doesn't support self-modification. (The compiler was written in Java, so in the Java-bytecode version I could've invoked the compiler to handle put. Obviously can't do that with the C backend.)
23:50:58 <fizzie> And I did write a brainf*ck-to-befunge translator, but the translation is rather trivial there.
23:51:12 <SimonRC> yes
23:54:38 <SimonRC> IIRC there is a text editor for trefunge written in trefunge, I wonder where it is...
23:55:54 <fizzie> I think Bfef translates '.' to ":,", ',' to "$~", strings of '+' to "<n>+", '-' to "<n>-" (where <n> is a base-15 representation with suitable "f*"s added), and '<'/'>' to "\0p<n>+::0g" (or "<n>-").
23:56:06 <fizzie> (And loops to suitable geometry.)
2005-12-20
00:01:05 <SimonRC> aha! http://www.jess2.net/funge/code/funged.3f
00:02:10 <fizzie> _Whaaa_. Someone's seriously using trefunge?
00:03:06 <SimonRC> it seems so
00:03:20 <SimonRC> I can't see the page breaks, though :-(
00:03:29 <fizzie> They're ^Ls in my editor.
00:03:37 <fizzie> In an editor it sort-of makes sense, though.
00:04:17 <fizzie> The code's organized in planes. How boring, it should be an opaque cube.
00:04:25 <fizzie> Not that I'd want to try to size-optimize Trefunge code.
00:04:51 <SimonRC> the instruction set is kinda 2d-centric, though.
00:04:59 <SimonRC> e.g. the ][ instructions
00:05:33 <fizzie> Did Trefunge have an '|' in the z direction, too?
00:06:23 <SimonRC> m
00:06:38 <SimonRC> up, switch, and down are hml
00:06:43 <SimonRC> high, medium, low
00:06:47 <fizzie> Ah.
00:07:37 <SimonRC> I still can't remember the full output of y, though
00:07:38 <SimonRC> :-)
01:55:17 -!- calamari has joined.
01:58:41 <SimonRC> hi
02:04:39 <calamari> hi
02:17:09 -!- int-e has quit (Read error: 110 (Connection timed out)).
02:34:12 * SimonRC goes to bed
02:45:36 <Sgep> Night all
02:46:20 -!- Sgep has quit.
03:35:21 -!- calamari has quit ("Leaving").
04:32:41 -!- Arrogant has joined.
05:02:09 -!- Paragon_ has joined.
05:20:00 -!- Arrogant has quit (Read error: 113 (No route to host)).
06:19:19 -!- jix has joined.
07:14:10 -!- Paragon_ has quit ("I AM QUIT HAVE A NICE DAY").
07:27:05 -!- cmeme has quit ("Client terminated by server").
07:27:37 -!- cmeme has joined.
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:05:20 -!- jix has quit ("This computer has gone to sleep").
08:15:17 -!- SimonRC has quit (Read error: 104 (Connection reset by peer)).
09:06:49 -!- Metalcore has quit (""These are the pale deaths which men miscall their lives..."").
09:46:33 -!- SimonRC has joined.
10:35:36 -!- CXI has joined.
10:37:14 -!- CXII has quit (Read error: 110 (Connection timed out)).
11:41:55 -!- barosl^win has joined.
11:47:21 -!- lirthy has quit ("you should feel more feel you should take more take").
12:03:24 -!- lirthy has joined.
12:15:57 -!- barosl^win has quit (Client Quit).
13:15:49 -!- Gs30ng_ has quit (Read error: 110 (Connection timed out)).
13:21:24 -!- Keymaker has joined.
13:26:08 -!- Gs30ng has joined.
13:32:14 -!- puzzlet has quit (Read error: 104 (Connection reset by peer)).
13:44:46 -!- puzzlet has joined.
13:48:17 -!- Keymaker has left (?).
14:15:21 -!- nooga has joined.
14:16:15 <nooga> hoi
14:18:58 <nooga> wassup?
14:21:54 -!- ineiros has quit (Read error: 113 (No route to host)).
14:22:19 -!- ZeroOne has quit (Read error: 104 (Connection reset by peer)).
14:22:49 -!- fizzie2 has joined.
14:24:55 -!- fizzie has quit (Read error: 111 (Connection refused)).
14:26:02 -!- jix has joined.
14:26:33 -!- ineiros has joined.
14:29:04 -!- ZeroOne_ has joined.
14:32:21 <nooga> hi jix
14:32:28 <jix> moin noohr
14:32:31 <jix> argh
14:32:32 <jix> nooga:
14:32:37 <nooga> :-)
14:32:39 * jix is very busy
14:32:43 <nooga> okay
14:33:52 * Gs30ng is upset
14:34:14 <nooga> And that's why, Gs30ng?
14:34:14 <Gs30ng> what the hell... i'm not a protagonist of a movie
14:35:13 <Gs30ng> my dad wants me to be a lawyer and i don't want to, so we've fought... holy crap this is not a joke
14:36:02 <Gs30ng> i haven't expected i would be anyone who fights by such a ridiculous reason
14:44:00 <nooga> o.O
15:06:08 <nooga> me is still trying to write a compiler for mono CLI
15:06:28 <nooga> _I just HATE ECMA's docs_
15:09:05 -!- Keymaker has joined.
15:09:38 <Gs30ng> speaking ECMA, i think ECMAScript syntax sucks
15:09:50 <Gs30ng> even worse than brainfuck syntax!!!
15:10:24 <nooga> and to make it even worse MonoDevelop doesn't want to work!
15:10:37 <nooga> JavaScript is ECMA Compliant
15:10:49 <nooga> and JavaScript is almost like PHP
15:10:53 <nooga> and i like PHP
15:11:03 <jix> all those languages suck ;)
15:11:03 <nooga> but
15:11:22 <Keymaker> (is there any simple way to remove a character from the string in python?)
15:11:24 <nooga> i hate the format of their specificaions
15:11:35 <Gs30ng> Haskell, Python, and Ruby was good ones for me
15:11:47 <nooga> i can't see anything important in them
15:11:51 <nooga> i mean
15:11:56 <nooga> in those specifications
15:12:00 <Keymaker> (i might have asked this before, but couldn't find any code in store)
15:12:05 <Gs30ng> Keymaker, several ways there...
15:12:10 <nooga> hm, dont know Haskell
15:12:15 <nooga> donkt know Ruby
15:12:27 <nooga> i'd rather use Perl than Python
15:12:32 <jix> Keymaker: "test".replace("t","")
15:12:57 <Keymaker> thanks, but any way to replace for example the fifth character?
15:13:53 <jix> no impossible
15:13:59 <Keymaker> ok :\
15:13:59 <Gs30ng> strName[:4] + 'a' + strName[5:]
15:14:02 <nooga> OH GREAT!
15:14:07 <jix> python developers say that that is a feature that shouldn't be used ;)
15:14:18 <jix> in other words: i have no idea
15:14:21 <Gs30ng> then fifth char will be then 'a'
15:14:22 <nooga> i've got my MONO fuc*ed up
15:14:34 <Keymaker> ok, thanks
15:14:36 <jix> nooga: congratulations
15:14:45 <nooga> yea -.-'
15:14:56 <jix> /away
15:15:02 <nooga> i want to know ruby!
15:15:15 <jix> tryruby.hobix.com
15:15:26 <Gs30ng> ruby resembles python, or vice versa
15:15:37 <jix> they copy each other
15:15:48 <jix> but use different philosophies
15:16:00 <Gs30ng> afaik perl code is often considered incomprehensible
15:16:14 <nooga> perl is almost eso
15:16:30 <jix> python uses "There is only ONE way to do something" ruby uses the principle of the least surprise
15:16:39 <nooga> but really easy when you don't try to hack
15:16:45 <Gs30ng> jix, no
15:16:52 <Gs30ng> oh
15:16:53 <Gs30ng> wait
15:16:54 <jix> Gs30ng: no?!
15:17:04 <Gs30ng> hmm... that is almost right
15:17:12 <Gs30ng> i haven't thought in that way but it is true
15:17:16 <Gs30ng> sorry
15:17:22 <jix> in ruby you can do [1,2,3,4].map or [1,2,3,4].collect ... what ever you are used to
15:17:47 <jix> and python developers try to reduce the number of ways to do something... they say it's confusing to have 2 ways...
15:17:55 <Gs30ng> and Haskell is far away
15:17:56 <jix> /away
15:18:01 <jix> haskell is cool ;)
15:18:08 <Gs30ng> yes cool
15:21:39 <nooga> gah
15:21:52 <nooga> it's f**d up even after reinstall!!!!
15:25:34 <nooga> mh
15:25:41 <nooga> pretty neat looks ruby
15:25:46 <nooga> i like it
15:28:00 <Gs30ng> haskell is more clean
15:28:06 <Gs30ng> for example
15:28:08 <Gs30ng> factorial
15:28:17 <Gs30ng> fac 0 = 1
15:28:17 <Gs30ng> fac n | n > 0 = n * fac (n-1)
15:28:45 <Gs30ng> or Fibonacci sequence
15:28:48 <Gs30ng> fibs = 0 : 1 : [ a+b | a <- fibs | b <- tail fibs ]
15:29:33 <nooga> i cna't understand anything :D
15:29:36 <nooga> can't
15:29:45 <nooga> it's bubble and squeak to me
15:31:07 <Gs30ng> i think factorial one is easy
15:31:59 <nooga> yea
15:32:03 <nooga> fac 0 = 1 !
15:32:09 <nooga> wtf is that
15:32:25 <Gs30ng> well
15:32:42 <Gs30ng> def fac(x): if x == 0: return 1
15:32:51 <Gs30ng> that is mathematical term
15:32:58 <nooga> better
15:33:04 <Gs30ng> you know f(x) = 2x + 3
15:33:08 <nooga> yea
15:33:09 <Gs30ng> just like it
15:33:13 <nooga> fac(0)=1 /
15:33:20 <nooga> ?
15:33:39 <Gs30ng> fac(0)=1 is uncurried expression
15:33:52 <Gs30ng> sorry, i mean, uncurried way
15:34:07 <Gs30ng> see http://en.wikipedia.org/wiki/Currying
15:35:31 <nooga> amhm
15:36:06 <Gs30ng> it's like
15:36:09 <Gs30ng> in polish notation
15:36:25 <Gs30ng> difference between "+ 1 2" and "+(1, 2)"
15:36:48 <Gs30ng> haskell prefers the former(and you can use latter if you want)
15:38:32 <nooga> mhm
15:38:59 <nooga> ruby is awesome
15:39:07 <nooga> 5.times {...
16:07:31 -!- jix has quit (Read error: 110 (Connection timed out)).
16:13:19 -!- Keymaker has left (?).
16:17:22 -!- jix has joined.
16:22:21 <nooga> how to define a subroutine/function in ruby?
16:22:40 <Gs30ng> def
16:22:43 <Gs30ng> (blah)
16:22:44 <Gs30ng> end
16:23:43 <nooga> how will you rewrite this: dupa(x){ i=A[x-1]; while i>0 if A[i+1]==A[x] { x; break; } else i=A[i]; }; in ruby
16:28:57 <nooga> def dupa do |x|
16:28:57 <nooga> while i>0
16:28:57 <nooga> if A[i+1]==A[x] {x; break}
16:28:57 <nooga> else i=A[i]
16:28:58 <nooga> end
16:29:00 <nooga> ?
16:31:31 -!- helios24 has joined.
16:32:34 -!- helios24 has quit (Client Quit).
16:32:43 -!- helios24 has joined.
16:32:53 <nooga> gosh
16:32:54 <nooga> s2s
16:32:58 <nooga> i mean g2g
16:33:00 <nooga> bye
16:34:37 -!- helios24 has quit (Client Quit).
16:34:46 -!- helios24 has joined.
16:38:50 -!- nooga has quit ("Lost terminal").
16:39:30 -!- helios24 has quit (Client Quit).
16:46:14 -!- pgimeno has quit (niven.freenode.net irc.freenode.net).
16:46:51 -!- pgimeno has joined.
17:08:09 -!- Gs30ng has quit (Read error: 110 (Connection timed out)).
17:25:36 <jix> def dupa x;while i>0;return x if A[i+1]==A[x];i = A[i];end;end
17:59:56 -!- graue has joined.
18:01:23 -!- calamari has joined.
18:01:45 <calamari> hi
18:01:46 <graue> hi
18:07:38 <calamari> how's it going?
18:25:13 <graue> oh, okay I guess
18:25:34 <graue> I got a book on compilers so I am learning how to make them and stuff
18:27:48 <calamari> nifty
18:27:57 <calamari> writing compilers is a lot of fun
18:29:56 <graue> I wish there were more C compilers out there
18:30:05 <lament> why c?
18:30:20 <jix> there are many c compilers
18:30:41 <lament> who needs c compilers when we have brainfuck compilers?
18:32:31 <calamari> I'd like to see a lang like Java where the parts that cuase it to be slow are cut out, so it can be compiled natively.. is that reflection?
18:33:06 <lament> i would guess it's late binding
18:33:26 <calamari> ahh, that would make sense
18:33:37 <lament> actually i dunno what makes java THAT slow
18:33:50 <lament> c++ uses late binding all the time
18:33:55 <calamari> and c++ is slow
18:34:00 <lament> not really.
18:34:10 <lament> certainly not compared to java :)
18:34:33 <lament> I guess having other niceties like bounds checking for arrays slows it down as well
18:34:52 <graue> calamari, have you looked at D?
18:34:55 <jix> java isn't THAT slow
18:35:08 <jix> it IS possible to run very fast code on the java vm
18:35:11 <lament> hm
18:35:11 <lament> yeah it is :)
18:35:55 <calamari> graue: yeah, briefly
18:36:40 <calamari> I think it also hurts that the library code is interpreted
18:36:47 <graue> calamari: it looks like a fun C++/C#/Java style language with better speed and stuff
18:37:36 <calamari> isn't it nonfree?
18:37:46 <jix> there is a gnu d compiler
18:38:00 <graue> the frontend is opensource and a gcc frontend has been made for it
18:38:00 <jix> a gcc frontend
18:38:07 <calamari> cool
18:38:10 <graue> and the library is all bsdishly licensed
18:38:21 <jix> and there is an alternative (more OOish) library
18:59:08 * SimonRC returns
20:25:14 -!- calamari has quit ("Leaving").
20:57:17 -!- ihope has joined.
20:58:05 <ihope> from(NickServ) You cannot GHOST yourself.
20:58:23 <jix> :(
20:59:01 <ihope> Nor can one RECOVER oneself...
20:59:35 <ihope> Hmm... the command is /attach freenode, not /attack freenode.
20:59:40 <SimonRC> heh
20:59:44 -!- Sgep has joined.
21:02:21 <jix> is anyone here able to speak french?
21:02:32 <ihope> Two or three words of it.
21:03:44 <jix> i'm able to say that i'm not able to speak french in french
21:03:59 <jix> that isn't much for 4 years french in school but that has to be enough
21:04:10 <ihope> I can say I'm not able to speak Spanish in Spanish...
21:04:50 <ihope> "No habla espannol", more-or-less.
21:04:59 <jix> Je ne parle pas français
21:05:33 <jix> french people don't say my name is Foo or i am Bar... they say i'm calling myself Baz ^^
21:05:58 <ihope> Somewhat the same in Spanish: I call myself Foo.
21:06:06 <jix> je m'appelle Baz
21:06:34 <jix> i don't know wether that is i call myself or i'm calling myself... ^^
21:07:11 <ihope> Hmm, that should have been "boo".
21:09:51 <ihope> Wait... is "boo" or "qux" after "baz"?
21:10:22 <fizzie2> Often it's quux.
21:10:29 -!- fizzie2 has changed nick to fizzie.
21:10:37 <ihope> Foo, bar, baz, boo, qux, quux, quuux...
21:14:06 <SimonRC> yes
21:16:39 <jix> i like using hello, world, test, testt, testtt... too ;)
21:16:57 <jix> or e q k j i a b.....
21:17:01 <jix> (in that order!)
21:17:10 <ihope> Foo, bar, baz, boo, hello, world, xyzzy, plugh, qux...
21:18:17 <ihope> Let's let qux = 3^3, quux = 3^^3, quuux = 3^^^3, etc...
21:18:30 <SimonRC> http://www.catb.org/~esr/jargon/html/M/metasyntactic-variable.html
21:18:55 <ihope> Then adding more q's and x's would let us have a nice syntax for Graham's number.
21:19:07 <SimonRC> ihope: then qquxx = 3^^^^^^(3^^^^^^3)? etc up to graham's number?
21:19:17 <SimonRC> damn lag.
21:19:56 <ihope> qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqquuuuxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx would be Graham's number.
21:21:57 <ihope> The q's and x's would represent the number of times we do the Graham-ey iteration.
21:22:27 <SimonRC> shouldn't that be 6 us?
21:22:49 <ihope> I don't think so. Last time I checked, it started with the number 4.
21:24:51 <ihope> Well... anybody care to expand 3^^^^3?
21:25:39 <ihope> 3^^^3^^^3, 3^^^3^^3^^3, 3^^^3^^3^3^3, 3^^^3^^3^3*3*3, 3^^^3^^3^3*3+3+3...
21:26:23 <ihope> 3^^^3^^3^3*3+3+3, 3^^^3^^3^3*3+6, 3^^^3^^3^3*9...
21:26:53 <SimonRC> ihope: that's some odd precedence
21:27:25 <ihope> Strict right-associativity.
21:28:27 <ihope> Now, what if the number of Grahamity steps was itself equal to Graham's number?
21:28:28 <SimonRC> ah, the J associativity
21:28:40 <SimonRC> ihope: you'd get a useless number
21:28:56 <ihope> :-)
21:29:03 <SimonRC> anyway, Graham's number probably doesn't answer the question it was meant to answer.
21:29:11 <ihope> Almost certainly not.
21:29:15 <SimonRC> Th actuall answer is probably 6.
21:29:25 <ihope> I think it was proven to be at least 11.
21:29:31 <SimonRC> oh, ok
21:29:49 <SimonRC> I can;t remember the question.
21:29:55 <SimonRC> ihope: 42?
21:30:03 <ineiros> I say it's a decent upper limit, for about anything. :P
21:30:07 <ihope> :-)
21:30:53 <ineiros> "--must be at least 11 and provides experimental evidence suggesting that it is actually even larger." from Mathworld.
21:36:13 <ihope> xyzzy, wxyzzyx, vqxyzzyxq...
21:36:30 <SimonRC> ?
21:37:01 <ihope> Continuing the sequence.
21:37:23 * SimonRC doesn;t understand
21:37:37 <SimonRC> why not vwxyzzyxw?
21:37:45 <SimonRC> why q?
21:38:01 <ihope> Because I'm alphabetically challenged ;-)
21:38:06 <ihope> 3^^^3^^3^3+3+3+3+3+3+3+3+3
21:39:01 <ihope> 3^^^3^^3^3^3^3^3^3^3^3^3^3^3^3^3^3^3^3^3^3^3^3^3^3^3^3^3^3^3
21:39:57 <SimonRC> ?
21:40:23 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
21:40:43 <ihope> Calculating Graham's number.
21:41:15 <SimonRC> good luck
21:49:35 <ihope> Seven cubed is 49*7...
21:49:46 <ihope> 54 + 280 = 234.
21:49:54 <SimonRC> no
21:49:59 <SimonRC> 334
21:50:15 <ihope> Oh yeah.
21:50:40 <ihope> But Google says 7^3 = 343.
21:51:28 <SimonRC> indeed
21:51:50 <SimonRC> 7*7*7=343
21:52:19 <ihope> 3^^^3^^3^3^3^3^3^3^3^3^3^3^3^3^3^3^3^3^3^3^3^3^3^3^3^3^19683*19683*19683
21:52:24 <ihope> Graham's number seems big now.
21:52:44 <SimonRC> 7*9 = 63, not 54
21:53:41 <ihope> Ah
22:14:36 <ihope> Can anyone tell me the significance of the number 12648430?
22:15:32 <SimonRC> 2*5*373*3391
22:15:36 <SimonRC> ?
22:19:26 <ihope> Translate it into hexadecimal.
22:21:46 <SimonRC> heh
22:23:57 -!- ihope_ has joined.
22:24:15 <ihope> :-)
22:24:15 <SimonRC> hi
22:24:21 <ihope> Hello.
22:25:03 <ihope> Hmm...
22:25:24 -!- ihope has quit (Nick collision from services.).
22:25:36 <ihope_> Heh.
22:25:39 -!- ihope_ has left (?).
22:26:20 -!- ihope has joined.
22:26:48 <ihope> Arr.
22:29:05 * Sgep is leaving soon
22:30:53 -!- Sgep has quit (Remote closed the connection).
22:43:49 -!- Arrogant has joined.
22:51:55 <SimonRC> hi
22:57:11 <ihope> 'Loh
23:50:11 -!- ihope has quit (Excess Flood).
23:54:53 -!- graue has quit ("Leaving").
2005-12-21
00:05:38 -!- Gs30ng has joined.
00:06:15 <SimonRC> yo
00:06:22 <Gs30ng> Greetings
00:06:34 <Gs30ng> Holiday's coming
00:06:57 <SimonRC> haliday is already here
00:07:36 <Gs30ng> i'm not gonna say something which can hurt you who believe in noodly apprendage of Flying Spaghetti Monster
00:08:52 <Gs30ng> also i myself am not a christian... so nothing to celebrate. ah, flat.
00:14:54 <SimonRC> Well, I'm a Brit, so I celebrate Christmas.
00:31:48 <Gs30ng> oh
00:32:03 <Gs30ng> well, many european esoteric programmers
00:32:26 <Arrogant> I'm an Atheist and I celebrate Christmas.
00:32:31 <Arrogant> bring me presents
00:33:03 <SimonRC> Gs30ng: I am only already on holiday because I go to university
00:33:31 <Gs30ng> Arrogant: lol
00:35:53 <Gs30ng> ok, as some of you may know, i'm preparing a new esoteric language, and i'm feeling so helpless since i've planned to make this from at least a month ago, and never wrote a single letter of the specification
00:36:12 <SimonRC> what's it like?
00:36:42 <Gs30ng> it took a month to implement a humble, dirty, inefficient, and very limited interpreter of it
00:59:31 <SimonRC> what's the language like, then?
00:59:59 -!- Sgep has joined.
01:00:06 <SimonRC> hi
01:12:12 -!- CXII has joined.
01:12:55 <SimonRC> hi
01:26:27 -!- CXI has quit (Success).
01:41:30 -!- CXI has joined.
01:45:39 * SimonRC goes to bed.
01:52:37 -!- CXII has quit (Connection timed out).
02:01:36 -!- Gs30ng has quit ("to sleep").
02:13:30 -!- CXI has quit (Connection reset by peer).
02:20:05 -!- CXI has joined.
02:33:57 -!- CXI has quit (Connection reset by peer).
02:34:39 -!- CXI has joined.
03:30:46 <Sgep> Night all (my night).
03:31:14 -!- Sgep has quit.
03:38:57 -!- Arrogant has quit ("I AM QUIT HAVE A NICE DAY").
07:04:38 -!- helios24 has joined.
07:35:31 -!- helios24 has quit ("Leaving").
07:52:54 -!- pgimeno has quit (niven.freenode.net irc.freenode.net).
07:53:16 -!- pgimeno has joined.
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:50:11 -!- nooga has joined.
08:50:15 <nooga> hoi
09:03:23 * nooga loves ruby now
10:37:31 -!- ZeroOne_ has changed nick to ZeroOne.
11:25:54 * nooga has wrote interactive sadol interpreter in sadol
11:26:16 <nooga> here it is: @1(5!"2> :r`;3!"2=>!r!"1
13:16:07 -!- jix has joined.
13:41:33 -!- Gs30ng has joined.
16:13:37 -!- ihope has joined.
16:13:43 <ihope> Hello everyone!
16:14:08 <ihope> I'm working on CPFL and ECPFL.
16:14:34 -!- sekhmet has quit (Read error: 104 (Connection reset by peer)).
16:14:37 <ihope> CPFL will be everything Lazy K wasn't, and ECPFL will be everything Lazy K was, plus CPFL.
16:15:19 <ihope> Hmm, no. CPFL is what it was; ECPFL is what it wasn't.
16:25:11 -!- sekhmet has joined.
16:58:49 -!- ihope_ has joined.
17:02:03 -!- ihope has quit (Nick collision from services.).
17:02:15 -!- ihope_ has changed nick to ihope.
17:09:23 -!- ihope has changed nick to ihope_.
17:10:25 -!- ihope_ has changed nick to ihope.
17:56:55 <nooga> oh yea
17:57:02 <nooga> another functional language
17:57:03 <nooga> !!
17:57:05 <nooga> cool
18:17:25 <nooga> YAY!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!11
18:17:26 <nooga> hey
18:17:29 <nooga> guys
18:17:37 <nooga> http://regedit.risp.pl/BDSM/
18:17:45 <nooga> ready
18:17:56 <nooga> look at the doc
18:17:58 <nooga> http://regedit.risp.pl/BDSM/BDSM2.html
18:18:06 <nooga> better than MSDN :D
18:20:24 -!- ihope_ has joined.
18:20:44 <ihope_> Ahem. Yes, another functional language.
18:20:50 <nooga> say something!
18:20:57 <ihope_> ...I just did.
18:21:06 -!- ihope has quit (Nick collision from services.).
18:21:08 -!- ihope_ has changed nick to ihope.
18:21:18 <nooga> say something about the new BDSM and documentation
18:21:24 <nooga> http://regedit.risp.pl/BDSM/BDSM2.html
18:21:28 <nooga> it's beautifull
18:22:05 <ihope> But it's badly developed, isn't it?
18:22:14 <ihope> ;-)
18:22:27 <nooga> no
18:22:35 <nooga> this is only the name :>
18:22:49 <nooga> actually it's developed in the best way it can be
18:22:58 <nooga> Performance optimization - copy-on-write on strings and lists.
18:23:12 -!- ZeroOne has quit (niven.freenode.net irc.freenode.net).
18:23:12 -!- puzzlet has quit (niven.freenode.net irc.freenode.net).
18:23:12 -!- lirthy has quit (niven.freenode.net irc.freenode.net).
18:23:12 -!- SimonRC has quit (niven.freenode.net irc.freenode.net).
18:23:12 -!- cpressey has quit (niven.freenode.net irc.freenode.net).
18:23:12 -!- perky has quit (niven.freenode.net irc.freenode.net).
18:23:13 <ihope> What compiler?
18:23:14 -!- perky has joined.
18:23:17 -!- SimonRC has joined.
18:23:20 -!- cpressey has joined.
18:23:31 -!- lirthy has joined.
18:23:44 <nooga> Cross-platform, written in C++
18:23:49 <nooga> gcc under linux
18:23:51 <ihope> ...I won't repeat that question, for obvious reasons.
18:24:05 <nooga> and VS 2003 under win ;p
18:24:16 <nooga> it was developed under windows
18:24:26 <ihope> Hmm, gcc. /me looks up
18:24:54 <nooga> i.e. (2 1 x is optimized to: x
18:25:17 <nooga> BDSM2 is lightning fast -.-'
18:25:27 <nooga> much faster than CLISP
18:25:34 <ihope> Hmm, it has optimizations...
18:25:48 * ihope looks up
18:25:58 <nooga> http://regedit.risp.pl/BDSM/BDSM2.html << look @ the doc
18:26:15 <nooga> gah... g2g
18:26:18 <nooga> bye
18:26:19 -!- nooga has quit ("Lost terminal").
18:27:11 <ihope> I don't care so much about the compiler as the compiler of the compiler of the compiler.
18:27:43 <ihope> So... this is BDSM, compiled with GCC... wait a minute...
18:27:54 -!- calamari has joined.
18:28:04 <ihope> Okay. The compiler of the compiler.
18:28:19 -!- puzzlet has joined.
18:28:33 <calamari> hi
18:28:37 <ihope> 'Ello.
18:28:41 -!- ZeroOne_ has joined.
18:29:01 <ihope> Ah. I see you've been underscored, ZeroOne_.
18:36:44 <ihope> Ye Olde K-Trash...
18:41:56 * SimonRC returns
18:42:01 <SimonRC> there is a problem with sadol
18:42:08 <SimonRC> It is actually *usable*
18:43:11 <ihope> SLOBOL is usable as well, but that's hardly a problem.
18:46:45 <SimonRC> Lazy K appears to be basically the same as Unlambda.
18:47:03 <ihope> *cough cough gack*
18:47:50 <ihope> Every programming language is basically the same as every other programming language, I suppose.
18:50:31 * SimonRC reads more
18:50:46 <SimonRC> Aha! Lazy-K is *pure*
18:50:50 <ihope> Bingo!
18:51:48 <calamari> are there any cpus without a clock?
18:52:10 <ihope> Probably.
18:52:25 <calamari> might be different to program for that
18:52:25 <ihope> I think I accidentally designed one once.
18:53:45 <ihope> So equality of booleans is essentially NXOR, or NEOR if you like it that way...
18:54:09 <ihope> Aha!
18:55:12 <calamari> AND is multiplication
18:55:25 <ihope> Yep!
18:55:35 <ihope> Not minimum...
18:55:45 <ihope> And OR is NANDN.
18:55:55 <ihope> XOR is more complicated.
18:56:00 <ihope> Now: what's IF?
18:56:20 <calamari> ->
18:56:38 <ihope> Indeed...
18:56:46 <calamari> 0, 0 -> 1
18:56:55 <calamari> 0, 1 -> 1
18:57:00 <calamari> 1, 0 -> 0
18:57:09 <calamari> 1, 1 -> 1
18:57:33 <ihope> .5, .5 -> ?
18:57:39 <calamari> hah
18:58:23 <ihope> .75, I think.
18:58:26 <calamari> XOR is the same as iff
18:59:09 <calamari> wait no its not
18:59:19 <calamari> that's your XNOR hehe
18:59:29 <ihope> NXOR.
18:59:53 <Gs30ng> higher-order function
19:00:05 <Gs30ng> i loved this when i was coding with this
19:00:12 <calamari> http://mathworld.wolfram.com/XNOR.html
19:00:20 <Gs30ng> and now i detest this while implementing it
19:00:41 <ihope> Wow!
19:03:42 <Gs30ng> i hate that Global Notice
19:03:54 <Gs30ng> since that is not Global at all
19:04:03 <ihope> :-)
19:04:05 <Gs30ng> wait... i feel like i've already mentioned this
19:04:11 <Gs30ng> anyway it is no evening here
19:04:17 <ihope> Well, now I know it wasn't because I asked "What compiler?".
19:05:15 <fizzie> If you write A -> B as "(not A) or (A and B)", and then use the Zadeh operator versions (one way to do fuzzy logic), you get "max(1 - A, min(A, B))", so "0.5 -> 0.5" would evaluate to 0.5.
19:06:01 <ihope> But I don't want to use Zadeh.
19:07:30 <ihope> 2 or 2 is 1, not 2 :-)
19:08:21 <SimonRC> Hmm, SADOL needs synatactic closure.
19:08:28 <SimonRC> oops
19:08:34 <SimonRC> I meant:
19:08:44 <SimonRC> "Hmm, SADOL needs lexical closure."
19:09:04 <SimonRC> And a function type to go with it.
19:09:57 <SimonRC> this means you could write the equivalent of the scheme: (lambda (x) (lambda (y) (+ x y)))
19:12:54 <ihope> (lambda (x) lambda)...
19:13:04 <SimonRC> heh
19:13:12 <SimonRC> alas, lambda is a special form
19:13:14 <ihope> Stuff like that's why I like Haskell.
19:13:29 <SimonRC> though Arc (non-eso) has first-class macros.
19:13:47 <SimonRC> I have just realised that you can't give it first-class functions without f*cking up the syntax.
19:14:19 <SimonRC> consider: +1a
19:14:42 <SimonRC> if a is a function, then that takes two numbers and returns 1 + their product
19:14:55 <SimonRC> if a is a number, that adds one to it
19:14:56 <SimonRC> :-S
19:15:34 <SimonRC> this means an expression's precedence and association can *change* dynamically at run time :-(
19:15:42 <ihope> :-D
19:18:45 <ihope> Add one more function for application.
19:18:56 <ihope> Like Unlambda.
19:19:17 <ihope> UnlambdaUnlambda+1a
19:20:27 <calamari> brb
19:20:36 <calamari> nm.. hehe
19:26:40 <calamari> .
19:27:26 <ihope> parse error on input `.'
19:34:01 <Gs30ng> hey calamari
19:34:10 <calamari> hi Gs30ng
19:34:24 <Gs30ng> i've just watched star wars clone wars
19:34:32 <Gs30ng> and there was something sounds like your nickname
19:35:38 <Gs30ng> i'm not sure what it exactly was, the name of a tribe or something
19:35:38 <ihope> I thought calamari was a type of food item.
19:35:57 <calamari> Gs30ng: yes
19:36:04 <ihope> Mon Calamari?
19:36:14 <calamari> I originally got the nickname "calamari" from the game X-Wing
19:36:23 <calamari> yeah, Mon Calamari, exactly
19:36:36 <Gs30ng> aha... now it totally makes sense
19:36:42 <calamari> I only found out later it meant squid in other languages
19:36:49 <ihope> :-)
19:36:58 <ihope> Hence the kidsquid stuff?
19:37:02 <calamari> yeah
20:18:30 -!- ihope has quit ("Chatzilla 0.9.69 [Firefox 1.5/2005111116]").
21:50:37 -!- Sgep has joined.
21:52:40 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
22:00:33 <calamari> whew.. stupid spammer
22:00:35 <calamari> s
22:00:50 <calamari> just had to remove a bunch of junk from the qemu wiki I'm hosting
22:01:21 <calamari> deicded to modify the code.. added another field so they have to enter "qemu" to edit a page
22:01:34 <calamari> wonder if something like that would help esolang
22:21:19 -!- lament_ has joined.
22:21:33 -!- lament_ has changed nick to mental.
22:22:52 -!- mental has changed nick to saudade.
22:28:58 -!- fizzie has quit (niven.freenode.net irc.freenode.net).
22:33:15 -!- Arrogant has joined.
22:33:59 -!- fizzie has joined.
23:00:14 -!- Arrogant has quit (niven.freenode.net irc.freenode.net).
23:00:58 -!- Arrogant has joined.
23:01:06 -!- Sgep has quit (Remote closed the connection).
23:48:41 -!- Arrogant has quit (Read error: 113 (No route to host)).
2005-12-22
00:02:49 -!- CXII has joined.
00:09:47 -!- CXI has quit (Read error: 145 (Connection timed out)).
00:26:27 * SimonRC goes away
00:26:32 * SimonRC reads about Magenta: http://www.geocities.com/ResearchTriangle/Station/2266/tarpit/magentaaarm.html http://www.geocities.com/ResearchTriangle/Station/2266/tarpit/magsupp.html
00:26:36 <SimonRC> :-)
00:31:54 -!- Sgep has joined.
00:41:41 -!- calamari has quit ("Leaving").
04:04:49 -!- Arrogant has joined.
04:17:55 <Sgep> Night all
04:18:05 -!- Sgep has quit.
04:46:10 -!- Gs30ng has quit (Read error: 110 (Connection timed out)).
06:14:25 -!- fizzie has quit (niven.freenode.net irc.freenode.net).
06:14:43 -!- puzzlet has quit (niven.freenode.net irc.freenode.net).
06:14:43 -!- Arrogant has quit (niven.freenode.net irc.freenode.net).
06:14:43 -!- pgimeno has quit (niven.freenode.net irc.freenode.net).
06:14:43 -!- lindi- has quit (niven.freenode.net irc.freenode.net).
06:14:43 -!- cpressey has quit (niven.freenode.net irc.freenode.net).
06:14:43 -!- SimonRC has quit (niven.freenode.net irc.freenode.net).
06:14:44 -!- CXII has quit (niven.freenode.net irc.freenode.net).
06:14:44 -!- saudade has quit (niven.freenode.net irc.freenode.net).
06:14:44 -!- ZeroOne_ has quit (niven.freenode.net irc.freenode.net).
06:14:45 -!- tokigun has quit (niven.freenode.net irc.freenode.net).
06:14:45 -!- mtve has quit (niven.freenode.net irc.freenode.net).
06:14:45 -!- ChanServ has quit (niven.freenode.net irc.freenode.net).
06:14:45 -!- lirthy has quit (niven.freenode.net irc.freenode.net).
06:14:45 -!- sekhmet has quit (niven.freenode.net irc.freenode.net).
06:14:45 -!- ineiros has quit (niven.freenode.net irc.freenode.net).
06:14:45 -!- cmeme has quit (niven.freenode.net irc.freenode.net).
06:14:46 -!- GregorR has quit (niven.freenode.net irc.freenode.net).
06:14:46 -!- lament has quit (niven.freenode.net irc.freenode.net).
06:14:51 -!- fizzie has joined.
06:14:51 -!- cpressey has joined.
06:14:51 -!- SimonRC has joined.
06:14:51 -!- pgimeno has joined.
06:14:51 -!- lindi- has joined.
06:14:54 -!- SimonRC has quit (niven.freenode.net irc.freenode.net).
06:14:54 -!- cpressey has quit (niven.freenode.net irc.freenode.net).
06:15:25 -!- clog has joined.
06:15:25 -!- clog has joined.
06:15:34 -!- ineiros has joined.
06:16:25 -!- GregorR has joined.
06:16:30 -!- SimonRC has joined.
06:17:49 -!- cmeme has joined.
06:19:51 -!- sekhmet has joined.
06:19:59 -!- tokigun has joined.
06:24:35 -!- cpressey has joined.
06:25:30 -!- ZeroOne_ has joined.
06:41:39 <saudade> that was fun.
06:48:56 -!- CXII has changed nick to CXI.
07:06:47 -!- pgimeno has quit (niven.freenode.net irc.freenode.net).
07:06:47 -!- lindi- has quit (niven.freenode.net irc.freenode.net).
07:06:54 -!- lindi- has joined.
07:07:03 -!- pgimeno has joined.
07:15:08 -!- Arrogant has quit ("I AM QUIT HAVE A NICE DAY").
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:08:48 <saudade> wee
08:08:52 <saudade> i wrote a lambda calculus interpreter
08:40:20 <saudade> > \x.\y.x 42
08:40:20 <saudade> \y.42
08:40:30 <saudade> it works! :D
09:49:10 -!- pgimeno has changed nick to ElPez.
09:49:34 -!- ElPez has changed nick to GataBelmez.
09:50:49 -!- GataBelmez has changed nick to pgimeno.
10:00:46 -!- saudade has left (?).
10:02:49 -!- pgimeno has changed nick to Suminona.
10:05:52 -!- Suminona has changed nick to Sumi.
10:07:06 -!- Sumi has changed nick to pgimeno.
10:08:36 <pgimeno> I apologize for these nick changes; you sometimes forget that nick changes are global
10:28:47 -!- jix has joined.
13:59:07 -!- Gs30ng has joined.
14:11:22 -!- Gs30ng has quit ("a moment").
19:50:52 -!- calamari has joined.
19:51:18 <calamari> hi
21:16:58 -!- ihope has joined.
21:17:12 <ihope> "It's self-explanatory! Here, let me show you..."
21:18:15 <ihope> Now, should I change my password to `/0|-|0|-|0/\/\3|-|34|z+13$?
21:21:17 <lament> yes!
21:25:58 <ihope> Or how about (0/\/\|*
21:26:03 <ihope> ...whoops
21:26:28 <ihope> (0/\/\|*|_1(4+3|)|*4$$\/\/0|z|)?
21:29:06 -!- nooga has joined.
21:29:10 <nooga> hi
21:29:17 <nooga> http://rafb.net/paste/results/pkHc7342.html
21:29:36 <nooga> i extended basic types in Ruby
21:29:51 <nooga> with to_SADOL method :F
21:30:38 <ihope> Well, I calculated ack(4,2) in Haskell.
21:30:53 <nooga> i'm learning rb
21:32:13 <nooga> with that sick book
21:32:26 <nooga> but very funny though
21:32:31 <ihope> What is rb?
21:32:34 <nooga> Ruby
21:32:53 <ihope> Hmm... rueB?
21:33:12 <nooga> ?
21:33:37 <ihope> Another spelling...
21:38:08 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
21:39:31 -!- nooga has quit.
21:40:19 <ihope> This is sort of funny. Haskell is computing ack(4,2)... over and over again.
21:40:32 <ihope> Or GHCi, I should say.
21:51:42 <lament> wee my lambda calculus interpreter is so cool
21:53:15 <lament> > if false
21:53:16 <lament> \x,y.(false x y)
21:53:16 <lament> > if false 1
21:53:16 <lament> \y.(false 1 y)
21:53:16 <lament> > if false 1 0
21:53:18 <lament> 0
21:53:45 <lament> (it's lazy)
22:06:32 <lament> gah and it's horribly designed and written in Python and i hate myself for writing it!!!
22:06:43 <lament> grrrr
22:07:00 <lament> this _really_ should be written in Scheme
22:19:58 -!- cmeme has quit (Remote closed the connection).
22:20:58 -!- cmeme has joined.
22:21:35 -!- graue has joined.
22:28:35 <lament> but it's getting better :)
22:35:53 <lament> > false
22:35:53 <lament> ['false', 'zero'] \x.\y.y
22:42:05 <lament> soooo
22:42:13 <lament> how do i make it reduce this:
22:42:14 <lament> \f.(\x.(\f.(\x.(f x)) \g.(\h.(h g f)) \u.x \u.u))
22:42:15 <lament> to this:
22:42:26 <lament> \f,x.x
22:43:03 <lament> Not possible in the general case, of course, but surely there're useful partial solutions
22:45:51 <lament> okay i get it
22:50:39 -!- Sgep has joined.
22:54:37 <lament> stupid laziness, causing horrible problems
22:57:40 -!- sekhmet has quit (Remote closed the connection).
23:04:13 -!- sekhmet has joined.
23:10:42 <SimonRC> lament: let us see the code.
23:12:35 <lament> No.
23:12:42 <lament> but at least now it can do this:
23:13:07 <lament> > \x.(\y.y 3)
23:13:08 <lament> \x.3
23:13:17 <lament> of course, this means it is not lazy anymore
23:13:51 <SimonRC> isn't that just k (k 3)
23:14:16 <SimonRC> erm no
23:14:38 <lament> \a.(\x.(x x) \x.(x x)) should break it
23:15:02 <lament> and it wouldn't even break the thoroughly non-lazy Scheme
23:17:17 <lament> which means i'm doing something horribly wrong :(
23:17:39 <SimonRC> take a buther's at ghc, if you dare
23:47:54 -!- ihope has quit (Read error: 110 (Connection timed out)).
2005-12-23
00:14:59 -!- ihope_ has joined.
00:15:14 <ihope_> Hmm?
00:15:26 <ihope_> I like this underscore. I don't think I'll get rid of it.
00:17:01 <graue> nobody really cares
01:26:34 -!- ihope__ has joined.
01:26:44 -!- ihope__ has changed nick to ihope.
01:27:51 -!- lirthy has quit ("you should feel more feel you should take more take").
01:30:51 -!- Sgep has quit (Read error: 104 (Connection reset by peer)).
01:33:15 -!- Sgep has joined.
01:37:45 -!- Sgep has quit (Remote closed the connection).
01:40:49 -!- Sgep has joined.
01:41:04 -!- ihope_ has quit (Read error: 110 (Connection timed out)).
01:54:56 <SimonRC> ihope: well *that* didn't last long, did it?
01:59:43 -!- harkeyahh has joined.
02:01:07 * SimonRC goes to bed
02:07:30 -!- graue has quit ("Leaving").
02:11:51 -!- Sgep has quit (Read error: 104 (Connection reset by peer)).
02:20:45 -!- Sgep has joined.
02:31:48 -!- Sgep has quit (Remote closed the connection).
02:39:55 -!- Sgep has joined.
02:45:24 -!- ihope has quit (Read error: 110 (Connection timed out)).
03:22:25 -!- BigZaphod has joined.
03:45:07 <BigZaphod> latest pointless accomplishment: http://www.bigzaphod.org/taxi/99.txt
04:01:15 -!- Arrogant has joined.
04:05:18 -!- Arrogant has quit (Client Quit).
04:12:16 <Sgep> Night all
04:12:20 -!- Sgep has quit.
04:12:56 <harkeyahh> nightol
04:28:46 -!- harkeyahh has quit ("Leaving").
06:04:21 -!- lirthy has joined.
06:11:35 -!- BigZaphod has quit.
07:38:49 -!- BigZaphod has joined.
07:57:21 -!- calamari has quit ("Leaving").
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
09:22:54 -!- nooga has joined.
09:23:00 <nooga> HI!
09:37:20 -!- lirthy has quit (Read error: 104 (Connection reset by peer)).
09:37:48 -!- lirthy has joined.
09:55:48 -!- jix has joined.
10:15:34 <nooga> hi jix
11:37:58 * nooga has got rails and everything
11:44:33 -!- ZeroOne_ has changed nick to ZeroOne.
11:57:24 -!- Keymaker has joined.
11:57:43 <Keymaker> BigZaphod: impressive!
11:58:08 <nooga> ?
11:58:51 <Keymaker> 99 bottles of beer in that taxi language
11:59:16 <Keymaker> http://www.bigzaphod.org/taxi/99.txt
11:59:52 <nooga> wait till you see 99b in obfuscated sadol :D
12:01:12 <jix> is there a good tutorial on linear regression?
12:23:54 <nooga> i've got RadRails and everything!!!
13:12:04 <nooga> blah
13:12:16 <nooga> it can't connect witch MySQL
13:13:24 <nooga> Errno::ENOENT: No such file or directory - /tmp/mysql.sock
13:13:53 <jix> you have to specify your mysql socket
13:15:11 <nooga> hm
13:15:31 <nooga> i saw some presentations of rails
13:15:41 <nooga> it is ssooooooo cool
13:15:44 <nooga> i want to try
13:17:13 <nooga> nah
13:17:21 <nooga> i just need to install ruby-mysql
13:17:39 <nooga> omigosh moigosh omigosh aaaa
13:18:15 <nooga> i wonder how to make a file upload progress bar with rails and ajax
13:18:33 <nooga> which will show real progress
13:21:41 <nooga> 1 tests, 1 assertions, 0 failures, 0 errors
13:21:41 <nooga> rake aborted!
13:21:41 <nooga> Test failures
13:21:43 <nooga> wtf now?
13:51:48 -!- lindi- has quit (Read error: 104 (Connection reset by peer)).
13:55:46 -!- lindi- has joined.
14:10:57 -!- cmeme has quit (Connection timed out).
14:22:51 <nooga> bye
14:22:52 -!- nooga has quit ("Lost terminal").
14:51:53 -!- cmeme has joined.
15:05:03 -!- cmeme has quit (Read error: 104 (Connection reset by peer)).
15:07:18 -!- cmeme has joined.
17:05:15 -!- BigZaphod has quit.
17:49:25 -!- BigZaphod has joined.
18:10:20 -!- calamari has joined.
18:43:26 -!- BigZaphod_ has joined.
18:46:52 -!- Keymaker has left (?).
18:48:58 -!- BigZaphod has quit (Read error: 110 (Connection timed out)).
19:39:17 -!- BigZaphod_ has quit.
19:52:28 -!- BigZaphod has joined.
20:40:27 -!- Sgep has joined.
21:15:46 -!- BigZaphod has quit.
21:39:46 -!- jix has left (?).
21:39:56 -!- jix has joined.
22:03:07 -!- BigZaphod has joined.
22:41:00 -!- calamari has quit ("Leaving").
22:41:36 -!- BigZaphod has quit.
22:48:25 -!- lirthy has quit (Read error: 110 (Connection timed out)).
2005-12-24
00:07:18 -!- graue has joined.
00:20:19 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
03:18:58 -!- graue has quit ("Leaving").
03:33:02 <Sgep> Bye all
03:33:49 -!- Sgep has quit.
04:35:45 -!- Arrogant has joined.
05:04:39 -!- Arrogant has quit ("I AM QUIT HAVE A NICE DAY").
05:21:56 -!- lirthy has joined.
05:29:23 -!- BigZaphod has joined.
06:17:11 -!- cmeme has quit (Dead socket).
06:22:09 -!- cmeme has joined.
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
10:39:02 -!- jix has joined.
11:01:42 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
11:02:04 -!- jix has joined.
13:17:17 -!- nooga has joined.
13:17:21 <nooga> hi
13:17:26 <nooga> merry X-mas
14:49:55 -!- Keymaker has joined.
14:50:06 <Keymaker> merry x-mas!
14:50:32 <Keymaker> well, no time to stay :) just came to say that..
14:50:41 <Keymaker> might be back later..
14:50:44 -!- Keymaker has left (?).
14:54:32 -!- nooga has quit (Read error: 110 (Connection timed out)).
15:34:09 <puzzlet> merry Newtonmas
15:41:30 -!- Sgep has joined.
16:49:42 -!- BigZaphod has quit.
17:47:37 -!- graue has joined.
19:12:53 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
20:29:10 -!- jix has joined.
22:32:51 <jix> np: Finntroll - Trollhammaren [ Nattfdd ]
22:32:58 <jix> Nattfödd
22:36:58 <cpressey> Krypton - Let's Blow up the Tow Truck
22:51:01 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
2005-12-25
00:30:45 -!- klutzy has joined.
00:32:23 -!- graue has quit (niven.freenode.net irc.freenode.net).
00:32:23 -!- Sgep has quit (niven.freenode.net irc.freenode.net).
00:32:23 -!- lirthy has quit (niven.freenode.net irc.freenode.net).
00:32:25 -!- sekhmet has quit (niven.freenode.net irc.freenode.net).
00:32:25 -!- cpressey has quit (niven.freenode.net irc.freenode.net).
00:32:25 -!- SimonRC has quit (niven.freenode.net irc.freenode.net).
00:32:25 -!- GregorR has quit (niven.freenode.net irc.freenode.net).
00:32:30 -!- ineiros has quit (niven.freenode.net irc.freenode.net).
00:32:30 -!- perky_ has quit (niven.freenode.net irc.freenode.net).
00:32:30 -!- lament has quit (niven.freenode.net irc.freenode.net).
00:33:27 -!- SimonRC has joined.
00:36:52 -!- SimonRC has quit (Killed by clarke.freenode.net (Nick collision)).
00:36:56 -!- SimonRC_ has joined.
00:37:12 -!- graue has joined.
00:37:12 -!- Sgep has joined.
00:37:12 -!- lirthy has joined.
00:37:12 -!- sekhmet has joined.
00:37:12 -!- cpressey has joined.
00:37:12 -!- SimonRC has joined.
00:37:12 -!- GregorR has joined.
00:37:12 -!- ineiros has joined.
00:37:12 -!- perky_ has joined.
00:37:12 -!- lament has joined.
00:44:53 -!- lament has quit (Success).
00:45:04 -!- ineiros has quit (Connection timed out).
00:45:40 -!- SimonRC has quit (Connection timed out).
00:49:43 -!- GregorR has quit (Connection timed out).
00:50:13 -!- GregorR has joined.
00:50:53 -!- ineiros has joined.
00:52:24 -!- Sgep has quit (niven.freenode.net irc.freenode.net).
00:52:24 -!- cpressey has quit (niven.freenode.net irc.freenode.net).
00:52:24 -!- sekhmet has quit (niven.freenode.net irc.freenode.net).
00:52:24 -!- perky_ has quit (niven.freenode.net irc.freenode.net).
00:52:25 -!- graue has quit (niven.freenode.net irc.freenode.net).
00:52:25 -!- lirthy has quit (niven.freenode.net irc.freenode.net).
00:52:26 -!- cpressey has joined.
00:52:26 -!- perky has joined.
00:52:59 -!- Sgep has joined.
01:18:28 -!- klutzy has changed nick to lirthy.
02:41:39 -!- BigZaphod has joined.
02:41:41 -!- BigZaphod has quit (Client Quit).
03:25:19 -!- graue has joined.
03:47:43 -!- Sgep has quit (Remote closed the connection).
03:58:53 -!- Sgep has joined.
05:08:12 -!- graue has quit ("Leaving").
06:03:33 <Sgep> Night all. *Sgeo wrenches himself away from the computer
06:05:39 -!- Sgep has quit (Remote closed the connection).
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
10:54:48 -!- lament has joined.
10:55:46 -!- nooga has joined.
10:55:48 <nooga> hi
10:55:56 <nooga> http://phpfi.com/93222 << look what i've done :D
10:56:39 <lament> nice
10:56:45 <lament> what kind of language is it? stack-based?
10:58:59 <nooga> it's my SADOL, functional
10:59:14 <nooga> http://esoteric.voxelperfect.net/wiki/SADOL
10:59:39 <lament> ah
11:00:36 <nooga> http://www.regedit.risp.pl/BDSM/BDSM2.html very cool documentation
11:02:20 <lament> wow that's ugly.
11:06:11 <nooga> he?
11:06:14 <nooga> that doc?
11:06:27 <nooga> Adam doesn't know english very well
11:08:15 <lament> no, not the doc
11:08:17 <lament> SADOL :D
11:11:03 <nooga> ah :D
11:11:11 <nooga> glad to hear this
11:12:39 <lament> hehe
11:13:04 <nooga> 99bottles are obfuscated
11:13:21 <nooga> SADOL can express strings like this "5idiot
11:23:32 <nooga> you know.. i like one sentence from Adam's doc
11:23:35 <nooga> Nooga reached something really amazing - he designed language that is obfuscated and crazy as esoteric, but at the same time powerful and convenient to write even nontrivial programs.
11:23:42 <nooga> :D
11:23:44 <nooga> :d:D:
11:40:28 <lament> False does that
11:40:48 <lament> and it was a very early esolang
11:41:03 <lament> F!"I rule!"
11:41:19 <lament> eh
11:41:20 <nooga> :)
11:41:35 <lament> where's falsebot :(
11:41:44 -!- falsebot has joined.
11:42:03 <lament> F!"I rule?"
11:42:03 <falsebot> I rule?
11:54:19 <nooga> hm hah
11:54:25 <nooga> got to go
11:54:26 <nooga> bye
11:54:29 -!- nooga has quit ("Lost terminal").
12:29:02 -!- jix has joined.
13:08:32 -!- lirthy has quit ("you should feel more feel you should take more take").
13:10:57 -!- ineiros has quit (niven.freenode.net irc.freenode.net).
13:10:57 -!- pgimeno has quit (niven.freenode.net irc.freenode.net).
13:10:57 -!- puzzlet has quit (niven.freenode.net irc.freenode.net).
13:19:04 -!- ineiros has joined.
13:19:04 -!- pgimeno has joined.
13:19:04 -!- puzzlet has joined.
13:19:08 -!- puzzlet has quit (Read error: 105 (No buffer space available)).
13:21:20 -!- puzzlet has joined.
13:21:48 -!- ineiros_ has joined.
13:23:43 -!- ineiros has quit (Connection refused).
13:27:12 -!- CXI has quit (Read error: 104 (Connection reset by peer)).
13:28:33 -!- CXI has joined.
14:13:54 -!- lirthy has joined.
15:23:20 -!- Sgep has joined.
15:45:42 -!- sekhmet has joined.
16:56:20 -!- cmeme has quit (Connection timed out).
16:56:28 -!- cmeme has joined.
17:12:41 -!- cmeme has quit (Connection timed out).
17:27:49 -!- cmeme has joined.
17:37:54 -!- ihope has joined.
17:38:21 <ihope> Does anybody live in the general vicinity of Microsoft headquarters?
17:46:28 <fizzie> Depends on your definition of "vicinity". It's a bit over 7500 kilometres from my location, so probably not /me.
18:07:24 <ihope> If you're willing to travel there, you're close enough.
19:18:03 -!- Sgep[a] has joined.
19:35:38 -!- ihope has quit (Read error: 110 (Connection timed out)).
19:54:31 -!- Sgep has quit (Read error: 104 (Connection reset by peer)).
19:54:32 -!- Sgep[a] has quit (Remote closed the connection).
19:57:30 -!- Sgep has joined.
20:03:51 -!- Sgep has quit (Remote closed the connection).
20:05:16 -!- Sgep has joined.
21:12:24 -!- Sgep has quit (Remote closed the connection).
21:13:52 -!- Sgep has joined.
22:12:28 -!- Keymaker has joined.
22:12:42 <Keymaker> good evening.
22:22:19 -!- Gs30ng has joined.
23:21:38 -!- Keymaker has quit (Read error: 110 (Connection timed out)).
23:35:44 -!- ihope has joined.
23:39:24 <ihope> Q: If you see Bill Gates riding a bike while you're driving, should you swerve to hit him?
23:39:34 <ihope> A: No, because it's probably your bike.
2005-12-26
00:22:37 -!- ihope has quit (Remote closed the connection).
00:36:05 <Gs30ng> Remote closed ihope's connection because he divulged the very secret
01:17:55 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
03:16:23 <Sgep> BRB
03:28:25 -!- Arrogant has joined.
03:31:48 <Sgep> BRB; restarting into Ion3
03:32:08 -!- Sgep has quit (Remote closed the connection).
03:33:51 -!- Sgep has joined.
04:03:04 -!- Arrogant has quit ("I AM QUIT HAVE A NICE DAY").
04:37:12 -!- Sgep has quit (Remote closed the connection).
07:33:44 -!- Gs30ng has quit ("떠나노라").
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
10:08:24 -!- lirthy has quit (Read error: 104 (Connection reset by peer)).
11:56:46 -!- Keymaker has joined.
11:57:35 -!- lirthy has joined.
12:55:25 <Keymaker> anyone know where i could find the "foobar and foobaz and barbaz, oh my!" interpreter?
12:58:52 <Keymaker> found it.
15:16:16 -!- Keymaker has left (?).
15:33:06 -!- sekhmet has quit (Read error: 104 (Connection reset by peer)).
15:36:27 -!- sekhmet has joined.
16:34:31 -!- Sgep has joined.
17:20:46 <Sgep> BRB; switching to kwin
17:20:54 -!- Sgep has quit (Remote closed the connection).
17:23:20 -!- Sgep has joined.
20:16:06 -!- calamari has joined.
20:51:46 <lament> lalalalala
20:51:51 <lament> lalalalalalalalalalalalalalalala
21:12:29 <calamari> hi lament
21:16:24 <lament> hi.
21:21:18 -!- pgimeno_ has joined.
21:21:26 -!- pgimeno has quit (Read error: 104 (Connection reset by peer)).
21:21:36 -!- pgimeno_ has changed nick to pgimeno.
22:10:44 <Sgep> Bye all.
22:10:59 -!- Sgep has quit.
2005-12-27
03:14:00 -!- clog has joined.
03:14:00 -!- clog_ has joined.
03:29:41 -!- clog has quit (Read error: 110 (Connection timed out)).
03:29:41 -!- clog_ has changed nick to clog.
05:45:29 -!- lirthy has quit (Read error: 104 (Connection reset by peer)).
05:45:42 -!- lirthy has joined.
05:45:53 -!- lirthy has quit (Read error: 104 (Connection reset by peer)).
05:46:01 -!- lirthy has joined.
07:12:51 <lament> F!"blah blah"
07:12:51 <falsebot> blah blah
07:12:55 <lament> i'm tired of falsebot
07:12:58 -!- falsebot has quit (Remote closed the connection).
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:58:43 -!- calamari has quit ("Leaving").
11:12:55 -!- J|x has joined.
12:03:16 -!- J|x has changed nick to jix.
16:06:27 -!- marcan has joined.
16:58:56 -!- Sgep has joined.
17:53:23 -!- lirthy has quit (Read error: 110 (Connection timed out)).
19:48:54 -!- calamari has joined.
19:49:00 <calamari> hi
19:51:02 <cpressey> hey
19:51:10 <calamari> hi Chris
19:51:29 <calamari> how's it going
19:52:02 <cpressey> not bad
19:52:05 <cpressey> how are you?
19:52:17 <calamari> doing fine
19:52:56 <cpressey> that's cool
19:53:01 <calamari> hoping our baby stays in a few more weeks, if possible.. to be full term
19:54:50 <cpressey> wow. yes. congratulations, by the way (i didn't know!)
19:55:08 <cpressey> that must be nerve wracking
19:56:28 <calamari> thanks
19:56:31 <calamari> yeah it is :)
20:14:00 -!- calamari has quit (kornbluth.freenode.net irc.freenode.net).
20:24:39 -!- ihope has joined.
20:24:50 <ihope> Password...
20:31:35 -!- calamari has joined.
20:43:16 * Sgep remembers seeing ihope from someplace not related to Esolangs
20:44:51 <ihope> Hmm... NetHack>
21:22:52 <ihope> "Infinite monkey theorem".
21:24:27 -!- Sgep has quit (Remote closed the connection).
21:26:07 -!- Sgep has joined.
21:44:12 <Sgep> Going to Windows to update a program.
21:44:19 -!- Sgep has quit.
21:48:45 -!- marcan has quit (Read error: 104 (Connection reset by peer)).
21:53:10 <lament> infinite monkey theorem?
21:53:51 <ihope> It pretty much says that the output from a random number generator contains every string.
21:54:49 <lament> it would be much cooler if it says "there exists an infinite monkey"
21:54:54 <lament> s/says/said
21:55:30 <ihope> :-)
21:58:39 <ihope> data Monkey = Monkey Monkey
22:06:26 -!- Sgep has joined.
22:06:41 <calamari> Welcome to indows!
22:06:45 <calamari> :)
22:07:01 <ihope> Hah!
22:08:36 <lament> Apparently the next Intel processor line will be called Yonah
22:08:57 <lament> "Yonah" sounds pretty ridiculous and rather dirty in Russian
22:09:24 <calamari> why would they name it that?
22:09:54 <calamari> where did you hear this btw?
22:10:24 <lament> i dunno
22:10:29 <lament> but you can google for yonah
22:11:14 <calamari> code-named ?Yonah,?
22:11:20 <calamari> so the name will change
22:36:40 <ihope> quine = do {putStr source; (putStr . show) source} where source = "quine = do {putStr source; (putStr . show) source} where source = "
22:48:02 <lament> neat
22:50:31 <jix> i have a mathematica quine
22:50:36 <jix> 1
2005-12-28
00:07:43 <lament> i have a HQ9+ quine
00:08:46 <jix> i have a super polyglot quine
00:08:48 <jix> Q
00:08:54 <jix> it works in: mathematica, cat and HQ9+
00:19:14 <calamari> lol
00:26:43 <ihope> A have a Malbolge quine.
00:26:47 <ihope> I just don't know what it is.
00:51:54 -!- ihope has quit ("Chatzilla 0.9.69.1 [Firefox 1.5/2005111116]").
01:02:34 -!- lament has changed nick to ^D.
01:18:59 -!- ^D has changed nick to lament.
02:03:21 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
03:32:20 -!- lirthy has joined.
04:36:25 -!- Sgep has quit.
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:17:19 -!- calamari has quit ("Leaving").
08:46:37 -!- fizzie has quit (kornbluth.freenode.net irc.freenode.net).
10:22:52 -!- CXII has joined.
10:44:13 -!- CXI has quit (Connection timed out).
11:09:28 -!- J|x has joined.
11:54:16 -!- fizzie has joined.
12:48:04 -!- J|x has changed nick to jix.
14:40:31 -!- ineiros_ has changed nick to ineiros.
17:40:10 -!- Sgep has joined.
17:55:24 -!- puzzlet has quit (Read error: 104 (Connection reset by peer)).
17:58:15 -!- puzzlet has joined.
18:12:25 -!- Arrogant has joined.
18:40:53 -!- calamari has joined.
19:10:40 -!- Arrogant has quit ("I AM QUIT HAVE A NICE DAY").
19:11:47 -!- calamari has quit (Read error: 104 (Connection reset by peer)).
19:11:47 -!- calamari_ has joined.
19:18:55 -!- puzzlet has quit (Read error: 110 (Connection timed out)).
19:19:18 -!- puzzlet has joined.
19:22:35 -!- calamari- has joined.
19:22:35 -!- calamari_ has quit (Read error: 104 (Connection reset by peer)).
19:24:05 -!- calamari- has quit (Client Quit).
19:47:23 -!- calamari- has joined.
19:47:30 <calamari-> re's
19:52:22 -!- calamari- has quit ("Leaving").
19:53:14 -!- calamari has joined.
19:56:22 -!- calamari has quit (Client Quit).
20:09:47 -!- calamari has joined.
20:14:52 -!- calamari has quit ("Leaving").
20:25:51 -!- calamari has joined.
20:42:37 -!- calamari has quit ("Leaving").
23:14:48 -!- CXI has joined.
23:23:41 -!- Keymaker has joined.
23:23:51 <Keymaker> hi
23:34:34 <Sgep> Hi km
23:34:42 <Keymaker> hi
23:38:01 <Keymaker> hmm, this revaver programming language seems interesting
23:38:08 <Keymaker> pity there isn't much info around
23:42:36 -!- CXII has quit (Connection timed out).
23:43:56 <Sgep> revaver?
23:44:09 <Keymaker> http://c2.com/cgi/wiki?RevaverLanguage
23:44:20 <Keymaker> http://www.esolangs.org/wiki/Revaver
23:44:37 <Keymaker> no interpreters or specs :(
23:46:14 <Sgep> There is an interpreter according to c2
23:47:03 <Keymaker> sh1t! :D i didn't see that!
23:47:24 <Keymaker> i guess esowiki needs some updating now..
23:51:12 <Keymaker> updated.
23:55:36 <Sgep> Bye for now all
23:55:42 <Keymaker> bye
2005-12-29
00:28:04 <jix> zzo38s server is back => many articles can be updated now?
00:29:28 <Keymaker> whoah!
00:29:36 <Keymaker> didn't notice that either!
00:29:44 <Keymaker> gotta browse that stuff
00:33:31 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
00:43:43 <Keymaker> crazy stuff :D
01:26:58 <Keymaker> nite.
01:27:01 -!- Keymaker has left (?).
01:42:29 -!- calamari has joined.
01:59:57 <calamari> hi
02:54:58 -!- Gs30ng has joined.
03:07:36 <Sgep> Hi
03:22:48 <Gs30ng> hi
04:02:30 -!- Sgep has quit.
05:15:01 -!- Arrogant has joined.
06:05:26 -!- calamari has quit ("Leaving").
07:43:12 -!- nooga has joined.
07:43:16 <nooga> hii
07:45:06 -!- lirthy has quit (Read error: 110 (Connection timed out)).
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
09:04:33 -!- nooga has quit ("Lost terminal").
09:06:44 -!- Arrogant has quit ("I AM QUIT HAVE A NICE DAY").
10:33:36 -!- lirthy has joined.
10:35:13 -!- jix has joined.
10:50:30 -!- lirthy has quit (Read error: 104 (Connection reset by peer)).
11:58:05 -!- lindi- has quit (kornbluth.freenode.net irc.freenode.net).
11:58:30 -!- lindi- has joined.
18:11:14 -!- Gs30ng has quit (Read error: 110 (Connection timed out)).
19:09:42 -!- Gs30ng has joined.
19:20:45 -!- Sgep has joined.
20:50:35 -!- calamari has joined.
20:50:48 <calamari> hi
21:06:45 <jix> moin calamari
21:08:30 <calamari> hi jix
23:35:46 -!- graue has joined.
23:35:49 <graue> hello
23:36:21 <graue> I just learned that the word "esoteric" is pronounced with an "S" sound at the beginning
23:36:29 <graue> I had always been pronouncing it with an "E" sound at the beginning
23:37:53 <graue> naturally, this bit of insight was deeply upsetting to me, so I've entered this IRC channel, where I can receive the support and encouragement of my peers, as I adjust to pronouncing "esoteric" correctly
23:43:51 <lament> i don't get it
23:44:03 <lament> where would an "S" come from?
23:47:09 <graue> ess oh tear ick
23:47:30 <graue> isn't that the "correct" pronunciation?
23:47:35 <lament> looks like the first sound is 'e'
23:47:41 <graue> ee so tear ick?
23:47:46 <lament> heh
23:47:48 <graue> that's what I thought
23:47:53 <lament> no
23:48:04 <lament> [e]
23:48:08 <lament> not [i]
23:48:17 <lament> not [s] either.
23:48:24 <graue> so it's like you're saying "S" (the letter) at the beginning
23:48:31 <lament> yes.
23:48:38 <graue> that came as a surprise to me
23:51:59 <jix> i pronounce it eh so terr ick
23:52:05 <jix> but that might be wrong
23:52:49 <jix> *rick
23:53:03 <graue> that's correct
23:54:12 <jix> argh i'm wrong: http://cougar.eb.com/sound/e/esoter01.wav
23:54:17 <lament> i pronounce it IA, SHUB-NIGGURATH!!!
23:54:53 <jix> i'm writing programs in arm asm atm... esolang dev is a good training for asm dev ;)
23:56:20 <jix> argh i need 1 additional register
23:56:34 <graue> get out your tools and weld one onto the CPU
23:56:36 <graue> how hard can it be?
23:57:27 <jix> i can't use pc that's the current adress.. i need fp to restore the calling frame.. ip is allready in use sp... hmm maybe i can use sp
23:58:44 <jix> yeah i can restore sp using fp
2005-12-30
00:06:47 <cpressey> and here i was pronouncing it "ay" so terr ick
00:52:36 -!- graue has quit ("Leaving").
01:30:03 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
03:17:29 -!- calamari has quit ("Leaving").
03:29:31 -!- sekhmet has quit ("omg more disk!").
03:59:52 -!- calamari has joined.
04:45:05 <lament> cpressey: did you kick ass in 311?
04:51:51 -!- Sgep has quit (Connection reset by peer).
05:36:56 -!- sekhmet has joined.
06:07:37 -!- lirthy has joined.
06:52:05 -!- klutzy has joined.
06:52:38 -!- lirthy has quit (Connection timed out).
06:52:45 -!- klutzy has changed nick to lirthy.
07:56:08 -!- calamari has quit ("Leaving").
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:29:57 -!- CXI has quit ("christmas hardware upgrade time... please pray for me").
08:46:09 -!- CXI has joined.
08:48:40 -!- calamari has joined.
08:48:46 <calamari> hi
08:58:04 -!- calamari has quit ("Leaving").
10:08:47 -!- J|x has joined.
10:58:03 -!- sp3tt has joined.
10:58:23 <sp3tt> I'm implementing brainfuck.
10:58:27 <sp3tt> On my calculator.
10:59:47 <sp3tt> Though I have no idea how to implement loops.
11:01:22 -!- calamari has joined.
11:02:30 <sp3tt> Because just skipping to the next ] could cause bad stuff.
11:03:18 <sp3tt> +++[>++[-]] Skipping to the next right bracket would literally result in a brainfuck.
11:04:09 <Gs30ng> ah, corresponding parenthesis... that's a little bit tricky, right
11:04:32 <sp3tt> Mhm...
11:05:01 <sp3tt> I don't believe I have access to regexps.
11:05:02 <J|x> if moving backwords use a counter
11:05:20 <J|x> increase it for every ] and decrease it for every [
11:05:27 <J|x> if it goes == 0 youre done
11:05:34 -!- J|x has changed nick to jix.
11:05:59 <jix> and regexps won't help as matching parentheses is a context free problem not a regular one
11:06:08 <sp3tt> :|
11:06:21 <sp3tt> I'm moving forwards in the text... I'd paste the program, but the usb drivers are messing with me.
11:06:31 <jix> (even though some regexp engines support some context free grammers)
11:06:54 <jix> if you're moving forwards do the same thing but swap [ and ]
11:07:07 <sp3tt> Ok...
11:07:56 <jix> what is your target system (calculator)?
11:07:58 <sp3tt> I have the text in a variable X, stack M, stack pointer P, program pointer c and the current token l.
11:08:02 <sp3tt> HP 48gII.
11:08:38 <jix> if it was a ti-92(+)/89/v200 i'd recommand converting the bf code into basic code
11:08:51 <sp3tt> I don't want a TI-calculator.
11:08:53 <sp3tt> No RPN :(
11:09:15 <sp3tt> I've gotten so used to RPN I can't use algebraic.
11:15:49 <calamari> <--- hp48gx
11:17:40 <sp3tt> Are the usb drivers messing with you too?
11:18:04 <calamari> usb drivers?
11:18:20 <calamari> mine connects via com port
11:18:55 <calamari> I've implemented bf on the hp48gx, in case youre interested in seeing it
11:19:27 <sp3tt> :(
11:19:53 <sp3tt> Ah... I looked at some interpreter, now I understand how to do it.
11:20:02 <calamari> http://esoteric.sange.fi/brainfuck/impl/interp/calculator/hp48bf.txt
11:20:47 <calamari> what I'd like to see is bf for the hp's cpu assembly language
11:21:00 <calamari> that would be great.. 64 bit power! :)
11:21:36 <lindi-> calamari: they still use saturn cpu?
11:21:45 <calamari> my crappy code is userrpl.. so it's slow
11:22:04 <calamari> lindi-: dunno .. but the processor in mine hasn't changed =D
11:22:16 <calamari> mine is a saturn
11:22:31 <lindi-> calamari: my hp71 used saturn too
11:22:57 <calamari> wonder what this 41cx uses
11:23:04 <sp3tt> When I hit a [, I set a var p1 to the current position, and a var p2 to 1. Then I continue looping through the text (in a separate loop), increasing p2 each time I hit a [. When I hit ] I decrease it. When p2 is 1, I store the new position in the text p3 and copy the substring p1-p3 and call the interpreter function on it.
11:23:09 <sp3tt> That should do it.
11:24:29 <sp3tt> Programming with rpn <3
11:25:32 <calamari> too bad they never made linux for the hp48 :) hehe
11:26:21 <lindi-> calamari: i didn't have any assembler tools for hp71 so i wrote a very ugly assembler in basic, http://iki.fi/lindi/HP71AS reads assembler source and creates an executable
11:26:25 <sp3tt> I doubt it would boot, not enough memory.
11:26:47 <calamari> sp3tt: I'm just being silly :) the kernel wouldn't even fit in ram :)
11:27:11 <sp3tt> :|
11:27:11 <lindi-> not to mention hp71 which had 16K of ram
11:27:29 <lindi-> hp48 has at least 256K?
11:27:40 <sp3tt> Mine has 128 iirc.
11:27:40 <calamari> 128k
11:30:51 <calamari> hmm.. how much memory does my slide rule have?
11:31:10 <lindi-> slide rule?
11:31:56 <calamari> http://en.wikipedia.org/wiki/Slide_rule
11:32:24 <sp3tt> I'd say two bytes or so.
11:34:03 <calamari> well, there are infinitely many positions of the hairline and slide.. so I dunno :)
11:34:04 <lindi-> ah, i only know the finnish term :)
11:34:26 <calamari> what is the finnish term?
11:34:39 <lindi-> 'laskutikku'
11:36:36 <calamari> cool.. this dictionary had it http://efe.scape.net/index.php
11:37:21 <lindi-> sounds proprietary :)
11:38:28 <calamari> salassa pidettv
11:38:42 <sp3tt> if l == "[" then{ STO('b',1); c++; DO{ STO('l',SUB(X,c,c)); IF l=="[" then { b++ } IF l=="]" then{b--} }until b==0}
11:38:50 <sp3tt> That oughta do it...
11:39:03 <calamari> what does that say? supposed to be "esoteric" :)
11:39:13 <lindi-> more like "one that puts the customer at the mercy of a vendor"
11:39:20 <calamari> lol
11:39:35 * sp3tt knows one finnish word.
11:39:36 <sp3tt> Vittu.
11:40:32 <calamari> acording to this one salassa=secretly
11:40:57 <calamari> so at least that word seems to make sense
11:42:55 <calamari> how about salakielenkytt
11:43:45 <sp3tt> :| Infinite loop.
11:44:51 <calamari> okay.. now to see what damage the reinstall caused
11:45:00 <calamari> brb.. hopefully :)
11:45:19 -!- calamari has quit ("Leaving").
11:46:02 <sp3tt> Note to self: Increase counter when doing loops.
11:47:08 <sp3tt> :D It works... now to create a loop to execute it... recursion is the shit.
11:48:11 -!- calamari has joined.
11:48:22 <calamari> hrm.. still no clock applet
11:48:32 <calamari> too tired to care
11:48:38 <calamari> bbl :)
11:48:40 -!- calamari has quit (Client Quit).
11:49:27 <sp3tt> The only problem is... will the array change...
12:22:59 <sp3tt> Ok, now I've changed the program to take the array as an argument...
12:26:36 <sp3tt> It'll have to return an array {output,array}...
12:26:40 <sp3tt> But first, lunch!
12:33:01 -!- lirthy has quit (Read error: 110 (Connection timed out)).
12:58:21 -!- lirthy has joined.
15:06:56 <sp3tt> GAH! This is fucking killing me.
15:14:24 -!- Arrogant has joined.
16:08:02 -!- Arrogant has quit ("I AM QUIT HAVE A NICE DAY").
17:07:48 -!- Gs30ng has quit.
19:40:44 <cpressey> lament: yes
19:42:07 <cpressey> by the way, here's a scary thought:
19:42:20 <cpressey> ten years ago: Windows 95
19:42:29 <cpressey> twenty years ago: the first Amiga
19:42:41 <cpressey> thirty years ago: the Altair
19:59:09 <sp3tt> I finished writing my interpreter.
19:59:24 <sp3tt> Brainfuck on the HP 48gII: http://sp3tt.i.ext.as/bf.txt
20:31:10 -!- calamari has joined.
20:35:47 -!- calamari has quit (Client Quit).
22:57:59 -!- clog has joined.
22:57:59 -!- clog_ has joined.
23:14:02 -!- clog has quit (Connection timed out).
23:14:03 -!- clog_ has changed nick to clog.
23:35:21 -!- clog has joined.
23:35:21 -!- clog has joined.
2005-12-31
02:37:05 -!- Arrogant has joined.
02:54:15 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
03:38:30 -!- CXII has joined.
04:03:20 -!- CXI has quit (Connection timed out).
04:17:11 -!- CXI has joined.
04:43:51 -!- CXII has quit (Connection timed out).
04:56:05 -!- Sgep has joined.
05:32:01 <Sgep> Night all
05:32:36 -!- Sgep has quit (Remote closed the connection).
05:33:21 -!- Arrogant has quit ("I AM QUIT HAVE A NICE DAY").
07:40:11 -!- nooga has joined.
07:40:18 <nooga> hi
07:56:29 <nooga> http://www.99-bottles-of-beer.net/language-sadol-989.html
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
09:35:20 -!- nooga has quit ("Lost terminal").
11:24:37 -!- lirthy has quit ("you should feel more feel you should take more take").
11:25:38 -!- lirthy has joined.
11:50:29 -!- ineiros has quit (Read error: 110 (Connection timed out)).
13:23:20 -!- jix has joined.
14:14:37 -!- lirthy has quit (Read error: 104 (Connection reset by peer)).
17:29:12 -!- Sgep has joined.
17:54:40 -!- marcan has joined.
18:30:00 -!- marcan has quit ("leaving").
18:30:49 -!- marcan has joined.
18:40:23 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
19:45:29 -!- marcan has quit ("Lost terminal").
20:11:33 -!- cmeme has quit (Read error: 104 (Connection reset by peer)).
20:12:39 -!- cmeme has joined.
20:50:58 -!- Sgep has quit (Read error: 104 (Connection reset by peer)).
20:53:12 -!- Sgep has joined.
←2005-11 2005-12 2006-01→ ↑2005 ↑all