00:01:30 so http://governmentdownforeveryoneorjustme.com/ reports the US and Syria as down 00:01:33 but such places as Somalia and Afghanistan and Congo-Kinshasa and Afghanistan as up 00:01:36 which seems dubious 00:02:20 is afghanistan down? (twice?) 00:02:40 where does it say about Syria 00:02:42 is it geolocated? 00:02:56 also somaliland is fairly stable, i even know a person living there in another irc channel 00:03:02 same as the US 00:03:04 var down = ["United States", "Syrian Arab Republic"] 00:03:22 yeah somaliland is as fine as can be expected 00:03:25 also the syrian government is still, i mean, functioning 00:03:31 how can congo-kinshasa be down we norwegians were just trying to negotiate with them 00:03:43 they just had a coup a few months ago. 00:03:46 i mean US diplomacy goes on too 00:03:56 "as fine as can be expected" should be their tourism motto 00:04:01 um, i think 00:04:37 the Syrian government is significantly less functional than the US government at this point 00:04:47 granted 00:05:04 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 oh bother, i was thinking of the central african republic, not the congo 00:06:34 "the people who are not shooting at me want me to run" 00:06:34 SEE? 00:06:52 kmc: preferably as fast as he can 00:06:53 whether centrafrique is down is also open to question 00:07:03 it's in a sort of "responds to ping but slow as balls" state 00:07:13 hey nice, the CAR's timezone is called WAT 00:07:16 Bike: "I'll only let the people decide if they want me if they decide they want me" 00:07:29 i'm paraphrasing ok :( 00:07:58 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 that really sounds like an onion headline 00:09:07 that's the exact reaction i've seen in the three places i've seen a link. 00:10:08 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 what if we had some kind of system where you could "vote" for the person you want 00:10:53 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 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 pretty innovative if you ask me! 00:11:08 so i mean, what's a rhetorical triq or two 00:12:03 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 what's bothering 00:12:29 Also, what does that have to do with Syria 00:12:40 The way Racket does function calls that have keywords 00:12:46 lies acceptable for this question 00:12:59 They expand into a call to the function with the list of keywords and keyword values as first two arguments 00:13:07 It's a calling convention, of sorts, isn't it? 00:13:33 isn't having keywords at all a calling convention 00:13:37 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:50:57 `? myanmar 00:50:59 myanmar? ¯\(°_o)/¯ 00:51:06 `? burma 00:51:08 ask Bike 00:51:42 do you require medical assistance 00:52:12 no 00:52:21 at least, i don't think so 00:52:21 good 00:52:25 would i know if i did? 00:52:30 i don't know 01:02:56 odds are high 01:07:38 -!- JWinslow23 has quit (Quit: Page closed). 01:13:10 -!- tswett has joined. 01:13:20 Hey guys, you know this? https://github.com/isomorphism/Delineate/blob/master/Control/Delineate.hs 01:13:38 Of course you do. Everyone in this channel has now heard of that file dozens of times. 01:14:03 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 Because "f ⊢ Unit" amounts to "forall r. (Unit r -> r) -> f r -> r", and "Unit r" is a unit type. 01:15:50 Hetch, the module itself contains something which you can't do in LL. 01:16:03 Nope, I was reading that wrong. 01:16:18 It says "weakdist :: x ⊗ (y ⅋ z) ⊢ (x ⊗ y) ⅋ z", which I was reading as "weakdist :: x ⊗ (y & z) ⊢ (x ⊗ y) & z". 01:16:50 i imagine this would be much clearer without those white squares in it. 01:17:17 White squares like ⊢, ⊗, and ⅋? 01:17:21 yes. 01:17:31 All right, gimme a moment. 01:17:49 It says "weakdist :: x (y z) (x y) z", which I was reading as "weakdist :: x (y z) (x y) z". 01:18:08 * oerjan swats tswett -----### 01:18:57 also, i could see & just fine. 01:19:51 Oh yeah. 01:19:59 It says "weakdist :: x (y z) (x y) z", which I was reading as "weakdist :: x (y & z) (x y) & z". 01:20:20 MUCH BETTER 01:20:47 How's this look: 私のボオルは青いです 01:21:21 it looks like 私のボオルは青いです 01:22:11 So, what *is* ⅋? 01:22:35 it's par for the course 01:22:35 Whoops, I spelled ボール wrong. 01:23:09 "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 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:23:42 hmmkay 01:24:14 tswett, e.e 01:24:17 Is that, uh, Haskell? 01:24:22 Lymia: no, it's linear logic. 01:24:29 no it's sparta 01:24:33 There's a little rough spot there, though. 01:25:09 weakdist appears to be of kind (* -> *) -> ((* -> *) -> * -> *) -> * -> * 01:25:52 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 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 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 This doesn't make any sense, does it. 01:29:28 Lemme give an example. 01:30:46 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 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 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 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 welcome to #esoteric, where theoretical computer science is explained using everyday stuff 01:40:07 this doesn't seem like a very good vending machine. 01:41:52 I agree. 01:42:09 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 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:30:08 rebol? 02:33:25 Hmm, probably. Although someone here could be interested and just not in the chat, because it's non-IRC 02:33:29 (Stackoverflow Chat) 03:29:58 -!- tswett has quit (Quit: Page closed). 03:36:08 -!- shikhin_ has quit (Ping timeout: 240 seconds). 03:36:32 lexande: what brings you back here 03:37:49 well, i guess i can preänswer a question like that as far as lexande goes 03:39:38 * Fiora waves to lexande? 03:41:27 * lexande waves to Fiora? 03:41:40 shachaf: people need a place to go? 03:42:05 -!- Sprocklem has quit (Ping timeout: 245 seconds). 03:42:22 Oh, it's about that, isn't it. 03:43:04 is this gossip 03:43:19 i'm not aware of any gossip 03:43:31 and i'm not sure what preänswer shachaf was alluding too 03:43:39 the one you said 03:44:21 the "that" is gossip i'm thinking 03:44:42 -!- Sprocklem has joined. 03:44:48 the fact that people need a place to go is gossip? 03:45:03 no, the thing shachaf said is! possibly. 03:45:24 Never mind. 03:45:56 I don't know anything except vague rumors of things involving kmc and lexande and alice and other people 03:46:32 Fiora: do you know alice? 03:46:58 Who is alice? 03:47:10 see. 03:47:21 um... third hand or something <.< 03:51:07 Bike: see what? 03:51:54 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:27 >_> 06:42:38 i've never met alice 06:42:54 Who's that? 06:43:01 don't worry about it. 06:43:08 there was a convo going on before you arrived 06:43:09 okeydokey 06:43:23 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 kmc: maybe you should come to NYC sometime 06:56:55 yeah 06:57:23 I think I have lower affinity for aeroplanes than I used to :/ 06:57:29 but still, yes 06:58:02 you could take the TRAAAAAIN 06:59:07 so long 07:04:45 I could Work From Train though 07:05:06 dunno how the 4G coverage is along that route 07:05:51 i have fewer Gs than that anyway 07:05:58 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 i thought you had a sprint LTE thing 07:14:00 doesn't your cellular phone have that many Gs just in its name 07:15:26 galagzy neggsus? 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 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 how does it compare to HSPA+ 07:24:11 dunno 07:24:20 i don't know about... phones, and stuff 07:26:14 I was under the impression that HSPA+ was just 3.75G. 07:27:10 you can round that up to 4G 07:27:16 you can also round 3G to 4G 07:29:04 hmm, some guy on the osdev forums seems to consistently use "winchester" as the word for hard drive 07:29:13 haha that's oldschool 07:31:41 "The IBM 3340 Direct Access Storage Facility, code-named Winchester, was introduced in March 1973 for use with IBM System/370." 07:32:22 i thought it was supposed to be something about them being as loud as a Winchester rifle 07:33:27 apparently because it was 30+30MB and .30-30 is a rifle model 07:42:44 heh 07:42:55 what is meant by "30+30MB" 07:43:21 two disk packs of 30 MB that could be swapped, or something 07:43:27 ah 07:44:37 There was also a 3.9G something. 07:44:42 "an access time of 25 milliseconds" 07:45:11 amusingly that number has barely improved in 40 years, if you exclude SSDs 07:45:28 /dev/wd0s1 and so on. 07:46:20 (For Western Digital, even though presumably most of the disks so called haven't even seen one.) 07:47:25 "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 "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 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 ... 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 fizzie: I've heard 'winsu' once or twice but I guess the heretical 'kovo' is the Standard™ nowadays. 08:00:03 which language? 08:01:30 Finnish. 08:17:34 it's weird to think that such a ubiquitous word as "software" was a kind of punny coinage 50 years ago 08:18:09 Deewiant: I don't think I've heard "winsu" ever. ("kovo", yes.) 08:19:16 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. 12:29:29 good zsh morning! 12:54:33 Good scsh afternoon. 13:00:03 -!- Zerker has quit (Quit: Colloquy for iPad - Timeout (10 minutes)). 13:05:51 fizzie: people use it? 13:07:36 (besides, the main dev seems to be one hell of a grumpy person.) 13:08:46 -!- Bike has joined. 13:10:18 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:10:32 `? `? 15:10:38 ​`? ¯\(°_o)/¯ 15:13:37 `? quine 15:13:39 ​`? quine 15:13:44 `? JWinslow23 15:13:47 JWinslow23 is a Wisconsinite who doesn't give a BF. 15:14:11 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 @tell lexande http://www.youtube.com/watch?v=-yFhR1fKWG0 15:44:59 Consider it noted. 15:47:45 what is this shit 15:48:35 what inspires me is teaching JavaScript to African refugees 15:50:14 my sister was talking about that recently 15:50:37 He has some other great stuff as well. 15:51:08 -!- augur has quit (Remote host closed the connection). 16:07:08 http://safr.kingfeatures.com/idn/etv/zone/xml/content.php?file=aHR0cDovL3NhZnIua2luZ2ZlYXR1cmVzLmNvbS9CbG9uZGllLzIwMTMvMTAvQmxvbmRpZS4yMDEzMTAwM185MDAuZ2lm hm 16:07:50 ? 16:07:54 I don't know how to make it giant. 16:11:19 have you ever had sea cheesy baked potatoes 16:11:19 -!- mnoqy has quit (Quit: hello). 16:19:30 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:23 oh wow 16:47:37 somehow by only being on this channel once a year 16:47:39 i got into the pdf 16:47:40 GCC: -Os -O2 -O3 gives a 4x improvment 16:47:45 hahaha i was like, 10 then 16:47:45 or what 16:49:13 back from lunch, and the shanty wasn't half bad. 16:50:02 `pastelogs addquote.*asie 16:50:51 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.9344 16:51:19 asie: are you twelve 16:51:27 "like, 10" 16:51:29 i was actually 14 16:51:59 `run dc -e '[a=]P?[b=]P?[dSarLa%d0 a= 16:53:01 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 asie: I had much fun creating the pdf. 16:54:53 elliott: are you a lot younger than I? 17:08:37 I think there's plenty of evidence that elliott is exactly the same age as elliott 17:08:44 rather than being a lot older 17:08:56 Like what? 17:09:05 laws of maths, I guess 17:09:20 That's deduction, not induction from experimental evidence. 17:09:24 I'm afraid I'm not convinced. 17:10:07 the concerned subject isn't very responsive. 17:10:38 there's a huge amount of evidence for the reflexive property of equality / the antireflexive property of "older than" 17:10:47 i 17:10:56 've met loads of people and not one of them was a lot older than themselves 17:11:12 fungot: are you antireflective? 17:11:12 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 You shouldn't generalize from people you've met to people I've met. 17:11:33 @tell JWinslow23 you should contribute your truth machine to https://github.com/ticklemynausea/gobsprogram 17:11:33 Consider it noted. 17:11:42 I mean you live in like, Texas, right? Total other side of the world. Things are different here. 17:11:54 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 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:25 err, 900N sorry 17:21:28 * boily falls down from his chair “A first! Complete and useful information!” 17:22:19 no oxford comma though 17:22:43 cambridge comma 17:22:49 Oxford commas are for losers. 17:23:00 hegor 17:23:14 -!- azaq23 has joined. 17:23:19 heygor? 17:23:26 40, -74... boston? 17:23:43 https://maps.google.com/maps?q=40.80,-73.94 17:24:29 darn. 17:24:39 boston is like 42,-71 17:25:04 boily: I think I gave you complete and useful information too 17:25:12 boily: what is your origin story? 17:25:57 kmc: my memory is bad. 17:27:44 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 do you want my current coördinates or the place where I habitually sleep or what 17:28:26 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 my mass is about 98 kg at the moment 17:29:46 thanks! 17:29:55 it's decreasing slowly (although not yesterday; free cookies) 17:45:18 boily: a weighted average of my coordinates could be quite different 17:45:38 and would take a while to work out 17:46:19 ... 17:46:23 do you have the "where i slept this year" chart 17:47:02 no, no info yet on Sleeping Places. could be interesting, if not creepy. 17:47:06 no, i only made one for 2010 17:47:32 can i see the one for 2010 17:48:17 when i'm next at a keyboard 17:48:37 C++ can inline a caller-provided lambda into the callee 17:48:45 lexande is currently communicating via smoke signal 17:48:48 fungot: do you sleep? are you like irresponsible humans who always move? 17:48:48 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 we're talking about how Rust should obtain this power 17:51:48 kmc: actually http://ugcs.net/~arapp/slept.png 17:52:52 this image is just designed to get me to stand my laptop up like a book right 17:53:43 i copied the design from someone else, i can't speak to her intentions 17:54:15 elliott: what is your origin story? 17:54:18 Inspect Element -> Style Editor -> New -> img {transform: rotate(90deg);)} 17:55:42 lexande: I was born and moved around on an island a bit and haven't yet noticed myself being dead 17:55:50 so sayeth the prophecies 17:55:59 -!- mnoqy has joined. 17:56:19 elliott: The British Experience 17:56:29 -!- Taneb has joined. 17:56:39 i,i "i can't speak to her intestines" 17:56:45 Hello 17:56:49 haneb 17:57:09 hi 18:00:05 tonjour. 18:00:41 imnqso, speaking to intestines, be they yours or someone else's, is not a good idea. 18:00:50 Alas, my programming lectures are pretty... basic 18:00:55 Also Python-ish 18:01:05 did you expect otherwise 18:02:59 elliott: are you one of the hexham people 18:03:22 `? lexande 18:03:25 lexande? ¯\(°_o)/¯ 18:03:25 that's quite the question 18:03:28 I think I am the only Hexham person left 18:03:33 a dying breed 18:03:54 http://tvtropes.org/pmwiki/pmwiki.php/Main/LastOfHisKind 18:04:34 I am a failure to hexhamkind 18:04:56 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:33 ... 18:05:40 Wylam is a bit past Hexham 18:06:41 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:06:51 so it is on the way 18:07:39 you know way too much about north-east england for your own good 18:08:43 they got that tyne and wear metro 18:08:49 Oh wait, I was thinking of Warden 18:11:00 The Tyne and Wear Metro goes nowhere near Hexham 18:11:23 to know of north-eastern places in the world is an essential survival skill. 18:13:49 I'm disappointed with myself for never visiting Bletchley Park 18:15:06 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 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 kmc: i have more reason to be disappointed with myself for never visiting bletchley park 18:21:45 Why do you know about this 18:22:18 because you've been in london more? 18:22:21 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:22:45 yes 18:23:16 how do you mean 18:23:35 Taneb: is the London Underground the other one (Euston), or did I misunderstand the restriction? 18:24:29 Taneb: it would be better to say self-intersecting, self-paralleling things are more common (e.g. Circle Line at Paddington) 18:24:50 ais523: the two Northern Line branches aren't really the same line 18:24:55 i was thinking of the fact that there are two Hammersmith-bound platforms on the circle line at Edgware Road 18:25:24 (not to be confused with the other Edgware Road station next door) 18:25:26 anyway, Tyne&Wear and Vancouver Skytrain half self-intersection 18:25:28 lexande: well it fits the restriction of connecting to the same line two different ways better than most situations 18:25:32 s/half/have/ 18:26:58 -!- augur has quit (Remote host closed the connection). 18:28:02 -!- ^v has joined. 18:29:37 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 is a half self-intersection possible? 18:38:46 well, maybe we can claim these are all half-self-intersection 18:39:14 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 also singapore is building a pretzel-like self-intersecting line but it seems there will be no transfer station at the crossing 18:51:45 .....? 18:52:47 ……… 18:53:15 \ldots{} 18:53:41 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:54:07 (fsvo line) 18:57:42 I have an audition tomorrow 18:57:51 I am auditioning for Jesus Christ Superstar 19:04:58 I went to Bletchley Park (even got the T-shirt) while visiting London in 2011; 'twas an interesting place. 19:05:03 https://dl.dropboxusercontent.com/u/113389132/Misc/20131008-bp.jpg <- that's from there. 19:05:25 -!- bicyclidine has joined. 19:07:43 darn. and there I naïvely hoped that the picture contained fizzie himself. 19:07:59 btw, 5 bit wide paper: is that baudot? 19:07:59 It's the source of fungot. (It's not.) 19:08:00 fizzie: try a new tack..." cases where test is doing something to x? else..." 19:08:30 I think it could well be. 19:09:11 https://dl.dropboxusercontent.com/u/113389132/Misc/20131008-bp2.jpg <- that's where it's from, if it helps. 19:12:02 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 I'm not sure if the one we've got on channel is a preceding or a succeeding model. 19:13:14 I think it all depends if he's older or younger than himself. 19:13:22 s/if/on if/ 19:18:24 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:21:08 :o 19:22:49 `relcome bicyclidine 19:22:53 ​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 disregard the welcome. you didn't see nothing. 19:23:14 Disregarded 19:24:48 -!- shikhin` has quit (Ping timeout: 248 seconds). 19:25:57 > length "bicyclidine" 19:25:58 11 19:26:05 > (11+4)/2 19:26:06 7.5 19:26:10 almostike 19:27:31 -!- MindlessDrone has quit (Quit: MindlessDrone). 19:28:19 What 19:28:28 Oh 19:28:30 No 19:30:34 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 Does anyone fancy typing this listing into a C64 emulator? http://concoctedlogic.com/wordpress/commodore-64-core-war/ 20:04:46 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 http://sprunge.us/DJLC <- tessearct with no tuning. "Not too shabby, eh?" 20:09:09 Some of the words are even correct. 20:09:40 :-) 20:11:45 that looks like a weird glitchy fungot remix... 20:11:45 boily: thanks anyway dude :) looks like a guy 20:11:54 fungot: np. 20:11:54 boily: do you see what i mean is, if your messages happen to go into a particular package? 20:12:18 fungot: you have packages? 20:12:18 boily: by " imports", do you want 20:12:28 fungot: oh. so you're a python program in disguise. 20:12:28 boily: bugs are tasty.') it plainly refuses to work though 20:12:42 fungot: well, that's what bugs are for. 20:13:14 fizzie: you lied to us! fungot's written in python! 20:13:50 http://sprunge.us/OchK <- cuneiform --dotmatrix 20:13:59 boily: Maybe that's just what it wants you to think? 20:14:47 fungot: do you trust fizzie's opinion on your true identity? 20:14:56 fungot: are you really an "it"? you shouldn't let fizzie talk about you like this 20:14:57 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 olsner: indeed. the Reporter Fizzie is mixed up, and wasn't taught properly. 20:17:54 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 fungot: can you OCR the code? fizzie doesn't seem to be succeeding 20:24:52 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 https://github.com/mozilla/rust/wiki/Mixed-language-link-time-optimization is really cool 21:07:33 -!- SirCmpwn has joined. 21:07:44 cross-language inlining and dead store elimination 21:26:34 -!- oerjan has joined. 21:30:01 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 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 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 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 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 physicists should be more like biologists, clearly 21:48:20 fizzie: what _does_ kovo mean, originally? (also winsu i guess?) 21:48:41 gt only gives "hardware" 21:48:44 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 oerjan: is it true that both syllables of "ørjan" are stressed 21:50:28 Bike: um which one 21:51:38 in physiology, i meant 21:51:57 guy got the prize for showing that cancer was caused by this little worm thingie 21:52:40 oh, a nematode, huh 21:53:00 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 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 oerjan: what, i was told that norwegian was easy 21:54:30 shachaf: to pronounce? 21:54:46 in general 21:55:48 well it's analytic, so not _too_ many inflections, but it does have gender. 21:56:36 so maybe a _little_ harder than english in grammar. not quite as awful spelling. 21:56:59 easier than german grammar. 21:57:01 what!! what is a power series of a language 21:58:23 it's easy enough to take the derivative of a language 21:58:24 so 21:59:17 The Institute (for the Languages (of Finland)) seems to accept "kovalevy" as a synonym of "kiintolevy". But not everyone does. 22:02:12 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 oh wait there's no disk in an SSD 22:10:39 17:11:12: fungot: are you antireflective? 22:10:39 17:11:12: 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 oerjan: let me guess: it creates the bf programs out there are made from c, java, or python, or ruby.)) 22:10:40 oerjan: invalid syntax define a way to not explicitly call eval? 22:11:02 it tried to reflect, and was repulsed. i'd say yes. 22:11:45 fungot: i'm not sure there are converters from all of those. 22:11:45 oerjan: a windows driver loader thingy? yes, guile itself is slow too.) 22:13:38 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 "SSD-massamuisti" is what fi.wikipedia calls a SSD. 22:17:35 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 (And the "D" could be for "drive" too. Though how logical is that?) 22:18:02 -!- shikhin__ has joined. 22:18:59 (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 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:03:12 elliott: eek 23:07:37 -!- lambdabot has joined. 23:09:45 > cycle "IT'S ALIVE MWAHAHAHA " 23:09:46 "IT'S ALIVE MWAHAHAHA IT'S ALIVE MWAHAHAHA IT'S ALIVE MWAHAHAHA IT'S ALIVE ... 23:10:19 fungot: are you alive 23:10:19 shachaf: i was talking about /real/ ants. i'll have to take 23:10:34 fungot'll have to take 23:10:34 shachaf: we have mutable fnord, though. that whole code-is-data thing doesn't mean that they do 23:12:32 but for chips and for freedom I could die 23:13:45 fungot: you _don't_ want your fnords to mutate. trust me. 23:13:45 fungot: @quote fungot 23:13:46 oerjan: number42 annotated 308 with " expansion by gambit of previous code" at http://www.common-lisp.net/ paste/ 490 23:13:46 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.