00:11:07 -!- ais523 has changed nick to ais523\unfoog. 00:17:48 ...it's possible to easily argue for either way in almost all political issues 00:18:10 it's possible to easily argue for either way on any issue. 00:18:11 I don't think I know how to form an unbiased opinion 00:18:28 What would an "unbiased opinion" even be 00:19:06 One that weighs fairly all, or a reasonable sample thereof, parameters, I guess 00:20:17 what's "fairly" 00:20:22 Who knows 00:20:40 But I've made myself sad 00:21:20 uh 00:21:22 Also I forgot to eat my bread 00:21:26 have you tried 00:21:27 And now it's gone moldy 00:21:31 evidentialism? 00:21:34 i recommend it 00:21:50 Excuse me while I dump an entire loaf in the bin 00:22:06 losing an entire load of bread really is a sad situation. 00:22:58 Taneb: I ended up refusing to eat bread for months because of that 00:23:05 nowadays I schedule when I will need a loaf 00:23:10 and by a small one immediately beforehand 00:23:40 * oerjan just keeps it in the fridge and/or freezer, barbaric he is. 00:23:48 I keep my bread frozen until I'm ready to breadbinge 00:24:05 i can't... did i just read that... 00:24:24 i buy bread that's CHOCK FULL OF PRESERVATIVES 00:24:24 Bike: shocking, isn't it. 00:24:33 it lasts for WEEKS 00:24:36 not you, ais 00:25:01 Bike: some people are master schedulers. 00:26:09 I usually find that I need bread to finish the bread spreads, and then I need bread spreads to finish the bread 00:26:38 and some people like me buy new once he's opened the last package. and sometimes before. 00:27:02 olsner: so if they ever match up you'll starve to death? 00:27:15 I might fall back to eating other things 00:27:39 I don't remember finding myself in that situation though 00:27:53 -!- Sprocklem has joined. 00:28:06 -!- Koen_ has joined. 00:28:25 Well, shock and malnourishment will do that to you 00:28:30 actually i used to keep bread in a drawer, but then i got insects in the drawer, and i have used the fridge since. 00:31:36 someone give me a good name for an esolang 00:31:47 specifically for my MWI BF deriv 00:31:54 what's MWI 00:32:09 MoWglI 00:34:00 Given a physical object, how would you measure its surface area? 00:34:34 Also I realised my milk was past its due date 00:34:34 Bike: it depends on resolution, fractals you know 00:34:42 if it looks enough like a sphere I might look up the formula for diameter -> surface area 00:34:57 ais523\unfoog, the problem is I can EASILY eat the bread fast enough, I just don't 00:35:09 physical object, oerjan. 00:35:23 Bike: physical objects are surprisingly fractal. 00:35:53 http://en.wikipedia.org/wiki/How_Long_Is_the_Coast_of_Britain%3F_Statistical_Self-Similarity_and_Fractional_Dimension 00:36:19 http://en.wikipedia.org/wiki/Coastline_paradox 00:36:35 i'm just weirded out since i realized that measuring volume is easy, but then I see something like "lungs have an internal surface area of 70 m²" and just swallow it without thinking. 00:36:44 quintopia: i'm assuming you went with MoWglI. 00:37:12 -!- augur has quit (Remote host closed the connection). 00:37:30 (it looks like they estimate it by measuring the area of (roughly spherical) alveoli and then guessing how many of those there are) 00:37:38 -!- augur has joined. 00:38:29 -!- augur has quit (Read error: Connection reset by peer). 00:38:32 -!- augur_ has joined. 00:38:34 and i'm sure if you look closely those alveoli aren't smooth either. 00:38:42 mmhm 00:38:49 and once you get down to atoms, does area even make sense. 00:39:00 Maybe in that specific case you could guess it backwards by seeing how much oxygen they can take in... 00:39:13 -!- augur has joined. 00:39:14 -!- augur_ has quit (Read error: Connection reset by peer). 00:39:18 -!- augur has quit (Remote host closed the connection). 00:39:26 Except how do you measure how much one unit surface area can do. 00:39:44 -!- augur has joined. 00:40:09 so basically it's assumptions all the way down. 00:40:23 until you hit the turtles, at least. 00:40:42 But how big are the turtles? 00:40:51 -!- augur_ has joined. 00:41:08 -!- augur has quit (Read error: Connection reset by peer). 00:42:19 prooftechnique: i think heisenberg uncertainty may be involved. 00:42:53 If there are seagulls on the beach, all of modern mathematics will come crashing down 00:42:56 * prooftechnique weeps 00:43:25 O KAY 00:43:30 -!- yorick has quit (Remote host closed the connection). 00:43:31 -!- Phantom_Hoover has joined. 00:45:25 -!- Bike has quit (Ping timeout: 248 seconds). 00:47:10 `? c 00:47:12 C is the language of��V�>WIד�.��Segmentation fault 00:52:16 twitter IPO tomorrow 00:52:39 `run ls wisdom/*eal* 00:52:41 wisdom/Real Fast Nora's Hair Salon 3: Shear Disaster Download 00:52:56 -!- nisstyre has joined. 00:53:28 `run mv wisdom/{"Real Fast Nora's Hair Salon 3: Shear Disaster Download","real fast nora's hair salon 3: shear disaster download"} 00:53:31 No output. 00:53:38 `? Real Fast Nora's Hair Salon 3: Shear Disaster Download 00:53:40 Real Fast Nora's Hair Salon 3: Shear Disaster Download is the most readable functional programming language out there. 00:53:50 Taneb: sheesh. 00:54:13 All hail 00:54:29 `run ls -1 wisdom/* | grep '[A-Z]' 00:54:32 wisdom/` \ wisdom/`? \ wisdom/_̰̆̓_̦̻̖͍̟̖̅ͭͭͬ͡_͉̭ͧ͒̐_̯͙̬̬̦̯͂͋͒ͧ͋̋_̴̝̔̉̅ͨ͞ \ wisdom/? \ wisdom/?? \ wisdom/@ \ wisdom/☃ \ wisdom/⌨ \ wisdom/⊥ \ wisdom/🐐 \ wisdom/̸̸̼͚͇̮͕̳̞̤̜̯̪̪̱̣̠̺̹͍̩̝͚͕͓͚̙͓̪̮̟̜̣͙̪̂ͭ̎̏̔ͦ͒ͪ͌̾ͦͨ̚̚͢͢͠ͅ҉̴̢_̿̊ͣ̉ͣͪ͒̓̐͊̏̚̚ 00:54:49 oh right that mess 00:55:00 `run ls -1 wisdom/* | grep '[[:UPPER:]]' 00:55:02 grep: Invalid character class name 00:55:20 `run ls -1 wisdom/* | grep '[[:upper:]]' 00:55:22 wisdom/Ø \ wisdom/wisisis "This isn't an actual wisdom, just a tribute." 00:55:23 so logical 00:55:40 `? Ø 00:55:43 ​ø is not going anywhere. 00:55:52 `cat wisdom/Ø 00:55:54 ​Ø escaped due to a sensitive case bug 00:56:04 ...i guess that stays. 00:56:53 `run cat wisdom/wisi* 00:56:55 No output. 00:58:50 `? substructural typing 00:58:53 Not to be confused with structural subtyping. 00:59:03 `? structural subtyping 00:59:05 Not to be confused with substructural typing. 00:59:08 yep. 00:59:24 haha 00:59:27 true wisdom 01:03:46 `run echo "Something Bike is into. Not to be confused with suburban destruction." >wisdom/"structsubural type" 01:03:50 No output. 01:09:46 elliott, {also ais523\unfoog and oerjan in case he's not listening}, i suggest doing the admin work on the esolangs wiki with an account in the bot group 01:10:06 Phantom_Hoover, how is the fortress going 01:10:09 because these ongoing spam wars are making recent changes useless 01:10:11 Taneb, aaaargh 01:10:11 Phantom_Hoover: I'm not sure that works for blocks and deletions 01:10:18 we can remove /edits/ from recent changes even without a bot-group account 01:10:19 definitely does 01:10:48 wouldn't get rid of the spammers' user creation logs, unfortunately 01:11:53 -!- Bike has joined. 01:13:43 oerjan: i left to unpack my pack. i didn't go with anything. did you have a better idea? 01:14:21 how can i have a better idea when i don't know what mwi means. 01:14:35 most westerly incinerator 01:15:45 ais523\unfoog: hm. ok remind me how we got the bot flag set again. 01:16:02 oerjan: there's a user rights setting interface that only bureaucrats can use 01:16:04 oerjan: hugh everett's quantum mechanics interpretation 01:16:23 i'm guessing elliott's the only bureaucrat 01:16:35 I'm one too, I think 01:16:36 ais523\unfoog is too 01:16:42 oerjan: http://en.wikipedia.org/wiki/Many-worlds_interpretation 01:16:49 what is the point of the initialism 01:17:08 ais523\unfoog: hm i thought i was supposed to have access to do bot edits or do i remember wrong 01:17:22 quintopia: EverFuck 01:17:28 well bot is just a user group 01:17:28 oerjan: that's different 01:17:45 i think "elliott's the only bureaucrat" is a wonderful name for an esolang 01:17:48 you put ?bot=1 or &bot=1 as appropriate at the end of a contributions URL 01:17:49 that keeps your actions from showing up on recent changes 01:18:03 Can I do "foo[1:7] = bar[1:7]" to assign seven bits of bus? 01:18:03 then the rollback button makes both your edits, and the edits you roll back, get flagged as bot 01:18:32 in verilog i guess i should mention. 01:18:41 ais523\unfoog: ok and that won't work with page deletions and/or blocks? 01:18:52 oerjan: no, it only works with rollbacks 01:19:00 ok 01:19:09 my life would be much happier if builds didn't take five minutes, i feel 01:19:12 in Wikipedia, deletions are major enough that hiding them from the log would be a bad idea 01:19:16 and MediaWiki assumes that everyone is Wikipedia 01:19:22 i suppose. 01:19:41 and in wikipedia new users can't create pages iirc 01:20:17 which would be untenable on our wiki 01:20:32 hm 01:20:53 wasn't there an incident when a wikipedia admin deleted some major discussion page and fucked the database 01:21:16 ais523\unfoog: can you help me out here 01:21:40 Bike: in Verilog? I think that's possible 01:21:43 but I'm better at VHDL 01:21:48 oh right, you don't know verilog. 01:21:51 well, fuck everything. 01:21:55 -!- Sgeo has joined. 01:21:58 verilog and vhdl are actually different, right 01:22:01 Phantom_Hoover: it was the old version WP:AFD, I think 01:22:02 Bike: a fresh build of the thing i work on takes 25 minutes 01:22:06 where everything was done on one page 01:22:08 and that's on the fastest computer I have access to 01:22:16 Phantom_Hoover: they're basically feature-identical but use different syntax for everything 01:22:19 kmc: real job though. 01:22:25 something like that. 01:22:47 -!- Taneb has quit (Quit: Leaving). 01:25:02 this is just homework i've been slacking on. makes flashy lights 01:36:15 oerjan: how about "Quantum Fuckicide"? :D 01:36:56 "This Language Does Not Exist In Your Universe" 01:40:40 -!- Phantom__Hoover has joined. 01:40:54 Heh, there's no monotonic surjection from [0,1) to [0,1] 01:41:00 i find this inordinately amusing 01:41:32 strictly monotonic, surely? 01:41:53 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds). 01:42:10 maybe 01:42:17 otherwise f x | x <= 1/2 = 2*x | otherwise = 1 would work. 01:42:33 yeah 01:43:49 i remember when a guy wasted like ten minutes of an analysis lecture by asking if a function had to be strictly increasing, despite the fact that it had already been taken to be injective 01:47:26 now prove there is no continuous bijection from [0,1)^n to [0,1]^n >:) 01:47:49 -!- Sprocklem has quit (Ping timeout: 248 seconds). 01:48:19 hm wait is there 01:49:32 today someone asked me to prove that if a sub-algebra of the set of continuous functions from [0, 1] to R had finite dimension, then it was the set of constant functions 01:50:16 (algebra with addition (f+g)(x) = f(x) + g(x) and multiplication (f*g)(x) = f(x)g(x)) 01:52:43 i tried to stop a build and the entire ide crashed. i hate this program so much. 01:52:54 haha sux 01:53:12 i just removed about 10 makefiles 01:53:18 let's see if it still builds 01:54:58 Koen_: that reminds me of an important theorem which i cannot remember the name for 02:02:15 ah the Stone-Weierstrass theorem 02:02:34 yeah i'd say that's just a tad important 02:03:21 the name clearly rings a bell but IT'S BEEN A LONG TIME soooooo 02:03:54 the one where you can approximate (continuous? i forget) functions with polynomials. 02:04:00 i finally found it when i got the idea to google the ingredients of the theorem instead of finding the right wikipedia subject/mathematician 02:04:39 -!- john_metcalf has quit (Ping timeout: 260 seconds). 02:06:07 -!- impomatic has quit (Ping timeout: 265 seconds). 02:06:55 hm that's not the most obvious too powerful theorem to use for Koen_'s proof 02:07:31 it's not supposed to be too hard, he apparently expected me to give an answer within ten minutes 02:08:02 woah dude 'length' is a monoid homomorphism isn't it 02:08:11 what is the polynomial that approximates the weierstrass function 02:09:09 -!- Phantom__Hoover has quit (Ping timeout: 272 seconds). 02:09:45 Koen_: what i'm thinking of is that a closed subalgebra with unit of C(X) is isomorphic to C(X/function dividing out the points which the algebra doesn't distinguish) 02:10:31 since it's finite dimensional, the X/... must be finite, but X is connected so it must be a single point QED 02:10:58 is C(X) the set of fractional functions? or whatever you call polynom/polynom 02:11:26 it's the continuous functions from X to R, where X is a compact hausdorff space (e.g. [0,1]) 02:11:40 kmc: (sum . map (const 1)) should make that obvious :) 02:12:05 i.e. the algebra you're inside. 02:12:14 or more explicitly, foldMap (\_ -> Sum 1) 02:12:39 elliott: yeah 02:13:28 'sum' is also a monoid homomorphism 02:13:31 hooray 02:13:43 more like monoid gaymorphism 02:13:55 i don't know why i said that. it was dumb. sorry. 02:14:00 oerjan: and "connected" is that property of a set that basically says "if two points 'touch' eachother then they're equal?" 02:14:07 kmc: sum is and map (const 1) is 02:14:24 and homomorphisms of a monoid form a category 02:14:32 Koen_: no. it's the property that says the space is not the union of two disjoint open sets. 02:14:40 kmc: (of course, map f is for any f) 02:14:53 right 02:15:06 it's preserved by continuous surjective functions. 02:15:34 alright 02:16:18 kmc: you should read http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.45.2247&rep=rep1&type=pdf, it's exciting! 02:16:31 then maybe also https://www.fpcomplete.com/user/edwardk/conquering-folds (where I found it from) 02:16:38 is that a direct link to a pdf! 02:17:00 Koen_: what you said could be called "being in the same connected component" 02:17:04 I'm still not sure what the X/ means - is that some sort of set quotient? as in dividing by the Ker of the function or something 02:17:47 oerjan: no, I was refering to a weird thing that almost any set I can imagine verifies but witch some weiiiiiird sets do not 02:17:58 Bike: blame edwardk 02:18:05 in french we call it either "séparé" or "séparable", I never remember which 02:18:10 s/witch/which 02:18:16 Koen_: actually it's just the range of the function, it's just that you can think of a function's range as the quotient of the domain by the equivalence relation of being mapped to the same point. 02:18:32 nice 02:19:22 if the domain is compact hausdorff and the range is hausdorff, then that also transfers the topology. 02:20:06 (i maybe should have mentioned that all the spaces involved here are compact hausdorff) 02:20:15 I also remember I used to know what hausdorff meant. and the more we talk about this the more I think I never should have stopped studying math 02:20:44 math sucks. go into geophysics. 02:25:20 kmc: [a] is the free monoid over a, and Sum . length is the lifting to the monoid category of the morphism Sum . const 1 in the set category. 02:28:31 by that natural transformation of adjoint functors 02:54:25 -!- Oj742 has joined. 02:56:26 -!- prooftechnique has quit. 03:01:10 -!- Sprocklem has joined. 03:26:15 elliott: ais523\unfoog: ok don't kill me :D 03:27:23 -!- v^ has joined. 03:27:50 -!- ^v has quit (Ping timeout: 240 seconds). 03:27:56 ouch my finger 03:31:01 oerjan: that's one way to do it, I guess :) 03:31:27 should keep us safe until they crack the CAPTCHA again 03:31:29 -!- Bike has quit (Ping timeout: 272 seconds). 03:31:58 that was everyone in november + one more because the last one had already been blocked and i needed somewhere to put my SORRY 03:32:07 -!- conehead has quit (Ping timeout: 272 seconds). 03:39:22 -!- Bike has joined. 04:01:00 -!- Oj742 has quit (Quit: irc2go). 04:17:20 -!- Koen_ has quit (Quit: The struct held his beloved integer in his strong, protecting arms, his eyes like sapphire orbs staring into her own. "W-will you... Will you union me?"). 04:22:56 -!- nisstyre has quit (Quit: Leaving). 04:42:10 Uh 04:42:24 I think you blocked an innocent 04:42:24 http://esolangs.org/wiki/Special:Contributions/Wingpad 04:42:31 oerjan: ^ 04:49:52 Sgeo: can you check the others for false positives too? 04:49:58 I unblocked Wingpad 04:50:16 I mostly only noticed that one because of the nongibberish name :/ 04:51:02 I'll consider any with no edits a spammer 04:52:50 Only Wingpad seems to have made changes 04:52:55 good 04:55:29 oops, and i checked a couple others because their names were almost not gibberish too... 04:56:21 perhaps checkuser would come in handy here? 04:56:26 I can make oerjan a 'crat 04:56:31 elliott: I've been checkusering like mad 04:56:36 look at all the rangeblocks I made 04:56:47 however there are lots of random IPs that don't fit a pattern, too 04:58:52 i was basically trying to get them all, since the recent flood began. 04:59:48 " today someone asked me to prove that if a sub-algebra of the set of continuous functions from [0, 1] to R had finite dimension, then it was the set of constant functions" <<< i'd use Vandemonde 05:00:00 If f is one of the functions f(x) != f(y) then [f(x), f(y)] \subset f([0, 1]), so we can choose distinct b_1, ..., b_k \in f([0, 1]) (with preimages f(a_i) = b_i) for any k. The claim now follows because: 1. the vectors (b_1^i, b_2^i ..., b_k^i) for i \in [0,k-1] are linearly independent (http://en.wikipedia.org/wiki/Vandermonde_matrix), 05:00:07 isn't vandemonde a final fantasy villain 05:00:13 2. the map H(f) = (f(a_1), ..., f(a_k)) is linear from your space of interest to R^k, and 3. H(f^i) = (b_1^i, b_2^i ..., b_k^i). 05:00:55 also a girl genius character (who seems to be relatively good) 05:01:27 hm wait his name is vanamonde 05:01:59 i didn't understand your proof 05:03:31 http://stricture-group.com/files/adobe-top100.txt 05:04:10 oklopol: a closed unital subalgebra A of C(X) is naturally isomorphic to C(Y) where Y is X with all the points that are not distinguished by any element of A identified. 05:05:08 the map from X to Y is surjective and continuous, thus Y must be connected since X is. 05:06:04 since C(Y) is finite dimensional Y must have a finite number of points, oh hm this might be slightly circular. 05:06:04 sowhere do you get the "closed", is that automatic from the finite-dimensionality? 05:06:09 yeah 05:06:16 where do you get the "unital"? 05:06:20 oh 05:06:29 does that mean has the constant 1 map? 05:06:29 just add a unit if you don't have one >:) 05:06:32 yes 05:06:38 oh okay. 05:07:12 hm or not circular, it follows from urysohn's lemma. 05:08:12 mind you by that point it may be more complicated than your idea >:) 05:08:25 wait what follows from urysohn's lemma 05:08:46 that an infinite set Y cannot have finite-dimensional C(Y) 05:09:01 oh right. 05:09:03 *c.h. space 05:11:30 do you know what gibbs measures are 05:11:44 not on the spot no :) 05:12:26 i'm supposed to give a talk on how they are the same thing as equilibrium measures 05:12:34 (i haven't checked what the latter are yet) 05:12:41 *tomorrow 05:12:42 which i don't recall either :) 05:12:50 something about pressure 05:13:15 I'm going to have a "fun" day tomorrow 05:13:25 I'm going to have a fun day tomorrow. 05:13:45 and given a function f, finding the measure m such that h(m)+m(f) is maximized, where m(f) is the integral, and h(m) is the entropy 05:13:55 I'm going to have a fun "day" tomorrow. 05:14:09 i'm going to have a" "fun day tomorrow 05:15:45 k gtg 05:16:34 bye 05:20:17 -!- ais523\unfoog has quit (Read error: Operation timed out). 05:41:14 -!- ais523 has joined. 06:50:48 -!- v^ has quit (Quit: http://i.imgur.com/MHuW96t.gif). 07:04:40 -!- asie has joined. 07:07:27 -!- Sprocklem has quit (Ping timeout: 272 seconds). 07:11:12 kmc: is there a way to give someone, say, a sha1 hash and a proof that you have a message that hashes to it 07:11:31 (without revealing the message) 07:16:30 that sounds... gosh, thinking about it, kind of hard 07:21:43 seems like a standard zero-knowledge proof to me? 07:22:09 It does sound hard; but then, all zero-knowledge proof things sound kind of freaky. 07:22:17 yeah 07:22:21 I guess so 07:22:46 I don't know how to construct a ZKP protocol for an arbitrary problem other than by reduction to an existing ZKP problem but maybe that's enough? 07:22:56 Apparently there's at least a presentation titled "A zero-knowledge proof of possession of a pre-image of a SHA-1 hash" around. 07:23:13 neat 07:23:43 Possibly something based on http://link.springer.com/chapter/10.1007%2FBFb0055745 07:24:26 thizzie 07:24:52 i took sha-1 as an arbitrary example of a cryptographic hash 07:25:20 i'd imagine you just encode a circuit checking that an arbitrary input hashes to the given hash as one of the NP-complete problems for which zero-knowledge proofs are known 07:25:37 wikipedia has hamiltonian graph as an example 07:25:44 *cycle 07:26:16 all this needs to work in general, is for calculation of SHA-1 itself to be in P 07:26:51 -!- FreeFull has quit. 07:27:37 It sounds like potentially not terribly efficient. 07:28:45 well the problem instance would be approximately memory * steps used for calculating SHA-1 07:28:54 *instance size 07:32:05 hm it is not obvious to me that the hamiltonian cycle example really _is_ zero knowledge. 07:32:48 why not 07:33:07 "Peggy will prove that she knows the cycle without simply revealing it (perhaps Victor is interested in buying it but wants verification first --" I wonder how's the market in slightly used Hamiltonian cycles of large graphs. 07:33:10 well i guess you're not claiming it isn't, just saying it's not obvious that it is 07:33:20 because it is not obvious that it is hard to prove that the two graphs are isomorphic 07:33:58 given that they are not constructed to make that hard 07:34:28 -!- ^v has joined. 07:34:39 it could be that there are graphs for which hamiltonian cycle is hard to find, yet still easy to show it isomorphic to any of its renamings. 07:41:45 oh i see the talk page has a discussion clarifying things. 07:42:43 the isomorphic graph is _not_ revealed initially, just signatures of its edges. 07:43:24 it is only fully revealed if an isomorphism is asked for. otherwise only the edges in the cycle are revealed. 07:44:46 oh. yes. 07:46:05 * oerjan didn't read the description properly, obviously X/ 07:47:12 DX 07:47:15 Why isn't there a Java library 07:47:21 That uses terminfo instead of linking to native ncurses 07:51:26 -!- tertu has quit (Ping timeout: 240 seconds). 07:52:14 -!- asie has quit (Read error: Connection reset by peer). 08:00:41 Possibly becuse of apathy, but also perhaps because not all terminal-related things (like picking up on SIGWINCH, or anything involving tcsetattr) are quite doable from pure Java? 08:03:53 -!- ^v has quit (Remote host closed the connection). 08:21:27 -!- oerjan has quit (Quit: leaving). 08:30:24 -!- augur_ has quit (Quit: Leaving...). 09:02:49 -!- augur has joined. 09:04:55 -!- ais523 has quit. 11:31:03 Your daily ##c: http://sprunge.us/SYJP 12:07:16 -!- Koen has joined. 12:08:07 -!- Koen has quit (Client Quit). 12:13:34 -!- Yonkie_ has joined. 12:16:55 -!- ski_ has joined. 12:17:13 -!- kmc_ has joined. 12:21:47 -!- ski has quit (*.net *.split). 12:21:47 -!- Yonkie has quit (*.net *.split). 12:21:47 -!- kmc has quit (*.net *.split). 12:21:47 -!- ion has quit (*.net *.split). 12:21:47 -!- clog has quit (*.net *.split). 12:25:52 -!- Sgeo has quit (Read error: Connection reset by peer). 12:26:02 -!- ggherdov has quit (Ping timeout: 264 seconds). 12:26:47 -!- ion has joined. 12:34:09 -!- yorick has joined. 12:38:56 -!- clog has joined. 12:39:20 -!- ggherdov has joined. 13:02:14 -!- boily has joined. 13:02:16 -!- metasepia has joined. 13:36:22 -!- tertu has joined. 13:47:02 -!- sebbu has quit (Ping timeout: 264 seconds). 13:49:41 good untranslatable Finnish morning! 14:04:38 -!- Bike has quit (Ping timeout: 240 seconds). 14:11:00 -!- Bike has joined. 14:29:02 -!- MindlessDrone has joined. 14:30:14 -!- shikhin has joined. 14:45:25 -!- carado has joined. 14:58:34 -!- augur has quit (Remote host closed the connection). 14:59:09 -!- augur has joined. 15:03:26 -!- augur has quit (Ping timeout: 244 seconds). 15:24:35 -!- Lymia has quit (Ping timeout: 260 seconds). 15:41:26 -!- MindlessDrone has quit (Quit: MindlessDrone). 15:43:09 -!- augur has joined. 15:46:44 -!- conehead has joined. 15:48:51 -!- AnotherTest has joined. 15:49:06 -!- nooodl has joined. 15:50:55 Hello 15:52:09 AnothellorTest. 16:02:52 Othello test? 16:05:30 AnotherThellost? 16:06:22 -!- Sprocklem has joined. 16:06:25 -!- KingOfKarlsruhe has joined. 16:07:10 -!- asie has joined. 16:07:28 Sprhellocklem. KingOfKarlsruhello. asiello. 16:07:47 -!- MindlessDrone has joined. 16:09:03 saluton boily 16:10:30 wow. ĝi estas la unua fojo tio okazis al mi. 16:18:36 -!- Phantom_Hoover has joined. 16:37:19 hahahaha 16:37:49 -!- Phantom_Hoover has quit (Quit: Leaving). 16:38:08 -!- Phantom_Hoover has joined. 16:38:13 hahahaha 16:38:16 seen elsewhere: "There are three hats (IIRC) to hacking: White hat, red hat, and black hat." 16:39:34 just like final fantasy 16:40:01 I've heard about brown hats too. 16:40:38 Pink hats 16:41:05 red hats can learn Doublehack, which allows them to crack two passwords in one turn 16:43:33 what's a brown hat? 16:43:58 Poop hacking? 16:44:28 -!- prooftechnique has joined. 16:44:50 prooftechellonique. 16:44:58 Slereah: bletch. 16:45:06 oh and there's greyhat too, almost forgot 16:45:20 that's when they mess up the dyeing 16:46:00 boihelloly 16:50:19 Bike: Is that related to double compiling? 16:51:24 almost fungot 16:51:25 kmc_: right so should i learn them in? 16:52:20 -!- kmc_ has changed nick to kmc. 16:52:59 fungot: inhale. learn. grok. become even more sentient than you already are, so that your Reign Shall Come! 16:52:59 boily: there are lots of optimizations you can make money fast: http://cgi.ebay.co.uk/ ws/ was/ me 16:53:20 fungot: oh, scamming people to get rich and Subsidize the Masses! 16:53:20 boily: make short program segments of an arbitrarily limited size ( say, c function calls. 17:01:39 -!- Sprocklem has quit (Ping timeout: 260 seconds). 17:01:59 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...). 17:06:47 boily: you should try talking with real people 17:07:16 fungot: Did you hear that? He's saying you're not people. 17:07:17 fizzie: i don't know your point? 17:07:37 :D 17:07:44 fungot: Okay, yeah, I guess you don't mind. 17:07:44 fizzie: you are a pervert!" " fnord 17:07:51 Thanks. 17:11:03 -!- Bike has quit (Ping timeout: 244 seconds). 17:13:15 -!- Nisstyre-laptop has joined. 17:17:03 -!- Phantom_Hoover has quit (Ping timeout: 260 seconds). 17:17:25 -!- Bike has joined. 17:23:50 -!- ^v has joined. 17:24:23 -!- sebbu has joined. 17:24:57 -!- sebbu has quit (Changing host). 17:24:58 -!- sebbu has joined. 17:25:31 -!- ^v has quit (Client Quit). 17:26:45 -!- ^v has joined. 17:34:16 -!- nys has joined. 17:34:25 -!- Nisstyre-laptop has changed nick to nisstyre. 17:39:40 -!- FreeFull has joined. 17:41:52 -!- Phantom_Hoover has joined. 17:46:35 -!- shikhin_ has joined. 17:46:40 -!- Phantom_Hoover has quit (Ping timeout: 265 seconds). 17:49:26 -!- shikhin has quit (Ping timeout: 240 seconds). 17:59:58 -!- Lymia has joined. 17:59:58 -!- Lymia has quit (Changing host). 17:59:58 -!- Lymia has joined. 18:09:52 -!- Lymia has quit (Ping timeout: 265 seconds). 18:10:31 -!- augur has quit (Read error: Connection reset by peer). 18:13:10 -!- augur has joined. 18:13:47 back from lunch, and people doubt fungot's existence. 18:13:48 boily: do you have problems with this " usual" depends on what you meant 18:14:07 fizzie: are you a pervert? 18:14:14 fungot: I don't have problems with you. 18:14:15 boily: ( and makes tons of), for instance, if you can 18:21:16 fungot's a fun bot 18:21:16 FireFly: i'll be surprised if brookline newton were the ' most jewish' towns in the red river valley, austin, and state indices could be stored 18:21:47 er. 18:23:05 boily: Well, now, isn't there a small pervert in every one of us? 18:24:06 fizzie: Only on weekends 18:29:36 -!- conehead has quit (Quit: Computer has gone to sleep.). 18:34:10 -!- Lymia has joined. 18:34:10 -!- Lymia has quit (Changing host). 18:34:10 -!- Lymia has joined. 18:35:54 -!- Taneb has joined. 18:48:49 Hi 18:50:40 Vhellorpal. 18:51:21 Vorpallo 18:52:14 -!- Bike has quit (Ping timeout: 240 seconds). 18:54:07 -!- Bike has joined. 19:08:37 -!- Sprocklem has joined. 19:11:30 -!- shikhin_ has changed nick to shikhin. 19:11:55 Vorp 'allo 'allo 19:12:56 -!- Slereah has quit (Read error: Connection reset by peer). 19:13:09 -!- Slereah has joined. 19:14:24 -!- lambdabot has quit (Quit: requested). 19:19:57 fizzie once again killed lambdabot. 19:20:26 -!- nisstyre has quit (Read error: Operation timed out). 19:21:00 Alo, salut, sunt eu, un Vorpal ♪ 19:21:25 I requested no such thing. 19:23:18 boily, French? 19:27:00 Vorpal: Romanian, as in that infamous song that was somewhat popular a few years ago. FireFly earwormed me with his “'allo 'allo”. 19:27:36 fizzie: it's only by default, until we find this time's real culprit. 19:28:13 Vorpal: the French version would have went «Allô, salut, c'est moi, un Vorpal». 19:34:07 -!- lambdabot has joined. 19:34:43 boily, I see 19:35:00 -!- lambdabot has quit (Remote host closed the connection). 19:40:07 -!- lambdabot has joined. 19:41:13 fungot: Vorbiţi româneşte? 19:41:14 kmc: there are scripts to do. one more sem. to get an object in the language 19:50:11 fungot: Well, fire up one of those scripts and have a go at it, then. 19:50:12 fizzie: the number of arguments handled? there are multiple wheels? i guess 19:50:19 Can't wait. 19:52:43 -!- john_metcalf has joined. 19:53:01 ţ, now that's a letter you don't see every day 19:53:05 unless you live in romania i guess 19:54:18 actually I guess it should be ț and not ţ 19:56:36 `unidecode țţ 19:56:38 -!- Lymia has quit (Ping timeout: 240 seconds). 19:56:41 ​[U+021B LATIN SMALL LETTER T WITH COMMA BELOW] [U+0163 LATIN SMALL LETTER T WITH CEDILLA] 19:57:21 the comma is the correct Romanian character. usually confused with cedilla (Turkic) because the latter is more easily obtaine, typed, drawn, encoded, and stuff. 19:57:40 s,e\,,ed\,, 19:58:57 -!- prooftechnique has quit. 19:59:51 Are you some kind of a pervert, deliberately choosing a delimiter that makes escaping necessary? 20:00:13 -!- prooftechnique has joined. 20:01:17 -!- Lymia has joined. 20:01:17 -!- Lymia has quit (Changing host). 20:01:17 -!- Lymia has joined. 20:03:22 fizzie: mwah ah ah. 20:15:50 sed fetish 20:18:45 -!- MindlessDrone has quit (Quit: MindlessDrone). 20:18:55 Did I tell you about my misadventure a couple of weeks ago 20:19:34 Which kmc has just reminded me of 20:20:30 oh boy 20:20:33 do tell 20:20:55 All of my misadventures involve se 20:20:58 *sed 20:22:10 ITYM s/$/d/ HTH HAND 20:22:30 Yes, clearly 20:22:32 http://uk.finance.yahoo.com/echarts?s=THEGQ#symbol=thegq;range=5d;compare=;indicator=volume;charttype=area;crosshair=on;ohlcvalues=0;logscale=off;source=undefined; lol 20:23:39 In retrospect, I wish I'd had the foresight to invest in Tweeter 20:23:45 Heh, they've changed the stock symbol for it. 20:23:46 That was a temporally difficult sentence 20:24:06 It used to be TWTRQ, which is significantly closer to TWTR than the current THEGQ. 20:24:17 didn't that happen with another stock before? 20:24:42 "Groogle Bioimplants got a huge boost" 20:26:15 haha 20:26:26 btw symbol ending in Q indicates that the company is bankrupt 20:26:29 if you didn't know 20:26:38 why Q? 20:26:47 They've called it quits. 20:26:58 GHCQ 20:27:04 e.g. General Motors which went from being NYSE:GM and part of the DJIA to being GMGMQ on pink sheets 20:27:19 I'll bet Aardwolf Party Lanterns gets a good accidental boost, now and again 20:27:41 also I find it hilarious that Washington Mutual sold their plum NYSE:WM ticker to Waste Management, Inc 20:27:46 but stock is still traded? (nb i know nothing about finance or business or hi) 20:28:28 Bike: It also went bankrupt all the way back in 2007. 20:28:36 Bike: yeah, it's not clear to me why bankrupt stock trades at a non-zero price, because theoretically equity holders are last in line to get anything at bankruptcy court 20:29:05 Bike: one explanation I heard from someone very knowledgable is that, this is the case in theory, but in practice if you own a huge chunk of the equity you can show up in court and annoy the jugde enough that they will give you something just to go away 20:29:16 but "people are dumb" is another promising answer 20:29:18 kmc, I was trying to go to a sci-fi and fantasy society social, and I went to the wrong bar 20:29:26 Wound up at my university's fetish society 20:29:32 Didn't realise for an hour and a half 20:29:39 that is beautiful 20:29:43 what kind of fetish(es) 20:29:49 I dunno 20:29:50 -!- ^v has quit (Ping timeout: 240 seconds). 20:30:02 They had just finished a show and tell and were going to the bar afterwards 20:30:05 there are a lot 20:30:09 aw, did you miss the show and tell? 20:30:12 Yeah 20:30:14 :/ 20:30:22 I don't think they are too restrictive on which fetishes 20:30:23 kmc: this company went down years ago, isn't court already over 20:30:23 your university has a fetish society?????????????? 20:30:25 Still would not have clarified, probably 20:30:27 Someone was carrying a violin 20:30:31 Bike: beats me 20:30:33 boily, yup 20:30:53 Taneb: I am disturbed. 20:31:05 * kmc finds that "fetish" and "kink" are often used to mean BDSM specifically and is pretty annoyed by this fact 20:31:16 now i'm wondering if my school has a 'fetish society' 20:31:17 but also I'm probably doing the thing P_H hates 20:31:22 * Bike googles 20:31:34 where I start a conversation about how Some People do something dumb 20:31:41 http://public.wsu.edu/~delahoyd/20th/surrealism.html noooooot quite 20:31:51 haha 20:32:10 this reminds me a bit of the first graf on http://www.mit.edu/~mitsfs/related-groups.html 20:32:12 "FINRA believed that trading in the TWTRQ security demonstrated a widespread misunderstanding related to the possible initial public offering of an unrelated security." nice deadpan tone. 20:32:20 kmc, if you're worried that you're doing something he hates, picture him watching the Big Bang Theory and then you'll be even 20:32:25 haha 20:32:29 does he do that? 20:32:36 Probably not 20:32:43 i'm only getting hits from sociological research. which makes a shockking amount of sense. 20:32:47 I've actually seen a good chunk of BBT... but I don't feel good about that fact 20:32:52 http://www.vancouver.wsu.edu/sites/www.vancouver.wsu.edu/files/insertable_images/nwcg-fiftyshadesofgrey.jpg behold 20:33:08 brb naming my sex toy company "insertable images" 20:33:21 oh, shit. fifty shades actually mentions wsu 20:33:27 I'm opening an underwear shop called Butt Stuff 20:33:29 i'm like, kinky by association now, i bet 20:34:26 "In the Habit of Being Kinky: Practice and Resistance in a BDSM Community, Texas, USA" 20:34:30 also I don't think NYSE:Q is bankrupt 20:37:32 -!- Taneb has quit (Quit: Leaving). 20:37:32 I don't think we have a fetish society, though there's quite a lot of them. 20:37:53 Like a drinking game society, apparently. 20:39:54 -!- ^v has joined. 20:41:40 Sometimes it's nontrivial to derive the topic from the name. Like "The Hangovers", which seems to be about climbing. 20:42:01 lololol 20:42:20 that's like http://www.reddit.com/r/MarijuanaEnthusiasts 20:42:56 zomg syntax highlighting in papers 20:43:10 is that new 20:43:29 papers on arxiv have links and cites highlighted in different colors a lot 20:43:47 -!- Sprocklem has quit (Ping timeout: 260 seconds). 20:44:10 i mean of code 20:44:23 http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3621334/#s001title speaking of #drugz 20:44:42 the "tropical hurricane" of youth 20:44:52 http://www.loweringthebar.net/2013/11/do-not-clench-your-buttocks-in-deming-new-mexico.html speaking of #drugz 20:45:09 ("Deming" reminds one of bad keming.) 20:45:34 shachaf: i've seen papers that use the color modes of lhs2TeX 20:45:48 ~duck deming 20:45:48 --- No relevant information 20:46:07 * boily kicks ~duck in the lambdas 20:46:16 fizzie: fascinating 20:46:20 kmc: i didn't know that existe 20:46:21 d 20:48:48 fizzie: that's really fucked up :( 20:49:51 I knew it. I knew I had that copy over there. http://pastebin.ca/2474654 20:50:54 holy sht that's long 20:56:53 kmc: Chrome just recently grew support for CHACHA20_POLY1305 for SSL 20:58:15 -!- Bike has quit (Ping timeout: 260 seconds). 21:04:26 -!- Bike has joined. 21:05:21 -!- john_metcalf has quit (Quit: http://RetroProgramming.com). 21:10:55 -!- conehead has joined. 21:21:52 http://imgur.com/xsRpp3Z 21:23:11 the actual list is good too 21:23:18 'photoshop' 21:28:45 ~metar CYUL 21:28:45 CYUL 072100Z 26014KT 15SM OVC040 05/M03 A2983 RMK SC8 SLP103 21:32:23 -!- boily has quit (Quit: irregular chicken.). 21:32:25 -!- metasepia has quit (Remote host closed the connection). 21:34:47 shachaf: nice 21:39:33 -!- AnotherTest has quit (Ping timeout: 272 seconds). 21:40:06 "When filled with many single Lego bricks, a washing machine generates random complexes." (PDF) http://www.althofer.de/random-lego-structures.pdf 21:48:17 @tell boily Looks like zeta. 21:48:18 Consider it noted. 21:49:44 -!- Slereah has quit (Ping timeout: 246 seconds). 21:50:31 kmc: "analog monte carlo procedures" omg 21:50:43 @tell boily (It's https://dl.dropboxusercontent.com/u/113389132/Misc/20131107-loglog.png with both axes logarithmic, and zeta would be a line there, so okay, not a terribly good fit.) 21:50:43 Consider it noted. 21:56:10 -!- Slereah has joined. 21:56:26 Figure 2.2: A Lego enzyme candidate ?! 21:58:42 -!- Lymia has quit (Read error: Operation timed out). 22:03:47 -!- nisstyre has joined. 22:14:24 -!- carado has quit (Ping timeout: 252 seconds). 22:14:29 -!- ^v has quit (Remote host closed the connection). 22:19:11 -!- oerjan has joined. 22:19:55 -!- ^v has joined. 22:25:33 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.90.1 [Firefox 25.0/20131025151332]). 22:56:16 -!- Lymia has joined. 23:11:58 -!- jarpal has joined. 23:25:58 -!- nisstyre has quit (Quit: Leaving). 23:28:37 -!- oerjan has set topic: The channel of the chimæric hellos | Koirammekokaan ei lennä? :( | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf | logs: http://codu.org/logs/_esoteric/ or http://tunes.org/~nef/logs/esoteric/. 23:33:25 -!- augur has quit (Remote host closed the connection). 23:33:59 -!- augur has joined. 23:38:14 -!- augur has quit (Ping timeout: 240 seconds). 23:46:35 -!- shikhin_ has joined. 23:49:19 -!- Phantom_Hoover has joined. 23:50:07 -!- shikhin has quit (Ping timeout: 265 seconds). 23:56:59 `addquote kmc, I was trying to go to a sci-fi and fantasy society social, and I went to the wrong bar Wound up at my university's fetish society Didn't realise for an hour and a half 23:57:05 1129) kmc, I was trying to go to a sci-fi and fantasy society social, and I went to the wrong bar Wound up at my university's fetish society Didn't realise for an hour and a half 23:59:43 * oerjan ponders the fact that the formatted logs apparently merge consecutive spaces