00:01:35 o.O http://yourfaveisproblematic.tumblr.com/post/47389305425/steven-moffat 00:03:05 yeah, he's kind of a douche :/ 00:04:46 BUUUUUUUUUUS 00:04:58 oh thank god, that's not about the other thing. 00:05:10 he's also a shitty writer 00:05:14 er 00:05:18 he's also a shitty showrunner 00:05:25 he's an excellent writer if kept under control 00:06:46 although eurgh i don't really like that blog 00:08:12 sexists are hard to stomach, yes 00:08:37 yeah, that's why i don't like it 00:08:53 publicly shaming people as 'sexists' is... actually kind of hypocritical? 00:09:09 how... how is that hypocritical? 00:09:20 if someone publicly acts like an asshole, you're allowed to comment on it 00:10:03 because if you're going to say that misogyny etc. are societally ingrained structures then you can't really go around making individual moral judgements about it 00:10:19 ???? 00:10:25 no dude 00:10:28 that doesn't even make any sense 00:10:41 'well, the nazis were a social structure, no individual germans were racist' 00:10:45 i'm not expressing this very well am i 00:10:52 no you are not 00:11:16 and don't put 'sexist' in quotes, come on, he hired a chick based on her looks and bragged about it 00:11:26 just because a lot of people are jerks doesn't absolve jerks of being jerks 00:11:29 If people 150 years ago were racist, would you say that each individual person had moral failings, if it was common at the time 00:11:35 I think is what Phantom_Hoover is trying to express 00:11:46 along those lines i guess 00:11:48 i would, generally 00:11:56 people were racist 150 years ago, and people 150 years ago called them out on their racism, just like they do today 00:11:59 besides, it doesn't even say 'moffat is sexist' 00:12:02 yeah, seriously 00:12:02 it's just a list of shitty things 00:12:04 it just literally lists 00:12:07 jerkish things 00:12:09 that a jerk did 00:12:10 that's it 00:12:25 you don't have to think of it as an individual moral judgement, but we all have a responsibility to strive to be better than the shitty things we've inherited from society 00:12:33 i think the problem is that when you call most people sexist they react by mentally comparing it to this mental image of, like, some slavering, wantonly misogynistic old man 00:12:39 they're not even calling him sexist 00:12:41 seriously 00:12:44 that's a problem, yes 00:12:48 -_- 00:12:52 i'm trying to cultivate the skill of calling people out on things in a friendly way which doesn't suggest they meant to be malicious 00:12:53 i don't know what that has to do with anything though 00:12:56 and I hope people will do the same to me 00:13:08 kmc, yes, this! 00:13:17 I think you're projecting 00:13:20 ok but it's just a list, phantom. 00:13:32 it really sucks that the discourse always jumps from "hey that was bad and you shouldn't say it next time" to "YOU'RE HITLER AND YOU WANT TO KILL ALL WOMEN" 00:13:42 the site is making no moral judgements at all, it's literally a list of bad things a person did, not saying anything about the person, other than that "they did these bad things" 00:13:43 most people don't think they're a bad person, and most people aren't bad people 00:13:52 I think you're the one making the moral judgements, not the site 00:13:58 yes. what does that have to do with anything, phantom. 00:14:31 people get reeeeeeeealy defensive though 00:14:41 it's really hard to say "oh, shit, that was bad and I'm sorry" 00:14:43 in a way that's genuine 00:14:48 I don't understand that at all 00:14:54 like if I accidentally said something that was bigoted 00:14:57 and someone said "oh that's bad" 00:15:03 I'm like "sorry, I didn't know, thanks for pointing it out!" 00:15:17 and I've done this probably hundreds of times in my life because this is like... normal? 00:15:24 but for some reason white dudes are super super defensive about it 00:15:25 when I was growing up I learned that sexism and racism were the domain of a small group of Very Bad People and the solution is to ostracize them as strongly as possible 00:15:34 yeah 00:15:36 which is basically completely the wrong way to look at it 00:15:41 but that contributes to people being defensive 00:15:42 it's hard to get over that view >_> 00:15:43 yes, but that's because you've had time to acclimate yourself to the idea thaat it's not a personal moral judgement 00:16:01 maybe we just need new words, actually I think "problematic" is a pretty good one 00:16:08 it doesn't imply intent 00:16:09 but when was it ever? like I don't get it 00:16:10 phantom, does what you're saying have anything to do with the site now. 00:16:11 most people look at it the way kmc just mentioned, and that is the way our culture definitely portrays it 00:16:19 Phantom_Hoover: isn't it super convenient too 00:16:25 Bike, if i say no will you let the discussion run its course 00:16:26 for the majority of people who don't need to examine their own attitudes 00:16:30 maybe 00:16:33 "well i don't wear a white hood and burn crosses, I must not be racist" 00:16:36 sigh 00:16:48 like, i saw this discussion elsewhere over the use of the word bitch 00:16:49 but i mean hey, we all just agreed that's a silly view and moffat can be bad without being a nazi 00:18:01 kmc: burning crosses is religionist hth 00:18:25 * shachaf thinks religionism is a lot more reasonable than racism, too, though burning crosses probably wouldn't accomplish much 00:18:25 and the guy saying it was... well, problematic, was having a really hard time of trying to get across that no, he wasn't saying that you personally were telling that woman to get into the kitchen and/or get raped 00:18:29 burn a star and crescent every once in a while, bigots!! 00:18:43 Phantom_Hoover: how about just "don't use slurs"? 00:18:49 it's not super hard 00:18:56 Bike: there was that guy in florida who wanted to burn a koran, I think he was the most successful troll of the past few years 00:19:11 he was a pastor, right? also didn't he actually go through with it 00:19:15 right 00:19:52 Fiora, so are you just going to be like this throughout the discussion 00:20:00 ummm I'm not sure what there is to discuss 00:20:10 why am i not surprised 00:20:29 like. as far as I can tell the only other position here is "awww the poor feelings of racists, how terrible it is that they have to be called racist, that must be horrible" 00:20:45 welp, you've clearly ignored everything i (and kmc!) have said 00:20:53 ???? 00:20:57 don't be like that, dude. 00:21:02 seriously...? 00:21:04 i think Fiora and I agree... 00:21:10 yeah... are you... even reading...? 00:21:11 that was my impression anyway 00:21:12 i think we all, on some level, agree? 00:21:22 when I was growing up I learned that sexism and racism were the domain of a small group of Very Bad People and the solution is to ostracize them as strongly as possible 00:21:24 this 00:21:28 this is what i was trying to say 00:21:30 well you are like trying to argue that we shouldn't call people racists because it ~hurts their feelings~ 00:21:32 well, don't be a jerk about disagreeing, then 00:21:36 about agreeing 00:21:38 typos. 00:21:52 and like. well mayyyybe if they didn't want to be called racist they shouldn't be racist? 00:22:05 I'm not saying we need nuance in order to protect the feelings of racists! i'm saying we need it for constructive dialogue 00:22:16 kmc, that was also what i was trying to say 00:22:19 ok 00:22:25 * shachaf 's Internet connection disconnects for a few mintues every few minutes. 00:22:27 then I think we all agree and you are being hostile to Fiora for no reason? 00:22:32 i dunno 00:22:52 shachaf: imo internet is actually impossible and it's finally catching up to us 00:23:10 I don't think there's much of a point to dialogue, if someone wants to feel a specific way they will come up with endless reams of nonsensical logic to justify their bigotry 00:23:48 if someone is forced to face the consequences of their actions, they're more likely to maybe consider that they could be wrong 00:24:13 Fiora: oh, well I disagree with that 00:24:18 i think the point here is why they consider justifying their bigotry is necessary 00:24:23 i think most people aren't malicious and don't want to hurt others 00:24:24 (or I guess I'd say "dialogue helps sometimes, but is often totally useless"?) 00:24:29 they just don't understand what is or isn't hurtful 00:24:34 i know this has been the case with myself 00:24:39 i see things a lot differently now than I used to 00:24:51 I don't think people are malicious, they just /don't care/ 00:24:58 which I guess is in itself a form of malice 00:25:01 there's some of each yeah 00:25:04 and that that is, at least in part, because the way we all talk about and understand racism etc. is one of "if you are A Bigot you are A Bad Person and must get down on your knees and beg for forgiveness" 00:25:22 Phantom_Hoover: or you just say "oops, my bad, thanks for telling me" 00:25:26 Dividing people into "racist peron" and "non-racist person" isn't useful. 00:25:29 *facepalm* 00:25:29 part of the dialogue is about making them care by showing that the people who have been hurt are real people with valid complaints 00:25:33 like there are plenty of examples of that happening all over the place 00:25:38 famous person says something bigoted 00:25:42 fans say "dude that was wrong" 00:25:50 and amazingly, they come out and say "oh, sorry, my fault, thanks for telling me" 00:25:53 and that's... that's it 00:25:59 -!- zzo38 has joined. 00:26:04 but for each one of those there's the "I'm sorry you were offended~~~~" crowd 00:26:05 yes, and why don't many people do that 00:26:07 Fiora: isn't that the "dialogue" that youwere saying was useless? 00:26:08 i think phantom meant to talk about the common but wrong perception of what has to happen. 00:26:17 ('they're a jerk' is the answer i'm arguing is wrong) 00:26:19 kmc: sorry, I clarified, that dialogue is useful -sometimes- 00:26:21 i dunno, this is all getting hopelessly muddled 00:26:25 but a lot of the time it gets nowhere 00:26:33 like, some dialogue is useful but it's not always the answer? sorry 00:26:34 I'm really not clear 00:26:36 and should just stop 00:26:37 sort it all out amongst yourselves, I expect a full solution to racism by 9am tomorrow 00:26:44 * Bike salutes 00:26:48 didn't Sgeo have a full solution to racism 00:26:53 oh man did he 00:26:56 but basically just saying "you have to talk to the racists!!!" gets old after years and years of absolutelynothinghappening 00:26:59 and tone policing 00:27:03 oh god the tone policing :/ 00:27:21 "you're not being nice enough about telling someone they were an asshole :(" 00:27:54 and maybe there's a point to it but when someone doesn't listen to niceness more niceness is probably not going to get the message across 00:28:06 this isn't even about niceness where are you getting that from 00:28:07 Phantom_Hoover, it was an attempt at a solution to unconscious bias in hiring 00:28:16 ... wasn't that... the entirety of what you were saying 00:28:19 no 00:28:21 no it wasn't 00:28:27 then what are you even saying O_O 00:28:40 may i suggest that everybody is talking around each other and it may be pointless to continue. 00:28:45 *sigh* 00:28:46 the point was in being more aware of how people react to questioning of their moral character 00:29:11 if someone cares more about their own ego than the feelings of others, asking them nicely is not going to work 00:30:21 also, often they don't care about the feelings of others /because they're racist/, like, do you expect the people complaining about "dirty mexicans taking their jobs" to care about the feelings of said immigrants? 00:31:13 sorry, this is why I left this channel in this first place, I suppose I'll go back to that 00:31:16 nooo 00:31:23 at least this time it wasn't white people going on about how it's so great to use the n-word 00:31:26 -!- Fiora has left. 00:31:28 fuck 00:31:40 welp 00:31:42 that ended badly 00:33:00 oh no what happened i wasnt paying attention 00:33:47 i'm not really sure 00:33:50 but it wasn't pleasant 00:36:51 -!- Bike has quit (Ping timeout: 276 seconds). 00:37:45 -!- Bike has joined. 00:40:00 Stupid connection. 00:40:08 I said: "It started badly." clever imo 00:40:49 i won't dispute that 00:40:57 parts of the middle weren't quite as bad 00:41:03 the ones where kmc was speaking 00:42:12 I mean, I'm still confused about what the hell you meant by it being hypocritical to list instances of a guy being an ass, not even to his face which removes the "but what if he doesn't understand" aspect. Normally I'd let it drop, but I'm a bit angry at the moment. 00:42:40 yeah, ok 00:43:19 i kind of had some thoughts mulling around from a while ago, i think i jumped on that blog post as a starting point for airing them 00:43:51 yeah, i did the same thing once. 00:43:57 i don't think what Phantom_Hoover was saying was that different from what i was saying 00:44:03 at least I don't understand the significant differences 00:44:16 -!- Fiora has joined. 00:44:20 but maybe I wasn't reading carefully because the conversation was shitty 00:44:26 um.... I'm sorry 00:44:43 i'm sorry also 00:46:15 * Bike breathes some relief 00:46:34 EVERYTHING IS BACK TO NORMAL so, bf derivatives are shit aren't they 00:46:49 the universal conversation starter, huh 00:46:54 To make a random chance of % that is input from the user, is a good way, to make up a random 7-bit number and then try again if greater than 99, and then to check if the generated number is less than the user's number? 00:50:59 good by which criteria? 00:51:23 zzo38, well it's statistically sound 00:52:50 kmc: Well, what would you use? 00:53:42 rand(100), most likely; you're clearly operating under some unspoken constraints 00:54:14 rand() generally sucks and on some platforms the low bits are suckier 00:54:25 nonshittyrand(100) 00:54:39 zzo38: I can't say for sure what I would use if I don't know what the constraints are. 00:54:41 does zzo need csprng quality for this? 00:54:47 just as I can't say if your choice is "a good way" 00:54:53 it seems correct and simple 00:54:57 Bike, doesn't matter 00:55:01 i mean if it's just a game or something you may as well use a lcg if you want 00:55:13 Phantom_Hoover: i mean re: rand() generally sucking 00:55:21 it'll be exactly as random as the 7-bit number 00:55:33 uh 00:55:41 modulo some stupid corner cases i just thought up 00:55:53 What stupid corner cases? 00:56:25 If it is bad random bits generator then I can think it would be bad. 00:56:31 well e.g. if your rng is something random under 100 with a 50% chance, and 100 with a 50% chance 00:58:15 Well, in that case it would work if everything under 100 is uniform, it works for this purpose, but isn't a good generator anyways. 00:58:54 hence 'stupid' 00:59:14 O, OK, so that's what you mean. 01:03:21 * kmc has arrived on howstuffworks.com somehow and is marveling at stupid article titles 01:03:26 "Fact or Fiction: Apple" 01:03:34 "Unplug Your Laptop Forever in 7 Steps" 01:03:36 what :D 01:03:47 step 1: unplug laptop step 2: throw laptop into ocean 01:05:40 what if there's a plug in the ocean 01:05:44 saw these at the store today: http://www.dyson.com/fans/fansandheaters/comparetherange.aspx 01:05:47 basically UFO technology 01:05:48 can laptops be waterproofed 01:06:02 yes dyson is basically the stephen wolfram of air-based appliances 01:06:10 is he crazy? 01:06:22 he just cannot come to grips with the fact that he is never going to revolutionise the field 01:06:35 i used one of his hand dryers the other day, i didn't think you could make a hand dryer look like something out of 2001 but boy howdy was i wrong 01:06:53 i remember when those fans came out 01:07:04 the news was plastered with it for some reason 01:07:16 and it was all like "are you SICK of all the BUFFETING from normal fans??" 01:07:23 lol 01:07:59 those hand-driers are the best though 01:08:26 i love the way they make this weird groove in your hand 01:09:12 yeah dyson airblade is the best 01:09:38 i interviewed at a company that had them in the bathrooms and it nearly sold me on them 01:09:42 You know the joke about 'dry hands on pants' wrt air dryers? That happens to me more often with paper towels. The (normal) hand dryer in the bathroom works quite well although takes some time. 01:10:00 no sgeo 01:10:03 is that even a joke 01:10:10 press button, receive joke 01:10:23 it would help if you told us the joke 01:10:57 Not a joke, just ... in the instructions on how to use, I've seen '3) dry hands on pants' etched on and I assumed that that was somewhat common for people to say 01:11:36 http://everything2.com/title/How+to+use+a+hand+dryer 01:11:46 -!- glogbackup has quit (Read error: Connection reset by peer). 01:12:21 hand carving things into a metal plate sounds like a lot of work for a hoary joke 01:12:57 nah, you can do it with a paper clip 01:13:19 -!- shachaf has quit (*.net *.split). 01:13:20 -!- quintopia has quit (*.net *.split). 01:13:20 -!- kmc has quit (*.net *.split). 01:13:24 yeah but you can only write straight lines! 01:13:32 also wow, that's a very precise netsplit 01:13:34 -!- shachaf has joined. 01:14:20 -!- kmc has joined. 01:14:27 i got disconnected from freenode :'( 01:14:30 have you ever been in like a rest stop bathroom 01:15:03 i avoid them as a rule 01:15:43 i ate a sandwich from a rest stop bathroom and there were worms living inside it that gave me superpowers and made me super-intelligent 01:16:08 "that sounds like a reference" 01:16:18 oh wait that was an episode of futurama 01:16:26 No, couldn't be. 01:16:26 kmc : () -> 'a ref 01:16:36 kmc is the nickname for Phillip J Fry. 01:16:49 that sounds like a joke 01:16:49 @PLT_FuturamaToday_ebooks 01:16:50 Unknown command, try @list 01:16:55 noooo i'm that guy now 01:17:53 that reminds me 01:18:05 ages ago i found this surprisingly poetic ebooks thing 01:18:06 https://twitter.com/nuhalujemon 01:18:23 it's just links now though :( 01:20:15 what... is this 01:20:28 oh, spam 01:20:42 in a hundred years this will be considered the peak of 2010s art 01:21:17 -!- myname has quit (Ping timeout: 252 seconds). 01:21:46 "Aristocratic nature is expressed far more in the Russian wolfhound that." 01:23:05 -!- oonbotti has quit (Ping timeout: 276 seconds). 01:23:05 -!- impomatic has quit (Ping timeout: 276 seconds). 01:24:33 -!- quintopia has joined. 01:25:25 -!- quintopia has changed nick to Guest31700. 01:27:07 -!- bengt_ has quit (Ping timeout: 245 seconds). 01:28:25 -!- bengt_ has joined. 01:28:32 "A court in Guatemala has found former military leader Efrain Rios Montt guilty of genocide and crimes against humanity." 01:28:39 shocked to read that the US was a major supporter of his regime 01:29:30 did the us support any third-world regimes with a decent human rights record 01:29:37 -!- oklofok has joined. 01:29:48 i'll let you know if i think of one 01:29:53 i mean they can't have been deliberately picking the awful ones, they're not stupid evil 01:30:04 the thing is, every country had leftist guerillas 01:30:14 and the US supported whoever would suppress them most brutally 01:30:36 good point 01:30:40 So I'm going to be doing a senior thesis starting about half a year from now. 01:30:48 interesting to note that the nazis also got their start in suppressing leftist guerillas 01:30:54 -!- Phantom__Hoover has joined. 01:31:01 It's likely that I'm going to do it on some topic in theoretical computer science. 01:31:07 traitor 01:31:13 Phantom__Hoover: me? 01:31:30 -!- sebbu2 has joined. 01:31:41 Anyway, one idea I had was to do a paper on the generalized star height problem. 01:31:51 star height? 01:31:57 http://en.wikipedia.org/wiki/Generalized_star_height_problem 01:32:02 Phantom__Hoover: iran under the shah was ok 01:32:08 -!- sebbu2 has quit (Changing host). 01:32:08 -!- sebbu2 has joined. 01:32:39 There's this one paper summing it up, but I feel like it would take me a semester just to get through that paper. 01:32:45 -!- oklopol has quit (Ping timeout: 276 seconds). 01:32:47 heh. 01:33:47 So I'll probably want to figure out something easier. 01:34:11 Oh, lemme think. Is there an area of mathematics I feel like I know particularly well? No, not really. 01:35:01 -!- sebbu has quit (Ping timeout: 256 seconds). 01:35:41 -!- Phantom_Hoover has quit (Ping timeout: 256 seconds). 01:35:45 How about addition chains? To pick a random unsolved problem i'm aware of 01:35:47 topology 01:35:49 topology is cool 01:35:52 -!- heroux_ has joined. 01:35:57 But I don't know topology well at all. 01:36:09 -!- samebcha1e has joined. 01:36:33 well that's your fault 01:36:52 A problem I found myself particularly interested in once was finding closed forms of linear recurrence sequences. 01:37:05 It's a solved problem. 01:37:18 -!- zzo38 has quit (Ping timeout: 264 seconds). 01:37:20 in Iran the post-coup regime (1953-1979) was pretty brutal I think 01:37:20 http://en.wikipedia.org/wiki/SAVAK 01:37:33 But the particular thing that interested me was what happens to repeated roots. 01:37:35 -!- Lumpio- has quit (Ping timeout: 245 seconds). 01:37:36 -!- samebchase has quit (Ping timeout: 245 seconds). 01:37:36 -!- heroux has quit (Remote host closed the connection). 01:37:37 -!- npnth has quit (Ping timeout: 245 seconds). 01:37:45 laggggggg 01:38:21 -!- hogeyui_ has joined. 01:38:23 If you have a repeated root, then the root shows up in the solution multiple times, and each time it shows up, it's multiplied by the next power of n. 01:38:30 Why does that happen? 01:38:59 Gosh, lemme think about that now. 01:39:19 'Gharbzadegi (Persian: غربزدگی‎) is a pejorative Persian term variously translated as "Westoxification," "West-struck-ness", "Westitis", "Euromania", or "Occidentosis".' 01:39:31 that is an amazing word 01:39:41 kmc: look up the white revolution 01:39:42 -!- Bike_ has joined. 01:39:42 I can't even tell if this is me or freenode. 01:39:50 -!- Fiora_ has joined. 01:40:00 i was lagging pretty bad 01:40:21 -!- rodgort` has joined. 01:40:32 so, if i'm actually here: i'm not saying the shah was great obviously but it was probably better than like guatemala. 01:40:33 What's a linear recurrence relation for 1, 2, 3, ...? I guess... a_n = 2a_(n-1) - a_(n-2). So the characteristic polynomial is... which way does it go... I guess it's the same either way. t^2 - 2t + 1. 01:40:51 Which, of course, factors as (t - 1)(t - 1). Which is a parabola with a double root at 1. 01:41:00 -!- Lumpio- has joined. 01:41:03 -!- abumirqaan has quit (Ping timeout: 268 seconds). 01:41:03 -!- rodgort has quit (Ping timeout: 268 seconds). 01:41:04 Bike_: fair, I don't know the history well enough to draw those distinctions 01:41:07 -!- SirCmpwn has quit (Ping timeout: 268 seconds). 01:41:08 -!- sivoais has quit (Ping timeout: 268 seconds). 01:41:59 -!- zzo38 has joined. 01:42:19 OK, what the hell, I can read everything in the logs, and send messages, but I see no one else's. 01:42:19 -!- Bike has quit (Read error: Connection reset by peer). 01:42:19 -!- Bike_ has changed nick to Bike. 01:42:19 -!- Bike has quit (Client Quit). 01:42:27 -!- npnth has joined. 01:42:31 -!- Bike has joined. 01:42:51 I'm not noticing anything wrong on my end. 01:43:45 kmc: I only say this because I saw an Iranian guy on a forum rant about people using AJAX as a straightforward "CIA bad!!" thing when that (unsurprisingly) glosses over the history. 01:43:45 Once. 01:44:13 -!- Fiora has quit (*.net *.split). 01:44:13 -!- hogeyui has quit (*.net *.split). 01:44:13 -!- [mbm] has quit (*.net *.split). 01:44:23 -!- [mbm] has joined. 01:44:34 who the hell is [mbm] 01:44:40 So you can think of t as being the "shove the sequence over" operator. Does it matter which way... doesn't seem to. So this polynomial gives you a new operator which, when applied to your sequence, makes it all zero. 01:44:41 who the hell is hogeyui 01:44:45 sure, I think you can pretty well argue that staging coups in someone else's country is bad regardless of whether the new guy is really terrible or just kind of terrible 01:44:55 it was definitely bad, yes 01:44:55 why are there so many people in this channel who never talk 01:45:03 isn't every channel like that? 01:45:14 -!- SirCmpwn has joined. 01:45:14 Where did CakeProphet go? 01:45:32 kmc, something something something prime directive 01:45:49 tswett, he turned into kallisti and appears to have since fucked off 01:46:05 good riddance imo, i haven't forgiven him for portal chess 01:46:15 Oh, and the Phillippines was uh... not a hellhole? 01:46:26 Most of it anyway. 01:46:37 They just have hilariously corrupt politics 01:46:58 and only a few maoist insurgencies! 01:47:24 Sure enough, t - 1 is an operator that, when applied twice, makes the thing zero... and I feel like this must have something to do with derivatives. 01:47:28 i remember the history of singapore was quite stupid 01:47:43 haha yes they got sort of kicked out of malaysia 01:48:06 the PM or whoever made a speech saying how sad he was that independence was happening 01:48:20 so uh what did mao say that people found particularly insightful / novel such that they became maoists 01:48:39 well, he was pretty good at revolution 01:49:03 and specifically in a mostly rural country i guess 01:49:07 beyond that i dunno 01:49:41 i wonder if there are ay hoxhaist insurgencies... 01:50:15 I'm watching "Dalek" 01:50:24 One of the Colombian ones is Hoxhaist, apparnetly. 01:50:35 Are they idiots? They can't just say "Ok, this electronic lock has no correct combination anymore" 01:50:39 What does the derivative of the characteristic polynomial mean, conceptually... what does the whole polynomial mean... why am I still talking even though presumably nobody's listening... 01:50:45 And no protections against brute forcing? 01:51:30 isn't Dalek from like 1963 01:51:44 The NuWho episode 01:51:50 oh. 01:52:21 wtf it's using sounds from Creatures Docking Station 01:52:24 kmc: but yeah i think a lot of it's the tactics? like the vietcong used the maoist insurgency model and they wer ehella successful. just a guess though 01:54:04 -!- hogeyui__ has joined. 01:54:49 -!- ais523_ has joined. 01:56:46 -!- hogeyui_ has quit (*.net *.split). 01:56:47 -!- ais523 has quit (*.net *.split). 01:57:17 -!- ais523_ has changed nick to ais523. 01:57:48 I guess it's, like, you factor it, and you do them all except you forget one, and then do that with all of them... 01:58:31 -!- iamcal__ has joined. 01:58:33 -!- samebchase has joined. 01:58:39 -!- Phantom_Hoover has joined. 01:59:21 -!- sebbu has joined. 02:00:00 -!- sebbu has quit (Changing host). 02:00:00 -!- sebbu has joined. 02:00:37 -!- lifthras1ir has joined. 02:02:06 -!- sebbu has quit (Read error: Connection reset by peer). 02:02:56 -!- ais523_ has joined. 02:03:02 -!- npnth has quit (*.net *.split). 02:03:02 -!- zzo38 has quit (*.net *.split). 02:03:02 -!- rodgort` has quit (*.net *.split). 02:03:02 -!- samebcha1e has quit (*.net *.split). 02:03:02 -!- sebbu2 has quit (*.net *.split). 02:03:02 -!- Phantom__Hoover has quit (*.net *.split). 02:03:02 -!- glogbackup has quit (*.net *.split). 02:03:02 -!- iamcal_ has quit (*.net *.split). 02:03:03 -!- jconn has quit (*.net *.split). 02:03:03 -!- FireFly has quit (*.net *.split). 02:03:11 -!- rodgort has joined. 02:03:16 -!- npnth has joined. 02:03:54 -!- iamcal__ has changed nick to iamcal_. 02:03:58 It's like, you take the sequence 1, 1, 1, ..., and you repeatedly integrate it... except that's not what you're doing at all, is it... and do you even start with that sequence in the first place... 02:04:36 -!- FireFly has joined. 02:05:20 -!- Lumpio_ has joined. 02:05:33 i don't know what mao said about tactics 02:05:57 -!- sebbu has joined. 02:07:20 -!- lifthrasiir has quit (Ping timeout: 252 seconds). 02:07:21 -!- madb4rd2 has quit (Ping timeout: 252 seconds). 02:07:21 -!- mroman has quit (Ping timeout: 252 seconds). 02:07:27 Goddammit even the Doctor is an idiot in this episode. 02:08:49 So occurrences of the same root stack on top of each other, and they do that multiplication thing... that multiplication thing which consists of, like, multiplying... 02:09:29 -!- madb4rd has joined. 02:09:36 -!- Lumpio- has quit (Ping timeout: 245 seconds). 02:09:36 -!- ais523 has quit (Ping timeout: 245 seconds). 02:09:37 -!- bengt_ has quit (Ping timeout: 245 seconds). 02:09:38 -!- bengt_ has joined. 02:09:50 -!- ais523_ has changed nick to ais523. 02:10:06 If you convolute a constant sequence with itself, you get a linear sequence. If you convolute an exponential sequence with itself... 02:10:06 Sgeo, why are you watching doctor who for fuck's sake 02:11:01 -!- Bike has quit (*.net *.split). 02:11:01 -!- mnoqy has quit (*.net *.split). 02:11:02 -!- carado has quit (*.net *.split). 02:11:27 Then that's linear-times-exponential, sure enough. But if you convolute two different exponential sequences... better place to start, what if you convolute a constant with an exponential... 02:11:53 -!- Phantom__Hoover has joined. 02:12:26 -!- zzo38 has joined. 02:13:25 Here's an exponential sequence: 1, 2, 4, 8, 16, .... Here's a constant sequence: 1, 1, 1, 1, 1, .... Convolute them, and you get this sequence: 1, 3, 7, 15, 31, .... So somehow it's turned into an exponential sequence *plus* a constant sequence. 02:15:32 -!- Phantom_Hoover has quit (Ping timeout: 256 seconds). 02:15:43 -!- Bike has joined. 02:15:43 -!- mnoqy has joined. 02:15:43 -!- carado has joined. 02:16:04 -!- Phantom_Hoover has joined. 02:16:54 -!- Phantom__Hoover has quit (Ping timeout: 264 seconds). 02:17:22 I want to see the Doctor fail hard. 02:17:39 I want him to make that choice, that choice to save one and risk everything... and then everything comes down 02:18:33 * Bike looks up at netsplits in astonishment 02:18:55 So those sequences correspond to 1/(1-2x) and 1/(1-x), and their convolution is of course 1/(1-2x)(1-x), which can also be written as 1/(1-3x+2x^2), which doesn't really look spectacular. But that partial fraction expansion... how do partial fractions work, anyway... 02:19:45 -!- FireFly has quit (*.net *.split). 02:20:13 -!- Effilry has joined. 02:20:15 srand(time(NULL)) is a terrible hack that shouldn't ever be necessary 02:20:26 -!- mroman has joined. 02:20:27 what should we seed with 02:20:33 bytes from /dev/urandom 02:20:39 -!- zzo38 has quit (Read error: Connection reset by peer). 02:20:47 actually Linux passes some randomness to every new process, in the ELF auxv 02:20:55 so you wouldn't even need to make a separate syscall 02:20:58 -!- iamcal__ has joined. 02:21:12 Maybe I should start reading Watchmen 02:21:38 so don't bother seeding, or 02:22:24 ideally the default seed would be from urandom / auxv AT_RANDOM 02:22:25 -!- zzo38 has joined. 02:22:40 I have problems with the connect 02:22:40 of course people would still write srand(time(NULL)) for the following 20 years 02:22:42 I have problems with the connection 02:22:51 zzo38: a lot of us do 02:23:43 seeding rand with time is easy to understand, though 02:23:48 and you don't think about the attacks... 02:24:55 Take a screenshot, hash it, and use that as your seed! :D 02:25:00 Um. How likely is stuff to try to content-sniff something with MIME-type application/json? 02:25:03 -!- sivoais has joined. 02:25:18 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds). 02:25:18 -!- ais523_ has joined. 02:25:26 wow it's netsplitty today 02:25:26 Sgeo: why do you ask? 02:25:54 Just a question. 02:26:10 -!- ais523 has quit (*.net *.split). 02:26:10 -!- iamcal_ has quit (*.net *.split). 02:26:12 -!- shachaf has quit (*.net *.split). 02:26:22 -!- ais523_ has changed nick to ais523. 02:26:52 -!- shachaf has joined. 02:27:15 -!- iamcal__ has changed nick to iamcal_. 02:28:53 This is really the sort of thing I should just google 02:29:48 What idiocy is on the scale of content-sniffing? I haven't picked up the book in a while 02:30:13 Content sniffing is where you look at the content to guess how to interpret it, right? 02:30:46 Yes 02:31:03 is that still used on web content? 02:31:18 yes because everything is ruined forever 02:31:41 i like the thing where you can trick Internet Explorer into interpreting a page as UTF-7 02:31:57 Well, I've heard IE does it, but others? 02:32:07 +ADw-script+AD4-alert(+ACI-Hello, world+ACEAIg)+ADsAPA-/script+AD4 02:32:10 also: can you do a "bush hid the facts" level thing 02:32:26 kmc, ....bluh so urlencoding isn't enough 02:32:42 well HTML escaping is more germane 02:32:43 but yes 02:32:47 -!- sivoais has quit (Ping timeout: 252 seconds). 02:33:13 The problem with whitelisting allowed characters is not realizing that an innocent + or - can be bad too 02:33:16 I wonder how IE detects character encodings. Naive Bayes classifiers? 02:33:21 So it might be in the whitelist 02:33:25 -!- JesseH has joined. 02:33:34 «UTF-7 is generally not used as a native representation within applications as it is very awkward to process. Despite its size advantage over the combination of UTF-8 with either quoted-printable or base64, the Internet Mail Consortium recommends against its use.» wow really you don't say 02:33:34 Anyone working on a cool esolang? 02:33:41 is utf-7 an esolang 02:33:47 -!- sivoais has quit (Read error: Connection reset by peer). 02:33:58 Well, it's not that + and - are bad; it's that the same bytes may be decoded one way to get + and -, and another way to get bad characters. 02:34:08 -!- sivoais has joined. 02:34:52 -!- kmc has set topic: is now the focus of a legal battle between Pull My Finger and iFart | Chinese graphics card problem resolved! (Again!) | I +JmU UTF-7 | http://underhanded.xcott.com/?page_id=5 | http://codu.org/logs/_esoteric/. 02:34:57 fuck everything 02:35:09 Is there any way to abuse alphanumerics in a similar way 02:35:22 ooh it's not really related but you know what's cool? alphanumeric code 02:35:30 Sgeo: also it's basically an IE bug that was fixed long ago I think 02:35:42 Ok 02:35:47 your firewall only accepts text? well too bad my text is shellcode 02:35:47 that it would do dumb autodetect shit even when the page had a specified encoding 02:36:01 i don't know, maybe it is still vulnerable if you don't specify an encoding 02:37:21 02:40:04 describing the character set of a document using text-based markup is an entertaining kind of bass-ackwards thing to do 02:40:42 That's the sort of trick that only manages to work because most charsets have a large common subset. 02:41:01 <_et/ ch/rset="EBCDIC"> 02:41:11 -!- mbm has joined. 02:41:28 Yeah, someone using EBCDIC in this day and age should be shot. 02:42:43 But you have to use a camera. 02:43:16 EBCDIC is still used nowadays, isn't it? 02:43:55 tswett, yes. Companies that make target practice for pikhq_ use it all the time. 02:44:07 Well, it isn't very good. ASCII is better, but I would have ordered some things differently in ASCII too. 02:44:09 Exclusively in the context of software from the 60s that people are afraid to touch. 02:44:18 -!- [mbm] has quit (Ping timeout: 268 seconds). 02:44:26 What's so bad about EBCDIC? 02:44:46 -!- Bike_ has joined. 02:44:47 Look at the freaking code chart. 02:44:47 Mainly, how everything is ordered in the character set. 02:45:02 "What's so bad about EBCDIC?" man did i miss some good stuff 02:45:03 my friend at Stripe says they have to interoperate with EBCDIC financial protocols 02:45:06 Apparently there are multiple different versions of EBCDIC and the letters aren't contiguous. 02:45:23 -!- Bike has quit (Disconnected by services). 02:45:25 -!- Bike_ has changed nick to Bike. 02:45:30 There's also UTF-EBCDIC. 02:45:37 I wonder if that's even used. 02:46:22 Some programs can use different character set whatever works better, but mainly you would use ASCII. 02:46:39 ANyone who uses ASCII in this day and age should be shot 02:46:59 anyone who uses text encodings in this day and age should be shot. cat pictures = the future. 02:47:08 Meh. ASCII is just UCS-7/8. 02:47:18 if forigners want to use computers they should just learn english, obviously 02:47:26 (by foreigners I mean 95% of the world population, of course) 02:47:31 -!- JesseH has left. 02:47:41 And "foreigner" means "non-Korean", obviously. 02:47:49 Demo, nihon de ha minna ga romaji wo tsukaeru no 02:48:06 Uh... 02:48:08 Oppan. 02:48:14 I'm pretty sure that's a Korean word. 02:48:15 pikhq-kun, denwa 02:48:17 * kmc ghost face 02:48:58 Bike: Boku wa keitai wo tsukaitakunaishi... 02:49:13 nice two dollar word 02:49:39 Japanese conjugation tends to go like that. 02:49:59 is japanese agglutinative? 02:50:15 Yes. 02:50:18 kmc: Well, enough to operating computers anyways; you don't need to learn English completely!!!!! For writing in different languages there *are* different font and encodings, and which is the purpose of using such things, even if the commands is in English..... i.e. you write a program using ASCII it can still work with other characters sets too. Or, you can work in binary; then it doesn't matter the character sets either. 02:50:52 Software for the Famicom might use different character sets in case not all ASCII is needed, or for the purpose I did in Famicom Hangman, where it directly read the keyboard and then XOR with the row number, so the letters are all over the place in its character set. 02:51:01 U+FE08 VARIATION SELECTOR 'GANGNAM STYLE' 02:51:13 -!- oklopol has joined. 02:51:26 i still haven't heard gangnam style. i'm so stupidly proud of this fact 02:51:42 i watched the demusicked video so i still recognize all the memes though 02:51:47 it's all ricghht 02:51:56 (all right but i couldn't be bothered to fix typo) 02:52:03 It's decent East Asian pop music. 02:52:08 https://www.youtube.com/watch?v=82LCKBdjywQ better 02:52:08 So I guess z/OS uses EBCDIC. 02:52:28 one of my friends used to be super into j-rock so god knows i've heard enough such pop 02:52:30 -!- heroux has joined. 02:52:34 kmc: fantastic 02:52:35 (However, if you convert the Famicom keyboard input into ASCII, this makes it very easy to handle the SHIFT and CONTROL keys without using any further lookup tables. The only lookup table needed is for the individual keys.) 02:52:57 tswett: IIRC they use EBCDIC as a legacy charset, and new software uses UTF-16. 02:53:05 (which is itself stupid, but hey.) 02:53:16 -!- Effilry has quit (*.net *.split). 02:53:17 -!- samebchase has quit (*.net *.split). 02:53:18 -!- hogeyui__ has quit (*.net *.split). 02:53:18 -!- SirCmpwn has quit (*.net *.split). 02:53:18 -!- Fiora_ has quit (*.net *.split). 02:53:18 -!- heroux_ has quit (*.net *.split). 02:53:18 -!- oklofok has quit (*.net *.split). 02:53:19 -!- Guest31700 has quit (*.net *.split). 02:53:36 bye, guest31700 02:53:38 Well, yes, but still some software uses it such as VGM format GD3 tags are all in UTF-16 format. 02:53:40 -!- Fiora has joined. 02:54:12 -!- Effilry has joined. 02:54:35 -!- samebchase has joined. 02:54:46 -!- quintopia has joined. 02:54:59 The Windows API functions with "W" are using UTF-16 (and strings are stored in UTF-16 in VB6, although they are usually converted to single byte encoding when calling Windows API functions, but if you know to do it, you can avoid this). 02:55:28 -!- mbm has changed nick to [mbm]. 02:56:33 A program that is reading ASCII input files and will output a format that uses UTF-16 then it can use UTF-8 for the parts that does need to convert to UTF-16 and ASCII for the rest, since UTF-8 is extended ASCII and is simple enough to convert to UTF-16. 02:57:11 Ultimately, there's UTF-8 and bad ideas. :) 02:57:48 for serialization, anyway 02:57:50 Furthermore, they aren't mutually exclusive. 02:57:56 hehe 02:57:56 This makes it even worse. 02:58:04 Just use UTF-32 everywhere and let the kernel automatically compress your data. 02:58:14 If the kernel doesn't do that, it sucks. 02:58:15 UTF-32 internally at least isn't *stupid*. 02:58:20 Glulx uses UTF-32. 02:58:38 It's not great for serialization, and honestly accessing codepoints individually is a rare thing, but whatever. 02:58:53 -!- hogeyui__ has joined. 02:59:06 What do you mean by "accessing codepoints individually"? Like, indexing into a string? 02:59:11 tswett: Yes. 02:59:24 You don't generally want to index by codepoint. 02:59:32 UTF-16 internally may not be that stupid either; it can be a lot faster and you may not need random codepoint indexing (because it's not that useful) 03:00:03 'cept you're probably getting UTF-8 from outside. 03:00:19 Some programs might use overlong UTF-8 encodings to escape control characters and spaces and so on; VGMCK does this (in GD3 tags only; everywhere else they are invalid because they aren't ASCII), so that you can output GD3 tags with trailing spaces. 03:00:25 maybe this is a reason to use touchscreeny interfaces 03:00:29 just fuck text 03:00:29 go postliterate 03:00:35 fuck it 03:00:42 i think for storing large amounts of text with random codepoint indexing, you probably want a rope of UTF-8 or UTF-16 chunks, where each chunk knows its length and you just scan linearly 03:01:03 I don't like touchscreen; keyboard is better 03:01:04 i bet with the right SSE voodoo you can find the nth UTF-8 codepoint really quickly 03:01:09 paging Fiora 03:01:31 Hm. You could interpret UTF-8 as a sequence of Unicode code points and re-encode it in UTF-8. 03:01:36 Makes sense. Particularly if you make it so each rope cannot contain only part of a codepoint on its boundaries. 03:01:41 tswett: I've *seen this happen*. 03:01:43 What is your opinion of this kind of UTF-8 -> UTF-16 that is doing it for this purpose? 03:02:24 pikhq_: my. 03:02:45 tswett: It was in filenames in a .rar file no less. 03:02:57 Wait, was the 21-bit limit on code points chosen because of UTF-8? 03:03:11 didn't the limit used to be lower 03:03:19 No. In fact, UTF-8 only possesses such a limit for the sake of the 21-bit limit. 03:03:28 Bike: Yes. 16. Hence UTF-16. 03:03:35 -!- ais523_ has joined. 03:03:39 So it's a coincidence that 21 bits fits snugly into 4 UTF-8 bytes. 03:03:40 right. 03:03:48 http://woboq.com/blog/utf-8-processing-using-simd.html 03:03:59 UTF-16 got popular because "you can stick anything in it", and then they changed that assumption. 03:04:29 So now UTF-16 is neither codepoint per code unit *nor* compatible with typical ASCII-assuming code. 03:04:40 Making it just awkward. 03:05:44 -!- SirCmpwn has joined. 03:05:58 Yes I know, that is why don't use UTF-16. 03:06:55 UTF-8 actually allow 36-bit codes, although Unicode is only up to 21-bits so it will not be a valid Unicode character if you do this. 03:07:21 It is still valid if you are using a much longer encoding than Unicode, which still is UTF-8 for some reason. 03:10:08 This means that it is possible to encode the Glk special keyboard codes in UTF-8. 03:11:01 -!- ais523 has quit (*.net *.split). 03:13:04 So the whole UTF-8-in-UTF-8 thing means that a byte 1xxxxxxx would be reencoded as 1100001x 10xxxxxx. And that would be reencoded as 11000011 1000001x 11000010 10xxxxxx... repeat forever, what do you get? 03:14:06 tswett: Try! 03:14:23 Oh, what are the Haskell codes... 03:15:43 > let reenc ~['1',a,b,c,d,e,f,g] = ["1100001" ++ [a], "10" ++ [b,c,d,e,f,g]] in reenc undefined 03:15:47 ["1100001*Exception: Prelude.undefined 03:16:09 > let reenc ~['1',a,b,c,d,e,f,g] = ["1100001" ++ [a], "10" ++ [b,c,d,e,f,g]] in fix (concatMap reenc) 03:16:14 mueval: ExitFailure 1 03:16:14 mueval: Prelude.undefined 03:16:48 > let reenc ~['1',a,b,c,d,e,f,g] = ["1100001" ++ [a], "10" ++ [b,c,d,e,f,g]] in concatMap reenc . reenc $ undefined 03:16:51 ["11000011","1000001*Exception: Prelude.undefined 03:16:59 > let reenc ~['1',a,b,c,d,e,f,g] = ["1100001" ++ [a], "10" ++ [b,c,d,e,f,g]] in concatMap reenc . concatMap reenc . reenc $ undefined 03:17:02 ["11000011","10000011","11000010","1000001*Exception: Prelude.undefined 03:17:16 nice 03:17:26 And yet the fix doesn't work. We need more laze... 03:18:55 But, like... shouldn't it work? It appears to work for arbitrarily many iterations of concatMap reenc, so shouldn't it work for infinitely many... 03:19:10 > let reenc ~['1',a,b,c,d,e,f,g] = ["1100001" ++ [a], "10" ++ [b,c,d,e,f,g]] in concatMap reenc $ undefined 03:19:12 *Exception: Prelude.undefined 03:19:16 Right, right. 03:19:55 > let reenc ~['1',a,b,c,d,e,f,g] = ["1100001" ++ [a], "10" ++ [b,c,d,e,f,g]]; col ~(x:xs) = x:xs in concatMap reenc . col $ undefined 03:19:57 ["1100001*Exception: Prelude.undefined 03:20:10 > let reenc ~['1',a,b,c,d,e,f,g] = ["1100001" ++ [a], "10" ++ [b,c,d,e,f,g]]; col ~(x:xs) = x:xs in fix (concatMap reenc . col) 03:20:14 ["11000011","10000011","11000010","10000011","11000011","10000010","1100001... 03:20:26 So yeah. 03:21:47 0xFE 0x83 0xBF 0xBF 0xBF 0xBF 0xBE is the UTF-8 encoding for the Glk left arrow key. 03:22:56 (Glk doesn't use UTF-8 though; but I suppose it could be used if you wanted to record the user input to a Glk program in a UTF-8 encoded file.) 03:23:31 i'm not sure that code where every line is a call to an SSE intrinsic is really more readable than inline assembly 03:23:42 but I guess it is better in some other ways 03:23:43 -!- comex has joined. 03:23:56 some level of type checking, let the compiler do register allocation, more portable 03:24:17 (portable between compilers for the same architecture, I mean) 03:24:49 assembly isn't even done by a compiler though, right? 03:25:23 yeah 03:25:43 I mean, that seems even more compatible ^^; 03:25:57 with intrinsics the compiler has to support the specific intrinsic format and stuff 03:25:59 heh 03:26:15 i think GCC and MSVC intrinsicts are more similar than GCC and MSVC inline asm syntax 03:26:21 because intel more or less dictates the former? 03:26:23 not sure though 03:26:58 using inline asm for SIMD feels kind of silly I guess? 03:27:20 like, you have to runtime-detect the code anyways, so you can't actually inline it 03:28:22 Now my Internet connection is OK but I need to go to sleep. 03:28:30 n i g h t 03:28:31 I almost never use intrinsics though, I am super glad I don't have to touch them, they look painful to use 03:28:53 Also joining a discussion on whateveritism is one thing but I don't want to start one. 03:29:03 ok 03:29:10 do you just write assembly in separate files then? 03:29:14 * shachaf will leave opinions for another day. 03:29:21 like 98% of the time I guess? 03:29:40 I think I pretty much only do inline-asm when I need to inline it, and like, I really need to futz with constraints or something 03:29:55 but inline asm doesn't work with anything other than gcc and it's a super-big hassle 03:30:07 mm 03:30:18 i'm pretty fond of gcc inline assembly :) 03:30:22 maybe too fond 03:30:44 gcc inline assembly syntax is awful 03:30:53 but it's soooooooo powerful 03:31:05 except for %r8 - %r15 :( 03:31:17 a love too ar 03:31:47 I wish it would allow a large block of inline asm without a lot of noise. 03:32:02 you can use semicolons instead of \n\t 03:32:07 ...on most architectures? 03:32:17 you still have quotes on every line 03:32:19 ";", is still a lot of overhead. 03:32:24 yeah 03:32:28 er why the comma 03:32:36 Er, no comma. 03:32:41 Right. 03:32:45 ";" is still a lot of overhead. 03:32:56 kmc: yeah, I do really love the constraints 03:33:00 And I prefer to " \ n " so that the output is readable. 03:33:12 the main thing is just like, writing asm without a macro assembler is bothersome 03:33:24 I think the constraint language is way too write-only. 03:33:47 Alas, gas is meant to assemble compiler output, not for human consumption. 03:33:50 the constraint language is some GCC internal crap that escaped the lab, right? 03:34:04 Maybe it isn't if I treat it as a proper language rather than something to look up once every few months or something. 03:34:07 Fiora: yeah that's true, macro assemblers are great 03:34:19 I like that I can write a macro that's like, make a Linux syscall in what looks like one instruction 03:34:25 and that's probably one of the simpler cool marcos 03:34:28 macros too 03:35:14 every programming language is a macro assembler hth 03:35:56 GCC inline asm syntax is no good because of the way it decides how long the instruction is, I think. 03:36:04 kmc: nasm macros can get insanely fancy, it's really wonderful 03:36:27 %rep and %assign are truly wonderful things 03:36:38 those are? 03:36:41 sometimes even programming C I wish I had them 03:36:51 %assign i 0 03:36:52 I have worked with some macro assemblers such as MagicKit which I have made improvements to, and Frolg. 03:36:52 %rep 8 03:36:55 03:36:58 %assign i i+1 03:36:59 %endrep 03:37:05 repeat? 03:37:07 yeah 03:37:16 and you can get super complicated and fancy 03:37:17 Fiora: Yes I think that can be useful to have in C as well, but with # instead of % 03:37:20 it's an inline repeat? 03:37:24 yup! 03:37:38 you can even repeat an unspecified number of times, and break out explicitly! 03:37:50 -!- abumirqaan has joined. 03:38:01 That sounds like a loop to me. Who cares if it's unrolled? 03:38:23 it's... it's not quite, sometimes you can't quite turn things into loops or it isn't a good idea 03:38:32 while 1 break in macros is an odd idea though 03:38:33 is this some kind of operational detail 03:38:36 or like it's not even possible because the "i" affects the instructions themselves 03:38:41 not just, like, an address 03:38:52 imo denotational semantics hth 03:39:00 and what's %assign do, pick a register? 03:39:05 it just sets a variable, 03:39:08 in the preprocessor 03:39:16 it's not quite %define, because it actually evaluates the expression 03:39:23 so %assign i i+1 means i=i+1; 03:39:27 Or if you want to write { [0]=5, [1]=6, [2]=7, [3]=8 } and so on, in C. 03:39:41 oh yeah! you can also use it to construct lookup tables programmatically 03:39:45 without having to do them at runtime 03:39:57 but ummmm let me see if I can think of a good example 03:40:04 I just closed my browser and behind it I had five mtr windows running. 03:40:15 In C (at least in GCC) you can even do that and then override later in the same table like { [0]=5, [0]=8 } 03:40:24 okay, you have a vector of 4 ints, and on each iteration, you need to (among other things) splat an int across a register 03:40:29 That makes it useful to make such tables. 03:40:31 soooo on the first iteration you'dd o 03:40:46 pshufd tmpreg, myreg, 00000000b 03:40:54 and on the second you'd do pshufd tmpreg, myreg, 01010101b 03:41:06 psh, ufd 03:41:27 if that was inside of a %rep'd statement, you could do like... pshufd tmpreg, myreg, i*01010101b! 03:41:53 so on the first iteration you'd splat myreg[0], then myreg[1], and stuff 03:42:08 sorry this is probably super confusingly explained 03:42:25 I understand it, though. 03:42:54 basically unrolling things is pretty much required when it affects the actual instructions, I guess? 03:47:37 Another thing I would like to have in C is to make long macros that can include preprocessor directives and so on. 03:47:53 I should watch ST:VOY Threshold 03:48:43 Right. And therefore one shouldn't care about the actual instructions. 03:48:53 * Fiora is lost 03:48:59 i've thought a bit about how you could have lisp-style macrology in C, but i don't think it plays well with C's typing (at all) 03:49:06 * Fiora okay won't argue don't do that like earlier *poof* 03:49:19 ? 03:49:29 Bike: how so 03:49:53 ....that episode won an Emmy 03:50:03 What else I would like to have is a programming language that uses TeX as its preprocessor. 03:50:03 what epis 03:50:13 zzo38: of course 03:50:41 Star Trek Voyager "Threshold" 03:50:58 Fiora: OK, I'm confused, but never mind. 03:51:23 kmc: well, with lisp macros you have forms, which are arbitrary code that you don't have to care about the form of. could be a symbol or a function call or whatever. so in C you'd need to have like a "form" type, presumably a tagged union. but to pass all the arguments to the macro function in the same way they need to be able to decompose those arguments, so you have to care about the tags and stuff 03:51:54 yeah using C to manipulate tree shaped data is annoying 03:52:05 i think you should pair your extension with a pattern-matching extension to C 03:52:16 which I think could be pretty simple sugar 03:52:17 so schemeish macros? 03:52:23 nah fuck that noise 03:52:35 oh, pattern matching like haskell 03:52:53 probably the best syntax for dealing with unions yeah 03:52:54 just extend 'case' to have a nice compact way to switch on field x of a struct and also project in field y which is a union 03:52:57 or something yeah 03:53:02 shachaf: um, I'm just trying not to argue that's all 03:53:30 OK. 03:54:19 I don't mind arguments although I don't think I was arguing about anything. 03:54:22 I think I was joking but sometimes I can't tell. 03:54:22 frankly i don't think i'm good enough at C to do any such thing well, though. 03:54:35 um, exactly I don't understand ._. 03:54:45 and talking about things I don't understand is bad 03:54:53 OK, let's leave it be. 03:54:53 i.e. i don't know what C programmers would actually want, etc 03:55:17 We can have a metadiscussion about how talking about things you don't understand is good, because otherwise how will you ever understand anything? 03:55:36 But if you don't understand that either then we'd be stuck. 03:55:40 i never metadiscussion I didn't like 03:56:30 i was in canada this morning 03:56:32 -!- Fiora has left ("I think my brain is going to explode"). 03:56:37 Rust is probably better than anything i could come up with anyway (I don't know shit about rust) 03:56:43 :-( 03:56:58 Bike: I applied to work at Mozilla on their new browser written in Rust! 03:57:04 but they didn't get back to me yet 03:57:17 That sounds exciting! 03:57:26 Is that in SF? 03:57:59 they say you can work from any office or remotely 03:58:03 but i would work from the SF office 03:58:11 mozilla is a strange company 03:58:27 most of their revenue comes from Google paying for Google to be the default search engine in Firefox 03:58:40 apparently this is enough to pay for a dozen really nice worldwide offices and hundreds of full time employees 03:59:28 that sounds like the modern version of a very illegal 19th century arrangement 04:01:04 which? 04:01:15 i dunno 04:01:20 it sounds hella shady is what i'm saying 04:01:23 heh 04:01:41 i don't see anything wrong with it ethically, but it seems like shaky ground for mozilla 04:01:44 Is the "0" in linear logic what you cannot make and the "top" what you cannot use? 04:02:06 what if google decides to stop paying and to hire the best Mozilla engineers to work on Chrome? 04:02:18 I think when I was a kid I thought Google was the default because everyone loved Google 04:02:20 it seems kind of monopolistic? 04:03:05 Well, you can change it, or even offer your own version which changes that and other things, if you want to. 04:03:20 So it is not *that* important. 04:03:22 Bike: otoh they are explicitly supporting a competitor in the browser space 04:03:36 i've heard the theory that it's like Microsoft investing in Apple way back when 04:03:42 Google used to not be in the browser marketplace 04:03:43 keeping a competitor alive to keep the SEC off your back 04:03:57 they also say that having more browser competition is good for the Web and that helps Google 04:04:00 which i think is fair 04:04:11 you're not helping the idea that this isn't shady by saying it's to throw off government agents 04:04:17 heh 04:04:19 ok point 04:04:57 We should start the web from scratch, design it properly. 04:05:11 TCP has to go clearly 04:05:14 We should make the "paranoid web browser" which is using the "paranoid rendering engine" and "paranoid DOM" and stuff, which causes it to ignore a lot of things and use overrides for everything. 04:05:14 now i'm imagining a show like The X-Files except it's Mulder and Scully investigating abuse of monopoly power 04:05:14 alt. let's all use gopher 04:05:15 If people want to use the old web, they flip a switch in their browser... or perhaps different browser. 04:05:23 Bike: Gopher is still TCP. 04:05:32 that's why it's an alt.ernative! 04:05:42 kmc: that'd be depressing because they'd hardly ever succeed 04:05:44 But at least gopher is better than all of the junk in webpages and stuff. 04:06:00 Bike: they hardly ever succeed on the real show too 04:06:06 Sgeo: so, what to use instead of http 04:06:11 kmc: (i've never watched the x files) 04:06:14 (i'm a bad nerd :() 04:06:37 i've seen ~half of it 04:06:41 I have seen http://www.shaenon.com/monsteroftheweek/ though. 04:06:43 HTML and the stuff used with it is worse than HTTP. 04:06:52 Do we want to make SOP fundamental or use different new policy 04:07:05 Bike: http://www.supermegacomics.com/index.php?i=374 04:07:06 Content-sniffing is horrible, it should be banned in new protocol 04:07:21 Bike: oh i saw that episode 04:07:21 Cookies thrown out and redesigned 04:07:39 oh wait this is... all of them 04:07:43 well all of the first 2 seasons 04:07:51 it's ongoing 04:07:56 SOP (or some alternative) made consistent and not even the equivalent of a cross-domain GET should occur without permission from the other server 04:07:57 Gopher is fine for a lot of things. Some things aren't, but that is why we have IRC, Telnet, SMTP, SSH, etc 04:08:04 shachaf: that dog is so bad. 04:08:13 Bike: this is great thanks for sharing 04:08:19 :D 04:08:44 http://www.shaenon.com/monsteroftheweek/?p=277 would explain a lot really 04:08:56 Although SOP might not be that big a deal without cookies? 04:10:08 oh man Eugene Tooms 04:10:08 If you need a persistent session, you can use SSH; it is how the internet intended persistent sessions to work. 04:12:30 handed down on stone tablets 04:13:13 ugh why are all of the comicker's sites so badly... bad 04:13:30 i can't read skin horse because it goes into a redirect loop, what is even happening 04:14:28 Clearly, the comic is about a redirect loop 04:16:35 "If people want to use the old web, they flip a switch in their browser..." ... Wouldn't you just change the URI scheme or something like that???? 04:17:08 "Chromium's connection attempt to www.shaenon.com was rejected" and what is this bullshit 04:17:17 am i not good enough for you, tv show based comics?? 04:17:37 kmc: did you apply to other things 04:18:08 * shachaf sighs. 04:18:12 yes 04:18:33 i had my first tech phone interview with matasano today 04:18:36 it went well I think 04:19:05 I sent Fiora some /msgs to ask about what happened and she /quit. :-( 04:19:34 Oh well. No metametadiscussions either, I guess. 04:19:39 Earlier she got in an argument here and she was (is) feeling really anxious. 04:19:43 Some programs also have documentation in HTML format, which means the file: URI scheme will be used in my browser. 04:21:28 I suppose /msging someone who /parts when they get uncomfortable is like trapping them. 04:21:35 a bit. 04:21:41 «According to Wikipedia, Entertainment Weekly called this episode “offbeat and cute.” This episode opens with an onscreen rape» 04:24:32 we're really avoiding touchy subjects here aren't we 04:25:07 shachaf: maybe soon I will be a Security Consultant 04:25:13 i think it would be nice 04:25:16 new puzzles every few weeks 04:28:27 http://www.youtube.com/watch?v=8C4lK41SX-Q why don't i watch wrestling? 05:38:45 The quick brown fox jumps over the lazy dog and feels as if he were in the seventh heaven of typography together with Hermann Zapf, the most famous artist of the... 05:48:49 "Message in a Bottle" is one of the good Voy episodes, right? 05:48:51 I've seen it before 05:49:16 good song too 05:50:19 Do you know if the linear logic "0" means you cannot make it and "top" means you cannot use it? 05:50:34 Fraid not. 06:09:07 -!- ais523_ has changed nick to ais523. 06:12:31 http://upload.wikimedia.org/wikipedia/commons/6/6d/The_Garden_of_Earthly_Delights_by_Bosch_High_Resolution.jpg 06:13:26 bosch is the best 06:14:23 the bosch manifesto: bosch is the best, get high all the time 06:16:30 http://en.wikipedia.org/wiki/File:The_ManTree_Bosch.jpg just chillin 06:50:16 -!- pikhq_ has quit (Ping timeout: 252 seconds). 06:50:20 -!- pikhq has joined. 06:52:45 -!- ogrom has joined. 06:58:07 -!- myname has joined. 08:02:04 -!- Bike has quit (Quit: deeeee). 08:30:38 -!- Effilry has changed nick to FireFly. 08:35:30 -!- nooodl has joined. 08:51:30 -!- mnoqy has quit (Quit: hello). 09:02:03 -!- MindlessDrone has joined. 09:03:55 -!- ogrom has quit (Ping timeout: 268 seconds). 09:15:51 -!- zzo38 has quit (Remote host closed the connection). 09:17:12 -!- conehead has quit (Quit: Computer has gone to sleep.). 09:18:15 -!- Jafet1 has changed nick to Jafet. 09:24:37 -!- ogrom has joined. 09:52:22 -!- nooodl has quit (Ping timeout: 240 seconds). 10:10:43 -!- epicmonkey has quit (Ping timeout: 264 seconds). 10:36:12 -!- oonbotti has joined. 10:37:30 -!- nooodl has joined. 10:46:17 -!- ogrom has quit (Ping timeout: 268 seconds). 11:05:01 -!- nooodl has quit (Ping timeout: 245 seconds). 11:25:45 -!- pikhq_ has joined. 11:25:57 -!- pikhq has quit (Ping timeout: 248 seconds). 12:08:35 -!- sebbu has quit (Changing host). 12:08:36 -!- sebbu has joined. 12:21:38 -!- pikhq has joined. 12:22:13 -!- pikhq_ has quit (Ping timeout: 276 seconds). 12:35:54 “A lumberjack is injured when cutting a tree which has been spiked by environmentalists. He is infected by genetically modified tree sap, causing him to turn into a zombie.” 12:36:06 Sounds like a good movie 12:36:50 -!- nooodl has joined. 12:46:11 He then gets killed by a hobo with a shotgun 12:56:27 -!- yonkie has joined. 13:17:56 -!- ais523 has quit. 13:36:44 -!- pikhq has quit (Ping timeout: 245 seconds). 13:36:46 -!- pikhq_ has joined. 13:46:45 -!- pikhq_ has quit (Ping timeout: 248 seconds). 13:46:51 -!- pikhq has joined. 13:55:18 -!- jconn has joined. 14:03:46 -!- sirdancealo2 has quit (Remote host closed the connection). 14:18:41 -!- DHeadshot has joined. 14:21:00 -!- Taneb has joined. 14:26:09 -!- ThatOtherPerson has joined. 14:30:12 Program received signal SIGPWR, Power fail/restart. 14:30:13 [Switching to Thread 0x7ffff4a65700 (LWP 16660)] 14:30:14 lol what 14:30:29 That is utterly bogus. 14:31:06 I guess gdb won't work on this program if it uses SIGPWR for some sort of internal signalling 14:46:08 -!- sebbu2 has joined. 14:46:43 -!- sebbu2 has quit (Changing host). 14:46:43 -!- sebbu2 has joined. 14:47:00 -!- madb4rd2 has joined. 14:47:32 -!- glogbackup has quit (Ping timeout: 264 seconds). 14:48:24 -!- oonbotti has quit (Ping timeout: 264 seconds). 14:48:24 -!- madb4rd has quit (Ping timeout: 264 seconds). 14:51:47 -!- SirCmpwn has quit (Ping timeout: 264 seconds). 14:51:47 -!- sebbu has quit (Ping timeout: 264 seconds). 14:54:45 -!- SirCmpwn has joined. 15:03:51 -!- sirdancealo2 has joined. 15:21:41 -!- madb4rd has joined. 15:23:07 -!- mysanthrop has joined. 15:27:33 -!- bengt_ has quit (Ping timeout: 245 seconds). 15:27:33 -!- madb4rd2 has quit (Ping timeout: 245 seconds). 15:27:33 -!- myname has quit (Ping timeout: 245 seconds). 15:27:35 -!- mroman has quit (Ping timeout: 245 seconds). 15:27:35 -!- bengt_ has joined. 15:27:36 -!- mroman has joined. 15:29:22 -!- mysanthrop has changed nick to myname. 15:29:58 -!- hogeyui__ has quit (*.net *.split). 15:30:31 -!- bengt_ has quit (Ping timeout: 245 seconds). 15:31:37 -!- hogeyui__ has joined. 15:31:46 -!- Qw3rtyP0iuy has joined. 15:33:35 -!- mroman has quit (Ping timeout: 245 seconds). 15:33:36 -!- sebbu2 has changed nick to sebbu. 15:35:29 Who's awake? 15:36:25 everybody 15:37:34 except oerjan? 15:37:38 Where are ya'll from? 15:38:05 Qw3rtyP0iuy: saudi arabia 15:38:12 or actually the states 15:38:18 Which is it? 15:38:30 United States of Saudi Arabia 15:39:05 Qw3rtyP0iuy: I'm from the States 15:39:11 I merely live in Saudi Arabia 15:39:46 -!- Bike has joined. 15:39:52 I live in China, from the States myself. 15:40:05 -!- mroman has joined. 15:40:58 Is this an active room? 15:41:13 yeah 15:41:51 -!- bengt_ has joined. 15:41:53 `welcome Qw3rtyP0iuy 15:41:58 Qw3rtyP0iuy: 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.) 15:42:53 is there a ban for mentioning VB? 15:43:20 like visual basic? 15:43:25 Qw3rtyP0iuy, I hope not, VB was my first programming language 15:43:43 that one 15:43:44 I'm using it as I speak. 15:43:50 Seeing if I can put out a game in 19 more hours. 15:44:01 as I haven't used this in about 3 years 15:44:05 How big a game? 15:44:36 card game--> computer 15:44:36 Master of Rules 15:45:04 I find the game interesting, you must have exactly 5 players... so I'm going to write this and the AI 15:45:04 RIght now I only have the shuffling, dealing, and playing cards down. 15:45:05 I'm a bit slow as I've forgotten all syntax for every language I've used... so using VB 15:46:47 Any particular reason you came here? 15:47:13 Visual Basic is kinda esoteric, but this isn't really the channel for it as far as I know) 15:47:26 I'm going to wager it's not esoteric at all 15:48:02 Anyways, I figured out the basics of brainfuck when I was a kid because of its intriguing name 15:48:28 and I saw Chinese graphics card problem in the information... which I have. 15:48:41 * myname had to giggle at http://esolangs.org/wiki/Perl 15:49:06 PERL was my first 15:50:04 anyways, I glanced over MIT's esoteric programming language competitions more than twice 15:55:14 -!- sirdancealo2 has quit (Ping timeout: 252 seconds). 15:56:31 -!- Qw3rtyP0iuy has left. 16:00:08 -!- bengt_ has quit (Ping timeout: 245 seconds). 16:01:21 -!- bengt_ has joined. 16:08:52 -!- sirdancealo2 has joined. 16:13:21 -!- oerjan has joined. 16:13:51 -!- ThatOtherPerson has left ("Leaving"). 16:14:05 -!- Phantom_Hoover has joined. 16:14:33 On an unrelated note, I believe that in base 30, 1/11 has a ten-digit long repeating part <-- is that 11 in base 10 or 30? 16:14:59 -!- bengt_ has quit (Ping timeout: 245 seconds). 16:14:59 -!- bengt_ has joined. 16:15:46 because i think 1/11_b has two-digit long repeating part in all bases b 16:16:32 > 1/11 16:16:34 9.090909090909091e-2 16:16:36 that'd be awesome 16:17:16 http://www.wolframalpha.com/input/?i=1%2F11+in+base+30 16:17:42 O RLY. 16:18:03 oerjan, 11 base 10 16:18:08 that is not 1/(30^-1 * 30^-2) 16:18:19 erm 16:18:23 well wolfram alpha agrees with you on 11_10 16:18:26 s/-//g 16:19:02 -!- trout has quit (Read error: Connection reset by peer). 16:20:12 basically because 11_b * b = 100_{b^2}-1 and 1/(b-1) always has one-digit repetition in base b, so 1/11_b has one-digit in base b^2 16:20:55 oops wait 16:21:15 * 11_b * (b-1) = 100_{b^2}-1 16:21:43 erm 16:21:47 * 11_b * (b-1) = 10_{b^2}-1 16:22:09 -!- ThatOtherPerson has joined. 16:22:25 and of course 1 / (11 in base 9) in base 10 has no recurring digits at all 16:22:45 eek, that was oerjan's point 16:22:49 0.100000... 16:22:56 no it wasn't 16:23:00 now consider a non-positional or non-standard positional numeral system... 16:23:04 -!- lifthras1ir has changed nick to lifthrasiir. 16:23:05 In fact, it has two 16:23:16 0.099999... 16:23:51 Jafet, okay, it has a form with no recurring digits at all. 16:24:06 -!- DHeadshot has quit (Ping timeout: 272 seconds). 16:26:20 also, the number of recurring digits of 1/x in base b, when x relatively prime to b, is the order of b in the multiplicative group Z_x hth 16:26:22 -!- DHeadshot has joined. 16:26:38 um 16:27:06 i guess it's not actually called Z_x, that's the whole ring. i forget. 16:27:21 multiplicative group (mod x), anyway. 16:27:59 which has order the euler totient of x iirc 16:28:22 -!- Bike has quit (*.net *.split). 16:28:23 -!- carado has quit (*.net *.split). 16:28:35 yep 16:28:59 https://en.wikipedia.org/wiki/Euler%27s_totient_function 16:29:02 -!- Bike has joined. 16:29:02 -!- carado has joined. 16:30:41 phi(11) = 10 so whatever the number of repetitions of 1/11 is in any base will divide 10. 16:31:21 isn't phi(n) = n-1 for all primes? 16:31:42 yes. 16:32:00 and only for primes, i guess. 16:33:43 The day before yesterday I found myself discussing who would win in a fight: Wolverine or Scott Pilgrim 16:34:18 something i happily cannot discuss. 16:34:31 are they even in the same universe? 16:34:36 olsner, god no 16:34:49 then they wouldn't fight 16:34:55 Obviously. 16:35:03 Didn't stop Superman and Goku 16:35:36 itt olsner shows naivety about crossovers 16:37:04 Scouring the internet, it seems to be "they wouldn't fight because they both love Canada 16:37:05 " 16:37:07 hypothesis: any sufficiently long-lasting speculative fiction franchise will eventually develop a multiverse that theoretically embraces all others. 16:37:29 oerjan, what about Stainless Steel Rat 16:37:39 hmm, what's that thing about how almost every tv series is in the same universe? 16:37:43 based on the theory that each crossover "proves" that the crossed-over universes are the same 16:37:54 Taneb: i've heard the name, and that's _all_ i remember about it. 16:38:57 westphall, olsner 16:39:15 -!- pikhq_ has joined. 16:39:28 *seen 16:39:39 Bike: ah, yes, that's it 16:39:42 audio-/visual- confusion again 16:40:04 oerjan, it's a series of stories about a conman in the distant future 16:40:16 okay 16:40:22 -!- pikhq has quit (Ping timeout: 256 seconds). 16:40:23 -!- Cryovat has quit (Ping timeout: 256 seconds). 16:41:14 -!- variable has joined. 16:41:14 -!- variable has quit (Changing host). 16:41:14 -!- variable has joined. 16:42:36 -!- augur_ has changed nick to augur. 16:44:08 -!- Cryovat has joined. 16:44:21 oh, and since someone appeared in a westphall universe series playing themselves, the real world is also contained in someone's dream in a tv series 16:45:58 Doesn't that universe include the Transformers comics and M*A*S*H 16:49:10 it 16:49:27 -!- oerjan has quit (Quit: Pizza!). 16:53:31 -!- atehwa_ has joined. 16:53:52 -!- atehwa has quit (Ping timeout: 256 seconds). 16:55:11 -!- sirdancealo2 has quit (Ping timeout: 252 seconds). 16:59:10 -!- sebbu2 has joined. 16:59:46 -!- sebbu2 has quit (Changing host). 16:59:46 -!- sebbu2 has joined. 17:01:45 -!- mbm has joined. 17:03:23 -!- yours_truly has joined. 17:03:34 -!- zzo38 has joined. 17:05:44 -!- mbm has left. 17:07:01 -!- [mbm] has quit (Disconnected by services). 17:07:38 -!- sebbu has quit (*.net *.split). 17:07:39 -!- abumirqaan has quit (*.net *.split). 17:07:39 -!- FireFly has quit (*.net *.split). 17:07:39 -!- Nisstyre-laptop has quit (*.net *.split). 17:07:56 -!- sirdancealo2 has joined. 17:11:28 -!- rodgort has quit (Ping timeout: 276 seconds). 17:14:40 -!- FireFly has joined. 17:15:23 -!- abumirqaan has joined. 17:15:46 -!- rodgort has joined. 17:22:08 -!- sirdancealo2 has quit (Remote host closed the connection). 17:25:38 -!- sirdancealot has joined. 17:30:15 I'm starting to blame all my computer problems on Chrome 17:30:23 good idea 17:30:47 Sometimes mouse stops working, and I switch to console and killall chrome a few times 17:30:58 Switch back, Chrome's dead and mouse can click things again 17:31:17 uninstall pulseaudio 17:34:45 ?? 17:35:12 uninstall chrome 17:35:13 -!- yonkie_ has joined. 17:35:24 uninstall wall street 17:37:32 uninstall uninstall 17:37:44 hmm no 17:37:47 uninstall install uninstall 17:41:28 -!- Bike_ has joined. 17:41:50 -!- yonkie has quit (Read error: Connection reset by peer). 17:41:51 -!- SirCmpwn has quit (Ping timeout: 268 seconds). 17:42:22 -!- Bike_ has quit (Client Quit). 17:42:39 -!- Bike_ has joined. 17:43:24 -!- Bike has quit (Ping timeout: 264 seconds). 17:46:04 -!- npnth has quit (Quit: leaving). 17:46:45 -!- SirCmpwn has joined. 17:50:44 -!- samebcha1e has joined. 17:50:58 -!- Taneb has quit (*.net *.split). 17:50:59 -!- samebchase has quit (*.net *.split). 17:52:01 -!- ThatOtherPersonY has joined. 17:52:49 -!- Taneb has joined. 17:53:28 -!- ThatOtherPerson has quit (Disconnected by services). 17:53:31 -!- ThatOtherPersonY has changed nick to ThatOtherPerson. 17:56:14 http://www.reddit.com/r/Anarchism/comments/1e4sns/import_xmonadlayoutnoborders/ 17:57:10 -!- impomatic has quit (Quit: impomatic). 17:58:28 -!- variable has quit (Ping timeout: 256 seconds). 17:59:24 -!- yours_truly has quit (Quit: Leaving). 17:59:59 -!- Nisstyre-laptop has joined. 18:03:06 -!- Nisstyre-laptop has quit (Max SendQ exceeded). 18:07:21 -!- yiyus has joined. 18:08:19 -!- tswett_ has joined. 18:12:17 -!- coppro_ has joined. 18:14:18 -!- ThatOtherPerson has quit (*.net *.split). 18:14:18 -!- Bike_ has quit (*.net *.split). 18:14:18 -!- abumirqaan has quit (*.net *.split). 18:14:18 -!- glogbackup has quit (*.net *.split). 18:14:19 -!- sivoais has quit (*.net *.split). 18:14:20 -!- lambdabot has quit (*.net *.split). 18:14:20 -!- TodPunk has quit (*.net *.split). 18:14:20 -!- copumpkin has quit (*.net *.split). 18:14:20 -!- ineiros_ has quit (*.net *.split). 18:14:21 -!- fizzie has quit (*.net *.split). 18:14:21 -!- olsner has quit (*.net *.split). 18:14:21 -!- rodgort has quit (*.net *.split). 18:14:21 -!- sebbu2 has quit (*.net *.split). 18:14:22 -!- DHeadshot has quit (*.net *.split). 18:14:22 -!- Phantom_Hoover has quit (*.net *.split). 18:14:22 -!- iamcal_ has quit (*.net *.split). 18:14:22 -!- Vorpal has quit (*.net *.split). 18:14:22 -!- FreeFull has quit (*.net *.split). 18:14:23 -!- Frooxius has quit (*.net *.split). 18:14:25 -!- aloril has quit (*.net *.split). 18:14:25 -!- EgoBot has quit (*.net *.split). 18:14:26 -!- tswett has quit (*.net *.split). 18:14:26 -!- ion has quit (*.net *.split). 18:14:26 -!- mtve has quit (*.net *.split). 18:14:26 -!- BillyZane has quit (*.net *.split). 18:14:26 -!- yiyus_ has quit (*.net *.split). 18:14:27 -!- coppro has quit (*.net *.split). 18:14:51 -!- EgoBot has joined. 18:15:47 -!- aloril has joined. 18:19:42 -!- ion has joined. 18:20:42 -!- SirCmpwn has quit (Excess Flood). 18:21:10 -!- BillyZane has joined. 18:27:35 -!- lambdabot has joined. 18:27:44 -!- SirCmpwn has joined. 18:28:17 -!- samebcha1e has changed nick to samebchase. 18:30:46 nortti: lolol 18:30:57 -!- mnoqy has joined. 18:31:02 -!- ThatOtherPerson has joined. 18:31:02 -!- Bike_ has joined. 18:31:02 -!- abumirqaan has joined. 18:31:02 -!- sivoais has joined. 18:31:27 kmc: did you know that anarchism is a real package in debian ands ubuntu 18:31:47 no 18:32:00 * kmc rages at the fact that the Haskell joke is just factually wrong, what a surprise 18:32:19 how? 18:32:43 haskell isn't classless or stateless 18:33:09 Haskell is sort of like Scheme and C++ in that people usually mean "the tiny subset I learned in school" 18:33:10 -!- Vorpal_ has joined. 18:33:18 I see 18:33:45 there are like a dozen different mutable variable types in the std lib 18:33:56 -!- rodgort has joined. 18:33:56 -!- sebbu2 has joined. 18:33:56 -!- DHeadshot has joined. 18:33:56 -!- Phantom_Hoover has joined. 18:33:56 -!- iamcal_ has joined. 18:33:56 -!- Vorpal has joined. 18:33:56 -!- FreeFull has joined. 18:33:56 -!- Frooxius has joined. 18:34:00 -!- Vorpal has quit (Quit: ZNC - http://znc.sourceforge.net). 18:34:00 plus the thing where laziness itself is based on mutating state 18:35:33 why must netsurf compile process start from begining every time I start it again after installing some dependency part of it neede? 18:35:38 kmc: eh 18:35:52 that's just a detail of the operational implementation of laziness in terms of an imperative language 18:36:11 it's not really fundamental to the nature of sharing as an operational detail, let alone haskell's denotational semantics 18:36:18 -!- TodPunk has joined. 18:36:18 -!- copumpkin has joined. 18:36:18 -!- ineiros_ has joined. 18:36:18 -!- fizzie has joined. 18:36:18 -!- olsner has joined. 18:36:34 yeah 18:37:35 eh I think it's fundamental to the nature of sharing as an operational guarantee 18:37:52 when you force evaluation it will be fast or slow depending on whether that value was already forced before 18:37:55 that constitutes state 18:38:13 sure, it doesn't have to be implemented by overwriting thunks in place with forwarding pointers or w/e 18:38:15 sharing is really just about mumble mumble graphs 18:38:25 yeah but the state of the graph changes as you perform pure evaluations 18:38:52 well, also the kind of mutation involved is mutating a thing to its equal 18:39:01 kmc, yeah but who cares about performance 18:39:01 which is a far cry from what is generally considered mutable state 18:39:11 @quote abstract.research 18:39:12 Jafet says: Haskell is an abstract research language used only in academia, education, banking, stock trading, circuit design, embedded systems, cryptography, operating systems research, bioinformatic 18:39:12 s, phone apps, and web services. 18:39:12 as in you can formulate it in terms that don't admit any sort of observable "change" 18:39:47 heh 18:40:12 we should probably take "phone apps" off the list 18:43:08 Blub combines the theoretical beauty of Haskell with practical, real-world features like scalable concurrent IO, a C function interface, good Unicode support, and a large base of libraries 18:44:14 -!- ThatOtherPerson has quit (*.net *.split). 18:44:14 -!- Bike_ has quit (*.net *.split). 18:44:14 -!- abumirqaan has quit (*.net *.split). 18:44:14 -!- glogbackup has quit (*.net *.split). 18:44:15 -!- sivoais has quit (*.net *.split). 18:45:21 Don't settle for uncompromising purity — use mutable state when you really need it. We even let you mutate multiple variables in an atomic transaction. Put that in Haskell's pipe and smoke it! 18:46:11 kmc: fyi two spaces after a dot is sin 18:46:18 god will strike me down 18:46:50 I should actually go through with this idea next Apr 1 18:47:22 make a super twitter bootstrappy website for this language 18:48:39 kmc, that reads like a thing that's advertising Haskell 18:48:57 thank you sgeo 18:49:00 I could have sworn I've seen something like "Imagine Haskell but with X, Y, Z practical things... it's Haskell" 18:49:07 http://i0.kym-cdn.com/entries/icons/original/000/012/132/thatsthejoke.jpg 18:49:15 yeah it's a joke I have made before 18:49:23 you don't say 18:49:24 maybe someone else did it too, it's p. obvious 18:49:25 @quote trace 18:49:25 chromatic says: My productivity increased when Autrijus told me about Haskell's trace function. He called it a refreshing desert in the oasis of referential transparency. 18:49:48 -!- ThatOtherPerson has joined. 18:49:48 -!- Bike has joined. 18:49:48 -!- abumirqaan has joined. 18:49:48 -!- sivoais has joined. 18:50:25 :D 18:50:43 let yolo = unsafePerformIO 18:50:47 yolo jokes are still fresh right 18:50:57 -!- sivoais has quit (Max SendQ exceeded). 18:51:23 kmc, I could have been remembering you telling it previously 18:51:26 Bike: I think we've unnetplitted :D 18:51:27 I suspect the people who said yolo have moved on to saying something else now 18:51:27 -!- Vorpal_ has quit (Changing host). 18:51:28 -!- Vorpal_ has joined. 18:51:52 -!- SirCmpwn has changed nick to Guest12327. 18:52:08 they've all died of drug overdoses 18:53:26 -!- mnoqy has quit (Quit: Reconnecting). 18:53:42 -!- mnoqy has joined. 18:54:29 -!- coppro_ has changed nick to coppro. 18:55:05 -!- Guest12327 has quit (Changing host). 18:55:06 -!- Guest12327 has joined. 18:55:15 -!- Guest12327 has changed nick to SirCmpwn. 18:56:04 -!- sivoais has joined. 18:59:01 -!- sivoais has quit (Changing host). 18:59:01 -!- sivoais has joined. 18:59:08 Who TF is it that hates freenode so much? 18:59:33 me 18:59:47 -!- epicmonkey has joined. 19:03:10 http://blog.zorinaq.com/?e=74 19:03:48 -!- sivoais has quit (Ping timeout: 264 seconds). 19:04:33 -!- sivoais has joined. 19:07:22 -!- variable has joined. 19:12:32 -!- sivoais has quit (Read error: Connection reset by peer). 19:12:40 -!- sivoais has joined. 19:14:19 -!- Vorpal_ has changed nick to Vorpal. 19:15:32 -!- tswett_ has changed nick to tswett. 19:20:20 -!- sivoais has quit (Read error: Connection reset by peer). 19:20:27 -!- sivoais has joined. 19:26:15 -!- nooodl has quit (Read error: Connection reset by peer). 19:27:31 -!- sivoais has quit (Ping timeout: 245 seconds). 19:28:52 -!- sivoais has joined. 19:29:35 "An undersized window could be leveraged to mislead the user as to the origin of a document simply by carefully truncating the hostname" 19:30:15 I think you would still need to know what font is used and other settings though 19:30:28 https://bugzilla.mozilla.org/show_bug.cgi?id=581313 19:31:05 Resizing also has to be enabled. 19:31:26 Furthermore, there are settings for the address bar, whether or not the protocol is displayed, for example. 19:32:44 * Sgeo reads http://argante.sourceforge.net/concept.html 19:36:20 -!- sivoais has quit (Read error: Connection reset by peer). 19:36:28 -!- sivoais has joined. 19:44:29 -!- sivoais has quit (Read error: Connection reset by peer). 19:44:36 -!- sivoais has joined. 19:52:24 -!- sivoais has quit (Ping timeout: 256 seconds). 19:52:50 -!- sivoais has joined. 19:57:24 https://bugzilla.mozilla.org/show_bug.cgi?id=561177 19:59:09 actually, why is it even there? 19:59:20 Do they really have 500000 tickets 19:59:44 s/it/the countdown/ 20:00:52 -!- sivoais has quit (Read error: Connection reset by peer). 20:00:59 -!- sivoais has joined. 20:05:31 -!- JesseH has joined. 20:06:03 My language is getting somewhere. ^_^ Thanks for all the support. 20:08:15 -!- sivoais has quit (Ping timeout: 256 seconds). 20:09:28 -!- sivoais has joined. 20:10:27 nortti: https://bugzilla.mozilla.org/show_bug.cgi?id=162020 20:11:36 okay... 20:12:12 -!- carado has quit (Ping timeout: 264 seconds). 20:12:52 anyone here use netsurf on framebuffer? 20:14:37 I know the answer to that already 20:14:51 -!- carado has joined. 20:14:55 is the answer 'yes, nortti' 20:15:25 it was the less smartass version of that answer 20:15:26 "no" 20:16:49 has anyone at least tried? 20:17:36 -!- sivoais has quit (Ping timeout: 264 seconds). 20:18:00 -!- sivoais has joined. 20:22:07 get a better dumpster computer 20:22:48 I'm not on my t20, I'm on t61p 20:22:59 oh 20:23:28 i was using a T61 as my main machine 6 months ago 20:23:39 with x and xmonad and chrome 20:23:41 did you use netsurf on framebuffer 20:24:01 "no" 20:24:06 :-) 20:26:00 -!- sivoais has quit (Ping timeout: 264 seconds). 20:26:36 -!- sivoais has joined. 20:28:12 too bad I don't the t61p 20:30:03 kmc, CORS has moved on from 2011 afaict 20:30:26 ok 20:30:33 do they hove CORS Lite now 20:30:54 CORS doesn't send cookie data by default, which apparently was a Microsoft objection 20:30:58 what is cors 20:31:00 -!- ThatOtherPerson has quit (Ping timeout: 276 seconds). 20:31:05 -!- glogbackup has quit (Read error: Connection reset by peer). 20:31:06 Cross-origin request sharing 20:31:50 -!- Kawata has joined. 20:34:18 -!- sivoais has quit (Ping timeout: 264 seconds). 20:35:02 -!- sivoais has joined. 20:35:26 -!- sivoais has quit (Read error: Connection reset by peer). 20:36:21 -!- sivoais has joined. 20:40:21 -!- SirCmpwn has quit (Ping timeout: 240 seconds). 20:42:38 -!- Bike has quit (*.net *.split). 20:42:38 -!- abumirqaan has quit (*.net *.split). 20:43:45 -!- SirCmpwn has joined. 20:44:16 -!- Bike has joined. 20:46:07 -!- itsy has quit (Read error: Connection reset by peer). 20:56:00 lol 20:56:28 (users of Internet Explorer 8 will have unexpected trouble visiting http://www.google.com/search?q=