00:05:34 -!- olsner has quit ("Leaving"). 00:14:27 -!- UJustLostTheGame has quit (Remote closed the connection). 00:14:57 -!- ehird has joined. 00:26:19 -!- jix has quit ("CommandQ"). 00:32:54 -!- RedDak has quit (Remote closed the connection). 00:40:43 -!- Sgeo has joined. 01:39:10 All in favor of me writing an OS? 01:39:26 No. 01:39:27 * pikhq shouts 'Aye' 01:40:05 No. 01:40:07 I tried it once. 01:40:12 It's not exciting. 01:40:13 Or fruitful. 01:40:16 And where'd you get stuck? 01:40:26 At the part where it became terminally boring. 01:40:34 . . . Which is? 01:40:36 so right at the start, then :) 01:41:04 I'm for it, as long as I'm not you. 01:41:23 lament: And all the way through. 01:41:35 Regular OS, or eso OS? 01:41:44 I dunno. 01:41:49 Esomic is quite tempting. 01:42:27 ATM, I'm just fiddling with basic routines for doing text mode without the BIOS. 01:44:35 pikhq: think: it's a LOT of fairly meaningless porting work. 01:45:04 lament: I think I noticed already. 01:45:21 I'm terminally bored, though. Might as well do *something* with that terminal boredom. 01:49:14 design a really cool non-esoteric programming language 01:49:29 a better lisp, perhaps :) 01:50:02 to qualify, it has to be better than anything else in existance. 01:50:36 -!- ehird has quit ("Konversation terminated!"). 01:50:52 Non-esoteric? Doesn't that require a lot of instructions? :o 01:51:23 What's the shortest instruction set for a non-esoteric language that isn't machine code? 01:54:36 machine code languages probably have the biggest instruction sets 01:54:51 That depends: what do you consider an esolang? :p 01:54:53 also, what's an "instruction"? Any builtin? 01:55:21 If you consider Lambda calculus non-esoteric, then there you go. 01:55:25 Well, if it's CISC yes. 01:55:55 Well, built in in the basic language I suppose. 01:56:04 Without the modules and whatnots. 01:57:02 Well, in *that* case. . . 01:57:09 Hmm. 01:57:16 Lisp? :p 01:57:43 * pikhq shrugs 01:59:37 lisp/scheme has very few 02:01:40 pikhq: do it! there aren't enough amazingly awesome languages. 02:01:45 -!- RodgerTheGreat has quit (brown.freenode.net irc.freenode.net). 02:01:45 -!- sekhmet has quit (brown.freenode.net irc.freenode.net). 02:01:48 -!- Sgeo has quit (brown.freenode.net irc.freenode.net). 02:01:48 -!- AnMaster has quit (brown.freenode.net irc.freenode.net). 02:01:48 -!- GregorR has quit (brown.freenode.net irc.freenode.net). 02:01:48 -!- Overand has quit (brown.freenode.net irc.freenode.net). 02:02:22 -!- tejeez has quit (brown.freenode.net irc.freenode.net). 02:02:23 -!- oklopol has quit (brown.freenode.net irc.freenode.net). 02:02:29 -!- dbc has quit (brown.freenode.net irc.freenode.net). 02:02:29 -!- cherez has quit (brown.freenode.net irc.freenode.net). 02:04:16 NEVER!!! 02:04:21 -!- bsmntbombdood has quit (brown.freenode.net irc.freenode.net). 02:04:21 -!- Tritonio_ has quit (brown.freenode.net irc.freenode.net). 02:04:22 -!- atsampson has quit (Read error: 104 (Connection reset by peer)). 02:09:13 -!- SimonRC_ has joined. 02:09:45 -!- Sgeo has joined. 02:09:45 -!- AnMaster has joined. 02:09:45 -!- GregorR has joined. 02:09:45 -!- Overand has joined. 02:10:09 -!- bsmntbombdood has joined. 02:10:09 -!- Tritonio_ has joined. 02:10:11 -!- cmeme has quit (Killed by ballard.freenode.net (Nick collision)). 02:10:13 -!- cmeme has joined. 02:10:13 -!- RodgerTheGreat has joined. 02:10:13 -!- sekhmet has joined. 02:10:38 -!- atsampson has joined. 02:10:38 -!- oklopol has joined. 02:10:38 -!- dbc has joined. 02:10:38 -!- tejeez has joined. 02:10:38 -!- cherez has joined. 02:18:14 -!- SimonRC has quit (Connection timed out). 02:29:12 -!- cmeme has quit (brown.freenode.net irc.freenode.net). 02:29:12 -!- RodgerTheGreat has quit (brown.freenode.net irc.freenode.net). 02:29:12 -!- sekhmet has quit (brown.freenode.net irc.freenode.net). 02:31:13 -!- poiuy_qwert has joined. 02:32:32 -!- cmeme has joined. 02:32:32 -!- RodgerTheGreat has joined. 02:32:32 -!- sekhmet has joined. 02:33:04 -!- sekhmet has quit (Read error: 104 (Connection reset by peer)). 02:33:07 -!- sekhmet has joined. 02:39:03 -!- calamari has joined. 02:52:25 -!- sekhmet has quit (brown.freenode.net irc.freenode.net). 02:52:25 -!- RodgerTheGreat has quit (brown.freenode.net irc.freenode.net). 02:52:25 -!- cmeme has quit (brown.freenode.net irc.freenode.net). 02:54:23 -!- Tritonio_ has quit (brown.freenode.net irc.freenode.net). 02:54:23 -!- bsmntbombdood has quit (brown.freenode.net irc.freenode.net). 02:54:23 -!- Sgeo has quit (brown.freenode.net irc.freenode.net). 02:54:23 -!- Overand has quit (brown.freenode.net irc.freenode.net). 02:54:23 -!- GregorR has quit (brown.freenode.net irc.freenode.net). 02:54:23 -!- AnMaster has quit (brown.freenode.net irc.freenode.net). 02:54:23 -!- tejeez has quit (brown.freenode.net irc.freenode.net). 02:54:23 -!- atsampson has quit (brown.freenode.net irc.freenode.net). 02:54:24 -!- oklopol has quit (brown.freenode.net irc.freenode.net). 02:54:24 -!- dbc has quit (brown.freenode.net irc.freenode.net). 02:54:24 -!- cherez has quit (brown.freenode.net irc.freenode.net). 02:54:24 -!- lifthrasiir has quit (brown.freenode.net irc.freenode.net). 02:54:24 -!- pikhq has quit (brown.freenode.net irc.freenode.net). 02:54:25 -!- poiuy_qwert has quit (brown.freenode.net irc.freenode.net). 02:54:25 -!- SimonRC_ has quit (brown.freenode.net irc.freenode.net). 02:54:25 -!- slereah_ has quit (brown.freenode.net irc.freenode.net). 02:54:25 -!- puzzlet has quit (brown.freenode.net irc.freenode.net). 02:54:25 -!- mtve has quit (brown.freenode.net irc.freenode.net). 02:54:49 -!- lament has quit (Nick collision). 02:55:06 -!- lament has joined. 02:55:06 -!- sekhmet has joined. 02:55:06 -!- RodgerTheGreat has joined. 02:55:06 -!- cmeme has joined. 02:55:06 -!- poiuy_qwert has joined. 02:55:06 -!- cherez has joined. 02:55:06 -!- tejeez has joined. 02:55:06 -!- dbc has joined. 02:55:06 -!- oklopol has joined. 02:55:06 -!- atsampson has joined. 02:55:06 -!- Tritonio_ has joined. 02:55:06 -!- bsmntbombdood has joined. 02:55:06 -!- Overand has joined. 02:55:06 -!- GregorR has joined. 02:55:06 -!- AnMaster has joined. 02:55:06 -!- Sgeo has joined. 02:55:06 -!- SimonRC_ has joined. 02:55:06 -!- slereah_ has joined. 02:55:06 -!- lifthrasiir has joined. 02:55:06 -!- pikhq has joined. 02:55:06 -!- puzzlet has joined. 02:55:06 -!- mtve has joined. 03:50:23 -!- Tritonio_ has quit (Remote closed the connection). 03:53:04 pikhq: behold a doodle! http://www.nonlogic.org/dump/images/1204661750-arch.png 03:53:33 it's got all kinda feet! 03:53:37 *kindsa 03:53:56 they're all four-toed, just in different orientations 03:55:03 well, my point was in no way anything. i should really start tagging my actually meaningful sentences somehow... 03:55:10 haha 03:55:14 :P 03:55:23 Heh. 03:55:37 likin' the character design overall? 03:55:49 IRC with sentence tagging. Good idea? 03:55:55 (very Web 2.0, BTW.) 03:55:59 I think I've finally figured out a design for the leg mechanics that I'm happy with. 03:57:02 i should sleep... 03:57:28 why the fuck would i drink a couple of energy drinks at about midnight, when i want to wake up early 03:58:01 Because sleeping is bad for you. 03:58:02 I guess I should work on PSOX safety and finish the filesystem domain, then it's a release of 1.0b1 03:58:16 pikhq, are you working on PSOX compatible tools? 03:58:29 Sgeo: No, I'm working on a simple kernel. 03:58:41 Will anyone notice 1.0b1? 03:59:10 ATM, it just proves that I'm running in 32 bit mode. 03:59:43 (by running a 32-bit ELF with a Multiboot header, of course) 04:04:16 -!- pikhq has set topic: Gygax: May you get a perfect 20 on your 'rest in peace' saving throw. | #awesome | esoteric as always. 04:12:07 Multiboot header? 04:12:31 The GNU Multiboot specification. . . 04:12:53 It's a generic method for a bootloader to talk to an OS kernel and load it into memory. 04:13:05 Works pretty well for most any OS. 04:13:28 One kernel using it is Xen. ;) 04:30:22 -!- atsampson has quit (brown.freenode.net irc.freenode.net). 04:30:46 -!- atsampson has joined. 04:44:59 -!- lifthrasiir has quit (brown.freenode.net irc.freenode.net). 04:49:00 -!- lifthrasiir has joined. 04:49:01 -!- lifthras1ir has joined. 04:50:10 -!- lifthrasiir has quit (Read error: 104 (Connection reset by peer)). 05:16:51 -!- Sgeo has quit (Remote closed the connection). 05:17:49 -!- calamari has quit ("Leaving"). 06:53:14 -!- poiuy_qwert has quit. 06:59:51 -!- olsner has joined. 07:18:27 -!- lifthras1ir has quit (brown.freenode.net irc.freenode.net). 07:21:14 -!- lifthras1ir has joined. 07:33:38 -!- olsner has quit (brown.freenode.net irc.freenode.net). 07:33:38 -!- RodgerTheGreat has quit (brown.freenode.net irc.freenode.net). 07:38:02 -!- sekhmet has quit (brown.freenode.net irc.freenode.net). 07:38:02 -!- cmeme has quit (brown.freenode.net irc.freenode.net). 07:38:03 -!- bsmntbombdood has quit (brown.freenode.net irc.freenode.net). 07:38:03 -!- Overand has quit (brown.freenode.net irc.freenode.net). 07:38:03 -!- GregorR has quit (brown.freenode.net irc.freenode.net). 07:38:03 -!- AnMaster has quit (brown.freenode.net irc.freenode.net). 07:38:03 -!- tejeez has quit (brown.freenode.net irc.freenode.net). 07:38:03 -!- lament has quit (brown.freenode.net irc.freenode.net). 07:38:03 -!- oklopol has quit (brown.freenode.net irc.freenode.net). 07:38:03 -!- atsampson has quit (brown.freenode.net irc.freenode.net). 07:38:03 -!- dbc has quit (brown.freenode.net irc.freenode.net). 07:38:03 -!- cherez has quit (brown.freenode.net irc.freenode.net). 07:38:03 -!- lifthras1ir has quit (brown.freenode.net irc.freenode.net). 07:38:03 -!- pikhq has quit (brown.freenode.net irc.freenode.net). 07:38:03 -!- mtve has quit (brown.freenode.net irc.freenode.net). 07:38:03 -!- SimonRC_ has quit (brown.freenode.net irc.freenode.net). 07:38:03 -!- puzzlet has quit (brown.freenode.net irc.freenode.net). 07:38:03 -!- slereah_ has quit (brown.freenode.net irc.freenode.net). 07:38:04 -!- lifthras1ir has joined. 07:38:04 -!- olsner has joined. 07:38:04 -!- atsampson has joined. 07:38:04 -!- lament has joined. 07:38:04 -!- sekhmet has joined. 07:38:04 -!- RodgerTheGreat has joined. 07:38:04 -!- cmeme has joined. 07:38:04 -!- cherez has joined. 07:38:04 -!- tejeez has joined. 07:38:04 -!- dbc has joined. 07:38:04 -!- oklopol has joined. 07:38:04 -!- bsmntbombdood has joined. 07:38:04 -!- Overand has joined. 07:38:04 -!- GregorR has joined. 07:38:04 -!- AnMaster has joined. 07:38:04 -!- SimonRC_ has joined. 07:38:04 -!- slereah_ has joined. 07:38:04 -!- pikhq has joined. 07:38:04 -!- puzzlet has joined. 07:38:04 -!- mtve has joined. 07:38:04 -!- Overand has quit (brown.freenode.net irc.freenode.net). 07:38:04 -!- GregorR has quit (brown.freenode.net irc.freenode.net). 07:38:04 -!- AnMaster has quit (brown.freenode.net irc.freenode.net). 07:40:24 -!- AnMaster has joined. 07:40:24 -!- GregorR has joined. 07:40:24 -!- Overand has joined. 07:40:41 -!- Overand has quit (Read error: 104 (Connection reset by peer)). 07:40:44 -!- Overand has joined. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:59:43 -!- oerjan has joined. 09:19:26 -!- olsner has quit ("Leaving"). 09:50:36 -!- jix has joined. 10:12:10 -!- Tritonio_ has joined. 10:26:52 well my befunge93 in bash is making progress (or rather, befunge93+, to make it turing complete, I allow infinite 2D playfield, limited width but not limited height) 10:28:42 * AnMaster goes to code string mode 10:45:17 -!- jix has quit ("CommandQ"). 11:07:46 -!- Corun has joined. 11:32:05 -!- Corun has quit ("This computer has gone to sleep"). 11:43:35 -!- pikhq has quit (Read error: 110 (Connection timed out)). 12:08:18 Hell. 12:08:31 There's a buttload of exceptions to handle for a Fibonacci graph. 12:33:49 -!- jix has joined. 12:34:27 -!- SimonRC_ has changed nick to SimonRC. 13:01:07 -!- oerjan has quit ("Cuss! Er, bus."). 13:10:45 -!- RedDak has joined. 13:41:20 -!- Judofyr has joined. 13:49:58 -!- dak has joined. 13:55:49 -!- RedDak has quit (Read error: 110 (Connection timed out)). 14:02:53 -!- timotiis has joined. 14:14:57 -!- pikhq has joined. 15:04:04 -!- Tritonio_ has quit (Read error: 110 (Connection timed out)). 15:08:09 -!- Tritonio_ has joined. 15:14:39 -!- BMeph has joined. 15:24:15 -!- oklopol has quit. 16:03:23 -!- Sgeo has joined. 16:17:31 -!- sebbu has joined. 16:29:50 -!- oklokok has joined. 16:30:14 -!- oklokok has changed nick to oklopol. 16:47:09 -!- sebbu has quit ("@+"). 16:54:23 for befunge93, is the input line based? that is, should it read one char (like fgetc), or a whole line (like fgets)? 16:54:45 sure it should pass one char at a time to the code, but should it cache the results until the user hits enter? 17:05:22 -!- oklokok has joined. 17:06:59 -!- BMeph69 has joined. 17:07:18 -!- BMeph has quit (brown.freenode.net irc.freenode.net). 17:07:18 -!- lifthras1ir has quit (brown.freenode.net irc.freenode.net). 17:07:29 -!- BMeph69 has changed nick to BMeph. 17:08:29 -!- lifthras1ir has joined. 17:12:16 -!- Sgeo has quit (brown.freenode.net irc.freenode.net). 17:12:16 -!- dak has quit (brown.freenode.net irc.freenode.net). 17:12:17 -!- GregorR has quit (brown.freenode.net irc.freenode.net). 17:12:17 -!- AnMaster has quit (brown.freenode.net irc.freenode.net). 17:18:39 -!- pikhq has quit (brown.freenode.net irc.freenode.net). 17:23:21 -!- RodgerTheGreat has quit (brown.freenode.net irc.freenode.net). 17:23:21 -!- sekhmet has quit (brown.freenode.net irc.freenode.net). 17:23:21 -!- cmeme has quit (brown.freenode.net irc.freenode.net). 17:23:21 -!- BMeph has quit (brown.freenode.net irc.freenode.net). 17:23:21 -!- Tritonio_ has quit (brown.freenode.net irc.freenode.net). 17:23:21 -!- Judofyr has quit (brown.freenode.net irc.freenode.net). 17:23:21 -!- bsmntbombdood has quit (brown.freenode.net irc.freenode.net). 17:23:21 -!- tejeez has quit (brown.freenode.net irc.freenode.net). 17:23:21 -!- lament has quit (brown.freenode.net irc.freenode.net). 17:23:21 -!- oklokok has quit (brown.freenode.net irc.freenode.net). 17:23:21 -!- jix has quit (brown.freenode.net irc.freenode.net). 17:23:22 -!- atsampson has quit (brown.freenode.net irc.freenode.net). 17:23:22 -!- oklopol has quit (brown.freenode.net irc.freenode.net). 17:23:22 -!- dbc has quit (brown.freenode.net irc.freenode.net). 17:23:22 -!- cherez has quit (brown.freenode.net irc.freenode.net). 17:23:22 -!- lifthras1ir has quit (brown.freenode.net irc.freenode.net). 17:23:22 -!- timotiis has quit (brown.freenode.net irc.freenode.net). 17:23:22 -!- Overand has quit (brown.freenode.net irc.freenode.net). 17:23:22 -!- mtve has quit (brown.freenode.net irc.freenode.net). 17:23:22 -!- SimonRC has quit (brown.freenode.net irc.freenode.net). 17:23:22 -!- puzzlet has quit (brown.freenode.net irc.freenode.net). 17:23:22 -!- slereah_ has quit (brown.freenode.net irc.freenode.net). 17:23:26 -!- GregorR has joined. 17:23:26 -!- AnMaster has joined. 17:23:26 -!- dak has joined. 17:23:26 -!- Sgeo has joined. 17:23:26 -!- lifthras1ir has joined. 17:23:26 -!- BMeph has joined. 17:23:26 -!- oklokok has joined. 17:23:26 -!- oklopol has joined. 17:23:26 -!- pikhq has joined. 17:23:26 -!- timotiis has joined. 17:23:26 -!- Judofyr has joined. 17:23:26 -!- jix has joined. 17:23:26 -!- Overand has joined. 17:23:26 -!- atsampson has joined. 17:23:26 -!- lament has joined. 17:23:26 -!- sekhmet has joined. 17:23:26 -!- RodgerTheGreat has joined. 17:23:26 -!- cmeme has joined. 17:23:26 -!- cherez has joined. 17:23:26 -!- tejeez has joined. 17:23:26 -!- dbc has joined. 17:23:26 -!- bsmntbombdood has joined. 17:23:26 -!- SimonRC has joined. 17:23:26 -!- slereah_ has joined. 17:23:26 -!- puzzlet has joined. 17:23:26 -!- mtve has joined. 17:24:08 -!- oklokok has quit (Client Quit). 17:25:44 -!- oklopol has quit (Read error: 110 (Connection timed out)). 17:48:47 -!- jix has quit ("CommandQ"). 17:55:44 -!- sebbu has joined. 18:08:59 -!- Corun has joined. 18:30:28 -!- ehird_ has joined. 18:44:35 -!- oklofok has joined. 18:45:28 for befunge93, is the input line based? that is, should it read one char (like fgetc), or a whole line (like fgets)? sure it should pass one char at a time to the code, but should it cache the results until the user hits enter? 18:45:42 so should it be buffered or not? 18:46:01 I can't help you! 18:46:05 I know little of efunge. 18:46:16 err, how is that related to befunge? 18:46:26 ah 18:46:27 sorry 18:46:28 bad font 18:46:36 * AnMaster read "efunge" as "europe" 18:46:41 weird mis-reading 18:47:57 Heh. 18:52:04 slereah_, btw my bashfunge is going well 18:52:26 it isn't befunge98, but a superset of befunge93 that is turing complete 18:52:36 calling it befunge08 now 18:52:43 *9000 18:52:51 death station 9000? 18:52:54 http://rage.kuonet.org/~anmaster/bzr/index.py/log/bashfunge/head 18:52:56 :D 18:53:06 still a few eval around, plan to fix that later 18:53:14 (but only in libstack.sh) 18:55:18 AnMaster: why do you like Bash? 18:55:35 ehird_, because it makes people ask why I like bash 18:55:37 ;P 18:56:43 -!- BMeph has quit (Read error: 104 (Connection reset by peer)). 18:58:07 -!- olsner has joined. 19:00:22 ehird_, how is tuberculosis going? 19:00:57 -!- dak has quit (Remote closed the connection). 19:02:22 olsner now likely thinks i literally have tuberculosis 19:02:41 so do i 19:03:00 ehird_: ZOMG, YOU HAVE TUBERCULOSIS FOR REAL? 19:18:50 -!- slereah__ has joined. 19:19:34 -!- slereah_ has quit (Read error: 104 (Connection reset by peer)). 19:29:24 -!- slereah_ has joined. 19:29:33 -!- slereah__ has quit (Read error: 104 (Connection reset by peer)). 19:35:32 'pikhq, are you working on PSOX compatible tools?' 19:35:41 if not, get back to work! you must do as i say 19:35:42 :-P 19:36:43 AWW NetAuthority is down 19:36:44 http://www.netauthority.org/index.html 19:38:24 on the upside it links to cectic 19:45:14 * Sgeo reads through cectic 19:46:04 -!- slereah_ has quit (Remote closed the connection). 19:49:00 -!- slereah_ has joined. 20:09:44 -!- oerjan has joined. 20:18:44 -!- RedDak has joined. 20:23:49 -!- louzer has joined. 20:24:15 What is meant by wrapping constants on wikipedia? 20:24:23 *wiki 20:24:47 I mean I went to BF wiki and found non-wrapping and wrapping constants 20:24:55 what's the difference 20:25:29 anyone? 20:25:49 louzer: with wrapping means that if you increment 255, you'll get 0 20:26:08 on some implementation it will just exit/crash the program 20:27:05 and some, strangely enough, have numbers bigger than 255... 20:27:30 but most of the time, the wrapping-constants will work 20:27:31 lets say I'm trying to print letter E. so if i use the wrapping code, and if I add 255 to the memory location after the byte with ascii E is formed.. the memory will become 0, crash or go higher? 20:27:54 is that wat u mean? 20:28:13 yes 20:28:18 I think so :P 20:28:40 hmm interesting.. 20:28:47 u know im starting to like BF 20:29:20 wrapping code may not give the ascii E to begin with 20:29:56 I tried and it outputted E 20:29:56 (on a non-wrapping implementation) 20:30:17 hmm is non-wrapping .. wrapping the property of the implemetnation? 20:30:29 yes 20:30:58 the non-wrapping code should work on all implementations that can support all byte values at all 20:31:39 wrapping code may only work on those which wrap 255 to 0 and vice versa 20:31:56 finally! got it 20:32:01 thank you 20:32:15 but for output, some of the wrapping codes _may_ work otherwise, but be slower, on implementations which truncate output to the last 8 bits (i think egobfi does this) 20:32:35 hmm interesting 20:33:10 in that case the actual value produced may differ in the other bits 20:33:37 this is because most of the special wrapping code is based on tricks from modulo 256 arithmetic 20:33:48 ok 20:34:08 i cant believe this thing is turing complete 20:34:19 haha 20:34:26 -!- jix has joined. 20:35:13 if ur on mac os x what is the recommended bf interpreter 20:36:02 no idea 20:36:07 its ok 20:36:52 louzer: most interpreter for Linux will work for Mac too 20:37:08 Judofyr: ok will compile one then 20:37:43 louzer: Or find one in Python/Java/Ruby etc. 20:38:02 Judofyr: yeah.. or write one 20:38:11 yeah 20:38:16 that's pretty easy 20:38:22 hehe 20:40:23 i guess writing a brainfuck interpreter is the initiating rite for #esoteric, like writing a monad tutorial is for #haskell 20:40:43 i don't think i've done either, btw 20:41:00 which language do you use? 20:41:27 what* 20:41:33 mostly Haskell for what little programming i do nowadays 20:42:21 oerjan: http://haskell.org/haskellwiki/Short_examples/BF_interpreter :) 20:42:35 oh i know it has been done 20:42:53 it's just i never finished mine 20:43:26 i've mostly done unlambda interpreters instead 20:46:50 what the heck the wiki example uses an actual foreign array 20:49:32 when it's so easy to use a pair of lists for unbounded tape 20:49:50 oerjan: it's a wiki, you can improve it :) 20:50:13 well it's supposedly a particular interpreter 21:10:22 * SimonRC does sick things with C 21:10:29 A Forth! 21:22:20 in the style of that J interpreter 21:23:01 SimonRC: brillant 21:24:18 "V(tl)for(;;){w.p=*ip.p;(*w.p+2)();}} 21:24:28 that's awesome 21:24:37 the top-leve loop, with extraneous " 21:24:39 truly, how c was meant to be 21:24:42 heh 21:25:35 it means: forever: let w be what the ip reg points to; call the function whose address is stored at w+2 21:25:43 w is pointing to the current word, BTW 21:26:14 SimonRC: plz show full source 21:26:15 :D 21:26:34 the code for colon defs relies on w pointing to the current word, becuase it changes the ip to w[3] 21:27:33 SimonRC: I'm working on a concatenative functional language 21:27:37 like Joy & Cat 21:27:41 but strongly-typed like Cat 21:27:49 ok 21:27:50 but cooler - I hope to make it *purely functional* like Haskell 21:27:53 Monads! 21:27:59 grin 21:28:15 dip :: 'R 'a ('R -> 'S) -> 'S 'a 21:28:50 SimonRC: can't think of any fun examples to show you 21:28:51 :P 21:30:02 SimonRC: but it means that a stack underflow can never happen 21:30:05 since it is always a type error 21:30:13 and is therefore caught at compile-time 21:30:31 SimonRC: now tell me how awesome that is :p 21:31:29 or, you know. don't. 21:32:05 sounds rather lie cat so far 21:32:07 *like 21:32:26 SimonRC: yes 21:32:29 but far more awesome 21:32:43 because cat is not purely functional 21:32:50 ah, ok 21:33:06 does cat have type inferrence? 21:33:08 OTOH, stacks do tend to put an ordering on instructions 21:33:12 it seems to but not for functions 21:33:17 and no 21:33:20 you can reason about stacks functionally 21:33:27 oh, yes 21:33:31 a function is `stack -> stack` 21:33:36 but with more constraints on 'stack' 21:33:37 like, dup: 21:33:44 'R 'a -> 'R 'a 'a 21:33:47 where 'R is the rest of the stack 21:33:58 and then ' ' instead of being the application operator like in Haskell is the compose operator 21:34:02 ehird_, what language is that? 21:34:08 AnMaster: ? 21:34:15 that you are talking about 21:34:32 one i'm making 21:34:50 what is it called? 21:35:07 also, what about TURKY BOMB, did you get anywhere with the interpreter? 21:35:08 no name ye 21:35:08 tt 21:35:11 and not yet 21:35:13 or did you give it up? 21:35:13 but i will work on it soon 21:35:50 ehird_, did you say I wouldn't be able to do befunge in bash? ;P 21:35:58 I said Funge-98. 21:36:03 it is befunge93, and quite a bit of befunge98 21:36:06 You are just doing Befunge-93 with one extension, which is trivial. 21:36:21 ehird_, not one extension, I'm aiming at quite a few of them 21:36:26 even the stack stack bit 21:36:42 until you get Fingerprints and Funge's topology rules.. 21:36:48 its not even CLOSE 21:36:51 SimonRC: hmm 21:36:54 how WOULD monads work? 21:36:56 ehird_, I do have fingerprints, partly 21:37:00 functions can return multiple values 21:37:07 but i cannot express that in a type to wrap it in 'm' 21:37:12 ehird_, not fully yet however 21:37:51 bind :: 'R (m 'a) ('R 'a -> 'R (m 'b)) -> 'R (m 'b) 21:37:56 SimonRC: but that only handles one return value 21:42:16 m ('R 'b) obviously 21:43:20 oerjan: that wraps the whole stack in the monad 21:43:27 yes. 21:43:29 specifically, the stack gets reduced to one element 21:43:33 with the whole stack 21:43:39 oerjan: but that can include stuff not involved in the monadic computation 21:43:41 * SimonRC wonders what the pre-processor would do with a macro called $ 21:44:10 oerjan: so that's incorrect 21:44:11 will it recognise it in constructs like foo$bar? 21:44:11 SimonRC: which pre-processor? 21:44:12 i see. tricky. 21:44:18 SimonRC: if cpp - 21:44:19 the c one 21:44:22 it uses c identifier rules# 21:44:27 so you can't define $ 21:44:34 oh 21:44:45 does that mean I can't have a macro called ^ either? 21:45:19 * SimonRC calls in _ instead 21:45:21 *it 21:45:42 SimonRC: that is correct 21:45:51 WAIT 21:45:53 NO DISREGARD THAT 21:45:55 $ is a valid macro nam 21:45:56 e 21:46:00 cool! 21:46:03 but 21:46:10 SimonRC: it uses C breaking rules, but dumbified 21:46:11 #define $ 2 21:46:13 hello$world 21:46:14 -> hello$world 21:46:18 :-( 21:46:24 the cpp is retarded 21:46:24 :) 21:47:19 #define _ ;ip.p++;} 21:47:36 heh 21:47:41 SimonRC: that won't break though 21:47:43 you can't do a_b 21:47:57 indeed, but it still looks good, even with the spaces 21:48:11 SimonRC: can i see the interp? :D 21:48:15 not yet 21:49:06 aww 21:49:18 SimonRC: hehe, HUMAN-LOOKING DEFINITIONS: 21:49:28 hm? 21:49:38 say-hi: "Hello, world!" print. 21:49:42 ok 21:49:45 NAME: DEF. 21:51:05 fact: ('R Int -> 'R Int) dup 0 = [1] [dup 1 - fact *] if. 21:51:14 but ofc you can leave out the typedef 21:55:38 SimonRC: what functions does your forth have? 21:55:43 the usual 21:55:56 here are the binary operators, as defined in the source: 21:56:03 B(ad,+) B(su,-) B(mu,*) B(di,/) B(an,&) B(or,|) B(xo,^) 21:56:36 SimonRC: ehm.. not traditional forth i take it... 21:56:49 no, that is how they are defined in the C source 21:56:51 that is, 'if' isn't a word defined in forth in yours? 21:57:05 not yet 21:57:16 IMO most 'forths' out there that aren't actual real ANS Forth are more like 'regular stack languages' 21:57:22 yeah 21:57:37 the secret of forth is factoring, simplicity, and smallness 21:57:42 and hackability 21:57:47 SimonRC: jonesforth is the best example of what i'd consider "real forth" 21:57:55 yes 21:57:55 i wouldn't call yours forth, probably :-) 21:58:00 why? 21:58:08 well, I consider 'forth'ness to be an implementation attribute 21:58:12 not the external interface 21:58:26 and? 21:58:33 how is mine not forth? 22:00:11 SimonRC: it looks programmed at a too high level 22:00:11 :-P 22:00:30 I am using lots of macros 22:04:19 * SimonRC wonders if there is a way to get macros to set up the initial dictionary 22:05:01 heck, intialising is going to be really tough 22:05:10 -!- jix has quit ("CommandQ"). 22:06:26 SimonRC: forth is a lot easier in asm 22:06:31 yeah 22:06:36 or in Forth :-) 22:07:07 or in fact any language with a semi-decent macro system 22:07:49 nahh 22:07:51 asm is the easiest 22:12:14 SimonRC: I broked jonesforht 22:12:15 JONESFORTH VERSION 45 22:12:16 14498 CELLS REMAINING 22:12:16 OK SWW LIT 22:12:16 PARSE ERROR: SWW 22:12:16 SEE LIT 22:12:16 Segmentation fault (core dumped) 22:12:20 err 22:12:24 flood. 22:12:29 heh 22:12:30 but still 22:17:02 SimonRC: I wonder how small you can make a Fort 22:17:03 h 22:17:08 maybe a 100% ascii dos com one? :) 22:41:29 ok, I have some untestted and indeed uncompiled code to show you 22:41:38 gimme a pastebin 22:45:14 -!- sebbu has quit ("@+"). 22:45:16 ooh 22:45:18 pastebin.ca 22:45:28 yeah, my logger just told me that 22:46:26 SimonRC: soon, pb.eso-std.org 22:46:27 ;) 22:47:54 http://pastebin.ca/929695 22:48:03 now, bed-time for me 23:02:17 Return to Sender 23:02:17 Atheist: I don't believe in God, yet I have morals. Theist: You don't need to believe... Theist: Think of it this way: if you didn't believe in the post office, you'd still get mail. Caption: Your mail unicorn would still fly by and teleport letters into your mailbox... Caption: No matter what you believed. Atheist: Uh... I don't think they use flying unicorns... Theist: Sheesh. Do you atheists believe in ANYTHING? 23:02:17 talk Talk about this comic in the forum. 23:02:21 -!- ehird_ has quit (Remote closed the connection). 23:03:22 -!- oerjan has quit ("Good night"). 23:04:12 -!- RedDak has quit (Remote closed the connection). 23:05:35 -!- Corun has quit (Connection timed out). 23:20:37 -!- louzer has quit (Read error: 113 (No route to host)). 23:21:11 -!- timotiis has quit ("leaving"). 23:25:36 -!- ehird has joined. 23:26:11 I think I'll work on PSOX 1.0b1 on Friday 23:26:17 And I'm adding in safety stuff 23:28:07 -!- olsner has quit ("Leaving"). 23:28:12 Sgeo: I would argue with you, but I'm too busy despairing about PSOX every time it's mentioned. 23:28:46 It's internal safety against mistakes, not safety against malicious PSOX programs 23:36:29 So, basically, it's more about adding a command to enable certain unsafe commands, just to prevent some poor Brainfuck coder from hitting rm * rather than ls. 23:38:53 pikhq: Are you satirizing it? 23:38:55 I hope so. 23:39:16 ehird: Just commenting ATM. 23:39:23 My satire is crueler. 23:39:43 So, basically, you're strapping a nuclear sub to a skateboard? 23:39:57 pikhq: It's a nuclear sub with a little plastic cover over the torpedo buttons. 23:40:13 Except that 'rm *' in PSOX would require a call to glob, etc. 23:40:18 'ls', significantly easier. 23:40:25 And how on earth do you typo something like that?! 23:42:02 Try 'thinko'. :p 23:45:14 ? 23:45:29 oh 23:45:37 welp, if you make something like that... 23:45:43 you deserve the lesson! 23:45:50 esp. if you're running it in a dir with important files