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