00:14:25 -!- pibb has joined. 00:27:55 -!- pibb has left (?). 00:34:45 -!- yrz\werk has quit (Remote closed the connection). 00:35:23 -!- yrz\werk has joined. 01:14:18 -!- calamari has joined. 01:38:26 -!- calamari has quit ("Leaving"). 01:39:22 is there any brainfuck-brother-lang which has many-dimensional memory space? 01:39:48 i think there should be one like that but can't find it 01:40:27 it seems obvious but I know none. it spoils the minimalistic nature of the language 01:41:13 well, what if we can choose the dimension with > and < 01:41:35 why not just make ^ and v operations? 01:42:02 hmm 01:42:14 well, I'm not sure how useful this is. I like brainfuck as it is. 01:43:00 well, we can make it have endless dimensions with approximately 10 instructions 01:43:51 like, each dimension has only 0 and 1 coordinate 01:44:27 it's easier than that with 10 instructions - <> stay as is, */ choose next or previous dimension. 01:44:46 for the <> instructions. 01:45:02 hmm that could work 01:46:47 but i think there already would be the one like that 01:47:07 tons of brothers of brainfuck 01:47:26 Hmm I never really cared. 01:48:47 * int-e wonders if there will ever be an Unlambda 3 01:59:13 Damn i feel like i've once saw something like that in my dream but cannot remember what was that 02:16:41 -!- kipple_ has quit (Read error: 110 (Connection timed out)). 02:36:45 Gs30ng: hcbf 02:37:30 hcbf 02:38:02 yes 02:38:05 see its wiki entry 02:38:14 ok i'm on it 02:39:07 so it's a bf with 4 dimensional memory space? 02:57:54 hmmmmmmmmmmmm 02:58:00 i really like the idea of 2-dim brainfuck 02:58:05 has it been done before? 02:58:22 it does seem extremely obvious now :) 02:59:05 the nice thing about 2-dim as opposed to 4 or whatever is that it's nice and visual 03:02:25 actually now that i think about it, it has practically no advantages over regular brainfuck. 03:27:21 well i think there's already one with 2-dim memory space 03:27:35 with <, >, ^, v 03:41:48 -!- int-e has quit ("Bye!"). 05:44:04 -!- calamari has joined. 05:45:26 hi 05:46:39 Gs30ng: 99% sure there is already at least a 2-D BF 05:47:16 i'm sure that i saw a bf with 2d memory 05:47:34 oh.. that's different :) 05:47:42 well 05:47:50 didn't read carefully enough.. oops 05:47:50 you meant the code space? 05:47:59 like PATH? 05:48:02 yeah.. looks like Chris already found it? 05:49:15 still i'm not sure that there would be any bf with unbounded dimensions 05:50:12 just like int-e said, introducing 2 instructions choosing next or previous dimension for <> instructions 05:50:41 or we don't even need <> 05:50:47 just @ 05:51:08 since we have unbounded dimensions 05:51:16 yep, but then are you still multidimensional with memory? :) 05:51:30 might as well be a regular 1-d array then 05:51:50 well, an address of a cell could be like 05:51:59 (1, 0, 0, 1, 1, 1, 1, 0, 0, 1, 1) 05:52:04 or something 05:52:18 as far as bf variants goes, brainfork seems interesting 05:52:52 although it seems like the same functionality should be able to be written in pure bf 05:57:05 i'm thinking about multidimensional stack 05:58:37 I was thinking about graph memory the other day 05:58:48 not sure how well that'd work though :) 05:59:13 graph memory 05:59:25 sounds like befunge code space or something 05:59:27 oh sorry.. undirected graph 05:59:54 what's that? 05:59:59 I think there is another term but I've forgotten it 06:00:53 think of a map with cities on it, connected by roads.. the cities are vertices, the edges are roads, the whole thing is a graph 06:01:26 oh 06:02:50 man, smell something burning.. hope that's just the lamp 06:03:14 Brainburn 06:03:29 i would make a lang with that name 06:03:35 I think the lamp just burned a bug.. :) 06:03:50 hehe, that's what you can call your bf variant 06:03:59 can i burrow the lamp? 06:04:02 to debug my codes 06:04:12 nah, no burrowing in my lamp 06:04:16 oops 06:04:17 typo 06:04:29 ;) I know.. just a joke 06:07:28 hmm it stunk... sounds like a huge bug 06:08:34 s/stunk/stank 06:08:52 ...whatever 06:56:16 I think I'll release OBLISK-1.0.5 during OSCon tomorrow. 07:06:06 oscon? 07:06:38 nm, found it 07:10:38 I suppose you're going, since it's near you? :) 07:12:06 * calamari didn't realize Oregon was a big spot for open source.. would have figured some place in California would have created a bigger draw 07:30:11 It would have in 1999. 07:30:26 And I'm only going because I managed to get a free pass, they retail in the 1000s. 07:31:07 so much for open source being cheap, heh 07:47:49 Furthermore, about 60% of the exhibitions are proprietary. 07:47:56 So much for open source being open, eh? 07:48:32 I would contend that that alone is a fantastic reason for promotion of the term Free Software. 07:49:03 I don't think Oracle or Intel would be at FSCon 07:56:43 you can bring a linux cd for the sony playstation and load up the wiki on the big screen hehehe 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 09:08:20 -!- calamari has quit ("Leaving"). 09:58:37 -!- jix has joined. 12:11:37 -!- kipple_ has joined. 12:22:34 * {^Raven^} can browse to the bfwiki site on the PS2 without linux 12:24:01 * {^Raven^} just uses the notwork access disk 13:16:42 -!- yrz\werk_ has joined. 13:19:19 -!- yrz\werk has quit (Read error: 110 (Connection timed out)). 13:26:39 -!- int-e has joined. 13:39:27 * tokigun is waiting for BigZaphod to ask about 3code 14:44:10 -!- yrz\werk has joined. 14:56:24 -!- yrz\werk_ has quit (Read error: 110 (Connection timed out)). 15:43:21 -!- lament has quit (Read error: 110 (Connection timed out)). 16:18:38 -!- yrz\werk has quit (Read error: 110 (Connection timed out)). 16:23:30 -!- kipple_ has quit ("See you later"). 17:01:03 -!- {^Raven^} has quit ("Leaving"). 17:31:14 -!- Wrrrtbt has joined. 17:31:16 -!- Wrrrtbt has quit (Client Quit). 18:00:45 -!- calamari has joined. 18:04:39 -!- calamari has quit (Remote closed the connection). 18:05:31 -!- calamari has joined. 18:25:56 -!- ramkrsna has joined. 18:40:23 bbiafm 18:40:25 -!- calamari has quit ("Leaving"). 18:47:48 -!- calamari has joined. 18:47:50 re's 18:54:17 -!- yrz\werk has joined. 19:03:11 bbiafm? does the "f" stand for the same as in FVWM? 19:04:13 that's 'be back in a few minutes', apparently 19:04:31 ah 19:23:39 -!- lament has joined. 19:26:42 -!- yrz\werk_ has joined. 19:32:27 hm 19:32:42 it'd be interesting to have a language with no finite datatypes. 19:33:51 perhaps with infinite lists of integers as the only first-class values 19:36:59 or maybe it'd be too much like data-oriented. 19:42:13 -!- yrz\werk has quit (Connection timed out). 19:45:35 lament: it was here afair, and i'm sure you've seen this http://www.chiark.greenend.org.uk/~sgtatham/infinity.html 19:54:53 i haven't 19:55:20 nice, isn't it? 19:55:54 lament: kayak did that, sort of. 19:56:27 well, it has infinite lists of bits as its only datatype. but I'm not sure what you're after 19:58:39 yeah, i guess. 19:59:45 but i was thinking more like haskell-style 19:59:55 [1..] 20:01:08 mtve: i like the time machine idea more 20:01:14 although they're equivalent most likely 20:06:26 (in effect: call a function; if it returns, do one thing; if it fails to halt, do another thing) 20:12:22 if (find_goldbach_counterexample()) == BOTTOM) 20:12:34 puts("Goldbach proven!"); 20:13:28 hum 20:13:43 all function calls are executed by wrapping them in a time machine module that returns the result to the same point in time 20:13:46 (or fails to return) 20:13:52 therefore all function calls are O(1) 20:14:13 and all functions return (but they may return bottom) 20:16:05 this would be a fun extension to add to existing languages. 20:16:10 Once time travel is invented, naturally. 20:17:09 hmm. how do you deal with energy issues? 20:17:25 there might not be enough to send an infinite number of time machines back in time 20:17:44 not to mention the logistic issues of collecting the results - wait - ok, that can be dealt with actually. 20:18:03 collecting results is the easy part 20:18:14 the annoying part is that every time something fails to halt, you lose a time machine 20:18:16 I think I should read Goedel, Escher, Bach again. 20:18:37 -!- yrz\werk_ has quit (Read error: 104 (Connection reset by peer)). 20:21:33 i wonder how amusing would be to actually implement that 20:21:55 wait a few seconds for the functions to halt before deciding they don't 20:22:46 how do you make a time machine that's 100% reliable? 20:22:55 hehe 20:23:11 presumably it won't be physical 20:23:17 time travel idea could be reduced to "information transfer back in time", even on a short period of time, and even one bit of information. 20:23:34 yeah. 20:23:45 -!- yrz\werk has joined. 20:23:50 still, if it's physical 20:23:54 perhaps it should not consume energy at all. 20:23:55 the time machine has to contain a computer 20:24:06 that is able to run indefinitely 20:24:13 survive heat death of the universe, etc 20:24:23 so it can't consume energy 20:24:46 perhaps instead of a time machine, you can just ask god 20:24:59 "does this thing halt, and if so, what's the return value?" 20:25:06 call the language Vatican :) 20:25:09 -!- ramkrsna has quit (Remote closed the connection). 20:25:18 then you don't have energy issues 20:25:34 although perhaps possible faith issues 20:28:02 machine, computer, too complicated. maybe it's just some particle that can travel back in time in a short range, and an emitter plus an absorber. looks more realistic to me :) 20:30:04 with only one bit you still can get more bits thru overlapping "travels". then you can greatly reduce classes of problems. let's say all modern crypto would collapse and so on. 20:38:39 information hiding would become pointless anyway 20:43:41 like it isn't already. 22:02:37 -!- Keymaker has joined. 22:02:49 hello worrrrrrld 22:03:38 tokigun: good job with the new esoteric section of your page 22:14:11 well; bye. 22:14:13 -!- Keymaker has quit ("I've seen this déjà vu before.."). 22:21:28 heh 22:51:44 -!- calamari_ has joined. 23:04:15 -!- calamari has quit (Connection timed out). 23:49:30 -!- pgimeno has quit (kornbluth.freenode.net irc.freenode.net). 23:49:52 -!- pgimeno has joined. 23:57:08 -!- {^Raven^} has joined. 23:57:08 -!- {^Raven^} has quit (Client Quit). 23:59:20 -!- {^Raven^} has joined.