00:01:58 I suggest you worship before the Shrine to Gregor. 00:11:53 * GregorR 's eyes glow. 00:12:36 * ehird` worships to GregorR with his above question 00:12:53 if you ask pikhq you will just end up with tcl syntax :) 00:13:22 No, I don't have suggestions :P 00:13:24 EVAR 00:13:30 =( 00:13:33 oerjan: heh 00:13:52 * GregorR disappears again. 00:14:16 oerjan: The Tcl syntax for PEBBLE is *ease of implementation*. 00:14:27 s/is/is\ for/ 00:14:32 pikhq: WHat's your perfect PEBBLE syntax? 00:14:33 :P 00:14:38 regardless of ease 00:14:42 for implenntation 00:15:25 I'd probably go for something sexpy. 00:15:41 wooooooo 00:15:59 pikhq: Um, s-exps are basically as easy as Tcl-style to implement 00:16:11 ehird`: Not really. 00:16:14 no, because tcl parses tcl natively 00:16:20 My parser: [source foo.tcl] 00:16:25 ;) 00:16:41 wait, pebble actually parses through tcl? 00:16:44 euuuurgh 00:17:04 PEBBLE is 100% well-formed Tcl. 00:17:18 :X 00:17:27 ok, what's your perfect, non-hijacking syntax for pebble 00:17:27 :P 00:17:33 i.e. platonic ideal, with no boundries 00:17:43 No boundaries? 00:17:53 depends on what you are about to say... 00:18:27 None; I would make PEBBLE read your mind for each bit of code. :p 00:18:37 syntax that actually involves syntax 00:18:41 in a file, on disk 00:18:43 Tricky. 00:18:55 Probably sexpoid, but I dunno. 00:19:11 A *good* syntax is fairly tricky to devise. 00:19:19 sexpoid = plain sexps or something more 00:20:42 -!- oerjan has quit ("Be completed cripes"). 00:22:10 pikhq: ? 00:22:20 Yes. 00:22:26 whihc 00:22:29 which 00:22:31 Yes. 00:22:39 plain sexps? 00:22:42 hrr hrr not funny 00:23:00 bsmntbom1dood: yeah, X or Y doesn't return a boolean indiscriminately in ANY reasonable language 00:23:02 (plain sexp || something more) == 1 00:23:05 it returns either X or Y 00:23:11 nuh-huh, pikhq 00:23:18 english isn't reasonable 00:23:25 (plain sexp || something more) == plain sexp IF plain sexp ELSE something more 00:23:33 C does that, for one 00:23:37 also every other reasonable language ever 00:25:04 Abuh? 00:25:43 pikhq: Abuh what 00:25:49 abu graib 00:26:14 (plain sexp || something more) returns either 1 or 0. I declare that it is 1. 00:26:20 no 00:26:21 you are wrong 00:26:26 bsmntbom1dood: back me up here ;) 00:26:27 it's not C 00:26:29 it's english 00:26:31 right 00:26:38 but in english it commonly means the same thing 00:26:44 and programming languages - here implied by || - agree with me 00:26:50 and in english, "plain sexp or something else" isn't boolean 00:26:55 exactly 00:27:11 it doesn't matter what esr told you 00:27:32 if it has esr in it - it doesn't matter, full stop 00:27:33 :-) 00:28:05 Anyways, you meant either plain sexp or something else. . . And I'm not sure which one yet. 00:28:37 i don't know much about pebble 00:28:53 give me a quick overview of the core commands and semantics will you? i'd like to dabble in it sometime 00:29:33 @ var ?location? 00:30:00 that's... not helpful 00:30:01 Declare a variable. . . If you specifiy a location, that's where it will be in Brainfuck memory. 00:30:01 :-) 00:30:07 ?? means optional right? 00:30:10 Yeah. 00:30:14 OK 00:30:37 * pikhq groans a bit at the next. . . Why the hell isn't this + and -? 00:30:42 add var number 00:30:46 subtract var number 00:31:09 Add or subtract, from var, number. 00:31:18 while var {code} 00:31:30 wait! stop! {...} is string right 00:31:41 Basically. 00:32:01 ok 00:32:02 in var 00:32:04 out var 00:32:07 wait wait 00:32:11 explain while's semantics 00:32:20 while(var!=0){code} 00:32:42 i mean in brainfuck :-) 00:32:52 goto var[code goto var] 00:33:11 ok 00:33:40 right number: just ">" number amount of times. . . 00:33:43 left number: same. 00:33:54 whats in/out var 00:34:00 at var: tell the compiler that the current location is var. 00:34:06 in var: , 00:34:08 out var: . 00:34:17 OK 00:34:37 set var number: set var to number. 00:35:02 macro name {input-args} {output-args} {temp-args} {code} 00:35:18 That'll be called as "name input-args > output-args : temp-args". 00:35:27 WOW okay this needs more explanation (macro) 00:36:10 Hmm. 00:36:29 Let's do set as a macro for demonstration. 00:37:03 macro set {var num} {} {} { 00:37:12 while var {subtract var 1} 00:37:17 add var num 00:37:18 } 00:37:26 that's a bad way to do set, but hehe 00:37:26 ok 00:37:32 so, how is that stored/called 00:37:54 You'd just call *that* as "set foo bar". 00:38:04 right 00:38:06 i mean internally 00:38:09 what would set foo bar compile to 00:38:28 Let's say you've got a variable foo at location 5. . . 00:38:52 "set foo 5" would compile to the following (assuming we're at location 0): 00:38:59 >>>>>[-]+++++ 00:39:03 ah, ok 00:39:11 what do output-args and temp-args do??? 00:39:24 Allow for syntactic sugar in some of the more complex macros. 00:39:30 explain 00:39:46 "addvar foo > bar : temp1" is a bit simpler to read than "addvar foo bar temp1". 00:40:01 but what does it do 00:40:20 Those are just more arguments. . . 00:40:48 ah 00:40:55 so output-args and temp-args are just normal args 00:41:02 and the > and : just seperate them 00:41:04 Yeah. 00:41:15 addvar foo > bar : temp1 "add foo to bar using temp1 as the tmp var" 00:41:23 *Exactly*. 00:41:41 wow 00:41:43 i'm 1337 00:41:44 :) 00:42:08 There's a bit more to the language than that, but that's the core of it. 00:42:16 bit more = ? 00:42:26 i'm pretty sure i've seen functions in pebble too 00:42:29 not just mcaros 00:42:30 Nope. 00:42:32 Only macros. 00:43:03 OK 00:43:29 macros cannot recurse correct 00:43:45 There's the source command, a couple of commands to make dealing with strings easier, some stuff to talk to the optimizing pass, and a *bunch* of stuff not needed unless you're trying to fiddle with the stdlib. . . 00:43:49 Correct. 00:44:26 is there native multiplication? 00:44:32 It's a macro in the stdlib. 00:45:36 OK 00:45:39 what is its syntac? 00:45:41 *syntax 00:45:53 mulvar a > b : temp1 temp2 00:46:19 it goes to b right? 00:46:27 Right. 00:49:35 http://pastebin.com/m10e58490 factorial 00:49:46 i should probably have res as an output argument 00:49:49 but, it's a minor change 00:49:57 fact a b == "b = a!" 00:50:16 is that right? 00:50:19 (vars default to 0 iirc) 00:50:21 err 00:50:23 i don't even need tmp 00:50:38 rm @ tmp, s/2,3/1,2 00:51:24 pikhq: is that right? 00:52:29 pikhq: i think it is, but im not sure 00:53:01 Lemme look. 00:53:14 ignore tmp :-) it's useless 00:53:28 and s/while tmp/while n 00:53:42 pikhq: http://pastebin.com/m8734736 updated 00:53:54 It'll work. 00:53:57 TODAY AND THE NOW IS SUPER DANCE EXPLOSION TIME 00:54:03 I'd take the temp variables as arguments, though. 00:54:05 ah 00:54:09 i just did that 00:54:09 haha 00:54:13 final version: http://pastebin.com/m8d6c22f 00:54:24 fact a > b : tmp1 tmp2 is "b = a!" 00:54:33 is that all right? :-) 00:54:42 Yup. 00:54:48 Hmm. Why set res 1? 00:54:53 . . . Never mind. 00:54:55 I'm stupid. 00:54:57 because 0 * n = 0 00:54:57 :P 00:55:05 That's exactly right. 00:55:25 OK 00:55:27 great 00:55:39 I'll code more PEBBLE tomorrow :-) 00:55:42 :) 00:55:53 hey, i mgiht write an EsoAPI (or similar) interface for it 00:55:56 bot written in pebble! 00:56:25 I planned the same for a while. 00:56:33 Right now, I'm waiting on PSOX. ;p 00:56:55 i don't like waiting :P 00:56:59 PSOX is overengineered anyway 00:57:12 (if Sgeo now says "Wait, what?" instead of ACTUALLY READING, please kill him for me) 00:57:17 byebye for today, see you tomorrow 00:59:11 I wonder if anybody makes a battery-powered USB device charger. 01:00:06 -!- ehird` has quit (Read error: 104 (Connection reset by peer)). 01:03:16 It's called a laptop. 01:10:32 -!- Sgeo_ has joined. 01:10:44 all those power-through-usb devices are dumb 01:11:09 And a violation of the USB spec besides. 01:11:59 why have power if that's the case? 01:12:57 -!- bsmntbom1dood has changed nick to bsmntbombdood. 01:16:26 The USB spec grants every device a *very small* amount of power, so that it can at least negotiate power needs. . . 01:16:57 -!- jix has quit ("CommandQ"). 01:16:58 Most power-through-usb devices don't negotiate this; they merely go and take power from USB. 01:17:18 The worst part is, they usually try to take more power than the USB spec even *allows* any one device to have. 01:24:16 -!- Sgeo has quit (Read error: 110 (Connection timed out)). 01:31:30 -!- Arrogant has joined. 01:33:43 -!- Arrogant has quit (Client Quit). 01:33:54 -!- Arrogant has joined. 01:55:38 Oh my GOD, people NOT COMPLYING TO A STANDARD? It's almost like we're in some filthy HUMAN society! 01:55:57 GregorR: It's just in bad taste. 01:56:48 If my video watch didn't charge from USB, that would be one more port on it. That's hard to swing. 01:57:46 -!- calamari has joined. 02:07:45 -!- Arrogant has quit ("Leaving"). 02:19:38 * bsmntbombdood lights his hand on fire 02:20:18 GregorR: Or it'd negotiate the power as needed by the USB spec. 02:20:38 (as well as a nice data channel) 02:20:40 ;) 02:21:51 For all I know, it does :P 02:22:02 And it does have a nice data channel. 02:22:08 For, y'know, transferring files. 02:35:56 did you get your watch? 02:49:21 * pikhq whistles innocently here, too 03:01:24 * Sgeo_ wonders if anyone uses BF-RLE 03:05:33 -!- sp3tt has quit (Read error: 104 (Connection reset by peer)). 03:10:43 -!- sp3tt has joined. 03:19:53 Welcome back sp3tt 03:23:50 -!- sebbu has quit (zelazny.freenode.net irc.freenode.net). 03:23:50 -!- helios24 has quit (zelazny.freenode.net irc.freenode.net). 03:23:51 -!- EgoBot has quit (zelazny.freenode.net irc.freenode.net). 03:23:51 -!- oklopol has quit (zelazny.freenode.net irc.freenode.net). 03:23:51 -!- Nucleo has quit (zelazny.freenode.net irc.freenode.net). 03:23:55 -!- GregorR has quit (zelazny.freenode.net irc.freenode.net). 03:23:55 -!- Overand has quit (zelazny.freenode.net irc.freenode.net). 03:24:27 -!- sekhmet has quit (zelazny.freenode.net irc.freenode.net). 03:24:34 -!- GregorR has joined. 03:24:34 -!- Overand has joined. 03:33:40 -!- sp3tt has quit (Read error: 104 (Connection reset by peer)). 03:36:02 -!- sp3tt has joined. 03:37:00 -!- pikhq has quit (zelazny.freenode.net irc.freenode.net). 03:37:00 -!- cmeme has quit (zelazny.freenode.net irc.freenode.net). 03:37:58 -!- SimonRC has quit (Read error: 104 (Connection reset by peer)). 03:38:23 -!- SimonRC has joined. 03:41:33 -!- sp3tt has quit (Remote closed the connection). 03:53:33 -!- zuzu has quit (zelazny.freenode.net irc.freenode.net). 03:53:33 -!- RodgerTheGreat has quit (zelazny.freenode.net irc.freenode.net). 03:53:33 -!- calamari has quit (zelazny.freenode.net irc.freenode.net). 03:53:33 -!- Sgeo_ has quit (zelazny.freenode.net irc.freenode.net). 03:53:33 -!- ololobot has quit (zelazny.freenode.net irc.freenode.net). 03:53:33 -!- lifthrasiir has quit (zelazny.freenode.net irc.freenode.net). 03:53:33 -!- ttm has quit (zelazny.freenode.net irc.freenode.net). 03:53:33 -!- Overand has quit (zelazny.freenode.net irc.freenode.net). 03:53:33 -!- GregorR has quit (zelazny.freenode.net irc.freenode.net). 03:53:33 -!- bsmntbom1dood has joined. 03:53:33 -!- SimonRC_ has joined. 03:53:33 -!- puzzlet_ has joined. 03:53:33 -!- puzzlet has quit (Read error: 104 (Connection reset by peer)). 03:53:33 -!- Sgeo_ has joined. 03:53:33 -!- ololobot has joined. 03:53:33 -!- lifthrasiir has joined. 03:53:33 -!- ttm has joined. 03:53:33 -!- sekhmet has joined. 03:53:33 -!- zuzu has joined. 03:53:33 -!- RodgerTheGreat has joined. 03:53:33 -!- GregorR has joined. 03:53:33 -!- Overand has joined. 03:53:33 -!- lament has quit (Killed by ballard.freenode.net (Nick collision)). 03:53:33 -!- lament has joined. 03:53:33 -!- pikhq has joined. 03:53:33 -!- cmeme has joined. 03:53:34 -!- sebbu has joined. 03:53:34 -!- EgoBot has joined. 03:53:34 -!- oklopol has joined. 03:53:34 -!- Nucleo has joined. 03:53:34 -!- helios24 has joined. 03:53:34 -!- bsmntbombdood has quit (Success). 03:54:25 -!- sp3tt has joined. 04:17:01 -!- SimonRC has quit (Connection timed out). 04:59:22 -!- ihope has joined. 05:06:27 ais523's won a Wolfram research prize? 05:08:03 Yeah. 05:08:15 Not the 2,3 Turing machine thing? 05:12:55 Or yes? 05:16:50 Yes. 05:17:06 Wow. 05:17:35 Well, it's not like we have stupid people in here. 05:23:17 True. 05:24:50 * ihope skims the proof 05:32:02 * bsmntbom1dood skimmed the proof and quit after the first few words 05:32:47 What proof? 05:33:07 the 2,3 turing machine completeness proof 05:35:03 What's it about, and where can I find it? 05:36:45 http://www.wolframscience.com/prizes/tm23/solution_news.html 05:36:58 wolfram proposed a 2,3 turing machine and offered $25k for a proof of (un)/completeness 05:38:47 it would be cool to have a proof that it's the simplest utm 05:38:56 Haven't all the simpler ones been tried? 05:39:19 it might be there's another 2,3 one 05:39:31 Oh, indeed. 05:42:22 it's funny how people think that the machine is applicable 05:42:44 "it could be implemented in a molecule", yeah, that's useful 05:43:07 Seems a cellular automaton would be more useful for that. 05:43:24 And we have plenty of simple cellular automata. 05:43:35 -!- Sgeo_ has quit (Read error: 104 (Connection reset by peer)). 05:48:39 -!- cherez has joined. 05:48:55 It be cheese! 05:49:09 Yar! 05:50:18 Hi, cheese! 05:50:45 And here's that USAMO one of my classmates took: http://www.mathlinks.ro/Forum/resources.php?c=182&cid=27&year=2007 05:51:10 Or maybe it's just similar to it. 05:51:59 No, that's probably the one. Seems that you should be able to make a primitive dinosaur of any size. 05:53:06 ihope: Obviously, a primitive dinosaur is 2007*2-1. . . 05:54:14 You can have bigger primitive dinosaurs. 05:54:39 Wait, at least 2007 cells... 05:54:40 Show me one larger dinosaur that is primitive. 05:54:47 Oh. 05:54:50 At least 2007 cells? 05:54:53 Misread that. 05:55:06 I thought it was "dinosaur has 2007 cells". 05:55:52 Anyways, yeah. Anything larger than 2007*2-1 is not primitive. 05:56:13 Start with one square, then attach to each side a line of length 2006. 05:56:49 You get a big cross with 2007*4 - 3 squares. 05:57:03 Divide that into dinosaurs for me. 05:57:11 Clever. 05:57:18 And that question is deceptively subtle. 05:57:31 This is why I'm not in the math olympiad. 05:58:25 The question is how to make that bigger. 05:58:38 Or whether that's even possible. 06:00:10 * pikhq salutes whoever can prove that 06:00:21 I'm pretty sure 2007*4 - 3 is the best, now. 06:01:37 Suppose S is a dinosaur. S is primitive if and only if for all subdinosaurs of S, S minus that subdinosaur contains something that is not a dinosaur. 06:03:34 Suppose T is a subdinosaur of S. If the union of T with all non-dinosaur fragments of S-T is a proper subdinosaur of S, then S is not primitive. 06:04:57 esoteric programming, not esoteric paleantology... 06:07:14 :-P 06:07:52 Conjecture: all non-primitive dinosaurs can be divided into dinosaurs containing no loops. 06:08:03 This should be easy to disprove, unfortunately. 06:09:37 And if it can be proven, it's probably quite hard. 06:13:23 Suppose T is a subdinosaur of S. If S is primitive, then no superdinosaur of the union of T with all non-dinosaur fragments of S - T is a proper subdinosaur of S. 06:14:34 No, I want to go the other way. If for all subdinosaurs T of S, no superdinosaur of the union of T with all non-dinosaur fragments of S - T is a proper subdinosaur of S, then S is primitive. 06:16:05 Maybe the problem IS going the other way. 06:16:48 ...which is the first way. 06:18:18 Now I'm too tired to understand what I've written, so I'll be going to bed immediately. 06:18:22 LMAO 06:26:52 -!- bsmntbom1dood has changed nick to bsmntbombdood. 06:38:43 -!- ihope has quit (Read error: 110 (Connection timed out)). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 09:39:20 -!- RedDak has joined. 09:49:47 -!- RedDak has quit (Remote closed the connection). 10:19:20 -!- helios24 has left (?). 10:23:46 -!- helios24 has joined. 10:37:35 -!- helios24_ has joined. 10:48:57 -!- helios24 has quit (Read error: 113 (No route to host)). 10:53:04 -!- helios24_ has quit (Connection timed out). 11:04:05 -!- bartw has joined. 11:07:09 (bsmntbom1dood) and in english, "plain sexp or something else" isn't boolean <<< it's either boolean or either of those 11:08:54 -!- helios24 has joined. 11:11:56 -!- RedDak has joined. 11:22:59 (ihope) Suppose S is a dinosaur. S is primitive if and only if for all subdinosaurs of S, S minus that subdinosaur contains something that is not a dinosaur. <<< er... don't think so, say you have a gazillion cells in a row, if you cut it in the middle, you get two dinosaurs, if you just cut one off one end, you get a dinosaur, and a non-dinosaur 11:39:11 -!- oerjan has joined. 11:53:12 -!- SEO_DUDE82 has quit (Read error: 104 (Connection reset by peer)). 12:08:37 -!- SEO_DUDE82 has joined. 12:20:03 -!- SEO_DUDE82 has quit (Read error: 104 (Connection reset by peer)). 12:36:38 -!- SEO_DUDE82 has joined. 12:53:54 -!- SEO_DUDE82 has quit (Remote closed the connection). 12:57:52 -!- SEO_DUDE82 has joined. 13:03:00 -!- RedDak has quit (Remote closed the connection). 13:49:51 -!- puzzlet_ has quit (Remote closed the connection). 13:50:04 -!- puzzlet has joined. 14:20:21 -!- oerjan has quit ("Because of dinner empty"). 14:21:52 -!- ihope has joined. 15:02:52 -!- puzzlet has quit (Remote closed the connection). 15:02:53 -!- puzzlet_ has joined. 15:07:46 -!- ihope has quit (Read error: 104 (Connection reset by peer)). 15:08:15 -!- sebbu2 has joined. 15:28:05 -!- sebbu has quit (Read error: 110 (Connection timed out)). 15:31:51 -!- sebbu2 has changed nick to sebbu. 17:43:43 -!- SEO_DUDE82 has quit (Remote closed the connection). 17:50:07 -!- SEO_DUDE has joined. 17:52:18 -!- jenny2 has joined. 17:52:42 -!- RedDak has joined. 17:52:52 -!- jenny2 has quit (Client Quit). 18:38:53 -!- puzzlet has joined. 18:43:54 -!- sebbu2 has joined. 18:49:07 -!- puzzlet_ has quit (Read error: 110 (Connection timed out)). 19:03:15 -!- sebbu has quit (Read error: 110 (Connection timed out)). 19:18:06 -!- puzzlet has quit (Remote closed the connection). 19:18:08 -!- puzzlet_ has joined. 19:25:29 -!- Sgeo has joined. 19:50:56 -!- calamari has joined. 19:53:33 bbl 19:53:36 -!- RodgerTheGreat has quit. 19:53:46 -!- RodgerTheGreat has joined. 19:53:58 -!- RodgerTheGreat has quit (Client Quit). 19:56:23 -!- jix has joined. 20:22:11 -!- puzzlet_ has quit (Remote closed the connection). 20:30:25 -!- puzzlet has joined. 20:32:55 -!- oerjan has joined. 20:51:36 -!- RodgerTheGreat has joined. 23:01:33 -!- bsmntbom1dood has joined. 23:12:55 -!- bsmntbombdood has quit (Success). 23:33:19 -!- jix has quit ("CommandQ").