00:01:57 i'd like to remind haskellers here and especially edwardk that you can write {-# LANGUAGE Extension1, Extension2, Extension3, ... #-} hth 00:03:53 (what? neoballs can't be sold in Canada/USA anymore? but I bought some last month!) 00:05:16 * Sgeo Sgeos a bit 00:05:31 -!- nisstyre has quit (Quit: WeeChat 0.4.3). 00:05:33 oerjan: I've been starting to get the impression that people consider that ugly 00:06:34 :( 00:07:04 I don't know if that's the case, or if people really did forget that that's possible 00:07:20 I'm jjust basing it on how common one extension per LANGUAGE pragma seems to be 00:07:39 -!- ^v has quit (Quit: http://i.imgur.com/DrFFzea.png). 00:08:05 -!- ^v has joined. 00:15:26 oerjan: I deliberately don't 00:15:40 darn 00:15:43 that way when I grep -r LANGUAGE src I can take all the results, sort and uniq them 00:16:02 if they are smashed together that becomes awk-ward 00:16:20 and how else would you make a nice ascending chain? 00:16:26 copumpkin: that too 00:16:32 wat 00:16:35 but the reason was more to do with 'other-extensions:' for cabal 00:16:55 [wiki] [[User:Homfrog]] http://esolangs.org/w/index.php?diff=39432&oldid=37002 * Homfrog * (-44) 00:19:09 oerjan: i tend to sort them by length 00:20:01 MyExtensionIsLongerThanYoursSoTheres 00:20:45 Stuff 00:30:19 -!- Phantom_Hoover has quit (Ping timeout: 265 seconds). 00:38:48 is there any deep reason that K_4 is planar and K_5 isn't? 00:39:05 I remember reading that for a torus there are hundreds of forbidden minors and the exact set isn't known (or wasn't at the time) 00:40:41 * Bike googles. kuratowski's theorem? eh what do i know 00:41:14 -!- tertu3 has quit (Ping timeout: 255 seconds). 00:43:22 -!- tertu3 has joined. 00:46:15 what the fungot is a torus forbidden mirror? 00:46:15 boily: after two more quarries the inhabited part of inquanok seemed to end the business, but i felt that i had no knowledge of what legrasse had learned of simon or jedediah orne of salem. with these men he was often at the ward home to be present when the detectives arrived. allen's destruction or imprisonment or curwen's if one might regard the tacit claim to reincarnation as valid he felt must be accomplished at any cost. a 01:01:20 -!- tertu3 has quit (Ping timeout: 276 seconds). 01:02:59 -!- _1_Shingeki3 has joined. 01:03:17 -!- _1_Shingeki3 has left. 01:05:14 minor, boily, not mirror 01:07:54 if a graph contains any of these graphs as a minor, it can't be embedded in a torus without edges crossing 01:08:20 H is called a minor of the graph G if H can be formed from G by deleting edges and vertices and by contracting edges 01:08:47 it's minors not subgraphs because (for example) K_5 is not planar, but clearly it doesn't become any more planar if you stick a node in the middle of each edge 01:09:41 oerjan: this devastates me. 01:10:00 I shall quit and drown my sorrows in a dreamless sleep. 01:10:12 -!- boily has quit (Quit: TOROÏDAL CHICKEN). 01:10:16 -!- metasepia has quit (Remote host closed the connection). 01:10:29 shocking 01:25:54 -!- password2 has quit (Ping timeout: 265 seconds). 01:34:44 -!- tromp has joined. 01:54:07 -!- conehead has quit (Quit: Computer has gone to sleep). 01:55:24 -!- tertu3 has joined. 01:56:04 `coins 01:56:05 sansisesocoin ntchalcoin tomoufcoin scricoin baktecoin piralcoin sephcoin iincommodacoin braktivecoin tricoin brelumcoin luigcoin revicoin elpicoin excelumcoin wherimcoin brococoin suzcoin bankcoin etartricoin 01:56:09 -!- tertu3 has quit (Read error: Connection reset by peer). 01:59:27 -!- Eritzap has quit (Quit: Page closed). 02:00:46 -!- Froox has joined. 02:04:32 -!- Frooxius has quit (Ping timeout: 245 seconds). 02:06:36 who here is an expert in biophysical applications of computational fluid dynamics 02:07:22 not me hth 02:08:46 fungot: are you an expert in biophysical applications of computational fluid dynamics 02:08:46 kmc: his name with fnord fervour fnord. it was very 02:09:33 -!- Froox has quit (Read error: Connection reset by peer). 02:12:42 -!- Frooxius has joined. 02:32:12 -!- oerjan has quit (Quit: leaving). 02:34:38 -!- clog has quit (Ping timeout: 255 seconds). 02:42:52 -!- fizzie has quit (Ping timeout: 245 seconds). 02:50:04 -!- fizzie has joined. 02:57:29 -!- fungot has quit (Ping timeout: 252 seconds). 03:09:22 -!- MoALTz_ has joined. 03:11:57 Bike: what kind of biowhatsit are you doing 03:12:59 i was looking at https://github.com/openworm/Smoothed-Particle-Hydrodynamics 03:13:17 -!- MoALTz has quit (Ping timeout: 276 seconds). 03:14:35 awesome 03:14:42 Fork C. elegans on GitHub! 03:15:25 https://www.kickstarter.com/projects/openworm/openworm-a-digital-organism-in-your-browser 03:15:45 unfortunately it's low on details of how it actually does contraction, which is a bit irritating since the contraction simulation in my own lab is way, way, way different and i'm not sure how 03:16:24 probably i'll have to ask on the......... mailing list 03:19:14 well i mean, i am sure how it's different. i don't know how to explain this. the methods are incredibly divergent 03:20:03 -!- fizzie has quit (Ping timeout: 252 seconds). 03:20:39 kind of tripping out on the idea that there's a kickstarter where the reward is an uploaded organism 03:21:33 i wonder how 'uploaded' it is. the connectome is obviously stable but i wonder where they get membrane parameters 03:22:24 you mean for an initial state of the nervous system? 03:23:22 i wonder what happens when you simulate inputs that are physically impossible 03:23:34 hallucinating, disembodied worms in your web browser 03:24:01 I guess if they are disembodied then they are hallucinating by definition. in a manner of speaking 03:24:18 "We have captured the full 3D morphology of the C. elegans connectome in NeuroML format, and we are currently working to integrate electro-physiology. " hm, so i guess they haven't yet 03:24:48 includes the initial state and also the transitions, probably. membrane physics is hard :D 03:25:34 was talking with my boss's old boss today and he said modern physics is insufficient to model cells in enough detail 03:28:09 cytoplasm violates too many convenient assumptions~ 03:29:21 dang 03:29:47 i mean, i don't know how particle physics is going, you could probably like, run the standard model 03:29:52 "not very efficient" 03:30:36 just need a quantum computer 03:32:04 -!- adu has joined. 03:33:16 let's see, one myosin molecule is probably, iunno, 50 kDa or some shit, so that's like a hundred thousand particles to simulate. and then a fibril's gonna have a few hundred of those 03:33:20 imo sensible 03:36:47 how well do quantum computers do at physics sims, anywho 03:45:25 supposedly they are good for simulating quantum mechanics 03:46:29 http://www.sciencemag.org/content/273/5278/1073.abstract good abstract 03:46:54 son of a fuck i don't have Science access for 96? fuck 03:48:23 http://link.springer.com/article/10.1007%2FBF02650179 hm i'll have to read this later 03:48:38 son of a fuck 03:52:52 -!- Bike has quit (Quit: should focus a bit). 03:58:07 hi all 03:58:48 have any of you heard of Funge-98? 03:58:57 yes 03:59:05 who hasn't 03:59:12 oh 03:59:12 no 03:59:13 i would ask fungot but he left :( 03:59:14 n/m 03:59:52 I admire Funge-98 for it's audacity to think outside the box :) 04:02:57 -!- tertu has joined. 04:04:40 well, most multidimensional languages do that 04:04:53 think outside the box and inside the torus? 04:05:35 any programming language that requires topological reasoning is fine by me. 04:05:55 oh, we're in french now? ♫ debout, les damnés de la terre ♫ 04:06:05 adu: you might like homotopy type theory 04:06:55 adu, you sounded like a jehovas witness for befunge98 just then lol 04:07:17 have you heard the good word of multidimensional programming? 04:08:04 as a matter of fact, we currently have a project for building a compiler for rail 04:15:50 -!- adu has quit (Quit: adu). 04:16:47 -!- adu has joined. 04:17:04 myname: what kind of rail? 04:17:48 -!- Sorella has quit (Quit: It is tiem!). 04:17:57 http://esolangs.org/wiki/Rail that kind 04:21:18 myname: hmm 04:21:47 -!- adu has quit (Quit: adu). 04:25:04 "It works dammit! Leave me alone! 04:25:05 causes heart bleed 2.0" 04:25:10 "But that didn't work" 04:25:15 "It did what it was supposed to, and it did some more as well." 04:25:32 Also http://www.reddit.com/r/programming/comments/24g6al/i_have_officially_failed_at_programming/ch76623 04:26:03 we have arrived too late to play in the bleeding heart show 04:34:27 -!- clog has joined. 04:35:47 -!- nisstyre has joined. 04:36:59 `coins 04:37:00 brakoncoin miniuscoin jehintcoin codecoin twischedrungcoin boemiccoin scalcoin befalcoin bredcoin chocoin adderitcoin waker)coin minuocoin proof!coin hitecoin concrcoin wulgarthubicoin whiccoin mincocoin axocoin 04:48:14 -!- nooodl has quit (Quit: Ik ga weg). 04:48:50 -!- tertu has quit (Ping timeout: 276 seconds). 04:52:08 -!- Bike has joined. 04:52:27 proof!coin 04:53:17 darn, adu's gone, i was going to recommend Practical CS that needs topologishit 05:03:33 -!- fizziev has joined. 05:04:27 The one day I'm switching ISPs is of course when someone comes in with the best excuse for fungot promotion. 05:05:21 i found it kinda cute 05:05:32 it is like "dude, did you hear about brainfuck????" 05:08:57 -!- conehead has joined. 05:50:48 -!- FreeFull has quit. 05:55:36 -!- aloril has quit (Ping timeout: 265 seconds). 06:08:56 -!- aloril has joined. 06:13:01 -!- MoALTz_ has quit (Quit: bbl). 06:30:02 -!- ^v has quit (Read error: Connection reset by peer). 06:31:23 -!- drdanmaku has quit (Quit: Connection closed for inactivity). 07:03:26 There are campaigns to get governments to use open-source software, aren't there? 07:03:57 yes 07:10:07 -!- fizzie has joined. 07:23:14 -!- variable has changed nick to function. 07:29:09 i'm wondering cos i looked up a government program and it advises uninstalling IE8 in favor of IE7 07:41:10 -!- slereah has joined. 07:52:42 -!- impomatic has quit (Ping timeout: 240 seconds). 08:03:26 -!- nisstyre has quit (Quit: WeeChat 0.4.3). 08:06:40 Bike: ouch 08:22:26 -!- Sprocklem_ has joined. 08:25:07 -!- edwardk_ has joined. 08:26:50 -!- atriq has joined. 08:27:15 -!- password2 has joined. 08:27:29 -!- Patashu has joined. 08:28:36 -!- shachaf_ has joined. 08:29:11 -!- mroman_ has joined. 08:30:05 -!- heroux_ has joined. 08:30:26 -!- lexande_ has joined. 08:31:47 -!- Gracenotes_ has joined. 08:31:54 -!- variable has joined. 08:34:39 -!- augur has quit (*.net *.split). 08:34:39 -!- Melvar has quit (*.net *.split). 08:34:40 -!- heroux has quit (*.net *.split). 08:34:41 -!- mroman has quit (*.net *.split). 08:34:41 -!- Gracenotes has quit (*.net *.split). 08:34:47 -!- heroux_ has changed nick to heroux. 08:34:54 -!- aloril has quit (*.net *.split). 08:34:54 -!- function has quit (*.net *.split). 08:34:54 -!- edwardk has quit (*.net *.split). 08:34:54 -!- Sprocklem has quit (*.net *.split). 08:34:55 -!- shachaf has quit (*.net *.split). 08:34:55 -!- Taneb has quit (*.net *.split). 08:34:56 -!- lexande has quit (*.net *.split). 08:36:41 -!- lexande_ has changed nick to lexande. 08:36:57 -!- aloril has joined. 08:49:18 -!- fizziev has quit (Quit: leaving). 08:53:23 -!- augur has joined. 08:53:23 -!- Melvar has joined. 08:54:04 -!- skarn has joined. 08:55:42 -!- password2_ has joined. 08:56:51 -!- scoff has changed nick to dudejzkisfail. 08:57:26 -!- dudejzkisfail has left ("Leaving"). 08:58:01 -!- password2 has quit (Ping timeout: 252 seconds). 09:08:22 -!- atriq has changed nick to Taneb. 09:19:45 -!- Patashu_ has joined. 09:19:45 -!- Patashu has quit (Disconnected by services). 10:15:34 [wiki] [[If(j)invert()if(l)change()if(q)input()if(t)output(x);]] N http://esolangs.org/w/index.php?oldid=39433 * Lucasieks * (+878) Created page with "==INTERPRETER== Especifications: J - invert the bit pointed L - invert the pointer Q - input and put in the pointer T - output the pointer Interpreter in c: int[] mem..." 10:16:24 [wiki] [[Talk:If(j)invert()if(l)change()if(q)input()if(t)output(x);]] N http://esolangs.org/w/index.php?oldid=39434 * Lucasieks * (+25) Created page with "This need some additions." 10:17:51 [wiki] [[If(j)invert()if(l)change()if(q)input()if(t)output(x);]] M http://esolangs.org/w/index.php?diff=39435&oldid=39433 * Lucasieks * (+51) /* SAMPLES */ 10:18:59 -!- boily has joined. 10:21:03 [wiki] [[User:Lucasieks]] M http://esolangs.org/w/index.php?diff=39436&oldid=37889 * Lucasieks * (+2) 10:25:23 [wiki] [[Joke language list]] M http://esolangs.org/w/index.php?diff=39437&oldid=39420 * Lucasieks * (+60) 10:26:25 -!- conehead has quit (Remote host closed the connection). 11:02:04 -!- yorick has joined. 11:10:10 -!- boily has quit (Quit: ´´´´´´´´). 11:21:34 [wiki] [[Symbols]] M http://esolangs.org/w/index.php?diff=39438&oldid=39429 * Lucasieks * (+13) 11:21:47 [wiki] [[Symbols]] M http://esolangs.org/w/index.php?diff=39439&oldid=39438 * Lucasieks * (-1) 11:34:51 [wiki] [[ND]] N http://esolangs.org/w/index.php?oldid=39440 * Lucasieks * (+196) Created page with "nD is a project to create one language for each dimension. ==1D== It is a line. ==2D== 2D space. ==3D== How to represent in a 2D space? ''This is a WIP, we need help to f..." 11:37:42 [wiki] [[Talk:ND]] N http://esolangs.org/w/index.php?oldid=39441 * Lucasieks * (+102) Created page with " ''Click on 'add topic' above to add an topic''" 11:37:43 -!- mhi^ has joined. 11:38:34 [wiki] [[Talk:ND]] http://esolangs.org/w/index.php?diff=39442&oldid=39441 * Lucasieks * (+17) /* new */ new section 11:39:05 [wiki] [[Talk:ND]] M http://esolangs.org/w/index.php?diff=39443&oldid=39442 * Lucasieks * (-8) /* new */ 11:41:23 [wiki] [[Talk:ND]] M http://esolangs.org/w/index.php?diff=39444&oldid=39443 * Lucasieks * (+106) /* 1 */ 11:41:31 -!- KingOfKarlsruhe has joined. 11:43:51 [wiki] [[Talk:ND]] http://esolangs.org/w/index.php?diff=39445&oldid=39444 * Lucasieks * (+89) /* 2D */ new section 11:44:08 [wiki] [[Talk:ND]] M http://esolangs.org/w/index.php?diff=39446&oldid=39445 * Lucasieks * (-1) 11:45:59 [wiki] [[Talk:ND]] http://esolangs.org/w/index.php?diff=39447&oldid=39446 * Lucasieks * (+91) /* 3D */ new section 11:50:42 [wiki] [[Works in progress]] M http://esolangs.org/w/index.php?diff=39448&oldid=38457 * Lucasieks * (+68) 11:51:02 -!- nooodl has joined. 11:53:42 [wiki] [[Tubes]] M http://esolangs.org/w/index.php?diff=39449&oldid=17768 * Lucasieks * (+17) 11:57:26 [wiki] [[Main Page]] M http://esolangs.org/w/index.php?diff=39450&oldid=37905 * Lucasieks * (+17) 11:58:09 [wiki] [[Main Page]] M http://esolangs.org/w/index.php?diff=39451&oldid=39450 * Lucasieks * (+10) 12:19:22 ... 12:28:12 good 12:30:33 -!- Sgeo has quit (Read error: Connection reset by peer). 12:32:35 *yawn* 12:40:08 -!- Sorella has joined. 12:53:01 -!- tromp has quit (Remote host closed the connection). 12:53:38 -!- tromp has joined. 12:58:17 -!- tromp has quit (Ping timeout: 276 seconds). 13:25:03 -!- augur has quit (Quit: Leaving...). 13:42:46 -!- nucular has joined. 13:42:46 -!- nucular has quit (Changing host). 13:42:46 -!- nucular has joined. 13:46:13 -!- Patashu_ has quit (Ping timeout: 245 seconds). 13:49:54 -!- Sprocklem_ has quit (Ping timeout: 240 seconds). 14:08:37 -!- augur has joined. 14:12:44 -!- MindlessDrone has joined. 14:24:22 -!- variable has changed nick to constant. 14:29:25 -!- nooodl_ has joined. 14:33:50 -!- nooodl has quit (Ping timeout: 276 seconds). 14:34:19 -!- Sprocklem has joined. 14:37:04 -!- Eritzap has joined. 14:38:18 [wiki] [[Main Page]] http://esolangs.org/w/index.php?diff=39452&oldid=39451 * Ehird * (-27) revert appearance-breaking change 14:39:02 -!- KingOfKarlsruhe has left. 14:39:14 -!- nooodl_ has changed nick to nooodl. 14:40:35 -!- ^v has joined. 14:41:48 [wiki] [[User talk:Lucasieks]] http://esolangs.org/w/index.php?diff=39453&oldid=39431 * Ehird * (+1034) restore thread + comment 14:50:14 -!- AnotherTest has joined. 14:54:41 fizzie: http://esolangs.org/forum/forum/ should be http://esolangs.org/forum/ 14:56:25 -!- Patashu has joined. 15:03:00 are you sure? 15:03:59 -!- idris-ircslave has joined. 15:05:02 yes. 15:12:05 /forum/ just links to /forum/forum/, though 15:17:27 yes. 15:17:42 it shouldn't 15:19:20 -!- slereah has quit (Remote host closed the connection). 15:30:27 -!- edwardk_ has quit (Quit: Computer has gone to sleep.). 15:38:25 -!- Patashu_ has joined. 15:38:25 -!- Patashu has quit (Disconnected by services). 15:56:35 -!- drdanmaku has joined. 15:57:13 -!- tromp has joined. 16:01:37 -!- tromp has quit (Ping timeout: 250 seconds). 16:04:20 -!- Sprocklem has quit (Quit: Math test). 16:07:10 It is a fixed. 16:07:15 I don't know how it ended up nested like that. 16:19:08 -!- Phantom_Hoover has joined. 16:27:38 -!- Eritzap has quit (Quit: Page closed). 16:43:07 -!- yorick has quit (Remote host closed the connection). 16:56:44 -!- FreeFull has joined. 17:07:29 -!- edwardk has joined. 17:10:59 -!- edwardk has quit (Read error: Connection reset by peer). 17:11:28 -!- edwardk has joined. 17:15:27 -!- MoALTz has joined. 17:20:03 -!- MoALTz has quit (Ping timeout: 250 seconds). 17:28:20 -!- MoALTz has joined. 17:29:46 -!- shachaf_ has changed nick to shachaf. 17:29:56 -!- shachaf has quit (Changing host). 17:29:57 -!- shachaf has joined. 17:33:37 -!- Sprocklem has joined. 17:38:26 fizzie: prolly my fault 17:39:27 On the other hand, we bought a teapot. 17:40:46 -!- Bike_ has joined. 17:40:52 -!- Bike_ has changed nick to Bicyclidine. 17:41:51 -!- edwardk has quit (Read error: Connection reset by peer). 17:42:12 -!- edwardk has joined. 17:49:50 -!- fungot has joined. 18:10:28 You have: No tea. 18:19:45 You could make a bong out of it 18:19:53 -!- Sprocklem has quit (Quit: Class). 18:20:06 perhaps bonghits could help me make a bong out of it 18:21:08 -!- Eritzap has joined. 18:23:43 I'm not sure how bongable it is. 18:23:50 Though I guess you can make one out of just about anything. 18:24:39 This one was in the hotel room, and it looked nice and useful, and they had one for sale in the reception. 18:24:57 -!- edwardk has quit (Read error: Connection reset by peer). 18:25:21 -!- edwardk has joined. 18:25:59 https://dl.dropboxusercontent.com/u/113389132/Misc/20140502-teapot.jpg 18:26:20 (There's the kind of a wire mesh tea-holder thing in the top hole.) 18:28:11 -!- Phantom_Hoover has quit (Ping timeout: 252 seconds). 18:43:31 -!- nisstyre has joined. 18:49:58 -!- password2_ has quit (Ping timeout: 240 seconds). 18:57:59 -!- edwardk has quit (Ping timeout: 250 seconds). 19:07:05 -!- not^v has joined. 19:10:27 -!- ^v has quit (Ping timeout: 252 seconds). 19:27:15 -!- Eritzap has quit (Quit: Page closed). 19:55:41 you can boil water in that to reconstitute cup of noodle or such 19:56:01 since it appears to also be a kettle 19:58:03 https://twitter.com/michaeljhudson/status/462103006410858496/photo/1/large xD 19:58:13 -!- Sprocklem has joined. 19:59:23 -!- john_metcalf has joined. 19:59:44 is that a Microsoft product or just branded swag 19:59:55 implications are painful 20:01:19 nothing wrong with products having several uses 20:02:29 the question is: where do you get 4 spherical usb covers 20:02:30 those exposed ports will be a problem though 20:02:37 It's iron, I don't know if it's really a kettle too. 20:02:43 I mean, officially. 20:03:28 the ports is what i meant 20:03:51 fizzie: you mean it's a purely decorational teapot? 20:03:55 seems useless 20:04:21 No, I mean, I think the officially designated way is to pour hot water in it. 20:04:25 as far as i know, you can use them, but they are far from practical 20:04:40 Rather than putting it on a stove or some such. 20:04:48 those pots tend to get pretty hot 20:05:17 I guess since it doesn't seem to have any parts that are not cast iron, you could use a pole and put it on an open fire or something. 20:05:29 the mixing of conversations here is amusincg 20:05:38 The handle didn't seem to get especially hot, anyway. 20:06:04 kmc: what mixing? :p 20:06:05 But the hotel had a regular whatchamacallit, water-boil-o-mater. 20:06:08 anyway yes, things that go in your butt should not have exposed ports 20:06:15 sex toys are the killer app for inductive charging 20:06:24 what 20:06:48 what's unclear about that statement 20:07:36 i wouldn't say "unclear" 20:07:45 hmm, I wonder if they could be inductively charged/powered while in use too, should be theoretically possible I guess 20:08:18 otoh, cords are pretty great compared to uncharged batteries 20:08:56 yeah 20:09:15 not so much for insertable items though :P 20:10:58 -!- MindlessDrone has quit (Quit: MindlessDrone). 20:11:05 I've used a metal teapot like that and it was fine. Didn't boil the water in it but I don't see why that wouldn't work. Cast iron is actually a very poor conductor of heat (as metals go). 20:11:48 I'd guess it's good enough to burn your hand 20:12:16 there should be a version of the We-Vibe that's powered by the, er, natural mechanical action of using it 20:12:35 m, like a self-winding watch, very useful 20:12:53 Hmm 20:12:54 exactly 20:13:10 I didn't burn my hand on the handle, but it's not like using a potholder is terribly impractical. 20:13:17 as a more serious side note: i do think they should do that for smartphones 20:13:35 would it charge fast enough? 20:14:24 almost certainly not 20:14:36 probably not, but it could expend the time between charging 20:14:52 presumably you'd use a thermal charger instead, for one 20:15:04 Bicyclidine: yeah 20:15:09 no reason to not do both 20:15:35 i don't think phones touch the skin enough for a self-winder to be practical. 20:15:43 as much as the idea of a phone with a mainspring amuses me 20:15:56 Bicyclidine: you never played ingress, do you? 20:16:09 -!- conehead has joined. 20:16:36 an ARG? what are you, some kind of nerd? 20:16:56 totally 20:17:08 AR is best R 20:17:56 is it like more real than reality? 20:18:10 even more than that! 20:18:26 also: if you don't dislike anime, watch dennou coil 20:21:06 https://pbs.twimg.com/profile_images/3683374135/c637bfc5e4055c9d3a6d007aa1297b24_400x400.jpeg no, i am the big anime fan 20:22:27 can't find a teardown to get the battery capacity :/ 20:47:30 fungot: play the oboe 20:47:30 olsner: bloody hell. i totally missed it. :) 21:15:07 Oh dear god, the guy who played Anakin in Episode I of Star Wars is 5 years older than me 21:15:10 -!- Bicyclidine has quit (Ping timeout: 240 seconds). 21:16:00 -!- nortti has changed nick to lawspeaker. 21:16:11 [wiki] [[Powerlist]] N http://esolangs.org/w/index.php?oldid=39454 * CodingBat * (+19915) Created the article 21:16:21 -!- lawspeaker has changed nick to nortti. 21:16:52 -!- Sprocklem has quit (Quit: Leaving). 21:19:03 -!- edwardk has joined. 21:19:54 -!- yorick has joined. 21:24:05 -!- AnotherTest has quit (Ping timeout: 252 seconds). 21:36:17 -!- sebbu has quit (Ping timeout: 264 seconds). 21:36:56 -!- edwardk has quit (Read error: Connection reset by peer). 21:38:02 -!- sebbu has joined. 21:38:40 -!- sebbu has quit (Changing host). 21:38:40 -!- sebbu has joined. 21:41:51 -!- nucular has quit (Quit: Excess Food). 21:59:07 so, for ssl stuff, explicit_bzero is a function that the compiler refuses to optimize out, right? would a regular bzero be optimized out if, like, the variable goes out of scope after the call? 22:00:04 most probably yes 22:00:38 depends on the smartness of the compiler but smart enough one would 22:01:30 Bike: explicit_bzero is openbsd-specific 22:01:35 jfyi 22:01:49 well yes, but the idea of it, which ssl had independently of bsd for instance 22:02:28 so is that a real problem that everyone else ignores or are the bsd people just a bit crazy? 22:02:55 the BSD people aren't the only ones who do it, I don't think. 22:04:15 kqueue.org/blog/2012/03/05/memory-allocator-security-revisited/ right, so C is impossible 22:04:43 -!- Phantom_Hoover has joined. 22:05:36 hmm, nicely broken page, everything except the quoted code is blank 22:07:22 I had to reload it for that to go away. 22:08:08 yeah that worked for me too 22:10:46 -!- edwardk has joined. 22:11:42 [wiki] [[Powerlist]] http://esolangs.org/w/index.php?diff=39455&oldid=39454 * CodingBat * (+1487) Added categories and a proof of Turing-completeness 22:18:25 -!- edwardk has quit (Quit: Computer has gone to sleep.). 22:18:39 -!- Eritzap has joined. 22:20:17 -!- Sprocklem has joined. 22:22:39 -!- MoALTz_ has joined. 22:25:41 -!- MoALTz has quit (Ping timeout: 252 seconds). 22:34:44 -!- edwardk has joined. 22:47:08 -!- boily has joined. 22:52:44 @massages-loud 22:52:44 You don't have any messages 22:54:34 o.o 22:54:46 ^celebrate 22:54:46 \o| c.c \o/ ಠ_ಠ \m/ \m/ \o_ c.c _o/ \m/ \m/ ಠ_ಠ \o/ c.c |o/ 22:54:46 | c.c.c | ¯|¯⌠ `\o/´ | c.c.c | `\o/´ ¯|¯⌠ | c.c.c | 22:54:46 /´\ c.c /< >\| | /`\ c.c /< | |\| >\ c.c /< 22:54:47 /´¯|_) /´\ 22:54:47 (_| (_| |_) 22:55:34 Tanelle. 22:55:52 (strangely, you're still the only one I address in the vocative case.) 22:56:01 goodbyely 22:56:06 (I need to get some sleep) 22:56:40 I wonder if myndzi works on PM 22:57:12 Doesn't seem like it :( 22:57:36 myndzi: please correct this outrageous and egregious bug asap twh kthxbye. 23:01:39 boily, have fun in Canadaland or wherever the hell you are 23:01:43 I'm off to bed 23:06:52 @tell Taneb I always am at Canada, modulo some rare lapses spent on other continents. 23:06:53 Consider it noted. 23:16:43 boily: Never go to the US 23:16:47 ? 23:17:12 hm? 23:17:29 I already went to the US. multiple times. on my own volition. 23:17:40 boily: "I always am at Canada ... other continents." 23:18:09 boily: Canada's a country, not a continent 23:18:29 good to know 23:18:39 I only transit through the US. except when I was younger and we family-vacationed on the East Coast. 23:18:51 -!- tromp has joined. 23:23:21 -!- tromp has quit (Ping timeout: 252 seconds). 23:28:35 -!- Sgeo has joined. 23:33:50 -!- mhi^ has quit (Quit: Lost terminal). 23:44:05 where on the east coast? 23:48:16 Connecticut, Massachusetts, New York, Boston, Washington DC., Baltimore (nice aquarium by the way). Michigan too, but that's not quite eastcoastian. 23:48:27 never saw the b'more aquarium 23:48:38 boston has a pretty good one, but the best part was closed when I went :/ 23:48:54 there's an aquarium in boston and nobody told me? aaaaargh! 23:49:01 sorry 23:49:30 I like aquariums. they have interesting floating things that move. 23:49:35 yes 23:49:38 osaka has a nice one 23:49:49 I went to the ōsaka one :D 23:49:55 cool 23:50:46 the monterey bay aquarium is supposed to be one of the best, and it's not too far from where I live 23:50:49 I could bike there in two days 23:52:21 -!- yorick has quit (Remote host closed the connection). 23:52:38 you are tempting me with scenic places. 23:53:10 boily: clearly there's an aquarium in boston, since it has a subway station named after it 23:55:09 I don't think I ever used Boston's subway. 23:57:03 but according to the plan, I can get from Honoré-Beaugrand over to Lechmere through the Green Line Extension to Canada.