00:01:30 <lexande> so http://governmentdownforeveryoneorjustme.com/ reports the US and Syria as down
00:01:33 <lexande> but such places as Somalia and Afghanistan and Congo-Kinshasa and Afghanistan as up
00:02:20 <Bike> is afghanistan down? (twice?)
00:02:40 <kmc> where does it say about Syria
00:02:42 <kmc> is it geolocated?
00:02:56 <Bike> also somaliland is fairly stable, i even know a person living there in another irc channel
00:03:04 <lexande> var down = ["United States", "Syrian Arab Republic"]
00:03:22 <lexande> yeah somaliland is as fine as can be expected
00:03:25 <Bike> also the syrian government is still, i mean, functioning
00:03:31 <oerjan> how can congo-kinshasa be down we norwegians were just trying to negotiate with them
00:03:43 <Bike> they just had a coup a few months ago.
00:03:46 <lexande> i mean US diplomacy goes on too
00:03:56 <kmc> "as fine as can be expected" should be their tourism motto
00:04:37 <lexande> the Syrian government is significantly less functional than the US government at this point
00:05:04 <Bike> did you hear, assad said he's not sure whether he'll run for election next year, he'll only do it if the syrian people really want
00:06:23 <Bike> oh bother, i was thinking of the central african republic, not the congo
00:06:34 <kmc> "the people who are not shooting at me want me to run"
00:06:52 <oerjan> kmc: preferably as fast as he can
00:06:53 <lexande> whether centrafrique is down is also open to question
00:07:03 <lexande> it's in a sort of "responds to ping but slow as balls" state
00:07:13 <Bike> hey nice, the CAR's timezone is called WAT
00:07:16 <elliott> Bike: "I'll only let the people decide if they want me if they decide they want me"
00:07:29 <Bike> i'm paraphrasing ok :(
00:07:58 <Bike> http://www.cbsnews.com/8301-202_162-57606012/syria-president-bashar-assad-says-too-early-to-say-whether-hell-seek-re-election-next-year/
00:08:51 <kmc> that really sounds like an onion headline
00:09:07 <Bike> that's the exact reaction i've seen in the three places i've seen a link.
00:10:08 <Fiora> it seems like a nasty rhetorical trick to say "I'll only run if people want me" because you're implying that "if I run, people want me, you wouldn't want to vote against the people now would you"
00:10:42 <elliott> what if we had some kind of system where you could "vote" for the person you want
00:10:53 <elliott> and then people could run regardless if anyone wants them or not, and the "votes" of the "people" would decide "who the people want"
00:10:56 <Bike> i don't think it's really a problem, because when people say that they're usually already in kill-the-people 99%-election-results mode
00:11:00 <elliott> pretty innovative if you ask me!
00:11:08 <Bike> so i mean, what's a rhetorical triq or two
00:12:03 <Sgeo> Am I allowed to be a bit bothered at the idea of a Lisp having 'calling conventions' for Lisp functions, that can end up exposed to the user?
00:12:17 <Bike> what's bothering
00:12:29 <Bike> Also, what does that have to do with Syria
00:12:40 <Sgeo> The way Racket does function calls that have keywords
00:12:46 <Bike> lies acceptable for this question
00:12:59 <Sgeo> They expand into a call to the function with the list of keywords and keyword values as first two arguments
00:13:07 <Sgeo> It's a calling convention, of sorts, isn't it?
00:13:33 <Bike> isn't having keywords at all a calling convention
00:13:37 <Bike> or not having them, for that matter
00:16:12 -!- Zuu__ has changed nick to Zuu.
00:16:27 -!- Zuu has quit (Changing host).
00:16:27 -!- Zuu has joined.
00:50:32 -!- JWinslow23 has joined.
00:51:42 <Bike> do you require medical assistance
00:52:21 <lexande> at least, i don't think so
01:02:56 <kmc> odds are high
01:07:38 -!- JWinslow23 has quit (Quit: Page closed).
01:13:10 -!- tswett has joined.
01:13:20 <tswett> Hey guys, you know this? https://github.com/isomorphism/Delineate/blob/master/Control/Delineate.hs
01:13:38 <tswett> Of course you do. Everyone in this channel has now heard of that file dozens of times.
01:14:03 <tswett> Turns out that yeah, it's wrong. It allows you to derive "f ⊢ Unit" for all f, which you can't do in linear logic.
01:14:34 <tswett> Because "f ⊢ Unit" amounts to "forall r. (Unit r -> r) -> f r -> r", and "Unit r" is a unit type.
01:15:50 <tswett> Hetch, the module itself contains something which you can't do in LL.
01:16:03 <tswett> Nope, I was reading that wrong.
01:16:18 <tswett> It says "weakdist :: x ⊗ (y ⅋ z) ⊢ (x ⊗ y) ⅋ z", which I was reading as "weakdist :: x ⊗ (y & z) ⊢ (x ⊗ y) & z".
01:16:50 <oerjan> i imagine this would be much clearer without those white squares in it.
01:17:17 <tswett> White squares like ⊢, ⊗, and ⅋?
01:17:31 <tswett> All right, gimme a moment.
01:17:49 <tswett> It says "weakdist :: x (y z) (x y) z", which I was reading as "weakdist :: x (y z) (x y) z".
01:18:57 <oerjan> also, i could see & just fine.
01:19:59 <tswett> It says "weakdist :: x (y z) (x y) z", which I was reading as "weakdist :: x (y & z) (x y) & z".
01:20:47 <tswett> How's this look: 私のボオルは青いです
01:21:21 <oerjan> it looks like 私のボオルは青いです
01:22:11 <ion> So, what *is* ⅋?
01:22:35 <oerjan> it's par for the course
01:22:35 <tswett> Whoops, I spelled ボール wrong.
01:23:09 <kmc> "js.js is a JavaScript interpreter in JavaScript. Instead of trying to create an interpreter from scratch, SpiderMonkey is compiled into LLVM and then emscripten translates the output into JavaScript."
01:23:25 <tswett> ion: a process obeying the protocol "a ⅋ b" is a process that simultaneously obeys "a" and "b", switching between them as it desires. Pretty much.
01:24:17 <Lymia> Is that, uh, Haskell?
01:24:22 <tswett> Lymia: no, it's linear logic.
01:24:29 <kmc> no it's sparta
01:24:33 <tswett> There's a little rough spot there, though.
01:25:09 <Lymia> weakdist appears to be of kind (* -> *) -> ((* -> *) -> * -> *) -> * -> *
01:25:52 <tswett> If flow enters an "a ⅋ b" through the "a" side of it, then flow can't exit through the "b" side, because "b" hasn't been entered yet; flow can only exit through a protocol that it's entered.
01:26:37 <tswett> At least, in theory, that's how it *would* behave, if things were as simple as "a process that ... as it desires".
01:29:16 <tswett> So here's the more complicated and more correct point of view: a process obeying the protocol "a ⅋ b" is a protocol that will obey "a" and is in the midst of obeying "b", or vice versa, and can switch between which one it's in the midst of obeying at will.
01:29:20 <tswett> This doesn't make any sense, does it.
01:29:28 <tswett> Lemme give an example.
01:30:46 <tswett> So, uh, let's say that a VM3-Coke is a vending machine that has the property that when you push its button, it dispenses a Coke, but only the first three times you push it. Likewise with a VM3-Pepsi.
01:31:49 <tswett> A "VM3-Coke ⅋ VM3-Pepsi" is a machine that's a combination of a VM3-Coke, and a VM3-Pepsi-whose-button-has-already-been-pushed-but-which-has-not-yet-dispensed-a-Pepsi. Or the same but with Coke and Pepsi swapped.
01:32:33 <tswett> So, let's suppose the Pepsi button is the one that's already been pushed. The combination machine isn't going to dispense anything until you push the Coke button. When you do, it could dispense either a Coke or a Pepsi, as it desires.
01:33:35 <tswett> Let's suppose that it chooses to dispense a Pepsi. Now it's a VM3-Coke combined with a VM2-Pepsi, such that the Coke button has already been pushed. Now it's not going to do anything until you push the Pepsi button.
01:34:03 <myname> welcome to #esoteric, where theoretical computer science is explained using everyday stuff
01:40:07 <Bike> this doesn't seem like a very good vending machine.
01:42:09 <Bike> i mean, i don't use soda machines, maybe i'm naïve here
01:53:17 -!- mnoqy has quit (Quit: hello).
02:28:53 <Sgeo> Is there any language that I have become interested in that didn't have at least one non-me person in here interested in it as well?
02:33:25 <Sgeo> Hmm, probably. Although someone here could be interested and just not in the chat, because it's non-IRC
02:33:29 <Sgeo> (Stackoverflow Chat)
03:29:58 -!- tswett has quit (Quit: Page closed).
03:36:08 -!- shikhin_ has quit (Ping timeout: 240 seconds).
03:36:32 <shachaf> lexande: what brings you back here
03:37:49 <shachaf> well, i guess i can preänswer a question like that as far as lexande goes
03:41:40 <lexande> shachaf: people need a place to go?
03:42:05 -!- Sprocklem has quit (Ping timeout: 245 seconds).
03:42:22 <shachaf> Oh, it's about that, isn't it.
03:43:04 <Bike> is this gossip
03:43:19 <lexande> i'm not aware of any gossip
03:43:31 <lexande> and i'm not sure what preänswer shachaf was alluding too
03:44:21 <Bike> the "that" is gossip i'm thinking
03:44:42 -!- Sprocklem has joined.
03:44:48 <lexande> the fact that people need a place to go is gossip?
03:45:03 <Bike> no, the thing shachaf said is! possibly.
03:45:56 <Fiora> I don't know anything except vague rumors of things involving kmc and lexande and alice and other people
03:47:21 <Fiora> um... third hand or something <.<
03:51:54 <Bike> what is truly important in this life.
04:06:34 -!- conehead has joined.
04:33:04 -!- conehead has quit (Ping timeout: 248 seconds).
04:38:03 -!- asie has joined.
04:47:02 -!- Sprocklem has quit (Ping timeout: 264 seconds).
05:16:32 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...).
05:17:05 -!- asie has joined.
05:21:36 -!- asie has quit (Ping timeout: 248 seconds).
06:13:04 -!- mnoqy has joined.
06:19:33 -!- oerjan has quit (Quit: leaving).
06:28:31 -!- S1 has joined.
06:31:18 -!- FreeFull has quit (Quit: I will be back, back in byellow).
06:42:38 <kmc> i've never met alice
06:42:54 <S1> Who's that?
06:43:01 <kmc> don't worry about it.
06:43:08 <kmc> there was a convo going on before you arrived
06:43:23 <S1> I thought so. I'll look it up in the log
06:44:18 -!- nisstyre has quit (Read error: Connection timed out).
06:47:00 -!- nisstyre has joined.
06:53:13 -!- impomatic has quit (Quit: impomatic).
06:55:07 <lexande> kmc: maybe you should come to NYC sometime
06:57:23 <kmc> I think I have lower affinity for aeroplanes than I used to :/
06:57:29 <kmc> but still, yes
06:58:02 <shachaf> you could take the TRAAAAAIN
07:04:45 <kmc> I could Work From Train though
07:05:06 <lexande> dunno how the 4G coverage is along that route
07:05:51 <kmc> i have fewer Gs than that anyway
07:05:58 <kmc> though I should fix that before such a trip
07:08:33 -!- oklofok has joined.
07:10:41 -!- ^v has quit (Quit: Leaving).
07:13:12 -!- ineiros has joined.
07:13:18 <lexande> i thought you had a sprint LTE thing
07:14:00 <shachaf> doesn't your cellular phone have that many Gs just in its name
07:16:09 -!- Tod-Autojoined has quit (Read error: Connection reset by peer).
07:16:23 -!- Tod-Autojoined has joined.
07:16:39 -!- Vorpal_ has joined.
07:17:21 <kmc> yes it's the EVO 4G but in this case 4G = WiMAX = sucks
07:17:50 -!- oklopol has quit (*.net *.split).
07:17:50 -!- ineiros_ has quit (*.net *.split).
07:17:50 -!- Vorpal has quit (*.net *.split).
07:22:57 -!- S1 has quit (Quit: Page closed).
07:23:52 <shachaf> how does it compare to HSPA+
07:24:20 <kmc> i don't know about... phones, and stuff
07:26:14 <fizzie> I was under the impression that HSPA+ was just 3.75G.
07:27:10 <shachaf> you can round that up to 4G
07:27:16 <shachaf> you can also round 3G to 4G
07:29:04 <olsner> hmm, some guy on the osdev forums seems to consistently use "winchester" as the word for hard drive
07:29:13 <kmc> haha that's oldschool
07:31:41 <olsner> "The IBM 3340 Direct Access Storage Facility, code-named Winchester, was introduced in March 1973 for use with IBM System/370."
07:32:22 <kmc> i thought it was supposed to be something about them being as loud as a Winchester rifle
07:33:27 <olsner> apparently because it was 30+30MB and .30-30 is a rifle model
07:42:55 <kmc> what is meant by "30+30MB"
07:43:21 <olsner> two disk packs of 30 MB that could be swapped, or something
07:44:37 <fizzie> There was also a 3.9G something.
07:44:42 <kmc> "an access time of 25 milliseconds"
07:45:11 <kmc> amusingly that number has barely improved in 40 years, if you exclude SSDs
07:46:20 <fizzie> (For Western Digital, even though presumably most of the disks so called haven't even seen one.)
07:47:25 <fizzie> "The name 'Winchester' and some derivatives are still common in some non-English speaking countries to generally refer to any hard disks (e.g. Hungary, Russia)," claims Wikipedia.
07:48:24 <kmc> "A merevlemez (az egykori angol elnevezés alapján winchester-nek is), mely az adatokat mágnesezhető réteggel bevont lemezeken tárolja, melyet a forgó lemez fölött mozgó író/olvasó fej ír vagy olvas."
07:58:00 <olsner> cray x-mp came with an (optional) 1GB/s SSD (the way I read it, 2GB/s if you use both I/O channels)
07:58:10 <olsner> ... holds up surprisingly well compared to modern SSDs (though of course that SSD's probably the size of a room, the prize of a bus and only 1GB big)
07:58:45 <Deewiant> fizzie: I've heard 'winsu' once or twice but I guess the heretical 'kovo' is the Standard™ nowadays.
08:00:03 <kmc> which language?
08:17:34 <kmc> it's weird to think that such a ubiquitous word as "software" was a kind of punny coinage 50 years ago
08:18:09 <fizzie> Deewiant: I don't think I've heard "winsu" ever. ("kovo", yes.)
08:19:16 <fizzie> Some have strong opinions on how the latter should not be used for anything else than the building material.
09:10:46 -!- carado has joined.
09:32:13 -!- Bike has quit (Quit: Lost terminal).
10:25:00 -!- carado has quit (Ping timeout: 245 seconds).
10:56:15 -!- carado has joined.
11:12:53 -!- carado_ has joined.
11:14:40 -!- carado has quit (Ping timeout: 248 seconds).
11:35:00 -!- Zerker has joined.
11:37:32 -!- Sgeo has quit (Read error: Connection reset by peer).
11:48:39 -!- Zerker has quit (Ping timeout: 260 seconds).
11:48:44 -!- Zerker_ has joined.
11:51:23 -!- carado_ has quit (Remote host closed the connection).
11:57:26 -!- carado has joined.
12:02:21 -!- trout has quit (Max SendQ exceeded).
12:08:44 -!- Zerker_ has quit (Remote host closed the connection).
12:10:48 -!- carado has quit (Ping timeout: 268 seconds).
12:11:36 -!- Taneb has joined.
12:14:39 -!- boily has joined.
12:15:15 -!- Zerker has joined.
12:17:26 -!- boily has quit (Client Quit).
12:18:40 -!- Zerker has quit (Remote host closed the connection).
12:19:01 -!- Zerker has joined.
12:21:36 -!- carado has joined.
12:27:26 -!- boily has joined.
12:29:20 -!- metasepia has joined.
13:00:03 -!- Zerker has quit (Quit: Colloquy for iPad - Timeout (10 minutes)).
13:05:51 <boily> fizzie: people use it?
13:07:36 <boily> (besides, the main dev seems to be one hell of a grumpy person.)
13:08:46 -!- Bike has joined.
13:10:18 <fizzie> I wasn't implying that.
13:11:19 -!- asie has joined.
13:11:30 -!- Taneb has quit (Quit: Leaving).
13:11:31 -!- variable has joined.
13:17:01 -!- yorick has joined.
13:23:27 -!- carado has quit (Ping timeout: 260 seconds).
13:26:59 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...).
13:28:31 -!- carado has joined.
13:30:05 -!- carado has quit (Client Quit).
13:47:15 -!- Zerker has joined.
14:10:01 -!- Zerker has quit (Quit: Colloquy for iPad - Timeout (10 minutes)).
14:16:48 -!- Lymia has quit (Ping timeout: 240 seconds).
14:16:50 -!- AnotherTest has joined.
14:21:24 -!- conehead has joined.
14:27:16 -!- asie has joined.
14:34:42 -!- mary3 has joined.
14:34:56 -!- mary3 has quit (Quit: Leaving.).
14:38:59 -!- FreeFull has joined.
14:46:52 -!- ais523 has joined.
15:02:05 -!- Vorpal_ has changed nick to Vorpal.
15:08:35 -!- JWinslow23 has joined.
15:13:47 <HackEgo> JWinslow23 is a Wisconsinite who doesn't give a BF.
15:14:11 <JWinslow23> I will soon make a truth machine in TicTacToe!
15:33:43 -!- JWinslow23 has quit (Quit: Page closed).
15:36:22 -!- MindlessDrone has joined.
15:42:03 -!- Lymia has joined.
15:42:04 -!- Lymia has quit (Changing host).
15:42:04 -!- Lymia has joined.
15:42:10 -!- Lymia has quit (Remote host closed the connection).
15:44:58 <Bike> @tell lexande http://www.youtube.com/watch?v=-yFhR1fKWG0
15:48:35 <Bike> what inspires me is teaching JavaScript to African refugees
15:50:14 <lexande> my sister was talking about that recently
15:50:37 <ion> He has some other great stuff as well.
15:51:08 -!- augur has quit (Remote host closed the connection).
16:07:08 <mnoqy> http://safr.kingfeatures.com/idn/etv/zone/xml/content.php?file=aHR0cDovL3NhZnIua2luZ2ZlYXR1cmVzLmNvbS9CbG9uZGllLzIwMTMvMTAvQmxvbmRpZS4yMDEzMTAwM185MDAuZ2lm hm
16:07:54 <Bike> I don't know how to make it giant.
16:11:19 <Bike> have you ever had sea cheesy baked potatoes
16:11:19 -!- mnoqy has quit (Quit: hello).
16:19:30 <Bike> nice, the guy after him completely seriously said that "history shows that the countries that explore have the highest standard of living"
16:22:00 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...).
16:28:49 -!- shikhin has joined.
16:29:34 -!- augur has joined.
16:42:16 -!- asie has joined.
16:47:37 <asie> somehow by only being on this channel once a year
16:47:39 <asie> i got into the pdf
16:47:40 <asie> <asiekierka> GCC: -Os -O2 -O3 gives a 4x improvment
16:47:45 <asie> hahaha i was like, 10 then
16:49:13 <boily> back from lunch, and the shanty wasn't half bad.
16:50:02 <Bike> `pastelogs addquote.*asie
16:50:51 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.9344
16:51:19 <Bike> asie: are you twelve
16:51:29 <asie> i was actually 14
16:51:59 <Bike> `run dc -e '[a=]P?[b=]P?[dSarLa%d0<a]dsax+[GCD:]Pp'
16:53:01 <Bike> asie: i can't keep track of everyone's ages. i just assume everyone is a lot older than elliott, until i run into other evidence. usually a while after i find the evidence too though.
16:54:30 <boily> asie: I had much fun creating the pdf.
16:54:53 <boily> elliott: are you a lot younger than I?
17:08:37 <ais523> I think there's plenty of evidence that elliott is exactly the same age as elliott
17:08:44 <ais523> rather than being a lot older
17:09:05 <ais523> laws of maths, I guess
17:09:20 <Bike> That's deduction, not induction from experimental evidence.
17:09:24 <Bike> I'm afraid I'm not convinced.
17:10:07 <boily> the concerned subject isn't very responsive.
17:10:38 <lexande> there's a huge amount of evidence for the reflexive property of equality / the antireflexive property of "older than"
17:10:56 <lexande> 've met loads of people and not one of them was a lot older than themselves
17:11:12 <boily> fungot: are you antireflective?
17:11:12 <fungot> boily: extend a protective arm/ symbian/ series60. :p diamondie well, isn't that enough? ummm......what were we talking about again? huh....really?
17:11:14 <Bike> You shouldn't generalize from people you've met to people I've met.
17:11:33 <kmc> @tell JWinslow23 you should contribute your truth machine to https://github.com/ticklemynausea/gobsprogram
17:11:42 <Bike> I mean you live in like, Texas, right? Total other side of the world. Things are different here.
17:11:54 <boily> lexande: what kind of people do you meet? are met people human? do you like roast beef? what are your approximate coördinates and body weigh?
17:13:40 -!- shikhin has changed nick to shikhin_.
17:14:01 -!- shikhin has joined.
17:16:24 -!- carado has joined.
17:16:47 <lexande> boily: {iowa, tanzania, cambridge, caltech, boston, new york, CMU, random traveling} people; yes (to first approximation); ambivalent; (40.80, -73.94) and 90kg
17:21:28 * boily falls down from his chair “A first! Complete and useful information!”
17:22:19 <Bike> no oxford comma though
17:22:43 <kmc> cambridge comma
17:22:49 <Gregor> Oxford commas are for losers.
17:23:14 -!- azaq23 has joined.
17:23:26 <boily> 40, -74... boston?
17:23:43 <kmc> https://maps.google.com/maps?q=40.80,-73.94
17:24:39 <kmc> boston is like 42,-71
17:25:04 <kmc> boily: I think I gave you complete and useful information too
17:25:12 <lexande> boily: what is your origin story?
17:25:57 <boily> kmc: my memory is bad.
17:27:44 <boily> lexande: grew up in Québec City, now in Montréal. I like orange things and phở. I created some langs. imho, my best is aubergine.
17:27:46 <kmc> do you want my current coördinates or the place where I habitually sleep or what
17:28:26 <boily> kmc: ideally the weighed average of your usual coördinates, but what I have now should do the job. I'm just missing your body weigh, though.
17:29:28 <kmc> my mass is about 98 kg at the moment
17:29:55 <kmc> it's decreasing slowly (although not yesterday; free cookies)
17:45:18 <lexande> boily: a weighted average of my coordinates could be quite different
17:45:38 <lexande> and would take a while to work out
17:46:23 <kmc> do you have the "where i slept this year" chart
17:47:02 <boily> no, no info yet on Sleeping Places. could be interesting, if not creepy.
17:47:06 <lexande> no, i only made one for 2010
17:47:32 <kmc> can i see the one for 2010
17:48:17 <lexande> when i'm next at a keyboard
17:48:37 <kmc> C++ can inline a caller-provided lambda into the callee
17:48:45 <elliott> lexande is currently communicating via smoke signal
17:48:48 <boily> fungot: do you sleep? are you like irresponsible humans who always move?
17:48:48 <fungot> boily: so can it be? it's a pointless concept of " metacity distance" is all a silly argument. the only change that might be
17:49:52 <kmc> we're talking about how Rust should obtain this power
17:51:48 <lexande> kmc: actually http://ugcs.net/~arapp/slept.png
17:52:52 <elliott> this image is just designed to get me to stand my laptop up like a book right
17:53:43 <lexande> i copied the design from someone else, i can't speak to her intentions
17:54:15 <lexande> elliott: what is your origin story?
17:54:18 <kmc> Inspect Element -> Style Editor -> New -> img {transform: rotate(90deg);)}
17:55:42 <elliott> lexande: I was born and moved around on an island a bit and haven't yet noticed myself being dead
17:55:59 -!- mnoqy has joined.
17:56:19 <kmc> elliott: The British Experience
17:56:29 -!- Taneb has joined.
17:56:39 <kmc> i,i "i can't speak to her intestines"
18:00:41 <boily> imnqso, speaking to intestines, be they yours or someone else's, is not a good idea.
18:00:50 <Taneb> Alas, my programming lectures are pretty... basic
18:01:05 <mnoqy> did you expect otherwise
18:02:59 <lexande> elliott: are you one of the hexham people
18:03:25 <mnoqy> that's quite the question
18:03:28 <elliott> I think I am the only Hexham person left
18:03:54 <boily> http://tvtropes.org/pmwiki/pmwiki.php/Main/LastOfHisKind
18:04:34 <Taneb> I am a failure to hexhamkind
18:04:56 <lexande> i have never been to hexham. i've been to wylam, that's on the way sort of
18:05:29 -!- nooodl has joined.
18:05:40 <Taneb> Wylam is a bit past Hexham
18:06:41 <lexande> i mean if i were going to hexham, i'd presumably fly to either london or newcastle, and the train to hexham would take me via wylam
18:07:39 <elliott> you know way too much about north-east england for your own good
18:08:43 <lexande> they got that tyne and wear metro
18:08:49 <Taneb> Oh wait, I was thinking of Warden
18:11:00 <Taneb> The Tyne and Wear Metro goes nowhere near Hexham
18:11:23 <boily> to know of north-eastern places in the world is an essential survival skill.
18:13:49 <kmc> I'm disappointed with myself for never visiting Bletchley Park
18:15:06 <kmc> I guess I wasn't that into crypto until a yearish ago
18:18:00 -!- shikhin` has joined.
18:18:33 -!- shikhin__ has joined.
18:20:16 <lexande> Taneb: i know, but elliott expanded the scope of discussion to the whole northeast
18:21:20 -!- shikhin_ has quit (Ping timeout: 248 seconds).
18:21:27 -!- shikhin has quit (Ping timeout: 253 seconds).
18:21:27 -!- shikhin__ has changed nick to shikhin.
18:21:43 <lexande> kmc: i have more reason to be disappointed with myself for never visiting bletchley park
18:21:45 <Taneb> Why do you know about this
18:22:18 <kmc> because you've been in london more?
18:22:21 <Taneb> Did you know that the Tyne and Wear Metro is one of only two metros in the world to have a station on the same line in two different ways?
18:23:16 <kmc> how do you mean
18:23:35 <ais523> Taneb: is the London Underground the other one (Euston), or did I misunderstand the restriction?
18:24:29 <lexande> Taneb: it would be better to say self-intersecting, self-paralleling things are more common (e.g. Circle Line at Paddington)
18:24:50 <lexande> ais523: the two Northern Line branches aren't really the same line
18:24:55 <kmc> i was thinking of the fact that there are two Hammersmith-bound platforms on the circle line at Edgware Road
18:25:24 <kmc> (not to be confused with the other Edgware Road station next door)
18:25:26 <lexande> anyway, Tyne&Wear and Vancouver Skytrain half self-intersection
18:25:28 <ais523> lexande: well it fits the restriction of connecting to the same line two different ways better than most situations
18:26:58 -!- augur has quit (Remote host closed the connection).
18:28:02 -!- ^v has joined.
18:29:37 <lexande> RandstadRail, if you count that, also has such a pretzel topology in Zoetermeer
18:31:21 -!- Bike has quit (Ping timeout: 252 seconds).
18:33:15 -!- Bike has joined.
18:37:05 <boily> is a half self-intersection possible?
18:38:46 <lexande> well, maybe we can claim these are all half-self-intersection
18:39:14 <lexande> since in each case there are two lines sharing track in one part of the station, and only one of them loops back around to the other part of the station
18:50:14 <lexande> also singapore is building a pretzel-like self-intersecting line but it seems there will be no transfer station at the crossing
18:53:41 <boily> I reread your assertion. no station, therefore no transfer. I was puzzled over the fact that you couldn't change lines at a station.
18:57:42 <Taneb> I have an audition tomorrow
18:57:51 <Taneb> I am auditioning for Jesus Christ Superstar
19:04:58 <fizzie> I went to Bletchley Park (even got the T-shirt) while visiting London in 2011; 'twas an interesting place.
19:05:03 <fizzie> https://dl.dropboxusercontent.com/u/113389132/Misc/20131008-bp.jpg <- that's from there.
19:05:25 -!- bicyclidine has joined.
19:07:43 <boily> darn. and there I naïvely hoped that the picture contained fizzie himself.
19:07:59 <boily> btw, 5 bit wide paper: is that baudot?
19:07:59 <fizzie> It's the source of fungot. (It's not.)
19:08:00 <fungot> fizzie: try a new tack..." cases where test is doing something to x? else..."
19:08:30 <fizzie> I think it could well be.
19:09:11 <fizzie> https://dl.dropboxusercontent.com/u/113389132/Misc/20131008-bp2.jpg <- that's where it's from, if it helps.
19:12:02 <fizzie> Oh and I think I may have pasted this one before for obvious reasons: https://dl.dropboxusercontent.com/u/113389132/Misc/20131008-bp3.jpg
19:12:14 <fizzie> I'm not sure if the one we've got on channel is a preceding or a succeeding model.
19:13:14 <boily> I think it all depends if he's older or younger than himself.
19:18:24 <fizzie> And then there was this ridiculous thing https://dl.dropboxusercontent.com/u/113389132/Misc/20131008-bp4.jpg how they kept people from pressing that button I'll never know.
19:22:49 <boily> `relcome bicyclidine
19:22:53 <HackEgo> bicyclidine: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.)
19:23:01 <boily> disregard the welcome. you didn't see nothing.
19:24:48 -!- shikhin` has quit (Ping timeout: 248 seconds).
19:27:31 -!- MindlessDrone has quit (Quit: MindlessDrone).
19:30:34 <boily> wikipédia doesn't have bicyclidine, but suggests eticyclidine → https://en.wikipedia.org/wiki/Eticyclidine
19:32:36 -!- nisstyre has quit (Quit: Leaving).
19:36:43 -!- nooodl_ has joined.
19:40:08 -!- nooodl has quit (Ping timeout: 240 seconds).
19:42:04 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...).
19:42:27 -!- Bike has quit (Ping timeout: 240 seconds).
19:44:37 -!- Bike has joined.
19:45:37 -!- AnotherTest has quit (Ping timeout: 248 seconds).
19:53:09 -!- bicyclidine has quit (Quit: [spurious input; ignoring]).
19:58:12 -!- impomatic has joined.
19:59:08 <impomatic> Does anyone fancy typing this listing into a C64 emulator? http://concoctedlogic.com/wordpress/commodore-64-core-war/
20:04:46 <fizzie> I'm sure you could OCR that. (In not many more magnitudes of time than it'd take to type it, but it's the principle that matters.)
20:08:49 <fizzie> http://sprunge.us/DJLC <- tessearct with no tuning. "Not too shabby, eh?"
20:09:09 <fizzie> Some of the words are even correct.
20:11:45 <boily> that looks like a weird glitchy fungot remix...
20:11:45 <fungot> boily: thanks anyway dude :) looks like a guy
20:11:54 <fungot> boily: do you see what i mean is, if your messages happen to go into a particular package?
20:12:18 <boily> fungot: you have packages?
20:12:18 <fungot> boily: by " imports", do you want
20:12:28 <boily> fungot: oh. so you're a python program in disguise.
20:12:28 <fungot> boily: bugs are tasty.') it plainly refuses to work though
20:12:42 <boily> fungot: well, that's what bugs are for.
20:13:14 <boily> fizzie: you lied to us! fungot's written in python!
20:13:50 <fizzie> http://sprunge.us/OchK <- cuneiform --dotmatrix
20:13:59 <fizzie> boily: Maybe that's just what it wants you to think?
20:14:47 <boily> fungot: do you trust fizzie's opinion on your true identity?
20:14:56 <olsner> fungot: are you really an "it"? you shouldn't let fizzie talk about you like this
20:14:57 <fungot> olsner: they're have better latency but worse throughput ( unlikely) or it wasn't taught properly ( likely) the reporter is mixed up
20:15:41 <boily> olsner: indeed. the Reporter Fizzie is mixed up, and wasn't taught properly.
20:17:54 <fizzie> Well, just for completeness... gocr: http://sprunge.us/UeHB
20:19:29 -!- shikhin` has joined.
20:19:39 -!- shikhin` has quit (Read error: Connection reset by peer).
20:24:52 <olsner> fungot: can you OCR the code? fizzie doesn't seem to be succeeding
20:24:52 <fungot> olsner: so i imagined the correct thing to do indeed :)
20:31:25 -!- boily has quit (Quit: poulet, poulet, poulet, poulet, still not poulet.).
20:31:27 -!- metasepia has quit (Remote host closed the connection).
20:34:00 -!- variable has changed nick to constant.
20:37:55 -!- azaq23 has quit (Ping timeout: 260 seconds).
20:44:18 -!- mnoqy has quit (Quit: hello).
20:52:49 -!- Bike has quit (Ping timeout: 240 seconds).
21:03:30 -!- Bike has joined.
21:06:06 -!- SirCmpwn has quit (Ping timeout: 264 seconds).
21:07:05 <kmc> https://github.com/mozilla/rust/wiki/Mixed-language-link-time-optimization is really cool
21:07:33 -!- SirCmpwn has joined.
21:07:44 <kmc> cross-language inlining and dead store elimination
21:26:34 -!- oerjan has joined.
21:30:01 <olsner> hmm, I haven't made debugging particularly easy for me... my "kernel panic" thingy just prints the line number in hex
21:35:36 -!- carado has quit (Ping timeout: 252 seconds).
21:36:30 <oerjan> hm the nobel prize went to the people who invented the higgs particle, not to any of those who showed it actually existed. i guess that's usual...
21:37:23 <oerjan> although i wonder what they'll do if, as seems inevitable eventually, a theory isn't proved until after all the theorizers are dead...
21:37:55 <oerjan> string theory might end up that way.
21:38:36 -!- nisstyre has joined.
21:39:09 -!- conehead has quit (Quit: Computer has gone to sleep.).
21:39:33 <oerjan> they _haven't_ given any nobel prizes for string theory, have they
21:40:24 -!- shikhin_ has joined.
21:41:43 -!- shikhin has quit (Read error: Operation timed out).
21:47:21 <Bike> physicists should be more like biologists, clearly
21:48:20 <oerjan> fizzie: what _does_ kovo mean, originally? (also winsu i guess?)
21:48:41 <oerjan> gt only gives "hardware"
21:48:44 <Bike> it's funny how people have been pointing out that the 1926 nobel prize went for research that is actually completely wrong
21:50:01 <shachaf> oerjan: is it true that both syllables of "ørjan" are stressed
21:51:38 <Bike> in physiology, i meant
21:51:57 <Bike> guy got the prize for showing that cancer was caused by this little worm thingie
21:52:40 <Bike> oh, a nematode, huh
21:53:00 <oerjan> shachaf: hm it's in the second pitch accent, which i guess has the two syllables more "equal" than the first one, although i'm not sure they're completely equal.
21:53:38 <fizzie> oerjan: It's obvious short for "kovalevy" (lit. "hard(sheet/slab/disc/record)"), which properly speaking should mean a kind of a building material (particleboard, fiberboard, HDF; the details are a bit hazy) but is used widely (arguably incorrectly) for a computer hard disk too. (For which the (again arguably) proper word is "kiintolevy".)
21:53:52 <shachaf> oerjan: what, i was told that norwegian was easy
21:54:30 <oerjan> shachaf: to pronounce?
21:55:48 <oerjan> well it's analytic, so not _too_ many inflections, but it does have gender.
21:56:36 <oerjan> so maybe a _little_ harder than english in grammar. not quite as awful spelling.
21:56:59 <oerjan> easier than german grammar.
21:57:01 <shachaf> what!! what is a power series of a language
21:58:23 <Bike> it's easy enough to take the derivative of a language
21:59:17 <fizzie> The Institute (for the Languages (of Finland)) seems to accept "kovalevy" as a synonym of "kiintolevy". But not everyone does.
22:02:12 <oerjan> well kiinto means "solid", so clearly kiintolevy should mean a _solid_ disk, i.e. SSD.
22:02:22 -!- SirCmpwn has quit (Read error: Operation timed out).
22:02:38 -!- SirCmpwn has joined.
22:03:18 <oerjan> oh wait there's no disk in an SSD
22:10:39 <oerjan> 17:11:12: <boily> fungot: are you antireflective?
22:10:39 <oerjan> 17:11:12: <fungot> boily: extend a protective arm/ symbian/ series60. :p diamondie well, isn't that enough? ummm......what were we talking about again? huh....really?
22:10:39 <fungot> oerjan: let me guess: it creates the bf programs out there are made from c, java, or python, or ruby.))
22:10:40 <fungot> oerjan: invalid syntax define a way to not explicitly call eval?
22:11:02 <oerjan> it tried to reflect, and was repulsed. i'd say yes.
22:11:45 <oerjan> fungot: i'm not sure there are converters from all of those.
22:11:45 <fungot> oerjan: a windows driver loader thingy? yes, guile itself is slow too.)
22:13:38 <fizzie> oerjan: "levy" does not imply a (round) disc in Finnish, though, and SSD's are generally more or less slab-like, so it still fits.
22:17:24 <fizzie> "SSD-massamuisti" is what fi.wikipedia calls a SSD.
22:17:35 <oerjan> fizzie: good, good. your mission, should you choose to accept it, is to get all finns to follow this more logical terminology.
22:17:58 <fizzie> (And the "D" could be for "drive" too. Though how logical is that?)
22:18:02 -!- shikhin__ has joined.
22:18:59 <oerjan> (not the SSD-massamuisti one)
22:20:01 -!- shikhin_ has quit (Ping timeout: 245 seconds).
22:21:35 -!- augur has joined.
22:32:11 -!- nisstyre has quit (Quit: Leaving).
22:44:43 -!- nooodl_ has quit (Ping timeout: 248 seconds).
22:53:18 <oerjan> <elliott> this image is just designed to get me to stand my laptop up like a book right <-- ouch my neck
22:54:53 -!- pikhq has joined.
23:01:35 -!- lambdabot has quit (Ping timeout: 260 seconds).
23:07:37 -!- lambdabot has joined.
23:09:45 <oerjan> > cycle "IT'S ALIVE MWAHAHAHA "
23:09:46 <lambdabot> "IT'S ALIVE MWAHAHAHA IT'S ALIVE MWAHAHAHA IT'S ALIVE MWAHAHAHA IT'S ALIVE ...
23:10:19 <fungot> shachaf: i was talking about /real/ ants. i'll have to take
23:10:34 <fungot> shachaf: we have mutable fnord, though. that whole code-is-data thing doesn't mean that they do
23:12:32 <kmc> but for chips and for freedom I could die
23:13:45 <oerjan> fungot: you _don't_ want your fnords to mutate. trust me.
23:13:46 <fungot> oerjan: number42 annotated 308 with " expansion by gambit of previous code" at http://www.common-lisp.net/ paste/ 490
23:13:46 <fungot> shachaf: just as you don't let on, you're jafar hello, sailor
23:16:45 -!- Taneb has quit (Quit: Leaving).
23:23:24 -!- Bike has quit (Ping timeout: 252 seconds).
23:32:14 -!- Phantom_Hoover has joined.
23:37:25 -!- Bike has joined.
23:48:33 -!- conehead has joined.