00:01:56 I never thoughr zzo38 would look like that 00:03:06 The first one appears to be me? OK, if you say so 00:05:24 I think it is really Wikipedia. I also think they are two different files they even have different filenames. 00:06:41 i also hate .m. links. 00:15:01 -!- nooga has quit (Ping timeout: 245 seconds). 00:30:21 -!- zzo38_ has joined. 00:30:43 I am not currently at home but perhaps you already know that. 00:31:00 -!- zzo38 has quit (Ping timeout: 276 seconds). 00:34:47 hi zzo38_ 00:35:30 -!- zzo38_ has changed nick to zzo38. 00:35:59 zzo38_? I am actually zzo38 isn't it? 00:37:14 hi zzo38 00:37:42 Hello 00:37:45 why are you not home? 00:39:03 Because I went elsewhere to help someone else for temporarily I will be home in the night time. It is because it is summer time. 00:39:35 In summer time I like to go to anime convention next week (not this week). 00:46:32 -!- pikhq_ has joined. 00:46:38 -!- pikhq has quit (Ping timeout: 265 seconds). 00:48:15 -!- zzo38 has quit (Quit: It is a color computer!). 00:51:59 I wonder if he likes to go to anime conventions next week every week. 01:05:00 -!- nortti_ has quit (Ping timeout: 240 seconds). 01:31:06 -!- david_werecat has joined. 01:57:43 Wow, TV Tropes has a trope page for each eye colour. 02:07:21 Not my eye color. 02:08:09 that was not to be expected. 02:18:00 What does it say about brown? 02:21:15 Purple eyes actually exist IRL 02:21:16 o.O 02:21:31 Gregor: What exactly is your eye color? 02:21:43 Gregor has eyes? 02:22:03 No, Gregor's really a consciousness devoid of form. 02:22:18 As I like to say, my eye color is “it's complicated”. 02:22:21 However, he identifies with a given form, and he sometimes makes it manifest in sRGB form. 02:22:24 One sec, I've got a photo somewhere… 02:22:58 http://www.facebook.com/photo.php?fbid=1452222459639&l=0cd95dac16 02:23:22 pikhq_: so he's also a nyarlathotep then? 02:23:35 Gregor: Dude, we have similar eyes. 02:24:02 As in, crazy unidentifiable heterochromia? 02:24:11 Aye. 02:24:17 My eyes look green in photographs, but have no green component! 02:24:43 that looks mostly blue to me 02:24:49 My eyes look brown in photographs. They also look brown in real life. 02:25:02 We'll fix that! 02:25:03 FreeFull: Who are you, anyway? 02:25:06 Are you elliott? 02:25:16 -!- augur has quit (Remote host closed the connection). 02:25:16 No 02:25:18 I'm me 02:25:19 You act nothing like elliott, which gives it away. 02:25:31 elliott is easy to identify. 02:25:34 no you see, that's precisely what elliott would say! 02:25:45 pikhq_ is elliott? 02:25:49 oerjan: He uses capitalization. 02:25:50 FreeFull: No. 02:25:52 MYSTERY 02:25:55 DRAMA 02:26:00 I am certainly not from the land of six pigs. 02:26:06 pikhq_: a sure mark of evil 02:26:12 I know a girl who has a spot on her eye like that. Apparently, she was bitten by a dog when she was very young 02:26:50 -!- ais523_ has joined. 02:26:57 As much as I've been around dogs, I never got bitten by one 02:27:04 I do have a scar on my face from a cat scratch though 02:30:36 -!- ais523 has quit (Ping timeout: 276 seconds). 02:35:33 -!- david_werecat has quit (Ping timeout: 248 seconds). 02:53:57 -!- augur has joined. 03:14:58 -!- augur has quit (Remote host closed the connection). 03:33:24 -!- terlmann has joined. 03:35:29 -!- ais523_ has changed nick to ais523. 03:35:31 -!- DHeadshot has joined. 03:37:54 I hope everyone of you have installed Windows8 on at least one of your machines by now. With the change in Design and Architecture, you will need to Keyboard Shortcuts to perform many tasks that you are used to with the Classic Start button OR Old versions of Windows. 03:37:54 ais523: You have 1 new message. '/msg lambdabot @messages' to read it. 03:37:55 To ease some of these frequent tasks and enjoy the experience and robustness of Windows8, I would like to point you to the Keyboard Shortcuts which will help you adapt to the Modern Design and use Windows8 in a more efficient way. 03:37:59 @messages 03:37:59 quintopia said 22h 3m 48s ago: thanks for the info! http://en.wikipedia.org/wiki/Wikipedia:Help_desk/Archives/2007_October_10#Colored_text 03:38:32 quintopia: whatever made you think of looking in help desk archives from 2007? 03:39:00 -!- augur has joined. 03:39:12 ais523, I assume that's a joke? 03:39:51 Sgeo: the quote is from an official-but-personal Microsoft blog 03:40:27 Ah. So Windows 8 is a joke. 03:40:32 the rest of the page is indicative of a disaster too: http://blogs.msdn.com/b/santhoshonline/archive/2012/08/05/windows8-desktop-keyboard-shortcuts.aspx 03:46:12 -!- aloril has quit (Read error: Operation timed out). 03:54:38 -!- aloril has joined. 03:54:55 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 03:59:12 -!- zzo38 has joined. 04:07:23 oh wow, I think SUSE's solution to the secure boot thing actually works 04:19:49 -!- terlmann has quit (Quit: Depression is merely anger without enthusiasm). 04:21:28 secure boot thing? 04:35:13 -!- TeruFSX has quit (Ping timeout: 268 seconds). 04:35:20 for when you want to be _sure_ you hit what you're kicking 04:54:20 ais523: I'll stick with linux, thanks 04:56:11 * oerjan vaguely thought SUSE was a linux 04:57:18 oh wait, you were commenting on the windows 8 madness 05:01:42 Also, the only machine I have that probably is capable of running Windows 8 is this laptop, and I wouldn't want to corrupt it with that 05:21:37 -!- pikhq has joined. 05:21:57 -!- pikhq_ has quit (Ping timeout: 248 seconds). 05:22:34 -!- mig22 has joined. 05:32:07 -!- pikhq_ has joined. 05:32:36 -!- pikhq has quit (Ping timeout: 276 seconds). 05:44:02 kmc: Do you know that the rot13 of anything ending in "chaf" ends in "puns"? 05:44:50 funpuns. 05:45:33 shachaf? 05:46:04 That's right. 05:46:10 (But I think kmc already knew that.) 05:46:15 shachaf: furrfu! 05:47:09 shachaf: Oh wait, I didn't notice your nick is shachaf 05:47:23 wait, does this mean shachaf is my rival or my nemesis 05:47:46 It means he's your evinyzrfvf 05:47:53 fancy! 05:48:06 Or evin for short 05:48:21 `run echo evinyzrfvf | tr a-z n-za-m 05:48:32 rivalmesis 05:48:47 `rot13 there's no `rot13? 05:48:51 /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: rot13: not found 05:48:57 apparently not 05:48:58 ^rot13 there's no ^rot13? 05:48:59 gurer'f ab ^ebg13? 05:49:21 ^rot13 Fungot saves the day! 05:49:22 Shatbg fnirf gur qnl! 05:49:52 ^rot13 Shachaf is funpuns! 05:49:52 Funpuns vf shachaf! 05:49:59 `run echo 'tr a-zA-Z n-za-mN-ZA-M' > bin/rot13; chmod +x bin/rot13 05:50:02 No output. 05:50:21 `rot13 U think? 05:50:22 `rot13 shatbg 05:50:53 No output. 05:51:03 shocking 05:51:10 No output. 05:51:15 `rot13 Once more with feeling 05:51:38 Oh, um , right. 05:51:48 No output. 05:51:52 `run echo 'echo "$@" | tr a-zA-Z n-za-mN-ZA-M' > bin/rot13; chmod +x bin/rot13 05:51:55 No output. 05:52:02 `rot13 shachaf 05:52:04 funpuns 05:52:08 `rot13 talk to me shatbg 05:52:11 gnyx gb zr fungot 05:54:19 Did you know that "abjurer" is ROT13 of "nowhere" including both are real words? 05:54:39 shocking! 05:55:08 `rot13 Did you know that "abjurer" is ROT13 of "nowhere" including both are real words? 05:55:10 Qvq lbh xabj gung "nowhere" vf EBG13 bs "abjurer" vapyhqvat obgu ner erny jbeqf? 05:57:35 ^rot13 Filip Szczepański 05:57:35 Svyvc Fmpmrcnńfxv 05:57:57 Where did all the vowels go 05:58:47 * oerjan finds pyrex and clerk 05:59:35 ^rot13 euioa 05:59:35 rhvbn 05:59:48 orphan and becuna, whatever the latter means 06:00:22 sync and flap 06:00:46 ^rot13 cymru 06:00:47 plzeh 06:01:00 ooh that's close to plzen 06:01:37 two places not known for overuse of vowels 06:02:29 ^rot13 mgrvgrvladje 06:02:29 zteiteiynqwr 06:03:31 I have try to think of how to make up a I/O monad in the Bruijndejx esolang will this work? http://esolangs.org/wiki/Talk:Bruijndejx 06:03:42 ^rot13 Bruijndejx 06:03:42 Oehvwaqrwk 06:04:38 ^rot13 london 06:04:38 ybaqba 06:05:21 ^rot13 hexham 06:05:22 urkunz 06:05:27 ooh 06:05:32 ^rot13 helsinki 06:05:33 uryfvaxv 06:06:01 Hexham, der Urkunz der Städte 06:06:56 ^rot13 mszana dolna 06:06:56 zfmnan qbyan 06:07:04 ^rot13 myślenice 06:07:04 zlśyravpr 06:08:07 FreeFull: clearly those are matching rot13's in polish. or something. 06:08:39 hm wait 06:10:10 ^rot13 finnmark 06:10:11 svaaznex 06:10:13 It should've put an accented f in the last one, but I'm afraid it's not smart enough. 06:10:25 sad stuff 06:10:32 oerjan: Do you know if this is OK of I/O monad in this esolang? 06:10:34 you do not simply walk into svaaznex 06:10:45 zzo38: not a clue 06:11:17 Maybe you should fly into svaaznex instead, then. 06:11:47 ^rot13 grue 06:11:48 tehr 06:12:04 ^rot13 zorkmid 06:12:04 mbexzvq 06:12:18 ^show rot13 06:12:19 ,[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+14<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>>+5[<-5>-]<2-[>+<-[>+<-[>+<-[>+<-[>+<-[>+ 06:12:34 ^rot13 xyzzy 06:12:34 klmml 06:12:51 ^rot13 uuddlrlrba 06:12:52 hhqqyeyeon 06:13:04 ^rot13 nyarlathotep 06:13:04 alneyngubgrc 06:14:10 ^rot13 trondheim 06:14:10 gebaqurvz 06:14:54 Going to sleep 06:14:56 Goodnight 06:14:58 -!- oerjan has quit (Quit: Tbbq avtug!). 06:15:00 Or goodday by now 06:15:07 ^rot13 goodnight. 06:15:08 tbbqavtug. 06:15:12 Ah. 06:15:13 ^rot13 Tbbq avtug 06:15:14 Good night 06:21:43 -!- nooga has joined. 06:33:31 The Bruijndejx */\? commands could be implemented as Church-encodings (or Mogensen-Scott encodings) of this Haskell datatype: data BruijndejxIO = Stop | PutZero BruijndejxIO | PutOne BruijndejxIO | GetBit BruijndejxIO BruijndejxIO BruijndejxIO; 06:35:40 Therefore you could use that even in something like Lazy-K with different I/O, to allow interactive programs to be written without the problems it causes. 06:38:31 -!- Levante99 has joined. 06:46:19 -!- Levante99 has left. 06:51:01 -!- ogrom has joined. 07:16:10 -!- ogrom has quit (Ping timeout: 268 seconds). 07:16:32 -!- ogrom has joined. 07:26:53 -!- MoALTz has joined. 07:27:48 -!- MDude has joined. 07:27:57 -!- MDude has changed nick to MDoze. 07:34:09 I think the stacks in Kayak is actually natural numbers isn't it? (Since all stacks must have zeroes at the end) 07:41:19 -!- epicmonkey has joined. 07:52:34 -!- asiekierka has joined. 08:06:50 kmc: Did you know GCC compiles this? typedef int x; int foo(x y) { x x = y; return x; } 08:13:58 -!- ais523 has quit. 08:19:57 -!- derdon has joined. 08:31:41 -!- zzo38 has quit (Remote host closed the connection). 08:34:36 -!- DHeadshot has quit (Ping timeout: 276 seconds). 08:56:03 -!- epicmonkey has quit (Ping timeout: 276 seconds). 09:36:31 -!- DHeadshot has joined. 09:57:25 great 09:57:48 typedef int x; x foo(x x) { return x; } 09:58:26 this does not seem particularly unreasonable 09:58:42 types and variables have different namespaces 09:58:48 trouble if you do sizeof x though 09:59:04 i think this is where sizeof(x) and (sizeof x) can give different results 09:59:28 No, they're not in different namespaces. 09:59:38 -!- Slereah has joined. 09:59:41 The variable x shadows the type x. 10:00:17 (Or vice versa.) 10:01:18 ok 10:01:34 skype wants me to download their Linux client over http://, and there's no signature on the .deb of course 10:01:47 is there a public tool which MITMs and automatically trojans downloads of debs, RPMs, shell script installers, and ISOs? 10:01:55 -!- pikhq has joined. 10:02:00 cabal install also goes over http://, right? 10:02:01 i feel like someone should write / publish one 10:02:02 -!- mig22_ has joined. 10:02:05 yeah 10:02:24 That could be a fun tool to write. 10:02:50 Actually it's probably more of the "fun to have written" variety. 10:03:24 Also, it would be easily foiled by having a .iso.md5 file server over http:// on the same server as the .iso! 10:03:37 (You could never tamper with both of them, right?) 10:03:42 :3 10:04:03 yeah, it would also MITM any text/plain and text/html downloads and do a find/replace for checksums 10:04:08 -!- kallisti_ has joined. 10:04:23 there is some value to those .iso.sha1 files though 10:04:34 -!- sivoais_ has joined. 10:04:35 if you get the hash from a "primary" server and the iso from a mirror 10:04:46 then at least you know the mirror's operators did not tamper with it 10:05:09 Or if you get the sha1 over https, for that matter. 10:05:20 That way the ISO can still be served from a CDN or something like that. 10:05:29 yeah 10:05:47 I think getting it to work on "arbitrary" ISO files would be pretty tricky. 10:05:58 well yeah 10:06:01 Even for very restricted values of "arbitrary". 10:06:45 it might be a bit suspicious if downloading the hash file takes about as long time as generating and hashing the compromised iso 10:06:54 yeah :) 10:07:03 You could detect specific files, I guess, and pregenerate them. 10:07:04 unless that's sufficiently fast, of course 10:07:22 yeah, i expect for this to work well, the attacker's machine should already have a large archive of software which might be downloaded 10:07:51 Sometimes I wish I could be the optimal adversary that I always have to assume. 10:07:56 They have such great tools. 10:08:24 -!- rodgort` has joined. 10:08:39 I like how there are two "M\w+-in-the-middle attack"s which are unrelated to each other. 10:09:02 -!- pikhq_ has quit (*.net *.split). 10:09:02 -!- mig22 has quit (*.net *.split). 10:09:02 -!- Slereah_ has quit (*.net *.split). 10:09:02 -!- kallisti has quit (*.net *.split). 10:09:02 -!- sivoais has quit (*.net *.split). 10:09:02 -!- rodgort has quit (*.net *.split). 10:09:03 -!- mig22_ has changed nick to mig22. 10:09:07 kmc: Where are you these days geographically? 10:09:49 hmm, 700MB from /dev/urandom took about one minute to sha1hash for me 10:10:02 tools for fools 10:10:13 urandom might be the bottleneck though 10:10:42 shachaf: I'm in vilnius, lithuania 10:10:49 getting on a bus to riga, latvia in a few hours 10:11:04 olsner: It's definitely the bottleneck. 10:11:04 from there to tallin by bus and helsinki by motherfucking boat 10:11:11 then flying to dublin and then a day later boston 10:11:16 I can sha1 700MB of data in ~2.3s 10:11:22 -!- pikhq_ has joined. 10:11:23 -!- pikhq has quit (Ping timeout: 245 seconds). 10:11:47 shachaf: yeah, /dev/zero was about 20-30x faster 10:12:15 * shachaf went from Turku to Stockholm by boat! 10:12:17 And back. 10:13:08 how was that? 10:13:39 one of those that stops and goes in circles somewhere on the baltic while the tax free shop is open? 10:13:39 Pretty long. 10:13:48 Turku, the oklopolian city of Finland. 10:13:54 It was an overnight boat trip. 10:14:03 I don't *think* it went in circles. 10:14:19 yeah, they might just turn off the engines instead 10:14:19 hehe 10:14:37 i took an overnight train the other day 10:14:50 used a sleeper car for the first time 10:14:55 very pleasant 10:14:56 People who were with me on the boat bought some Finnish (or was it Swedish?) liqueurs. 10:15:12 kmc: I hear Lakka liqueur is very good. 10:15:16 You like that sort of thing, right? 10:15:16 well except that we only had 4 hours in the sleeper and then had to change trains in bumblefuck czechia 10:15:27 yes 10:15:32 i will try some when i am in finland 10:15:37 shachaf: did your boat stop at Åland? 10:15:42 Some of the Tallinn-Helsinki boat trips are pretty fast. 10:15:58 There are also other weird berry liqueurs that I hear are very good. 10:16:16 Mesimarja. 10:16:36 You should try that kind too. 10:16:42 kmc: I don't remember. 10:16:49 we took a hydrofoil boat in greece 10:16:55 that was fuckin fast 10:16:56 I think "both" (Viking, Tallink-Silja) Stockholm/Turku boats stop at Mariehamn at around 4am or so. 10:17:19 fizzie: Is Lakka liqueur good? 10:17:26 Lakka jam is good. 10:17:35 IIRC, stopping at åland is what allows you to have a tax-free 10:17:39 yes 10:17:42 because thee're not in the EU 10:17:45 I think I've tasted one, it was very sweet. 10:17:49 my travel agent has just informed me of this fact 10:17:54 but åland is finland 10:18:15 but you can have bits of countries which are in the EU, where those bits are not in the EU 10:18:15 ... except for the special rules and exceptions 10:18:40 * shachaf is even legally allowed to drink liqueur in the US now. :-( 10:18:42 most of the semi-autonomous ex-colonies have this status 10:19:05 The abolition of tax-free sales on ferry boats travelling between destinations within the European Union made Finland demand an exception for the Åland Islands on EU's VAT rules. The exception allows for maintained tax-free sales on the ferries between Sweden and Finland (provided they stop at Mariehamn or Långnäs) and at the airport, but has also made Åland a different tax-zone, meaning that tariffs must be levied on goods brought to the islan 10:19:54 and jersey and guernsey 10:21:01 A Finnish computer shop (verkkokauppa.com) sells some stuffs VAT-free, shipped from their Mariehamn office. They're all priced to be like ten cents below some "must pay some tax or tariff" limit. 10:21:06 hm so maybe Åland is in the EU after all, but has special exemption 10:21:17 And you can only have one in an order. 10:21:18 fucking cmplicated 10:21:54 gotta go eat lunch 10:21:55 ttyl 10:21:59 "While most EU law applies to Åland it is outside the VAT area and is exempt from common rules in relation to turnover taxes, excise duties and indirect taxation. There are also restrictions on the freedom of movement of people and services, the right of establishment, and the purchase or holding of real estate in Åland." 10:22:36 Yeah, I've heard it's a bit nontrivial to move there. 10:23:58 Or at least was. 10:25:05 Or at least if you want your own house, as opposed to an apartment, or renting something. 11:09:08 -!- augur has quit (Remote host closed the connection). 11:09:40 -!- augur has joined. 11:10:03 -!- augur has quit (Read error: Connection reset by peer). 11:10:22 -!- augur has joined. 11:10:34 -!- augur has quit (Remote host closed the connection). 11:22:22 -!- Eladith has joined. 11:39:30 -!- augur has joined. 11:56:48 -!- Phantom_Hoover has joined. 12:15:06 -!- mig22 has quit (Quit: mig22). 12:23:42 -!- mig22 has joined. 12:26:47 -!- donmarquis has joined. 12:27:08 Hello Brainfuckers :D 12:33:06 -!- asiekierka has quit (Quit: Connection reset by PO). 12:33:35 -!- Taneb has joined. 12:36:31 -!- mig22 has quit (Quit: mig22). 12:38:31 -!- augur has quit (Remote host closed the connection). 12:49:48 -!- ogrom has quit (Quit: Left). 12:54:38 -!- asiekierka has joined. 13:00:34 -!- augur has joined. 13:10:39 -!- Taneb has quit (Ping timeout: 240 seconds). 13:42:19 -!- david_werecat has joined. 13:54:36 -!- mig22 has joined. 14:08:42 -!- donmarquis has quit (Ping timeout: 276 seconds). 14:21:43 -!- sivoais_ has quit (Quit: leaving). 14:22:08 -!- sivoais has joined. 14:27:26 -!- monqy has quit (Quit: hello). 14:39:49 -!- augur has quit (Read error: Connection reset by peer). 14:40:22 -!- augur has joined. 15:00:16 -!- KingOfKarlsruhe has joined. 15:09:59 -!- asiekierka has quit (Read error: No route to host). 15:10:48 -!- asiekierka has joined. 15:13:24 -!- Taneb has joined. 15:18:33 I now have a copy of the Routeing Guide 15:27:38 It has a page "Routes via Hexham" which otherwise does not mention Hexham 15:27:56 Although it does show the Carlisle -> York via Hexham route 15:28:10 Hexham is implicit 15:28:33 Yes, it's the shortest way between Carlisle and Newcastle 15:28:58 And the biggest place inbetween then except for Prudhoe, which has a toilet roll factory and hence sucks. 15:30:53 I think I've heard of Prudhoe. 15:31:03 Maybe one of you Hexhamites has mentioned it before. 15:31:07 Yes 15:31:11 Quite possibly me 15:31:16 `log prudhoe 15:31:18 proud hoe 15:31:27 Taneb: You have strong feelings on the subject of Prudhoe? 15:31:33 Can also be pronounced "pruddha" 15:31:36 Not really 15:31:38 It's a place. 15:31:47 I know one or two people who live there 15:31:56 No output. 15:32:01 Thehird has mentioned it. 15:32:12 `pastelogs prudhoe 15:32:21 And you, too. 15:32:28 Is there any reason for that peculiar euphemism? 15:32:30 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.12886 15:32:45 You've linked to Prudhoe_Castle_2.jpg. 15:32:59 I see it's there too. 15:33:57 Prudhoe has a castle 15:34:36 There's a place called "Hörhö" in Finland, we drove nearby yesterday, there was a "HÖRHÖ 2 >" road sign. 15:34:43 Some Finns might find that amusing. 15:35:08 Becayse 15:35:14 Because http://en.wiktionary.org/wiki/h%C3%B6rh%C3%B6 15:35:29 (A backspace/enter confusion up there.) 15:35:38 There's a place in the UK called Bishop's Itchington 15:35:48 Which I found hilarious when I saw the sign 15:35:56 Although now I realise isn't that funny after all. 15:37:05 Hörhö is not notable enough to have a Wikipedia article, except as a redirect to Lieksa, where it's mentioned in the list of villages. 15:38:10 There's also an Egyptinkorpi, which I think doesn't have anything to do with Egypt. 15:38:39 That sounds like it should mean an Egyptian was buried there 15:39:19 It translates to "korpi of Egypt", and korpi: "1. A boreal forest type appearing on moist moraine soils, characterized by dense growth of spruce as the dominating tree species and deep layer of moss as undergrowth. Korpi is often a transition zone between a drier kangas -type forest and various types of suo (“swamp”). 2. A deep forest. 3. (slang) An area remote from dense population; ... 15:39:25 ... backwoods, backwater." 15:39:52 It is far from any dense population in Egypt 15:39:53 Whether it's intentional or not, it is kind of a backwoods place. 15:40:53 Apparently there was still a school there in 1949 with up to 120 students. 15:41:13 It's been mostly abandoned since 1970s, with just a few farms in there now. 15:41:17 :/ 15:41:37 You know, Hexham's high school is older than most countries 15:41:40 Including the UK 15:42:15 And Finland 15:43:21 Many things are older than Finland-the-current-country. 15:43:33 Yep 15:44:24 -!- mig22 has quit (Quit: mig22). 15:44:52 (Even some things in Finland.) 15:44:56 You're older than Germany 15:45:34 By some counts, YOU may be older than Germany 15:45:37 I'm not, though :( 15:45:41 i am 15:50:38 How old is Germany? 15:51:55 I think I was about seven and a half years when Germany. 15:53:38 Unification was... '89? 15:54:19 3 October 1990, says Wikipedia's main Germany article for the reuinification. 15:54:31 Of course, none of the individual buildings of my school are that old 15:54:37 The oldest is from the 1800's 15:54:40 so that puts me at 4 years older than Germany 15:54:44 Not 1599 when the school was founded 15:55:31 (The wall-breaking's from '89.) 15:55:46 I always think unification's first :( 16:14:56 -!- ogrom has joined. 16:19:42 oh, bilbo appears in chariots of fire 16:24:44 also the borg queen 16:34:21 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.88.2 [Firefox 14.0.1/20120713134347]). 16:58:58 -!- epicmonkey has joined. 17:10:34 -!- Vorpal has joined. 17:11:25 -!- Ngevd has joined. 17:13:18 -!- Taneb has quit (Ping timeout: 276 seconds). 17:17:13 -!- Eladith has quit (Quit: leaving). 17:24:01 -!- Ngevd has changed nick to Taneb. 17:26:43 -!- asiekierka has quit (Quit: Connection reset by PO). 17:26:56 -!- asiekierka has joined. 17:50:54 -!- asiekierka has quit (Quit: Connection reset by PO). 17:53:51 -!- rolebot has joined. 17:53:56 -!- rolebot has quit (Remote host closed the connection). 17:54:16 why rolebot joined #esoteric-en? 17:54:39 what's #esoteric-en? 17:54:58 Ooh. I’m not going to buy the first dev version, but that’s promising for sure. http://www.kickstarter.com/projects/1523379957/oculus-rift-step-into-the-game?ref=butt 17:55:00 it is irc channel 17:56:25 it currently has 2 people, 1 ircbot and my bouncer 17:56:43 do you converse much with each other? 17:57:29 no 17:57:42 well yes but in a query 18:02:58 awesome 18:22:20 -!- zzo38 has joined. 18:25:27 -!- DHeadshot has quit (Ping timeout: 276 seconds). 18:26:33 -!- DHeadshot has joined. 18:27:31 -!- MDoze has changed nick to MDude. 18:28:03 -!- Taneb has quit (Ping timeout: 276 seconds). 18:31:38 -!- Taneb has joined. 18:35:41 -!- asiekierka has joined. 18:36:30 -!- DHeadshot has quit (Ping timeout: 276 seconds). 18:52:27 Taneb: routing guide for trains? 18:52:43 Big document that says which routes are permitted 18:53:02 Say, if I want to get a train to ais523 18:53:16 First of all I'd have to work out what station to go to 18:53:38 But then it gets complicated 18:54:57 -!- cknz has quit (Ping timeout: 272 seconds). 19:04:05 http://packages.debian.org/wheezy/cycle "NOTE: This program is not a reliable contraceptive method. It does neither help to prevent sexual transmision diseases like AIDS." 19:04:05 -!- oerjan has joined. 19:04:23 Taneb: by memorizing this document, can you do hax that the national rail website is unaware of 19:04:44 Yeah, like going to Carlisle from London via Inverness 19:04:49 I think by memorizing that document you become able to ride a train in england 19:05:54 you will also automatically grow sideburns or a monocle 19:07:47 cycle :-D 19:08:01 wat 19:08:52 I think the stacks in Kayak is actually natural numbers isn't it? (Since all stacks must have zeroes at the end) <-- heh i guess 19:09:35 except isn't there a random input one 19:10:47 right the bit bucket 19:12:41 although it may not be _strictly_ against the standard to initialize it to a finite (i.e. zero-terminated) value 19:13:38 in fact it would have to preserve that until the end 19:14:14 those wouldn't be uniformly random, independent bits then, though 19:14:38 but then you will not always have that at the end even if you start with it 19:15:56 Perhaps to have it reversible properly even ignore bit bucket so that there is only the input and output, each of which is a natural number (not a stream of bytes). 19:19:07 zzo38: well yes, afair that was part of the design idea. the bit bucket is ideally only supposed to be used when the whole program does something irreversible. 19:28:21 -!- monqy has joined. 19:28:39 Another reversible esolang Revaver2pi where order of lines is reversed to reverse program and doesn't use a bit bucket. 19:28:51 (Also doesn't have to change brackets [ to ] and so on) 19:31:36 In the esolang Bruijndejx do you think you could encode the */\? commands as a Church encoding or Mogensen-Scott encoding of the datatype? 19:33:09 -!- lexande_ has joined. 19:33:17 And then to make up I/O monad using what I have specified on the Talk page? Perhaps they work with such things as Lazy K as well. 19:33:25 Taneb, does London to Carlisle via Inverness still work? 19:33:34 Probably not 19:33:40 i kind of thought they had amended that one away, though many comparably absurd things remain 19:33:53 also that the written and online versions of the ATOC routeing guide are not identical 19:33:59 I think there's two stations where there's no route between them 19:37:13 Right, Hexham has routeing points Newcastle and Carlisle 19:37:41 Durham has Darlington and Newcastle 19:37:55 That means there's only one valid route from Hexham to Newcastle 19:38:09 Thence Durham 19:39:03 Hmm 19:39:04 -!- pikhq has joined. 19:39:20 Can you give me a station that isn't near Newcastle or Carlisle? 19:41:09 -!- pikhq_ has quit (Ping timeout: 248 seconds). 19:41:11 is Newark sufficiently far? 19:41:19 Yes? I think so? 19:41:54 Taneb: also, then you're in Inverness 19:41:59 is that actually a good place to be 19:42:16 Newark Castle or Newark North Gate? 19:42:27 kmc, I don't think 19:42:49 ... 19:42:56 I had an end to that sentence, I swear 19:43:23 Ask Phantom_Hoover. 19:45:18 Although now I realise isn't that funny after all. <-- the poor bishop didn't think it was funny, for sure 19:50:12 butts 19:51:20 NTSF:SD:SUV S02E01 19:55:54 I think I've been to Inverness once, and not for long. 19:57:34 What was it like? 19:57:52