00:04:15 * ihope looks up the Spanish object pronouns
00:05:36 <ihope> Yo -> me, tú -> te, él -> lo, ella -> la, nosotros -> nos, vosotros -> os, ellos -> los, ellas -> las.
00:06:00 <ihope> Tenga la pluma: la tengo.
00:07:44 <ihope> Could I say "yo la tengo" as well?
00:49:09 -!- lament_ has changed nick to lament.
01:24:37 -!- sekhmet_ has joined.
01:25:02 -!- sekhmet has quit (Nick collision from services.).
01:25:07 -!- sekhmet_ has changed nick to sekhmet.
01:46:37 -!- CXI has joined.
02:08:23 <ihope> A møøse once bit my sister...
02:08:34 <ihope> Similar to a Dëër, but biggër.
02:08:40 <ihope> I døñ't gët it. Plëåsë clårify.
02:09:25 <ihope> Cån she plåy høckey?
02:09:31 <ihope> hër sťiçķ håñdłiñg is prèťťi gøød
02:10:50 <ihope> I didn't write that.
02:11:25 <ihope> hër [sic] sťiçķ [sic] håñdłiñg [sic] is prèťťi [sic] gøød [sic]
02:12:03 * SimonRC feels sic of all these sics
02:22:44 * ihope ðóéß ßóµéþíñ åéí®ð
02:33:55 -!- ihope has quit ("A Møøse once bit my sister...").
03:57:33 -!- Sgeo has quit (Remote closed the connection).
05:09:59 -!- pgimeno has quit (Read error: 104 (Connection reset by peer)).
05:25:43 -!- pgimeno has joined.
06:01:33 -!- CXI has quit (Connection timed out).
06:38:02 -!- GregorR has joined.
07:23:28 -!- GregorR has quit (Remote closed the connection).
07:23:43 -!- GregorR has joined.
07:53:21 -!- GregorR_ has quit (Remote closed the connection).
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:51:42 -!- kipple has joined.
09:15:15 -!- GregorR has quit (Remote closed the connection).
09:15:58 -!- GregorR has joined.
09:38:27 -!- kipple has quit ("See you later").
11:15:03 -!- GregorR has quit (Remote closed the connection).
11:16:04 -!- GregorR has joined.
11:24:30 -!- GregorR has quit (Remote closed the connection).
11:24:31 -!- GregorR_ has joined.
11:29:20 -!- GregorR__ has joined.
11:29:21 -!- GregorR__ has quit (Remote closed the connection).
11:31:04 -!- GregorR_ has quit (Remote closed the connection).
12:07:04 -!- sp3tt_ has changed nick to sp3tt.
13:56:25 -!- CXI has joined.
14:17:50 -!- CXII has joined.
14:26:50 -!- nooga has joined.
14:30:40 -!- CXI has quit (Connection timed out).
15:04:03 -!- ihope has joined.
15:06:08 <ihope> Is there an Unlambda function that, given some type of list of decimal digits, returns the appropriate Church numeral?
15:06:16 <ihope> And the other way around, as well?
15:10:55 <nooga> still trying to write lambda calculus interpreter
15:26:01 -!- jix has joined.
15:30:24 <ihope> Let a = the smallest natural number that cannot be defined. We have a contradiction.
15:34:54 <nooga> jix: do you have some clues how to write lambda calculus interpreter in i.e. C++? ;p
15:39:45 <jix> nooga: yes
15:40:16 <jix> but i can't really explain
15:47:16 <nooga> ihope: i've always had problems with that
15:47:46 <nooga> in Polish we have just one "np." for it
15:48:21 <nooga> btw. s/i\.e\./e\.g\./
15:49:32 <nooga> jix: well... maybe you can say something to enlight me, i'm so damn stupid...
15:49:52 <jix> you have a tree like structure
15:50:13 <jix> and you just start to substitute the variables...
15:50:30 <jix> but you add an extra stop node when you substitute
15:50:41 <jix> to avoid substituting things that are out of scope
15:51:04 <jix> (you would need alpha(???) reduction if you don't add stop nodes)
15:52:19 <jix> i did it that way in my rhotor interpreter (which would work in c++ too but it wouldn't be lazy the way i implemented it in haskell)
16:25:22 <ihope> nooga: what's the period do?
16:36:28 <nooga> stands for any character
16:36:53 <ihope> What would something like s/foo/.b.a.r./ do?
16:37:22 <nooga> erm, good question xD
16:37:55 <ihope> By the way, what editor does this stuff come from? :-P
16:38:10 <nooga> it's a common regexp
16:39:29 <nooga> many things use regexp
16:39:52 <nooga> perl for example: http://www.troubleshooters.com/codecorn/littperl/perlreg.htm
16:41:16 <nooga> btw. they're often very esoteric ;p
16:41:43 <nooga> s{\b(${urls}:[$any]+?)(?=[$punc]*[^$any]|\Z)}{<A HREF="$1">$1</A>}goi
16:42:17 <ihope> That looks like Glass.
16:46:18 <nooga> are you under unix-like OS?
16:47:17 <nooga> if you were, you could always try $ cat | sed 'regular exp here' :>
16:47:55 <nooga> and i know what s/foo/.b.a.r./ does
16:48:40 <nooga> it changes literally all "foo" strings into ".b.a.r.", s/foo/\.b\.a\.r\./ gives exactly the same result
16:48:59 <ihope> What about s/.../.../?
16:49:09 <ihope> Replace any three characters with ...? >:-)
16:50:10 <ihope> So would "quux" be replaced with "...x" or "...."?
16:51:40 <nooga> you can s/.+/.../ so that any nonempty string will become "..."
16:52:08 <ihope> Does + match anything at all?
16:52:52 <nooga> it means: 1 or more times
16:53:04 <nooga> and * means 0 or more times
16:53:51 <ihope> So it works as a modifier for the previous character?
16:53:56 <nooga> so /a*bba+/ will match "bbaa", "aabba", "aaaabbaaa" etc. but not "bb"
16:56:03 <nooga> previous object, because you can /(a|b)+/
16:56:13 <nooga> try to read some tutorials
16:56:22 <nooga> regexp is very powerfull tool
16:58:31 -!- nooga has left (?).
17:20:56 <ihope> So (-: )-: v_v is legal Haskell code.
17:28:03 <ihope> What does "sternutaphobia" mean?
17:36:20 -!- nooga has joined.
18:00:15 -!- nooga has quit (Read error: 113 (No route to host)).
18:37:50 -!- r0ver has joined.
19:06:18 -!- GregorR has joined.
19:16:57 <jix> no it's evening
19:17:10 * jix codes php :(
19:17:18 * ihope pretends to read jix's mind
19:17:19 * jix gets payed for coding php :)
19:21:10 <jix> getting payed for coding makes jix happy
19:21:38 <ihope> I never get paid for coding.
19:22:07 <GregorR> I never get paid for coding.
19:22:14 <GregorR> I write too much Free Software.
19:22:42 <jix> GregorR: yeah but Free Software doesn't allow you to buy a new computer... :(
19:22:51 * ihope writes a simple IRC bot and charges $5,000 for each copy of it
19:22:59 <jix> ihope: noone would buy that
19:23:22 * ihope waits for the money to roll in (and waits, and waits, and waits...)
19:23:44 <jix> i get payed per hour atm
20:05:52 -!- principito has joined.
20:06:25 -!- principito has left (?).
20:16:17 -!- Sgeo has joined.
20:34:31 <ihope> Ãww, Ì cãn't chãngë mý nìck tø ìhøpë.
20:51:47 <jix> ∑ª¥ çå~† ¥ø¨ çªå~©€ ¥ø¨® ~⁄ç∆ †ø ⁄ªøπ€˙
20:52:04 <jix> ⁄‚ å~¥ø~€ å∫@€ †ø ®€å∂ †ª⁄‚˙
20:53:25 <ihope> Üéß, Í ©áñ ®éáð þháþ, ßó®þá.
20:53:52 <jix> i wrote text with alt-key pressed
20:54:17 <jix> ∫¨† ⁄† @øø∆‚ ∂⁄ƒƒ€®€~† ª€®€
20:54:57 <jix> Å®©ª †ª⁄‚ ⁄‚ ªå®∂ †ø ®€å∂
20:55:00 <fizzie> oe? EURoe?EUR EUR j?? ?EUR-> ?oeEUR oe? ?EUR?EUR ?EUR? ?EUR oe ?EUR?EUR
20:55:23 <fizzie> For added-value, mine is recoded to iso-8859-1.
20:55:34 <ihope> But it has EUR all over it.
20:55:54 <fizzie> Well, it has recode_transliterate set to ON.
20:56:20 <jix> but everyone on this network uses utf-8...
20:56:23 <fizzie> ¥œ↓ ¶€œ¶ł€ ª®€ j↓šþ ł€→®ð· «Šœµ€ œđ þħ€š€ ©ħª®ª©þ€®š µªĸ€ ñœ š€ñš€·» --- was what I was going to say.
20:56:28 <lindi-> jix: not quite true :)
20:56:33 <ihope> Á µóóßé óñ©é bíþ µü ßíßþé®...
20:56:48 <jix> lindi-: i know
20:57:00 <jix> stop writing like †ª⁄‚
20:57:28 <ihope> Åéøøç åé´®é ßöéákíñg ðíffé®éñþ øáñgúágéß.
20:57:48 <jix> i can't read this :(
20:57:55 <ihope> I can't read yours!
20:58:25 <ihope> Quick, everybody into #íñváøíð!
20:59:07 <jix> the spam on the wiki is annoying
21:03:57 <ihope> I wonder WHY people are going this.
21:05:14 <ihope> Simple solution: don't let anonymous users edit for a while.
21:07:45 * ihope finishes his IRC bot
21:07:55 <jix> what does it do?
21:08:04 <ihope> As of yet, nothing.
21:11:36 -!- RoboGregorR has joined.
21:13:31 -!- GregorR has quit (Remote closed the connection).
21:13:59 <RoboGregorR> That's right ... the network HAS NO FATHER
21:14:23 -!- GregorR has joined.
21:14:36 <ihope> What's the word for a male dog?
21:17:38 <ihope> From Wikipedia: "Dog is also a term used by breeders to specifically denote a male domestic dog."
21:18:01 <ihope> The above quote is available under the terms of the GNU Free Documentation License.
21:18:21 <ihope> See http://en.wikipedia.org/wiki/Wikipedia:Copyrights for details.
21:26:24 <ihope> Hmm, squit squit squit.
21:27:41 -!- mtve has quit (Read error: 110 (Connection timed out)).
21:29:21 <jix> i want to write a lisp like language vm in some esolang
21:30:06 <jix> lisp isn't an esolang
21:32:47 <jix> RoboGregorR: pha just because you arn't used to the lisp syntax))))))))))
21:33:18 <ihope> (sentence '(True))
21:36:37 -!- GregorR has quit (Nick collision from services.).
21:36:45 -!- GregorR has joined.
21:44:45 -!- calamari has joined.
22:17:29 -!- GregorR has quit (Remote closed the connection).
22:18:07 -!- jix has left (?).
22:38:14 -!- r0ver has left (?).
22:51:57 * Sgeo wonders if he should learn Lisp
23:17:38 -!- CXII has quit (Connection timed out).
23:49:35 -!- calamari has left (?).