00:01:58 <pikhq> I suggest you worship before the Shrine to Gregor.
00:12:36 * ehird` worships to GregorR with his above question
00:12:53 <oerjan> if you ask pikhq you will just end up with tcl syntax :)
00:13:22 <GregorR> No, I don't have suggestions :P
00:14:16 <pikhq> oerjan: The Tcl syntax for PEBBLE is *ease of implementation*.
00:14:32 <ehird`> pikhq: WHat's your perfect PEBBLE syntax?
00:15:25 <pikhq> I'd probably go for something sexpy.
00:15:59 <ehird`> pikhq: Um, s-exps are basically as easy as Tcl-style to implement
00:16:11 <pikhq> ehird`: Not really.
00:16:20 <pikhq> My parser: [source foo.tcl]
00:16:41 <ehird`> wait, pebble actually parses through tcl?
00:17:04 <pikhq> PEBBLE is 100% well-formed Tcl.
00:17:27 <ehird`> ok, what's your perfect, non-hijacking syntax for pebble
00:17:33 <ehird`> i.e. platonic ideal, with no boundries
00:17:53 <ehird`> depends on what you are about to say...
00:18:27 <pikhq> None; I would make PEBBLE read your mind for each bit of code. :p
00:18:37 <ehird`> syntax that actually involves syntax
00:18:55 <pikhq> Probably sexpoid, but I dunno.
00:19:11 <pikhq> A *good* syntax is fairly tricky to devise.
00:19:19 <ehird`> sexpoid = plain sexps or something more
00:20:42 -!- oerjan has quit ("Be completed cripes").
00:23:00 <ehird`> bsmntbom1dood: yeah, X or Y doesn't return a boolean indiscriminately in ANY reasonable language
00:23:02 <pikhq> (plain sexp || something more) == 1
00:23:05 <ehird`> it returns either X or Y
00:23:25 <ehird`> (plain sexp || something more) == plain sexp IF plain sexp ELSE something more
00:23:37 <ehird`> also every other reasonable language ever
00:26:14 <pikhq> (plain sexp || something more) returns either 1 or 0. I declare that it is 1.
00:26:26 <ehird`> bsmntbom1dood: back me up here ;)
00:26:38 <ehird`> but in english it commonly means the same thing
00:26:44 <ehird`> and programming languages - here implied by || - agree with me
00:26:50 <bsmntbom1dood> and in english, "plain sexp or something else" isn't boolean
00:27:32 <ehird`> if it has esr in it - it doesn't matter, full stop
00:28:05 <pikhq> Anyways, you meant either plain sexp or something else. . . And I'm not sure which one yet.
00:28:37 <ehird`> i don't know much about pebble
00:28:53 <ehird`> give me a quick overview of the core commands and semantics will you? i'd like to dabble in it sometime
00:30:01 <pikhq> Declare a variable. . . If you specifiy a location, that's where it will be in Brainfuck memory.
00:30:07 <ehird`> ?? means optional right?
00:30:37 * pikhq groans a bit at the next. . . Why the hell isn't this + and -?
00:30:46 <pikhq> subtract var number
00:31:09 <pikhq> Add or subtract, from var, number.
00:31:30 <ehird`> wait! stop! {...} is string right
00:32:11 <ehird`> explain while's semantics
00:32:20 <pikhq> while(var!=0){code}
00:32:42 <ehird`> i mean in brainfuck :-)
00:32:52 <pikhq> goto var[code goto var]
00:33:40 <pikhq> right number: just ">" number amount of times. . .
00:33:43 <pikhq> left number: same.
00:34:00 <pikhq> at var: tell the compiler that the current location is var.
00:34:37 <pikhq> set var number: set var to number.
00:35:02 <pikhq> macro name {input-args} {output-args} {temp-args} {code}
00:35:18 <pikhq> That'll be called as "name input-args > output-args : temp-args".
00:35:27 <ehird`> WOW okay this needs more explanation (macro)
00:36:29 <pikhq> Let's do set as a macro for demonstration.
00:37:03 <pikhq> macro set {var num} {} {} {
00:37:12 <pikhq> while var {subtract var 1}
00:37:26 <ehird`> that's a bad way to do set, but hehe
00:37:32 <ehird`> so, how is that stored/called
00:37:54 <pikhq> You'd just call *that* as "set foo bar".
00:38:09 <ehird`> what would set foo bar compile to
00:38:28 <pikhq> Let's say you've got a variable foo at location 5. . .
00:38:52 <pikhq> "set foo 5" would compile to the following (assuming we're at location 0):
00:39:11 <ehird`> what do output-args and temp-args do???
00:39:24 <pikhq> Allow for syntactic sugar in some of the more complex macros.
00:39:46 <pikhq> "addvar foo > bar : temp1" is a bit simpler to read than "addvar foo bar temp1".
00:40:20 <pikhq> Those are just more arguments. . .
00:40:55 <ehird`> so output-args and temp-args are just normal args
00:41:02 <ehird`> and the > and : just seperate them
00:41:15 <ehird`> addvar foo > bar : temp1 "add foo to bar using temp1 as the tmp var"
00:42:08 <pikhq> There's a bit more to the language than that, but that's the core of it.
00:42:26 <ehird`> i'm pretty sure i've seen functions in pebble too
00:43:29 <ehird`> macros cannot recurse correct
00:43:45 <pikhq> 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:44:26 <ehird`> is there native multiplication?
00:44:32 <pikhq> It's a macro in the stdlib.
00:45:53 <pikhq> mulvar a > b : temp1 temp2
00:49:35 <ehird`> http://pastebin.com/m10e58490 factorial
00:49:46 <ehird`> i should probably have res as an output argument
00:49:49 <ehird`> but, it's a minor change
00:50:19 <ehird`> (vars default to 0 iirc)
00:52:29 <ehird`> pikhq: i think it is, but im not sure
00:53:14 <ehird`> ignore tmp :-) it's useless
00:53:28 <ehird`> and s/while tmp/while n
00:53:42 <ehird`> pikhq: http://pastebin.com/m8734736 updated
00:53:57 <GregorR> TODAY AND THE NOW IS SUPER DANCE EXPLOSION TIME
00:54:03 <pikhq> I'd take the temp variables as arguments, though.
00:54:13 <ehird`> final version: http://pastebin.com/m8d6c22f
00:54:24 <ehird`> fact a > b : tmp1 tmp2 is "b = a!"
00:54:33 <ehird`> is that all right? :-)
00:54:48 <pikhq> Hmm. Why set res 1?
00:55:05 <pikhq> That's exactly right.
00:55:39 <ehird`> I'll code more PEBBLE tomorrow :-)
00:55:53 <ehird`> hey, i mgiht write an EsoAPI (or similar) interface for it
00:55:56 <ehird`> bot written in pebble!
00:56:25 <pikhq> I planned the same for a while.
00:56:33 <pikhq> Right now, I'm waiting on PSOX. ;p
00:56:55 <ehird`> i don't like waiting :P
00:56:59 <ehird`> PSOX is overengineered anyway
00:57:12 <ehird`> (if Sgeo now says "Wait, what?" instead of ACTUALLY READING, please kill him for me)
00:57:17 <ehird`> byebye for today, see you tomorrow
00:59:11 <GregorR> 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 <pikhq> It's called a laptop.
01:10:32 -!- Sgeo_ has joined.
01:11:09 <pikhq> And a violation of the USB spec besides.
01:12:57 -!- bsmntbom1dood has changed nick to bsmntbombdood.
01:16:26 <pikhq> 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 <pikhq> Most power-through-usb devices don't negotiate this; they merely go and take power from USB.
01:17:18 <pikhq> 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 <GregorR> Oh my GOD, people NOT COMPLYING TO A STANDARD? It's almost like we're in some filthy HUMAN society!
01:55:57 <pikhq> GregorR: It's just in bad taste.
01:56:48 <GregorR> 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:20:18 <pikhq> GregorR: Or it'd negotiate the power as needed by the USB spec.
02:20:38 <pikhq> (as well as a nice data channel)
02:21:51 <GregorR> For all I know, it does :P
02:22:02 <GregorR> And it does have a nice data channel.
02:22:08 <GregorR> For, y'know, transferring files.
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 <Sgeo_> 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 <ihope> ais523's won a Wolfram research prize?
05:08:15 <ihope> Not the 2,3 Turing machine thing?
05:17:35 <pikhq> Well, it's not like we have stupid people in here.
05:32:02 * bsmntbom1dood skimmed the proof and quit after the first few words
05:35:03 <Sgeo_> What's it about, and where can I find it?
05:36:45 <ihope> http://www.wolframscience.com/prizes/tm23/solution_news.html
05:36:58 <bsmntbom1dood> wolfram proposed a 2,3 turing machine and offered $25k for a proof of (un)/completeness
05:38:47 <bsmntbom1dood> it would be cool to have a proof that it's the simplest utm
05:38:56 <ihope> Haven't all the simpler ones been tried?
05:42:22 <bsmntbom1dood> it's funny how people think that the machine is applicable
05:42:44 <bsmntbom1dood> "it could be implemented in a molecule", yeah, that's useful
05:43:07 <ihope> Seems a cellular automaton would be more useful for that.
05:43:24 <ihope> 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:50:45 <ihope> 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 <ihope> Or maybe it's just similar to it.
05:51:59 <ihope> No, that's probably the one. Seems that you should be able to make a primitive dinosaur of any size.
05:53:06 <pikhq> ihope: Obviously, a primitive dinosaur is 2007*2-1. . .
05:54:14 <ihope> You can have bigger primitive dinosaurs.
05:54:39 <ihope> Wait, at least 2007 cells...
05:54:40 <pikhq> Show me one larger dinosaur that is primitive.
05:54:50 <pikhq> At least 2007 cells?
05:55:06 <pikhq> I thought it was "dinosaur has 2007 cells".
05:55:52 <pikhq> Anyways, yeah. Anything larger than 2007*2-1 is not primitive.
05:56:13 <ihope> Start with one square, then attach to each side a line of length 2006.
05:56:49 <ihope> You get a big cross with 2007*4 - 3 squares.
05:57:03 <ihope> Divide that into dinosaurs for me.
05:57:18 <pikhq> And that question is deceptively subtle.
05:57:31 <pikhq> This is why I'm not in the math olympiad.
05:58:25 <ihope> The question is how to make that bigger.
05:58:38 <ihope> Or whether that's even possible.
06:00:10 * pikhq salutes whoever can prove that
06:00:21 <ihope> I'm pretty sure 2007*4 - 3 is the best, now.
06:01:37 <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.
06:03:34 <ihope> 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 <bsmntbom1dood> esoteric programming, not esoteric paleantology...
06:07:52 <ihope> Conjecture: all non-primitive dinosaurs can be divided into dinosaurs containing no loops.
06:08:03 <ihope> This should be easy to disprove, unfortunately.
06:09:37 <ihope> And if it can be proven, it's probably quite hard.
06:13:23 <ihope> 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 <ihope> 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 <ihope> Maybe the problem IS going the other way.
06:16:48 <ihope> ...which is the first way.
06:18:18 <ihope> Now I'm too tired to understand what I've written, so I'll be going to bed immediately.
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 <oklopol> (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 <oklopol> (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: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").