←2005-12-21 2005-12-22 2005-12-23→ ↑2005 ↑all
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 <SimonRC> :-)
00:31:54 -!- Sgep has joined.
00:41:41 -!- calamari has quit ("Leaving").
04:04:49 -!- Arrogant has joined.
04:17:55 <Sgep> 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 <saudade> 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 <saudade> wee
08:08:52 <saudade> i wrote a lambda calculus interpreter
08:40:20 <saudade> > \x.\y.x 42
08:40:20 <saudade> \y.42
08:40:30 <saudade> 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 <pgimeno> 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 <calamari> hi
21:16:58 -!- ihope has joined.
21:17:12 <ihope> "It's self-explanatory! Here, let me show you..."
21:18:15 <ihope> Now, should I change my password to `/0|-|0|-|0/\/\3|-|34|z+13$?
21:21:17 <lament> yes!
21:25:58 <ihope> Or how about (0/\/\|*
21:26:03 <ihope> ...whoops
21:26:28 <ihope> (0/\/\|*|_1(4+3|)|*4$$\/\/0|z|)?
21:29:06 -!- nooga has joined.
21:29:10 <nooga> hi
21:29:17 <nooga> http://rafb.net/paste/results/pkHc7342.html
21:29:36 <nooga> i extended basic types in Ruby
21:29:51 <nooga> with to_SADOL method :F
21:30:38 <ihope> Well, I calculated ack(4,2) in Haskell.
21:30:53 <nooga> i'm learning rb
21:32:13 <nooga> with that sick book
21:32:26 <nooga> but very funny though
21:32:31 <ihope> What is rb?
21:32:34 <nooga> Ruby
21:32:53 <ihope> Hmm... rueB?
21:33:12 <nooga> ?
21:33:37 <ihope> Another spelling...
21:38:08 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
21:39:31 -!- nooga has quit.
21:40:19 <ihope> This is sort of funny. Haskell is computing ack(4,2)... over and over again.
21:40:32 <ihope> Or GHCi, I should say.
21:51:42 <lament> wee my lambda calculus interpreter is so cool
21:53:15 <lament> > if false
21:53:16 <lament> \x,y.(false x y)
21:53:16 <lament> > if false 1
21:53:16 <lament> \y.(false 1 y)
21:53:16 <lament> > if false 1 0
21:53:18 <lament> 0
21:53:45 <lament> (it's lazy)
22:06:32 <lament> gah and it's horribly designed and written in Python and i hate myself for writing it!!!
22:06:43 <lament> grrrr
22:07:00 <lament> 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 <lament> but it's getting better :)
22:35:53 <lament> > false
22:35:53 <lament> ['false', 'zero'] \x.\y.y
22:42:05 <lament> soooo
22:42:13 <lament> how do i make it reduce this:
22:42:14 <lament> \f.(\x.(\f.(\x.(f x)) \g.(\h.(h g f)) \u.x \u.u))
22:42:15 <lament> to this:
22:42:26 <lament> \f,x.x
22:43:03 <lament> Not possible in the general case, of course, but surely there're useful partial solutions
22:45:51 <lament> okay i get it
22:50:39 -!- Sgep has joined.
22:54:37 <lament> stupid laziness, causing horrible problems
22:57:40 -!- sekhmet has quit (Remote closed the connection).
23:04:13 -!- sekhmet has joined.
23:10:42 <SimonRC> lament: let us see the code.
23:12:35 <lament> No.
23:12:42 <lament> but at least now it can do this:
23:13:07 <lament> > \x.(\y.y 3)
23:13:08 <lament> \x.3
23:13:17 <lament> of course, this means it is not lazy anymore
23:13:51 <SimonRC> isn't that just k (k 3)
23:14:16 <SimonRC> erm no
23:14:38 <lament> \a.(\x.(x x) \x.(x x)) should break it
23:15:02 <lament> and it wouldn't even break the thoroughly non-lazy Scheme
23:17:17 <lament> which means i'm doing something horribly wrong :(
23:17:39 <SimonRC> take a buther's at ghc, if you dare
23:47:54 -!- ihope has quit (Read error: 110 (Connection timed out)).
←2005-12-21 2005-12-22 2005-12-23→ ↑2005 ↑all