00:02:49 -!- CXII has joined. 00:09:47 -!- CXI has quit (Read error: 145 (Connection timed out)). 00:26:27 * SimonRC goes away 00:26:32 * SimonRC reads about Magenta: http://www.geocities.com/ResearchTriangle/Station/2266/tarpit/magentaaarm.html http://www.geocities.com/ResearchTriangle/Station/2266/tarpit/magsupp.html 00:26:36 :-) 00:31:54 -!- Sgep has joined. 00:41:41 -!- calamari has quit ("Leaving"). 04:04:49 -!- Arrogant has joined. 04:17:55 Night all 04:18:05 -!- Sgep has quit. 04:46:10 -!- Gs30ng has quit (Read error: 110 (Connection timed out)). 06:14:25 -!- fizzie has quit (niven.freenode.net irc.freenode.net). 06:14:43 -!- puzzlet has quit (niven.freenode.net irc.freenode.net). 06:14:43 -!- Arrogant has quit (niven.freenode.net irc.freenode.net). 06:14:43 -!- pgimeno has quit (niven.freenode.net irc.freenode.net). 06:14:43 -!- lindi- has quit (niven.freenode.net irc.freenode.net). 06:14:43 -!- cpressey has quit (niven.freenode.net irc.freenode.net). 06:14:43 -!- SimonRC has quit (niven.freenode.net irc.freenode.net). 06:14:44 -!- CXII has quit (niven.freenode.net irc.freenode.net). 06:14:44 -!- saudade has quit (niven.freenode.net irc.freenode.net). 06:14:44 -!- ZeroOne_ has quit (niven.freenode.net irc.freenode.net). 06:14:45 -!- tokigun has quit (niven.freenode.net irc.freenode.net). 06:14:45 -!- mtve has quit (niven.freenode.net irc.freenode.net). 06:14:45 -!- ChanServ has quit (niven.freenode.net irc.freenode.net). 06:14:45 -!- lirthy has quit (niven.freenode.net irc.freenode.net). 06:14:45 -!- sekhmet has quit (niven.freenode.net irc.freenode.net). 06:14:45 -!- ineiros has quit (niven.freenode.net irc.freenode.net). 06:14:45 -!- cmeme has quit (niven.freenode.net irc.freenode.net). 06:14:46 -!- GregorR has quit (niven.freenode.net irc.freenode.net). 06:14:46 -!- lament has quit (niven.freenode.net irc.freenode.net). 06:14:51 -!- fizzie has joined. 06:14:51 -!- cpressey has joined. 06:14:51 -!- SimonRC has joined. 06:14:51 -!- pgimeno has joined. 06:14:51 -!- lindi- has joined. 06:14:54 -!- SimonRC has quit (niven.freenode.net irc.freenode.net). 06:14:54 -!- cpressey has quit (niven.freenode.net irc.freenode.net). 06:15:25 -!- clog has joined. 06:15:25 -!- clog has joined. 06:15:34 -!- ineiros has joined. 06:16:25 -!- GregorR has joined. 06:16:30 -!- SimonRC has joined. 06:17:49 -!- cmeme has joined. 06:19:51 -!- sekhmet has joined. 06:19:59 -!- tokigun has joined. 06:24:35 -!- cpressey has joined. 06:25:30 -!- ZeroOne_ has joined. 06:41:39 that was fun. 06:48:56 -!- CXII has changed nick to CXI. 07:06:47 -!- pgimeno has quit (niven.freenode.net irc.freenode.net). 07:06:47 -!- lindi- has quit (niven.freenode.net irc.freenode.net). 07:06:54 -!- lindi- has joined. 07:07:03 -!- pgimeno has joined. 07:15:08 -!- Arrogant has quit ("I AM QUIT HAVE A NICE DAY"). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:08:48 wee 08:08:52 i wrote a lambda calculus interpreter 08:40:20 > \x.\y.x 42 08:40:20 \y.42 08:40:30 it works! :D 09:49:10 -!- pgimeno has changed nick to ElPez. 09:49:34 -!- ElPez has changed nick to GataBelmez. 09:50:49 -!- GataBelmez has changed nick to pgimeno. 10:00:46 -!- saudade has left (?). 10:02:49 -!- pgimeno has changed nick to Suminona. 10:05:52 -!- Suminona has changed nick to Sumi. 10:07:06 -!- Sumi has changed nick to pgimeno. 10:08:36 I apologize for these nick changes; you sometimes forget that nick changes are global 10:28:47 -!- jix has joined. 13:59:07 -!- Gs30ng has joined. 14:11:22 -!- Gs30ng has quit ("a moment"). 19:50:52 -!- calamari has joined. 19:51:18 hi 21:16:58 -!- ihope has joined. 21:17:12 "It's self-explanatory! Here, let me show you..." 21:18:15 Now, should I change my password to `/0|-|0|-|0/\/\3|-|34|z+13$? 21:21:17 yes! 21:25:58 Or how about (0/\/\|* 21:26:03 ...whoops 21:26:28 (0/\/\|*|_1(4+3|)|*4$$\/\/0|z|)? 21:29:06 -!- nooga has joined. 21:29:10 hi 21:29:17 http://rafb.net/paste/results/pkHc7342.html 21:29:36 i extended basic types in Ruby 21:29:51 with to_SADOL method :F 21:30:38 Well, I calculated ack(4,2) in Haskell. 21:30:53 i'm learning rb 21:32:13 with that sick book 21:32:26 but very funny though 21:32:31 What is rb? 21:32:34 Ruby 21:32:53 Hmm... rueB? 21:33:12 ? 21:33:37 Another spelling... 21:38:08 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht"). 21:39:31 -!- nooga has quit. 21:40:19 This is sort of funny. Haskell is computing ack(4,2)... over and over again. 21:40:32 Or GHCi, I should say. 21:51:42 wee my lambda calculus interpreter is so cool 21:53:15 > if false 21:53:16 \x,y.(false x y) 21:53:16 > if false 1 21:53:16 \y.(false 1 y) 21:53:16 > if false 1 0 21:53:18 0 21:53:45 (it's lazy) 22:06:32 gah and it's horribly designed and written in Python and i hate myself for writing it!!! 22:06:43 grrrr 22:07:00 this _really_ should be written in Scheme 22:19:58 -!- cmeme has quit (Remote closed the connection). 22:20:58 -!- cmeme has joined. 22:21:35 -!- graue has joined. 22:28:35 but it's getting better :) 22:35:53 > false 22:35:53 ['false', 'zero'] \x.\y.y 22:42:05 soooo 22:42:13 how do i make it reduce this: 22:42:14 \f.(\x.(\f.(\x.(f x)) \g.(\h.(h g f)) \u.x \u.u)) 22:42:15 to this: 22:42:26 \f,x.x 22:43:03 Not possible in the general case, of course, but surely there're useful partial solutions 22:45:51 okay i get it 22:50:39 -!- Sgep has joined. 22:54:37 stupid laziness, causing horrible problems 22:57:40 -!- sekhmet has quit (Remote closed the connection). 23:04:13 -!- sekhmet has joined. 23:10:42 lament: let us see the code. 23:12:35 No. 23:12:42 but at least now it can do this: 23:13:07 > \x.(\y.y 3) 23:13:08 \x.3 23:13:17 of course, this means it is not lazy anymore 23:13:51 isn't that just k (k 3) 23:14:16 erm no 23:14:38 \a.(\x.(x x) \x.(x x)) should break it 23:15:02 and it wouldn't even break the thoroughly non-lazy Scheme 23:17:17 which means i'm doing something horribly wrong :( 23:17:39 take a buther's at ghc, if you dare 23:47:54 -!- ihope has quit (Read error: 110 (Connection timed out)).