00:01:56 <nortti_> I never thoughr zzo38 would look like that
00:03:06 <zzo38> The first one appears to be me? OK, if you say so
00:05:24 <zzo38> I think it is really Wikipedia. I also think they are two different files they even have different filenames.
00:06:41 <oerjan> i also hate .m. links.
00:15:01 -!- nooga has quit (Ping timeout: 245 seconds).
00:30:21 -!- zzo38_ has joined.
00:30:43 <zzo38_> I am not currently at home but perhaps you already know that.
00:31:00 -!- zzo38 has quit (Ping timeout: 276 seconds).
00:35:30 -!- zzo38_ has changed nick to zzo38.
00:35:59 <zzo38> zzo38_? I am actually zzo38 isn't it?
00:39:03 <zzo38> 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 <zzo38> 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 <Phantom_Hoover> 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.
02:08:09 <oerjan> that was not to be expected.
02:21:15 <Sgeo> Purple eyes actually exist IRL
02:21:31 <pikhq_> Gregor: What exactly is your eye color?
02:22:03 <pikhq_> No, Gregor's really a consciousness devoid of form.
02:22:18 <Gregor> As I like to say, my eye color is “it's complicated”.
02:22:21 <pikhq_> However, he identifies with a given form, and he sometimes makes it manifest in sRGB form.
02:22:24 <Gregor> One sec, I've got a photo somewhere…
02:22:58 <Gregor> http://www.facebook.com/photo.php?fbid=1452222459639&l=0cd95dac16
02:23:22 <oerjan> pikhq_: so he's also a nyarlathotep then?
02:23:35 <pikhq_> Gregor: Dude, we have similar eyes.
02:24:02 <Gregor> As in, crazy unidentifiable heterochromia?
02:24:17 <Gregor> My eyes look green in photographs, but have no green component!
02:24:43 <oerjan> that looks mostly blue to me
02:24:49 <FreeFull> My eyes look brown in photographs. They also look brown in real life.
02:25:03 <shachaf> FreeFull: Who are you, anyway?
02:25:16 -!- augur has quit (Remote host closed the connection).
02:25:19 <shachaf> You act nothing like elliott, which gives it away.
02:25:31 <pikhq_> elliott is easy to identify.
02:25:34 <oerjan> no you see, that's precisely what elliott would say!
02:25:49 <pikhq_> oerjan: He uses capitalization.
02:26:00 <pikhq_> I am certainly not from the land of six pigs.
02:26:06 <oerjan> pikhq_: a sure mark of evil
02:26:12 <Sgeo> 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 <FreeFull> As much as I've been around dogs, I never got bitten by one
02:27:04 <FreeFull> 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 <ais523> 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 <lambdabot> ais523: You have 1 new message. '/msg lambdabot @messages' to read it.
03:37:55 <ais523> 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 <lambdabot> 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 <ais523> quintopia: whatever made you think of looking in help desk archives from 2007?
03:39:00 -!- augur has joined.
03:39:12 <Sgeo> ais523, I assume that's a joke?
03:39:51 <ais523> Sgeo: the quote is from an official-but-personal Microsoft blog
03:40:27 <Sgeo> Ah. So Windows 8 is a joke.
03:40:32 <ais523> 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 <ais523> 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 <Sgeo> secure boot thing?
04:35:13 -!- TeruFSX has quit (Ping timeout: 268 seconds).
04:35:20 <oerjan> for when you want to be _sure_ you hit what you're kicking
04:54:20 <FreeFull> ais523: I'll stick with linux, thanks
04:56:11 * oerjan vaguely thought SUSE was a linux
04:57:18 <oerjan> oh wait, you were commenting on the windows 8 madness
05:01:42 <FreeFull> 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 <shachaf> kmc: Do you know that the rot13 of anything ending in "chaf" ends in "puns"?
05:46:10 <shachaf> (But I think kmc already knew that.)
05:47:09 <FreeFull> shachaf: Oh wait, I didn't notice your nick is shachaf
05:47:23 <oerjan> wait, does this mean shachaf is my rival or my nemesis
05:48:21 <oerjan> `run echo evinyzrfvf | tr a-z n-za-m
05:48:51 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: rot13: not found
05:49:21 <oerjan> ^rot13 Fungot saves the day!
05:49:52 <pikhq_> ^rot13 Shachaf is funpuns!
05:49:59 <shachaf> `run echo 'tr a-zA-Z n-za-mN-ZA-M' > bin/rot13; chmod +x bin/rot13
05:51:15 <oerjan> `rot13 Once more with feeling
05:51:52 <shachaf> `run echo 'echo "$@" | tr a-zA-Z n-za-mN-ZA-M' > bin/rot13; chmod +x bin/rot13
05:54:19 <zzo38> Did you know that "abjurer" is ROT13 of "nowhere" including both are real words?
05:55:08 <pikhq_> `rot13 Did you know that "abjurer" is ROT13 of "nowhere" including both are real words?
05:55:10 <HackEgo> Qvq lbh xabj gung "nowhere" vf EBG13 bs "abjurer" vapyhqvat obgu ner erny jbeqf?
05:59:48 <oerjan> orphan and becuna, whatever the latter means
06:01:00 <oerjan> ooh that's close to plzen
06:01:37 <oerjan> two places not known for overuse of vowels
06:03:31 <zzo38> 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:06:01 <oerjan> Hexham, der Urkunz der Städte
06:08:07 <oerjan> FreeFull: clearly those are matching rot13's in polish. or something.
06:10:13 <fizzie> It should've put an accented f in the last one, but I'm afraid it's not smart enough.
06:10:32 <zzo38> oerjan: Do you know if this is OK of I/O monad in this esolang?
06:10:34 <oerjan> you do not simply walk into svaaznex
06:11:17 <zzo38> Maybe you should fly into svaaznex instead, then.
06:12:19 <fungot> ,[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+14<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>>+5[<-5>-]<2-[>+<-[>+<-[>+<-[>+<-[>+<-[>+
06:14:58 -!- oerjan has quit (Quit: Tbbq avtug!).
06:21:43 -!- nooga has joined.
06:33:31 <zzo38> 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 <zzo38> 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 <zzo38> 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 <shachaf> 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:48 <shachaf> typedef int x; x foo(x x) { return x; }
09:58:26 <kmc> this does not seem particularly unreasonable
09:58:42 <kmc> types and variables have different namespaces
09:58:48 <kmc> trouble if you do sizeof x though
09:59:04 <kmc> i think this is where sizeof(x) and (sizeof x) can give different results
09:59:28 <shachaf> No, they're not in different namespaces.
09:59:38 -!- Slereah has joined.
09:59:41 <shachaf> The variable x shadows the type x.
10:01:34 <kmc> skype wants me to download their Linux client over http://, and there's no signature on the .deb of course
10:01:47 <kmc> 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 <shachaf> cabal install also goes over http://, right?
10:02:01 <kmc> i feel like someone should write / publish one
10:02:02 -!- mig22_ has joined.
10:02:24 <shachaf> That could be a fun tool to write.
10:02:50 <shachaf> Actually it's probably more of the "fun to have written" variety.
10:03:24 <shachaf> 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 <shachaf> (You could never tamper with both of them, right?)
10:04:03 <kmc> 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 <kmc> there is some value to those .iso.sha1 files though
10:04:34 -!- sivoais_ has joined.
10:04:35 <kmc> if you get the hash from a "primary" server and the iso from a mirror
10:04:46 <kmc> then at least you know the mirror's operators did not tamper with it
10:05:09 <shachaf> Or if you get the sha1 over https, for that matter.
10:05:20 <shachaf> That way the ISO can still be served from a CDN or something like that.
10:05:47 <shachaf> I think getting it to work on "arbitrary" ISO files would be pretty tricky.
10:06:01 <shachaf> Even for very restricted values of "arbitrary".
10:06:45 <olsner> it might be a bit suspicious if downloading the hash file takes about as long time as generating and hashing the compromised iso
10:07:03 <shachaf> You could detect specific files, I guess, and pregenerate them.
10:07:04 <olsner> unless that's sufficiently fast, of course
10:07:22 <kmc> 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 <shachaf> Sometimes I wish I could be the optimal adversary that I always have to assume.
10:07:56 <shachaf> They have such great tools.
10:08:24 -!- rodgort` has joined.
10:08:39 <shachaf> 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 <shachaf> kmc: Where are you these days geographically?
10:09:49 <olsner> hmm, 700MB from /dev/urandom took about one minute to sha1hash for me
10:10:02 <kmc> tools for fools
10:10:13 <olsner> urandom might be the bottleneck though
10:10:42 <kmc> shachaf: I'm in vilnius, lithuania
10:10:49 <kmc> getting on a bus to riga, latvia in a few hours
10:11:04 <shachaf> olsner: It's definitely the bottleneck.
10:11:04 <kmc> from there to tallin by bus and helsinki by motherfucking boat
10:11:11 <kmc> then flying to dublin and then a day later boston
10:11:16 <shachaf> 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 <olsner> shachaf: yeah, /dev/zero was about 20-30x faster
10:12:15 * shachaf went from Turku to Stockholm by boat!
10:13:08 <kmc> how was that?
10:13:39 <olsner> one of those that stops and goes in circles somewhere on the baltic while the tax free shop is open?
10:13:48 <fizzie> Turku, the oklopolian city of Finland.
10:13:54 <shachaf> It was an overnight boat trip.
10:14:03 <shachaf> I don't *think* it went in circles.
10:14:19 <olsner> yeah, they might just turn off the engines instead
10:14:37 <kmc> i took an overnight train the other day
10:14:50 <kmc> used a sleeper car for the first time
10:14:55 <kmc> very pleasant
10:14:56 <shachaf> People who were with me on the boat bought some Finnish (or was it Swedish?) liqueurs.
10:15:12 <shachaf> kmc: I hear Lakka liqueur is very good.
10:15:16 <shachaf> You like that sort of thing, right?
10:15:16 <kmc> well except that we only had 4 hours in the sleeper and then had to change trains in bumblefuck czechia
10:15:32 <kmc> i will try some when i am in finland
10:15:37 <kmc> shachaf: did your boat stop at Åland?
10:15:42 <fizzie> Some of the Tallinn-Helsinki boat trips are pretty fast.
10:15:58 <shachaf> There are also other weird berry liqueurs that I hear are very good.
10:16:36 <shachaf> You should try that kind too.
10:16:49 <kmc> we took a hydrofoil boat in greece
10:16:55 <kmc> that was fuckin fast
10:16:56 <fizzie> I think "both" (Viking, Tallink-Silja) Stockholm/Turku boats stop at Mariehamn at around 4am or so.
10:17:19 <shachaf> fizzie: Is Lakka liqueur good?
10:17:35 <olsner> IIRC, stopping at åland is what allows you to have a tax-free
10:17:42 <kmc> because thee're not in the EU
10:17:45 <fizzie> I think I've tasted one, it was very sweet.
10:17:49 <kmc> my travel agent has just informed me of this fact
10:18:15 <kmc> but you can have bits of countries which are in the EU, where those bits are not in the EU
10:18:15 <olsner> ... 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 <kmc> most of the semi-autonomous ex-colonies have this status
10:19:05 <shachaf> 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 <kmc> and jersey and guernsey
10:21:01 <fizzie> 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 <kmc> hm so maybe Åland is in the EU after all, but has special exemption
10:21:17 <fizzie> And you can only have one in an order.
10:21:18 <kmc> fucking cmplicated
10:21:54 <kmc> gotta go eat lunch
10:21:59 <olsner> "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 <fizzie> Yeah, I've heard it's a bit nontrivial to move there.
10:25:05 <fizzie> 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: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 <Taneb> I now have a copy of the Routeing Guide
15:27:38 <Taneb> It has a page "Routes via Hexham" which otherwise does not mention Hexham
15:27:56 <Taneb> Although it does show the Carlisle -> York via Hexham route
15:28:33 <Taneb> Yes, it's the shortest way between Carlisle and Newcastle
15:28:58 <Taneb> And the biggest place inbetween then except for Prudhoe, which has a toilet roll factory and hence sucks.
15:30:53 <fizzie> I think I've heard of Prudhoe.
15:31:03 <fizzie> Maybe one of you Hexhamites has mentioned it before.
15:31:27 <fizzie> Taneb: You have strong feelings on the subject of Prudhoe?
15:31:33 <Taneb> Can also be pronounced "pruddha"
15:31:47 <Taneb> I know one or two people who live there
15:32:01 <fizzie> Thehird has mentioned it.
15:32:12 <Taneb> `pastelogs prudhoe
15:32:28 <Taneb> Is there any reason for that peculiar euphemism?
15:32:30 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.12886
15:32:45 <fizzie> You've linked to Prudhoe_Castle_2.jpg.
15:33:57 <Taneb> Prudhoe has a castle
15:34:36 <fizzie> There's a place called "Hörhö" in Finland, we drove nearby yesterday, there was a "HÖRHÖ 2 >" road sign.
15:34:43 <fizzie> Some Finns might find that amusing.
15:35:14 <fizzie> Because http://en.wiktionary.org/wiki/h%C3%B6rh%C3%B6
15:35:29 <fizzie> (A backspace/enter confusion up there.)
15:35:38 <Taneb> There's a place in the UK called Bishop's Itchington
15:35:48 <Taneb> Which I found hilarious when I saw the sign
15:35:56 <Taneb> Although now I realise isn't that funny after all.
15:37:05 <fizzie> 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 <fizzie> There's also an Egyptinkorpi, which I think doesn't have anything to do with Egypt.
15:38:39 <Taneb> That sounds like it should mean an Egyptian was buried there
15:39:19 <fizzie> 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 <fizzie> ... backwoods, backwater."
15:39:52 <Taneb> It is far from any dense population in Egypt
15:39:53 <fizzie> Whether it's intentional or not, it is kind of a backwoods place.
15:40:53 <fizzie> Apparently there was still a school there in 1949 with up to 120 students.
15:41:13 <fizzie> It's been mostly abandoned since 1970s, with just a few farms in there now.
15:41:37 <Taneb> You know, Hexham's high school is older than most countries
15:43:21 <fizzie> Many things are older than Finland-the-current-country.
15:44:24 -!- mig22 has quit (Quit: mig22).
15:44:52 <fizzie> (Even some things in Finland.)
15:44:56 <Taneb> You're older than Germany
15:45:34 <Taneb> By some counts, YOU may be older than Germany
15:45:37 <Taneb> I'm not, though :(
15:51:55 <fizzie> I think I was about seven and a half years when Germany.
15:53:38 <Taneb> Unification was... '89?
15:54:19 <fizzie> 3 October 1990, says Wikipedia's main Germany article for the reuinification.
15:54:31 <Taneb> Of course, none of the individual buildings of my school are that old
15:54:37 <Taneb> The oldest is from the 1800's
15:54:40 <olsner> so that puts me at 4 years older than Germany
15:54:44 <Taneb> Not 1599 when the school was founded
15:55:31 <fizzie> (The wall-breaking's from '89.)
15:55:46 <Taneb> I always think unification's first :(
16:14:56 -!- ogrom has joined.
16:19:42 <olsner> oh, bilbo appears in chariots of fire
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 <nortti> why rolebot joined #esoteric-en?
17:54:58 <ion> 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:56:25 <nortti> it currently has 2 people, 1 ircbot and my bouncer
17:56:43 <olsner> do you converse much with each other?
17:57:42 <nortti> well yes but in a query
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 <kmc> Taneb: routing guide for trains?
18:52:43 <Taneb> Big document that says which routes are permitted
18:53:02 <Taneb> Say, if I want to get a train to ais523
18:53:16 <Taneb> First of all I'd have to work out what station to go to
18:53:38 <Taneb> But then it gets complicated
18:54:57 -!- cknz has quit (Ping timeout: 272 seconds).
19:04:05 <kmc> 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 <kmc> Taneb: by memorizing this document, can you do hax that the national rail website is unaware of
19:04:44 <Taneb> Yeah, like going to Carlisle from London via Inverness
19:04:49 <olsner> I think by memorizing that document you become able to ride a train in england
19:05:54 <oerjan> you will also automatically grow sideburns or a monocle
19:08:52 <oerjan> <zzo38> 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 <oerjan> except isn't there a random input one
19:12:41 <oerjan> although it may not be _strictly_ against the standard to initialize it to a finite (i.e. zero-terminated) value
19:13:38 <oerjan> in fact it would have to preserve that until the end
19:14:14 <oerjan> those wouldn't be uniformly random, independent bits then, though
19:14:38 <oerjan> but then you will not always have that at the end even if you start with it
19:15:56 <zzo38> 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 <oerjan> 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 <zzo38> Another reversible esolang Revaver2pi where order of lines is reversed to reverse program and doesn't use a bit bucket.
19:28:51 <zzo38> (Also doesn't have to change brackets [ to ] and so on)
19:31:36 <zzo38> 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 <zzo38> 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 <lexande_> Taneb, does London to Carlisle via Inverness still work?
19:33:40 <lexande_> i kind of thought they had amended that one away, though many comparably absurd things remain
19:33:53 <lexande_> also that the written and online versions of the ATOC routeing guide are not identical
19:33:59 <Taneb> I think there's two stations where there's no route between them
19:37:13 <Taneb> Right, Hexham has routeing points Newcastle and Carlisle
19:37:41 <Taneb> Durham has Darlington and Newcastle
19:37:55 <Taneb> That means there's only one valid route from Hexham to Newcastle
19:39:04 -!- pikhq has joined.
19:39:20 <Taneb> 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 <olsner> is Newark sufficiently far?
19:41:54 <kmc> Taneb: also, then you're in Inverness
19:41:59 <kmc> is that actually a good place to be
19:42:16 <Taneb> Newark Castle or Newark North Gate?
19:42:27 <Taneb> kmc, I don't think
19:42:56 <Taneb> I had an end to that sentence, I swear
19:43:23 <Taneb> Ask Phantom_Hoover.
19:45:18 <oerjan> <Taneb> Although now I realise isn't that funny after all. <-- the poor bishop didn't think it was funny, for sure
19:51:20 <ion> NTSF:SD:SUV S02E01
19:55:54 <Phantom_Hoover> I think I've been to Inverness once, and not for long.
19:57:52 <olsner> hmm, googling for inverness does not give me a list of limericks
20:00:09 <oerjan> there was an old lady from inverness / whose limericks were always a horrible mess / while they did rhyme / the meter wasn't so sublime / and the last line didn't.
20:02:41 <olsner> apparently I live in a city about twice as big as inverness
20:07:15 <Taneb> olsner, it's north Scotland. Nobody lives in north Scotland.
20:09:27 -!- x2a has joined.
20:09:35 <pikhq> Everyone knows Scotland is a made-up place.
20:09:43 <pikhq> It's like British Disneyland.
20:09:55 <Taneb> It's about an hour's drive away from here and Phantom_Hoover lives there
20:09:59 <pikhq> Where you get to see the funny men with made-up accents and funny skirts-but-they're-not-skirts.
20:10:12 <pikhq> Taneb: Clearly he works there.
20:10:53 <Phantom_Hoover> Nah, they fired be because I can't do the accent any more.
20:11:14 <pikhq> Just a silly tourist then.
20:13:13 <Taneb> Wasn't the most used Haskell compiler created in Scotland?
20:15:05 -!- MDude has quit (Quit: later chat).
20:15:12 <Phantom_Hoover> Yeah, but there wasn't much demand for it at the gift shop.
20:16:03 -!- x2a has left.
20:20:26 -!- MoALTz has quit (Quit: Leaving).
20:23:29 -!- asiekierka has quit (Remote host closed the connection).
20:27:40 <pikhq> Taneb: Well, yes. Scotland is a very *good* mythical place.
20:27:56 <pikhq> They went so far as to add some universities, so it looks like a real country.
20:29:52 <oerjan> yeah like Hogwarts and the like
20:34:12 <olsner> arguably the largest scottish theme park in the world
20:34:40 <Taneb> There's a bigger one in Florida, isn't there?
20:37:26 <olsner> maybe, not sure which one is the bigger, hence the arguability
20:45:09 <Taneb> Is it bad that without the Murderous Maths books, my life would be completely different?
20:46:50 <Taneb> I would have never found Irregular Webcomic, and hence esoteric programming languages, and hence here
20:47:19 <Taneb> Without IWC, I would have never found TVTropes, and hence Homestuck (would have maybe found Homestuck later, actually...)
20:48:19 -!- dretch has joined.
20:48:59 <Taneb> So I wouldn't have made friends with many brilliant people in the world of esoteric programming and in the Homestuck fandom
20:49:15 <Taneb> I would have never found Minecraft (from Homestuck, oddly) or Dwarf Fortress
20:49:25 <Taneb> May have found Minecraft later
20:49:49 <Taneb> I would have been slightly worse at maths, too
20:50:09 <Taneb> Look at the nail of this alternate universe
20:50:15 <Taneb> "Without the Murderous Maths books"
20:51:09 <Taneb> Gave me an intuition about complex numbers when I was 12
20:51:26 <olsner> #esoteric and tvtropes are easy enough to find without either of murderous maths or irregular webcomic
20:51:27 <dretch> Nothing gave you an "intuition" when you were 12
20:51:29 <dretch> you developed it. newb
20:52:10 <Taneb> olsner, not if I hadn't gained an interest in esoteric programming, which I got from David Morgan-Mar, whom I first encountered on irregularwebcomic.net
20:52:42 <Taneb> dretch, without the Murderous Maths books, I would have first encountered them 4 or 5 years later, and probably had more difficulty understanding them
20:53:09 <olsner> Taneb: I came here before having any interest in esoteric programming beyond having heard of brainfuck
20:53:09 <Taneb> Intuitions are often developed with a guiding hand
20:53:09 <oerjan> Taneb: you could have gone homestuck -> tvtropes -> iwc, perhaps?
20:53:21 <Taneb> oerjan, probably not
20:53:55 <Taneb> I could have theoretically gone Real life -> TVTropes -> IWC
20:54:04 <olsner> then I came here again a few years later when I was ready to develop an interest
20:54:15 <Taneb> olsner, why would I have heard of brainfuck? I was barely interested in programming
20:54:30 <Taneb> I'd be trying to learn C++, and failing miserably, probably switching to PHP
20:54:38 <Taneb> I'm really glad about the Murderous Maths books
20:55:16 <Taneb> (yeah, that's "barely interested in programming")
20:55:25 <Taneb> (or maybe to possible eventualities)
20:56:25 <Taneb> Point is, most of my interests stem from the Murderous Maths books
20:56:42 <zzo38> PHP is actually pretty bad, although it can work.
20:57:59 <zzo38> I like mathematics
20:58:26 <Taneb> It's always been my subject
20:58:43 -!- ogrom has quit (Quit: Left).
21:05:36 -!- aloril has quit (Read error: Operation timed out).
21:08:08 <zzo38> If types can have the same name as variables in C, then wouldn't that cause ambiguous codes sometimes?
21:09:48 <olsner> at least I think so, but maybe it's unambiguous in C based on knowing what names are types
21:11:06 <olsner> in C++, there's a rule that says something like if a declaration could be both a function or a variable, it'll be one of them
21:11:40 <zzo38> No, it is not always known what names are types such as a statement x*y; how can you know if it is x times y or the type of y declared as pointer to x, and in an expression ((x)*y) is it casting (*y) to x or multiplying x by y?
21:12:17 <olsner> you know based on the code you've seen whether or not x is declared as a type already
21:13:25 <zzo38> But someone posted some example of a C code that they say GCC compiles it that x is used as both type and variable name
21:15:11 <FreeFull> zzo38: Aren't declarations always on the left side and statements always on the right
21:15:13 <zzo38> This was something someone posted, yes they used it at same time they had a declaration x x;
21:15:29 <pikhq> Yup, they are in fact seperate namespaces.
21:15:39 <pikhq> And I don't know the disambiguation rules.
21:16:10 <fizzie> fungot: I think you might be dead now. Are you?
21:16:11 <fungot> fizzie: i did not like to go,' he went on with his work, singing softly to himself, but in vain, until that interesting youth had left the room with a sigh.
21:16:29 <fizzie> fungot: I switched your IP address and all. How are you not dead?
21:16:31 <fungot> fizzie: they take me a walk: though tired and stiff, to climb the heights i madly fnord and, by the time they're ready!' she remarked, as alice sat with the knife in her hand a bouquet rather larger than a fnord she knelt down and looked along the passage into the loveliest garden you ever saw anybody! you keep your head under the leaves, and gave it a severe pinch.
21:16:37 <FreeFull> I mean, something like x = float y; doesn't make sense
21:16:52 <olsner> after #define float it does
21:16:53 <FreeFull> Unless you put the float in ()
21:17:03 -!- epicmonkey has quit (Ping timeout: 276 seconds).
21:19:40 -!- aloril has joined.
21:22:05 -!- DHeadshot has joined.
21:22:54 -!- david_werecat has quit (Ping timeout: 252 seconds).
21:34:16 -!- Taneb has quit (Ping timeout: 252 seconds).
21:36:53 <olsner> looks related: http://eli.thegreenplace.net/2011/05/02/the-context-sensitivity-of-c’s-grammar-revisited/
21:37:15 <olsner> (part 1: http://eli.thegreenplace.net/2007/11/24/the-context-sensitivity-of-cs-grammar/)
21:37:41 <olsner> typedef char AA; int aa = sizeof(AA), AA, bb = sizeof(AA);
21:40:21 -!- Taneb has joined.
21:44:04 <zzo38> Yes that is the other thing of ambiguous
21:45:04 <olsner> those examples are not ambiguous though, just context sensitive
21:45:13 <oerjan> <zzo38> This was something someone posted, yes they used it at same time they had a declaration x x; <-- i think that is different because the second x is creating a new scope, so it doesn't matter if they are the same namespace
21:45:39 <oerjan> > let f f = 2*f in f 2 -- haskell example iirc
21:45:52 <oerjan> (well somewhat similar)
21:46:49 <Taneb> > let f f = 2 * f :: Num f => f -> f in f 2
21:46:50 <lambdabot> Inferred type is less polymorphic than expected
21:46:56 <Taneb> > let f f = 2 * f :: Num f => f -> f in f 2 :: Int
21:46:57 <lambdabot> Inferred type is less polymorphic than expected
21:47:56 <olsner> I think you're getting (2 * f :: ...)
21:47:56 <oerjan> Taneb: you cannot generally put a type annotation with free type variables on an expression and expect it to extend to the whole declaration
21:48:16 <Taneb> > let f f = " * f; f :: Num f => f -> f in f 2
21:48:18 <lambdabot> lexical error in string/character literal at end o...
21:48:25 <Taneb> > let f f = 2 * f; f :: Num f => f -> f in f 2
21:54:47 -!- Vorpal has quit (Ping timeout: 250 seconds).
22:02:15 <fizzie> oerjan: Regarding your scope theory, indeed, within a block it's illegal to say { typedef int x; int x; } -- "error: ‘x’ redeclared as different kind of symbol".
22:02:31 <fizzie> (Much like what you get for "int x; int x;".)
22:28:33 -!- lexande_ has quit (Ping timeout: 244 seconds).
22:31:48 -!- DHeadshot has quit (Ping timeout: 276 seconds).
22:45:07 -!- kmc has quit (Ping timeout: 240 seconds).
22:47:07 -!- kmc has joined.
22:50:46 -!- Sgeo has quit (Read error: Connection reset by peer).
22:52:29 -!- Sgeo has joined.
22:52:38 -!- dretch has quit (Quit: dretch).
22:56:43 -!- kmc has quit (Ping timeout: 256 seconds).
23:08:47 -!- kmc has joined.
23:14:48 <ion> Is the first line related to the second one?
23:19:12 -!- Sgeo_ has joined.
23:19:23 -!- kmc_ has joined.
23:19:34 -!- Sgeo_ has quit (Read error: Connection reset by peer).
23:20:00 -!- nortti_ has joined.
23:20:00 -!- nortti_ has quit (Client Quit).
23:20:22 <quintopia> @tell ais523 I needed to know the "official" way of making colored text on mediawiki for Talk:BF_Joust_Strategies
23:20:24 -!- kmc has quit (Ping timeout: 260 seconds).
23:25:58 <Sgeo> https://petitions.whitehouse.gov/robots.txt
23:26:14 <Sgeo> I don't get it. They disallow / then proceed to bother to disallow other stuff?
23:27:14 <pikhq> I suspect what happened is they got a demo robots.txt with their CMS and they just uncommented all the lines in it.
23:27:31 <zzo38> Yes, maybe that is it.
23:27:52 <zzo38> They set the crawl delay too, even though it is disallowed.
23:28:15 <Sgeo> Anyways, due to that robots.txt, I can't access old copies of the petition that people are upset about
23:28:21 <Sgeo> I just want to see the timestamp
23:30:33 <Phantom_Hoover> (That was one of our more successful products at the gift shop.)
23:33:58 -!- david_werecat has joined.
23:36:51 <oerjan> it's was rebackronymed of course, the original name was Glasgow Traffic Academy
23:37:34 <Sgeo> I should continue playing Brogue
23:40:49 <Taneb> Is that an outrageously cool rogue-like?
23:42:54 <Taneb> Either way, I'm going to get some sleep now
23:42:56 -!- Taneb has quit (Quit: Leaving).
23:48:11 <quintopia> david_werecat: your program doesn't run in wine i think?
23:48:18 <Sgeo> I officially hate Pink Jellies
23:48:40 <david_werecat> quintopia: I'm not sure if it does or not, I didn't test it.
23:49:42 <quintopia> install the windows version of Mono
23:52:16 -!- david_werecat has quit (Read error: Connection reset by peer).
23:53:05 -!- david_werecat has joined.
23:58:22 <david_werecat> The .Net 2.0 version is here: http://www.mediafire.com/?ryfwvqh47gdwfb7
23:58:49 <david_werecat> If it still doesn't work, it's because it uses a webbrowser control to preview the wikicode.