00:04:13 -!- crathman has quit (Read error: 104 (Connection reset by peer)). 01:00:10 -!- lament has joined. 01:00:14 | 01:00:35 _ 01:00:56 \ 01:02:30 I guess I'm left with /, then. 01:03:50 . 01:05:24 : 01:06:25 ⁝ 01:06:30 01:06:44 oh no, Unicode 01:07:32 I hope my character was a correct U+205D TRICOLON (also called "Epidaurean acrophonic symbol three"); it looks correct elsewhere but not in this terminal. :/ 01:08:44 i'm afraid even on second attempt I just got the usual square... 01:13:06 hi 01:14:57 'lo 01:40:34 I wonder how to simplify things like ``SKx 01:41:03 exstentionaly 01:42:19 well it's simple in lambda calculus, but i don't know about SKI. 01:43:16 yeah 01:53:21 ok i've got it to do one variable to I and K 01:54:18 ``SKx ==> I 01:54:47 ``S`Kx`Ky ==> `K`xy 01:58:59 and of course ``S`KxI = x 02:01:02 ? 02:03:57 can't do ``S`KKI = K yet 02:05:21 why not? 02:05:41 It's possible, but the algorithm doesn't 02:05:51 aah, there 02:08:43 -!- SevenInchBread has joined. 02:08:58 now for multiple variables.... 02:09:05 hmmm... this is interesting... 02:09:41 I accidentally created an algorithm that produces (I think) a circle or maybe an ellipsis (I could only see half of it because the turtle window wasn't big enough) 02:10:01 I'll pastebin it so someone can explain the math behind it. 02:10:26 fun 02:11:52 http://deadbeefbabe.org/paste/3839 02:12:05 * SevenInchBread is messing around with fractals, thue, and turtles :) 02:14:49 what are some multiple argument extensional simplifications? 02:15:35 ....uh, what? 02:15:42 * SevenInchBread doesn't understand your lingo. 02:16:11 ``SKK is extensionaly equal to I 02:16:23 because ```SKKx = x 02:16:26 i think it may be simpler to convert to lambda calculus, eta-reduce, then convert back. 02:17:01 I don't understand eta reduction 02:17:24 \x.fx = f where f does not contain x 02:17:59 oh 02:18:20 you mean Kf 02:18:33 plus some beta-reductions too, i guess. 02:18:37 so... any clue why the numbers behave in such a way to create a circle(like) shape? 02:18:46 no. 02:19:48 But a SKI interpreter shouldn't need a lambda calculus interpreter 02:19:50 hmm... changing the right() method call to left() simply makes a smaller circle... weird 02:20:18 let's see. 02:20:38 the only changing parameter is dist. 02:20:52 it just flips back and forth from what I can tell. 02:21:00 to True and False for that condition. 02:21:23 * SevenInchBread breadcrumbs to find out for sure. 02:21:24 ooh, it does ``S`KxI now 02:22:06 i think i understand. 02:22:09 yup... it just goes back and forth betwen true and false. 02:22:56 essentially dict just fluctuates in some interval. 02:23:38 just... minute enough to... draw a circlish thing? 02:24:18 I looks almost like a perfect circle to me... although it could be oblongated mathematically. 02:24:54 _anything_ that goes through a lot of identical small turtle movements must create a circle. 02:25:30 because each cycle will move by the same amount, then turn the same amount. 02:25:39 ``S``S`KSK`KI 02:25:46 is equal to I 02:26:20 ah... yeah that makes sense. 02:26:38 darn... I thought I might have found some weird mathematical pattern. 02:27:10 alas 02:27:11 ... 8, 3, and 5 (the only numbers I used other than phi) are all heavily related with phi. 02:27:28 ...I picked them mainly because they're a few of my favorite numbers. 02:27:57 i believe any change in the constants which doesn't cause dist to diverge will still produce a circle. 02:28:51 until then I just got freaky scribble patterns... for an unrelated alg using a bunch of randomly pieced together computations. 02:29:11 you might change dist by functions that don't match quite as well as *= prod and /= prod 02:29:51 **= and /= maybe :) 02:29:56 then dist could change in a more complicated pattern. 02:30:40 hmmm.. 02:31:09 changing it to exponentiation makes the circle spin in a very tight spiral to the right... like the original except veering to the right very slightly each loop. 02:31:37 oh. 02:31:50 still a cyclic interval though... the distance is simply being gradually altered. 02:32:35 i think that must be roundoff errors in the Turtle graphics. It they were perfect you couldn't go in a particular direction. 02:32:43 *If 02:33:01 could be floating point? 02:33:07 yeah 02:33:16 * SevenInchBread uses Python's decimal format thing. 02:33:21 just to see. 02:33:28 -!- crathman has joined. 02:36:40 hmm... switching to decimal representation made exponentiation no longer work with phi as the exponent. 02:38:13 decimal.InvalidOperation: x ** (non-integer) 02:40:08 yessss it works now 02:40:55 ``S``S`KSK`KI ==> I 02:42:20 bah... using Decimal just makes the floating point math done in the turtle module screw up. 02:42:20 sweet 02:43:41 It's noticably slower now though 02:44:37 `x`x`x`x`x`xx takes like 1.5 seconds 02:44:44 hmmm... is decimal arithmetic considerably slower than good ol' floating point? 02:45:44 * bsmntbombdood disappears 03:08:29 I was thinking for Sophia I could automatically convert between floating point, long intergers, short integers, and decimally-represented numbers without having to worry about it. 03:09:21 ...as long as there's a way to predict which floating point operations won't be accurate... you could convert to decimal format for the operations. 03:10:10 ...huh? 03:11:41 decimal format... instead of binary floating point. 03:12:04 it basically mimics "schoolhouse" algorithms for doing math... so it's more accurate but takes more time 03:12:25 decimal format is not that much better. 03:13:00 you'll have to round off eventually, in any case. 03:15:11 adding more bits increases accuracy just as much as adding more decimals. 03:15:37 rationals for the win 03:15:43 It's mostly used in nitpicky computations... like finance and science... 03:15:53 yeah, but even they only work for arithmetic 03:16:03 just finance, i think. 03:16:14 yeah... mostly finance. 03:16:29 and that's not really because decimals are more accurate. 03:16:39 more... precise? or something like that? 03:17:01 because .1 has to be 1/10 03:17:22 it's because financial calculations are strictly defined by old traditions from before there were binary computers. 03:18:00 this simplifier is sloow now 03:19:05 aaah.... legal standardization more so than any gains in accuracy. 03:19:30 ``````````aaaaaaaaaaa takes like 5 minutes to return 03:19:44 the more simplifications you try to catch the closer you get to having to solve the halting problem :) 03:19:54 heh 03:20:15 although that does sound like maybe you need a better algorithm 03:20:22 or maybe you have bugs. 03:20:27 maybe 03:20:34 * SevenInchBread is reading up on number representations. 03:20:43 as in, repeating work bugs 03:21:10 yeah, there is one 03:23:50 http://pastebin.ca/377911 03:40:05 -!- SevenInchBread has quit (Read error: 113 (No route to host)). 04:04:08 -!- oerjan has quit ("Good night"). 04:46:05 -!- crathman has quit (Read error: 131 (Connection reset by peer)). 04:47:21 -!- crathman has joined. 04:51:34 -!- crathman has quit (Client Quit). 04:59:03 -!- Arrogant has joined. 06:18:45 -!- anonfunc has joined. 06:19:05 -!- ShadowHntr has joined. 06:19:06 -!- anonfunc has quit (Remote closed the connection). 07:32:34 -!- goban has quit (Remote closed the connection). 07:33:12 -!- goban has joined. 07:34:55 -!- wooby has quit. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:01:29 -!- Sukoshi` has joined. 08:04:42 -!- Sukoshi has changed nick to Sukoshi``. 08:04:47 -!- Sukoshi` has changed nick to Sukoshi. 08:08:48 -!- ShadowHntr has quit (Read error: 110 (Connection timed out)). 09:20:20 -!- Sukoshi has quit ("Bleh. Go time."). 09:21:24 -!- sebbu has joined. 10:18:18 -!- Arrogant has quit ("Leaving"). 10:27:16 -!- ShadowHntr has joined. 10:59:51 -!- ShadowHntr has quit ("End of line."). 13:21:03 -!- clog has joined. 13:21:03 -!- clog has joined. 13:30:48 -!- sebbu2 has joined. 13:36:24 -!- sebbu has quit (Nick collision from services.). 13:37:07 -!- sebbu2 has changed nick to sebbu. 13:50:28 -!- goban has quit (Read error: 104 (Connection reset by peer)). 13:50:31 -!- goban has joined. 13:59:54 42 14:11:10 -!- ais523 has quit. 14:29:00 -1 14:29:04 -!- oklofok has changed nick to oklopol. 14:39:51 -!- nazgjunk has joined. 15:17:14 -!- goban has quit (Read error: 110 (Connection timed out)). 15:17:26 -!- goban has joined. 15:37:16 -!- goban has quit (Connection timed out). 15:38:01 -!- goban has joined. 15:44:24 -!- UpTheDownstair has joined. 15:45:56 -!- nazgjunk has quit (Read error: 110 (Connection timed out)). 15:46:36 -!- UpTheDownstair has changed nick to nazgjunk. 16:53:20 -!- nazgjunk has quit (Read error: 104 (Connection reset by peer)). 16:53:50 -!- nazgjunk has joined. 18:53:32 -!- clog has joined. 18:53:32 -!- clog has joined. 19:18:12 -!- nazgjunk has quit ("Leaving"). 19:37:52 -!- ShadowHntr has joined. 20:29:05 -!- ShadowHntr has quit ("End of line."). 21:00:32 -!- jix__ has joined. 21:09:33 -!- jix has quit (Read error: 113 (No route to host)). 21:49:47 -!- ShadowHntr has joined. 22:39:06 -!- ShadowHntr has quit (Client Quit). 22:54:36 -!- wooby has joined. 23:00:18 I wrote a runtime ELF loader 8-D 23:00:35 It segfaults mysteriously >_> ... but only after the program has finished. 23:04:01 -!- jix__ has quit ("Bitte waehlen Sie eine Beerdigungnachricht"). 23:08:31 -!- kxspxr has joined. 23:32:06 -!- sebbu2 has joined. 23:34:18 -!- kxspxr has quit. 23:39:34 -!- sebbu has quit (Read error: 145 (Connection timed out)). 23:40:48 -!- wooby has quit.