00:03:50 MEANWHILE IN PAUL GRAHAM'S HEAD: http://www.nasdaq.com/article/legendary-vc-paul-graham-suspects-bitcoin-was-created-by-a-government-cm238901#.UXR-JbXWQ45 00:04:56 -!- WeThePeople has quit (Quit: Leaving). 00:06:16 yeah bitcoin is needed for black ops 00:09:21 "I realize some of these explanations are pretty far fetched, but so is an individual cooking up bitcoin as an intellectual exercise 00:09:21 " no that sounds perfectly plausible to me 00:09:27 -!- zzo38 has quit (Remote host closed the connection). 00:11:55 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 00:12:28 hi shachaf 00:13:28 hi kmc 00:17:04 do you have any thoughts or ideas which may cheer me up 00:19:48 why are you uncheered :( 00:21:39 -!- Nisstyre-laptop has joined. 00:24:27 I'm pissed off because I got fired and I feel I was treated poorly by the company 00:24:45 the reason given by the founders doesn't make sense and they refuse to elaborate 00:25:43 and my guess as to the real reason is infuriating if true 00:25:58 and these are people who I respected and thought of as friends before now 00:26:17 and also I'm dependent on them for practically any future job references because I worked with them at Ksplice as well 00:26:46 and i'm generally bitter 00:27:04 Blah. 00:27:06 -!- aloril has quit (Ping timeout: 245 seconds). 00:27:30 and can't think of anything i want to do next 00:29:16 * Fiora hugs kmc 00:29:25 what do you guess the real reason is? 00:29:31 @hug kmc 00:29:31 http://hackage.haskell.org/trac/ghc/newticket?type=bug 00:29:50 thanks Fiora, shachaf, lambdabot 00:30:13 Surely there are other people at ksplice or that other company you worked at that you could ask? 00:30:23 a few 00:31:20 I don't think future employers will really interrogate everyone you ever worked for... I think mostly they just want a simple reference to call to check you worked there... 00:32:59 Fiora: the reason I suspect: they hired someone else at the same time as me, who turned out to be a bad employee, but they felt obliged to keep him because they'd convinced him to drop out of college to join them 00:33:11 and my patience with him ran out before everyone else's 00:33:18 so they got rid of me 00:35:03 I wasn't very happy there but I was trying to make it work, and they were very accommodating up until one day i'm fired 00:35:15 there wasn't any clear warning like "shape up or else" 00:35:18 harsh, man 00:35:38 -!- aloril has joined. 00:36:17 i got a lot done, I was #2 in terms of commits with a 3x margin over the next person (I know this is a shitty metric, but it's objectively verifiable and probably indicates that I wasn't a complete slacker at least) 00:36:19 kmc: I guess the upside of that is that they don't hate you or anything, I imagine? 00:36:28 i don't know! they won't tell me! 00:36:31 would you think they'd give you a bad recommendation out of spite? 00:36:38 for all I know I did something horribly wrong and they just won't tell me 00:36:42 oh >_< 00:36:45 eeesh 00:37:24 all they'll say is that is was based on "carefully deliberating about how I was doing at [company] for many months" 00:37:43 but I didn't receive any kind of warning or really much negative feedback at all during weekly meetings with my manager 00:38:54 that's... kind of really terrifying 00:39:02 just, out of nowhere, with no reason... 00:39:02 i don't think they would give me a bad review out of spite but like... i don't know 00:39:09 I thought I knew these people 00:39:14 now I'm sure I don't 00:39:20 and nobody you knew there will say anything? >_< 00:40:28 it wasn't totally out of nowhere, I was unhappy and they knew I was unhappy and I brought up various complaints, but like, I thought we were working on solutions 00:40:43 kinda sounds like something personal tbqh 00:40:47 but i don't know anything and you shouldn't listen to me 00:41:06 yeah I don't know 00:41:13 I tried to be civil even to this one person who I thought was a bad worker 00:41:25 I may have failed 00:42:19 -!- carado_ has joined. 00:42:30 weee 00:42:33 * Lymia is implementing bfjoust for a program 00:42:43 I think this is the most hack-filled code I've ever written 00:42:56 Like... implementing ] as a 0 tick command, and, inserting a nop before each one >_>; 00:43:20 kmc: i mean being completely opaque like that and refusing to elaborate is a pretty bad attitude, it doesn't really suggest to me that you might have done something legitimately awful (because then it would be very simple to point to it) 00:43:26 but, again, previous disclaimer, I know nothing 00:43:48 *nod* 00:43:58 i'm told that sometimes people are vague because they're worried about lawsuits and have nothing to gain from not being vague 00:44:02 that's why I think it was basically "he's lost patience with this other guy, we have to keep the other guy, therefore we fire him" 00:44:05 yes 00:45:25 things i am learning: don't convince people to drop out to join your company 00:45:39 things im learning: dont work at kmcs company 00:45:44 dont work with people 00:45:45 dont do it 00:45:49 I guess it could also be a bit of "it's easier to say nothing than to try to awkwardly try to dodge around things" 00:45:58 since they lose nothing by not talking to you 00:46:26 mnoqy: people are p. bad but maybe the alternative is worse?? 00:46:40 shachaf: maybe.... 00:46:50 but. you're really good, you should be able to find something else... I'd hope... 00:47:41 yeah I will be totally ok financially 00:47:45 that's not the worry 00:48:27 you're just worried you were doing something wrong, you don't know what it is, and you might do it again and it's just unsettling and nerve-wracking? 00:48:33 when you get fired don't you get like a two week grace period? or is that just for quitting 00:48:34 there's that 00:48:44 Bike: that's just for quitting and is also sort of optional 00:49:00 oh 00:49:07 in previous cases where I quit a job, I offered to stay for 2 weeks and they declined 00:49:28 Fiora: the "oh, people i thought i knew" aspect seems more thingy 00:49:32 also in most situations (and ianal etc) if you just quit on the spot they can be pissed off, they can give you a bad rec or whatever, but they can't come after you legally 00:49:32 Bike: do you really think america would guarantee anything for workers 00:49:45 elliott: i call it optimism 00:49:49 minimum wage!!!!! 00:49:56 oh, was this in america? then I retract my surprise 00:49:57 differs by state right 00:49:58 http://en.wikipedia.org/wiki/At-will_employment 00:50:14 yeah i figured you might not get legal anything anyway because of startup everything 00:50:14 elliott: well I think America actually does too much in terms of tying benefits to employment 00:50:15 mnoqy: US minimum wage is something in the region of $0/hour right 00:50:26 we should just have universal govt provided benefits and then let people do at will employment 00:50:27 it's like $8 (close enough?) 00:50:27 elliott: it's actually negative 00:50:33 minimum wage varies a lot by state 00:50:36 8 is pretty close to 0 00:50:43 just fill out the sides and you've got a zero 00:50:45 interestingly even in the states with higher minimum wage, cost of living more or less eats it up 00:50:47 it's $9.something where I live. (highest in the country) 00:50:49 a slashed zero admittedly 00:51:13 Well, cost of living varies a lot within a state too. 00:51:20 http://blakefallconroy.com/18.html 00:51:29 it's probably cheaper to live in my part of washington than it is to live in like seattle 00:51:50 i don't even know where kmc is 00:51:59 new england somewhere? 00:52:03 * Bike gestures vaguely 00:52:15 massachusetts 00:52:18 I don't understand how anyone is expected to live on $8/hr around here, a single-bedroom apartment is like $1500/month 00:52:20 nailed it 00:52:33 kmc: Good link. 00:52:35 Fiora: immigrants living 10 to an apartment 00:52:40 that's how it is in NYC anyway 00:52:40 ;-; 00:52:46 Chinatown still has Chinese people because they are willing to do this 00:53:28 as gas prices rise I wonder if McMansions in suburbia will become multi-family slum housing 00:53:28 elliott, fizzie 00:53:30 In BfJoust 00:53:38 (...{...}...{...}...)%n 00:53:40 Is illegal, right? 00:53:40 kmc: hopefully at least you have some friends out of work... even online? 00:53:44 yeah 00:53:46 I have friends 00:53:50 Lymia: right 00:53:54 also I'm sure there are many wealthy Chinese people in Chinatown 00:53:56 I shouldn't stereotype 00:54:19 kmc has friends?????? 00:54:21 (dont kill me) 00:54:22 haven't a lot of those already been abandoned? since, like, they were bought with subprime loans and so on 00:54:22 o snap elliott 00:54:29 yeah many 00:54:37 depends on the area 00:54:37 mcmansions are probably pretty good for squatting 00:55:03 i think my parents' subdivision in Iowa is still mostly intact, it grew maybe a bit before the craziest part of the housing bubble, and also it's not like anyone's fever dream fantasy to move to Iowa 00:55:12 compared to Nevada or Florida or California 00:55:37 i live near some subdivisions that were under construction when the bubble hit, there are still plenty of empty places 00:55:51 people want to move to nevada? 00:55:56 also a "village" area that has some commercial zoning too, it's actually sad 00:56:09 mnoqy: amazingly yes 00:56:19 kmc: the gap in prices between areas like that has always stunned me I mean, like, it makes sense, but -wow- 00:56:25 in my mind nevada is just the world's biggest desert with las vegas stuck in the middle of it 00:56:31 and both of those terrify me 00:56:33 you can get practically mansions for $200k in less desirable areas 00:56:36 nevada is miserable 00:56:37 but vegas moreso 00:56:40 and in an expensive suburb area $200k is the price of a garage 00:56:42 mnoqy: warm climate, no income tax 00:56:44 i don't understand how vegas can even exist 00:56:56 organized crime 00:56:58 it's just the most awful place to me 00:56:59 southern california is basically a highly irrigated desert too <.< 00:57:02 to summarize the history 00:57:03 i mean apart from the worse places 00:57:13 I really like the Mojave Desert, as a place to go to get away from it all 00:57:16 Bike: yeah but this is more like... a philosophical problem 00:57:19 don't think I would want to live there 00:57:24 it's not that i don't understand how it could have arisen 00:57:30 i've spent enough time living in southern california 00:57:31 also the nevada desert has other cities in it, that are like mini vegases 00:57:33 i just don't get how it is actually possible for a place like vegas to exist 00:57:38 Bike: Reno ;_; 00:57:57 and yes your idea of vegas isn't that inaccurate 00:58:03 the surroundings, i mean 00:58:19 * kmc flew TLV-RNO once 00:58:27 things i know about reno: 1. johnny cash shot a man there 2. REM went there 00:58:30 via... LHR and probably ORD or some shit, I was pretty out of it by the second stop 00:58:34 elliott: something something testament to man's willingness to flip off god something 00:58:40 But not enough time in Northern California! 00:58:45 there isn'ta 3 00:58:59 shachaf: indeed 00:59:01 maybe I should move to SF 00:59:06 it's looking more and more likely.......... 00:59:19 kmc: move to hexham 00:59:23 great plan 00:59:25 yes 00:59:28 hexham is literally the worst place to move to 00:59:30 move to finland 00:59:31 or helsinki (maybe slightly more viable) 00:59:43 it's a common myth that we hexhamites hate helsinki 00:59:47 helsinki is good 00:59:54 haha there's a wildlife range north of las vegas 00:59:59 "Desert National Wildlife Range" 01:00:00 what a name 01:00:20 alas google street view does not extend to wildernesses 01:01:02 helsinki is super expensive 01:01:09 but yes I might like to live there 01:01:09 kmc: http://blakefallconroy.com/11.html this is cute (re: your link) 01:01:17 i should end all my messages with (re: something) 01:01:25 kmc: you smell (re: your smell) 01:01:30 (WAS RE: COCKS) 01:01:40 i don't know if rent is expensive but like.... stuff is expensive 01:02:13 also the pub tram is expensive and like... what chance is there that I can avoid riding the pub tram on a weekly basis 01:02:16 well i mean fizzie lives there, and i can't imagine there is much money in speech recognition research [canned laughter] 01:02:22 wow the pub tram 01:02:25 helsinki truly is the future 01:02:26 [toilet flush sound effect] 01:02:37 should i go live in helsinki 01:02:49 [elliott enters the room, studio audience applauds wildly] 01:02:50 and/or the finnish army?? 01:02:56 that's an old calculator 01:02:56 don't live in the army 01:03:24 kmc: both canned AND fresh laughter 01:03:31 truly we are breaking down barriers 01:04:41 SF is pretty expensive these days. 01:04:47 seriosuly 01:04:52 seriously too 01:05:39 kmc: hexham is pretty cheap 01:05:41 uh i think 01:05:46 i really don't know 01:05:53 but i can't imagine it being expensive! i guess properties are 01:05:56 since it's all like rural and shit 01:06:06 do i have to buy a farm 01:06:12 i hope not 01:06:18 i mean it's not that rural 01:06:22 http://cdn.physorg.com/newman/gfx/news/2013/jhvhrdes3.jpg help 01:06:22 just a lil rural 01:06:28 got some buildings that are older than your country and so on 01:06:36 might even be in one now idk 01:08:23 a market town and civil parish 01:09:00 Hexham won the Town award in the 2005 Britain in Bloom awards. In the same year Hexham was also named * 'England's Favourite Market Town' by the magazine Country Life. 01:09:35 Bike: c.c 01:09:51 five points on a log plot that kind of fit a straight line 01:09:53 this has a geneticist as a co-author! 01:10:03 i mean, one who writes about biosemiotics, but come on 01:10:17 biosemiotics? sounds like hogwash 01:10:41 well uexküll wrote some good stuff 01:10:47 in the words of a wise philosopher, "Worms – oh my god WORMS" 01:10:54 yeah, basically 01:10:59 "... that studies the production, action, and interpretation of signs and codes in the biological realm." 01:11:10 the abstract to the paper talks about the technological singularity asodfuhqfsa 01:11:29 From within the Hexham Courant office a webcam over-looking Hexham Abbey can be viewed on the following website: Hexham Courant Hexham also has a town webportal called HexhamNet HexhamNet. It was first launched in October 2003 and continues to attract web visitors from all over the world. 01:11:29 so like genetic divination or something? 01:11:43 nah 01:12:07 uexküll was like a proto-cyberneticist and his stuff shows up in theoretical ethology sometimes 01:12:11 how is hexham so cute 01:12:34 mnoqy: elliott's influence hth 01:12:47 `seen oerjan 01:12:52 2013-04-18 07:14:37: CAPTCHA: Write a 200 word essay on why spamming should carry the death penalty. Be convincing. 01:12:55 unfortunately it... does get dumb sometimes. a lot of times apparently 01:15:09 elliott: hexham looks ""reasonably cheap" 01:15:13 maybe i should move there 01:17:49 how reasonable is reasonably 01:19:19 i can't tell it's in £..................... 01:19:36 double it 01:19:46 -!- zzo38 has joined. 01:20:07 ok i just came to a profound realization 01:20:20 oh wow cool 01:20:34 way to go Bike 01:20:44 i used to think that people were saying "wait ago" 01:20:47 it didn't make sense 01:20:57 measuring organismal complexity by counting DNA base pairs is like concluding that microsoft word is More Highly Evolved than linux because the binaries are bigger 01:20:58 now i know that they say "way to go" but it still doesn't make sense :'( 01:21:11 "that is the way to go" 01:21:20 "continue going on this way you are presently going on" 01:21:53 Bike: dna codez is not written in the same way as computer codez............. 01:22:00 chance that microsoft word is actually more complex than linux? 01:22:09 last chance: should i see _The King and I (1956 film)_ or not 01:22:13 At first I thought you were talking about that idiot who thinks that we're gaining new strands of DNA in some glorious something-or-other, and points to some severely disabled kid as our future 01:22:27 shachaf: if 1956 means it's black and white, then no 01:22:30 shachaf: the inner joke is that the analogy is just as bad as measuring complexity by base pairs. 01:22:34 http://www.reddit.com/r/skeptic/comments/1cqs00/what_the_hell_first_child_officially_diagnosed/ 01:22:42 shachaf: see it. 01:23:11 oh, like PNA? 01:23:26 ascensionearth2012, are you serious 01:23:26 is this another one of sgeo clicks a link to sugggest you don't 01:23:27 Bike: The film? 01:23:30 by clicks i mean links 01:23:37 shachaf: yes. 01:23:50 is r/skeptic by any chance a forum where people shore up garbage to laugh at 01:24:09 elliott: are pounds sterling worth more than regular pounds 01:24:13 Bike, sometimes 01:24:30 shachaf: isn't one of those a unit of weight rather than a currency? 01:24:47 if so, it depends on the material 01:24:57 olsner: Are you thinking of slugs? 01:25:03 pounds are a unit of mass hth 01:25:10 or are they weight too 01:25:10 slugs are the worst unit 01:25:12 alright i clicked it. you win Sgeo thanks a lot. 01:25:34 shachaf: they're used both ways. fuck the imperial system. fuck imperialism fuck patriarchy burn the queen 01:25:42 wait, slugs are the unit of mass 01:25:48 yes 01:25:51 see: terrible 01:25:55 maybe ... mass but implicitly a weight in 1g gravity? 01:25:57 okay i just don't know how it works 01:26:05 i'll go back to kg hth 01:26:16 elliott: are you going to let Bike get away with saying that 01:26:23 without even devoicing him for it 01:26:27 "Read more about Alfie Clamp born with extra DNA in world first and see a picture of him at the Daily Mail." is every fucking news site an aggregator for everything else now 01:26:33 a slug is also a coin 01:26:47 a slug is also an animal you fucks!!!!!!!!!!!! 01:26:56 olsner: 1 gram gravity what that doesn't make any sense.. 01:27:01 A slug is also an identifier 01:27:16 -!- carado has joined. 01:27:28 -!- carado_ has quit (Ping timeout: 246 seconds). 01:27:31 sgeo i'm reading a daily mail article because of you 01:27:37 Bike: wow a slug is a bad unit 01:27:42 i looked it up 01:27:45 imo bad 01:27:45 yes 01:27:52 shame because they're a good animal 01:27:53 who even invented this unit and why 01:27:54 but a bad unit 01:28:16 don't even get what the link was for 01:28:20 shachaf: wrong g! http://en.wikipedia.org/wiki/Standard_gravity 01:28:26 like it wasn't to a comment... 01:28:37 because i mentioned DNA and the link was also about DNA?? 01:29:04 makes sense 01:29:10 olsner: come to think of it ½gt² doesn't make sense either. half a gram? 01:29:14 The blob is the inch version of the slug (1 blob = 1 lbf·s2/in = 12 slugs)[1] or equivalent to 175.126 kg. This unit is also called slinch (a portmanteau of the words slug and inch).[8][9] Slang terms are slugette,[10] and a snail.[11] 01:30:07 shachaf: is that a half gramsquaretonne? 01:30:13 Metric units include the "glug" in the centimetre-gram-second system, and the "mug", "par", or "MTE" in the metre-kilogram-second system.[12] 01:31:00 at least I'll have a software defined radio to play with soon 01:36:12 Bike: I think I might not see it. :-( 01:36:40 it? 01:36:54 The film. 01:37:04 :( 01:37:11 imo go see it 01:38:22 But it's in eat thing 01:38:41 oh. 01:38:44 yeah, eat thing. 01:38:51 Maybe I could do both. 01:39:13 bring in popcorn 01:39:16 munch on it loudly 01:39:40 Popping Hummus! 01:40:04 ok the paper doesn't do any stats analysis at all, it just says it fits the line 01:42:16 so of course a bunch of news outlets have headlines like "Moore's Law suggests panspermia" and shit 01:43:01 im so confused 01:43:10 isn't science journalism a beautiful thing 01:43:25 imo fuck it 01:43:57 does the 'ug' in slug / glug / mug stand for something? 01:44:17 -!- hagb4rd has quit (Ping timeout: 255 seconds). 01:44:27 it also cites "Darwin 1866". I choose to believe this refers to "The Movements and Habits of Climbing Plants" 01:45:20 -!- carado has quit (Ping timeout: 246 seconds). 01:57:56 maybe i should insist on formal performance reviews at my next job 01:58:06 startups don't want to do them because it's process and paperwork 01:58:12 but it seems preferable to being fired 9 months in out of the blue 01:59:35 if you have performance reviews you'd have to write in a fast language like C/C++ 01:59:40 c.c 01:59:41 instead of Java 02:00:00 i have absolutely no point btw 02:00:08 is this when you use "I,I" 02:00:26 what the fuck is i,i 02:00:45 an owl apparently 02:00:48 oh 02:00:49 it means 'i have no point, i just want to say' 02:00:54 maybe i should make friends with some science journalists 02:00:55 but maybe.... also an owl 02:01:11 tell them things like that it's ok for them to stop reading a paper if it's ugly 02:01:13 Huh. So the Press Release announcing Javascript suggested server-side Javascript. 02:01:27 well, i guess they probably just read the abstracts, if anything 02:01:57 "technological singularity"? the internet?? i'll write up an article IMMEDIATELY 02:02:09 what sort of people are science journalists anyway. the sort of people who'd be science journalists, i'd imagine... 02:02:13 this is what i imagine science journalists are like, and so i should meet some 02:02:26 instead of having this caricature i mean 02:02:50 oh, pz myers already trashed it for me 02:02:52 thanks man. 02:02:59 did someone say information superhighway 02:03:05 i don't like pz mysres but i forget why 02:03:08 i remember there was a reason 02:03:10 kmc: who invented i,i 02:03:27 http://freethoughtblogs.com/pharyngula/files/2013/04/sillyorg.png behold 02:03:35 elliott: well he's kind of a new atheist 02:03:45 yeah but it was for a different reason 02:03:49 was it oerjan who started the I,I thing? 02:03:50 i think he's less... "shitty", as the kids say, than dawkins, but still 02:04:00 "new atheist"? 02:04:02 this was before i completely gave up on calling myself an atheist 02:04:11 mnoqy: you know. "people like dawkins" 02:04:16 ah 02:04:23 it's a "movement" or w/e 02:04:25 reddit atheists 02:04:30 right 02:04:33 http://en.wikipedia.org/wiki/New_Atheism 02:05:08 is "nonreligious" a good term to avoid being grouped in with them because that's what i've been going with 02:05:10 oh the quote in the intro is actually just antitheism. cool. that's cool 02:05:26 i think i settled on "nonreligious" but also it's like not something that actually comes up ever 02:05:29 i don't remember the last time i've even had to state my religious anything but i'd probably go with "atheism" 02:05:31 unless you talk about religion and why would you 02:05:37 just because... who cares 02:06:10 Cardinal William Levada believes that New Atheism has misrepresented the doctrines of the church.[19] He described New Atheism as "aggressive", and he believed it to be the primary source of discrimination against Christians.[20] 02:06:25 primary source of discrimination against christians 02:06:38 yep. have you punched a cross today 02:07:11 i got cross today (ha ha ha ha ah ah ah ah ah ah ah ah ahhaha ha ha ha ha ha ha ah0ah 09sadh sa09dh aiosdj ad jsaiodj saiodja;klweq4;kw4am6;kltr ) 02:07:16 qqqqqqqqqq 02:07:19 o 02:07:20 oko 02:07:20 okoko 02:07:21 hello. 02:07:21 okokoko 02:07:24 no your uined it 02:07:27 don't you know anything about okoing 02:07:33 nope 02:07:36 oaky it goes like this 02:07:36 o 02:07:39 oko 02:07:41 okoko 02:07:41 okokoko 02:07:43 okokokoko 02:07:46 okokokokoko 02:07:48 okokokokokoko 02:07:51 okokokokokokoko 02:07:53 okokokokokokokoko 02:07:56 okokokokokokokokoko 02:07:58 okokokokokokokokokoko 02:08:01 o 02:08:03 fuck 02:08:15 also you have to type tim 02:08:18 *it from scratch each time 02:08:37 imo fuck this 02:08:50 no it's real good 02:08:51 try it 02:09:52 ok (no) 02:10:11 go on 02:10:15 live free 02:10:19 go `outside your comfort zone' 02:11:17 do i have one of those 02:11:55 yes 02:11:57 it's everything but okoing 02:12:00 mnoqy: have you okoed 02:12:03 can you give a testimonial 02:12:13 http://images.nationalgeographic.com/wpf/media-live/photos/000/005/cache/coelacanth_501_600x450.jpg 02:12:14 o 02:12:15 oko 02:12:16 o 02:12:17 done 02:12:21 no mnoqy 02:12:24 you have to let yourself free 02:13:08 -!- zzo38 has quit (Remote host closed the connection). 02:20:35 buh 02:20:37 Why isn't this 02:20:46 Storing the "flag zeroed for one tick" flag 02:21:01 Oh 02:21:03 typo.. 02:23:00 * Lymia tests with omnipotence 02:23:02 ... 02:23:03 >_< 02:23:04 Great 02:23:07 Crashes my parser 02:38:14 Bike: that just reminds me of time trumpet 02:38:28 is that about fish 02:39:03 -!- kmc has quit (Read error: Connection reset by peer). 02:39:49 -!- kmc has joined. 02:40:37 noooooooo my IRC uptime 02:42:56 EC2? More like upscale 02:43:07 heh 02:43:10 free micro instance 02:45:35 does anyone have any vps recommendations btw 02:45:37 that aren't linode 02:45:41 or prgmr 02:45:51 there's that http://prgmr.com 02:45:52 efb 02:45:56 why not prgmr 02:45:58 'dumb name' 02:46:13 elliott: i hear rackspace is all right, maybe 02:46:17 kmc: i was with prgmr before linode 02:46:34 i moved because it's slow and i wanted more ram for running php/mysql/nginx/mediawiki 02:46:45 it's especially nice that linode let me have my server in london 02:46:50 because, i run my irc client on it 02:46:54 and latency is annoying 02:47:11 *echm* mosh 02:47:38 -!- copumpkin has joined. 02:47:39 i use mosh 02:47:41 lymia@infel:~/programming/BFJoust_Shalia$ scala -J-Xss32m -cp out/production/BFJoust_Shalia/ com.lymiahugs.shalia.VM omnipotence.bfjoust anticipation.bfjoust 02:47:41 <<<<<<<<>>>><<<<<<<<< <<<<<<<<>>>><<<<<<<<< 26 02:47:41 lymia@infel:~/programming/BFJoust_Shalia$ ~/programming/bfjoust-evo/utils/gearlance omnipotence.bfjoust anticipation.bfjoust 02:47:41 <>>><<<<<<<<<<<<<<<<< <<<<<<<<<<<<<<<<<<<<< 36 02:47:42 i hate bugs 02:47:45 more ram for running php / mysql / mediawiki / russian spam botnet 02:47:46 mosh does not make latency not annoying 02:47:54 indeed 02:47:55 kmc: no they're french spammers nowadays 02:47:59 le spam 02:48:02 There's apparently some subtle behavioral difference in my Bfjoust implementation 02:48:09 That makes omnipotence lose 02:48:21 Lymia: compare execution traces maybe? 02:48:32 I'm going to have to 02:48:43 @google hetzner robot -elliott 02:48:45 https://robot.your-server.de/ 02:48:47 I'd have to figure out how to get gearlance to output one first though 02:48:55 can't the spammers be lithuanian for once 02:49:30 Lymia: could use jsout 02:49:32 egojsout 02:49:33 that gives traces 02:49:59 Jafet: are you sure you wanted to link me to that 02:50:21 You have now been linked to that. 02:52:38 i think i'm p. cool with the 'new atheists' 02:52:44 -!- WeThePeople has joined. 02:53:09 at least I think pointing out the numerous ways religion harms people is better than being like 'well I don't believe personally but I respect your right to mutilate children" 02:53:13 kmc is a heretic 02:53:20 ok but have you seen dawkins's twitter feed 02:53:30 i do think it's a shame that Dawkins is known mostly for this 02:53:38 since I find his biology books a lot more interesting 02:53:42 -!- TeruFSX has joined. 02:53:43 oh, they are. 02:54:01 honestly i wish there was a better way to be a popular biologist than yelling at creationists 02:54:06 yea h:/ 02:54:19 The RFC that defined JSON included a JSON parser with a security hole 02:54:21 :/ 02:54:29 You can also only be a popular physicist if you talk about THE UNIVERSE 02:54:37 not that they don't deserve it but biology is pretty cool. even the stuff that isn't evolutionary! 02:54:41 Sgeo: yep! 02:54:54 biology is amazing 02:55:04 And a popular chemist if... well, I guess it's harder to be a popular chemist. 02:55:04 just the number of incredible hacks that different critters use to get by 02:55:08 for example: http://www.youtube.com/watch?v=e3HcqGcXls4 02:55:17 frog embryos 02:55:21 now in twin form 02:55:24 kmc: "huge trouble"? 02:55:28 Sgeo: is this the parser that consists of eval 02:55:30 copumpkin: hm? 02:55:37 you mentioned getting into huge trouble on twitter 02:55:44 oh 02:55:51 well I asked for more money at work and instead I got fired 02:55:56 oh wow 02:55:57 unclear how much these things were causally related 02:56:00 that's never supposed to happen 02:56:13 the reasons the founders gave for firing me don't really make sense, and they refuse to elaborate 02:56:16 I think I ranted a bit about it above 02:56:23 oh, I only just rejoined 02:56:30 oh logs 02:56:34 but that sucks, I'm sorry 02:56:41 Jafet: i think the popularist chemist i can think of is derek lowe who isn't that popular 02:57:07 Bike: wtf frogs 02:57:14 Quite. 02:57:15 * copumpkin hugs kmc 02:57:15 also did they just try that with every cell until it worked 02:57:19 thanks copumpkin 02:57:20 * kmc hugs back 02:57:35 the original experiment was actually on salamanders 02:57:53 also the lady investigator died in a fire before her thesis on it was published :/ 02:58:33 they were working off some older experiments, like one where a guy would kill part of an embryo with a hot needle (presumably because Why Not) and watched how it developed 02:58:48 yeah... a lot of bio experiments are like "what happens if we break this part" 02:58:50 except mysteriously if this half-embryo was next to a full embryo it would half-develop, but if it was separated it wouldn't 02:58:52 kmc: you're always welcome back in the evil world of finance :P I don't get the impression that's really the direction you want to go in though 02:59:02 copumpkin: it isn't really 02:59:07 although i don't consider what you do evil 02:59:16 even my latest? 02:59:19 in fact I don't consider HFT evil 02:59:20 oh, copumpkin's the quant? 02:59:27 nah, I'm a qual 02:59:29 well i don't know, what are you up to now 02:59:40 big HF :P 02:59:41 I don't think HFT is intrinsically that bad, but it sucks smart people away from other things 02:59:48 we don't do HFT, even 02:59:51 i dunno what I want to do next 02:59:55 i don't know what a qual is..... 02:59:58 An eeeevil qual 03:00:02 Bike: opposite of a quant! 03:00:09 >_< 03:00:13 ok 03:03:39 -!- Nisstyre-laptop has quit (Quit: Leaving). 03:03:47 in the sense that we don't have a particularly mathematical approach to things 03:04:03 so do you like analyze the stock market sociologically 03:04:06 I don't really have much to do with the decision-making, be it math or not math 03:04:40 it's macro, so looking at global tendencies, interest rates, exchange rates, political events, production of goods in different countries, things like that 03:05:51 i remember reading about some fund that would follow around CEOs with private investigators 03:06:04 lol 03:07:11 don't think that's us, but it's hard to be sure 03:11:01 -!- WeThePeople has quit (Quit: Leaving). 03:16:02 A86 05 00 fd Bb0 01 05 ff 05 08 A86 05 00 fd Bb0 01 05 ff 05 08 03:16:02 A87 05 00 fd Bb0 01 05 ff 05 08 A87 05 00 fd Bb0 01 05 ff 05 08 03:16:02 A88 05 00 Bfd b0 01 05 ff 05 08 | A88 05 00 fd Bb0 01 05 ff 05 08 03:16:02 A89 05 B00 fd b0 01 05 ff 05 08 | A89 05 00 fd Bb0 01 05 ff 05 08 03:16:04 urrrgggghhh 03:16:09 Anticipation, for some reason 03:16:11 Gets stuck doing nothing 03:17:46 -!- Koen_ has quit (Quit: Koen_). 03:19:32 No wait... 03:19:35 It fails to wait 03:20:09 what's it called when you write x : y :: a : b or whatever the local symbols for that are 03:20:20 analogy? 03:22:21 that works 03:22:22 thanks 03:25:33 -!- hagb4rd has joined. 03:26:39 it's like a thought with another thought's hat on 03:29:14 I remember those were like, a thing on the SAT or something? 03:29:19 yep 03:29:51 a is to b as f is to... 03:30:10 g 03:30:27 A++ you win the SAT 03:30:36 back in my day the SAT only had 1600 points 03:30:50 we were deprived back then 03:30:55 urgh x.x 03:30:59 I think I took mine the year they changed it <_> 03:30:59 It's looking like 03:31:01 back in my day everyone got their own day 03:31:02 we had to take the SAT 2 writing if we wanted the shit that people get by default now 03:31:02 It's probably a parsing bug 03:31:10 I had to PAY EXTRA TO TAKE THAT 03:31:14 FUCK Y'ALL 03:31:19 it's true 03:31:22 copumpkin speaks the truth 03:31:27 truthpumpkin 03:31:33 -!- copumpkin has changed nick to truthpumpkin. 03:31:40 I'M TELLING YOU GUYS, 9/11 WAS AN INSIDE JOB 03:31:43 WAKE UP SHEEPLE 03:31:44 Bike: back in your day there were only 365.25 people? 03:31:53 yeah 03:32:04 well, that was before the gregorian reforms 03:32:13 Gregor'ian reforms 03:32:16 we pretty much just said the year ended whenever everyone agreed the year ended 03:32:22 "fuck this year" 03:32:31 vote by acclamation 03:32:48 some years not everybody got a day, but in those years we were generally sick of the year anyway 03:32:54 just had a longer year next if we needed it 03:44:29 "Internet Explorer unconditionally falls back to HTML rendering, true to the letter of Tim Berner-Lee's original protocol drafts." 03:46:39 elliott, apparently 03:46:46 I had a parsing issue causing {} to parse as nothing 03:47:46 Because of my code structure, that translates to "()%x loops don't work" 03:47:58 http://paste.strictfp.com/37560/3f060be9c6ccce447ce1faff957b8c5f 03:47:59 Next issue! 03:48:38 "Readers who found the handling of the formats discussed so far to be too sane for their tastes are in for a well-deserved treat." 03:50:24 -!- truthpumpkin has changed nick to truepumpkin. 03:54:59 -!- conehead has joined. 03:55:18 -!- zzo38 has joined. 03:55:33 Sgeo: what's the treat 03:55:53 kmc: is your twitter account good 03:55:55 XML-based documents 03:55:56 eh 03:55:58 i've seen better 03:56:11 sometime i need to get around to finally deleting my twitter 03:56:14 Browsers often determine the format based on their content, regardless of Content-Type headers 03:56:20 Or even content below the top level tag 03:56:27 i occasionally read a handful of twitters but i don't have an account i just check them because hey it's like five years too late to create a twitter account 03:56:55 elliott: hurry up and get a twitter account 03:57:04 even kmc has one now 03:57:07 you have no excuse 03:57:13 ⊤pumpkin 03:57:13 hell, even shachaf has one 03:57:17 truepumpkin: but i have no friends! 03:57:22 elliott: I'll follow you! 03:57:36 falsepumpkin 03:57:57 Sgeo: It might make sense if it won't receive a Content-Type header. But, that is not the case. 03:58:15 ~deactivated~ :-D 03:58:16 truepumpkin: do you use this nick to lie to people because people will believe it because of your nick 03:58:19 imo yes 03:58:35 yep 03:58:37 Postel's Law is basically the worst thing ever for security 03:58:45 what's postel's law here 03:58:59 that whatever nonsense garbage data you get, you should try to interpret and process it in some way 03:59:05 rather than just saying "fuck you" 03:59:16 ah, yeah that's bad 03:59:57 is that like the reason why you can have HTML pages with 200 errors that display fine? 03:59:58 welp this string of bytes might be an X11 Type3 font embedded in a Gopher header encoded as UTF-7, let's pass it off to a bunch of code nobody has tested in 15 years 04:00:04 while like, a C program with one error won't compile 04:00:48 A JPEG file that looks like HTML? Impossible 04:01:19 Though this is mainly because browser developers are on the side of website developers rather than browser users 04:01:35 browser developers are on the side of advertising salespeople 04:02:36 Let's implement HTTP pipelining and disable it by default, and add a completely new protocol by google to the program 04:02:38 happy 5 am 04:02:43 which is basically HTTP pipelining 04:02:54 sad 5:02 am 04:03:03 Gopher doesn't have headers. 04:03:06 happy 21 03 04:03:31 no 04:03:34 Do browsers actually implement gopher properly 04:03:37 bam kmc's argument destroyed 04:03:40 They might have "headers" 04:03:41 I understand the point of GIFAR now 04:03:46 what is gifar 04:03:54 both a gif and a ar 04:03:55 jar 04:05:07 what's the point 04:05:09 Upload to site that hosts images, make malicious page that treats it as an applet, retrieve people's cookies from image host, profit 04:05:16 iiuc 04:05:41 it's cute when you can rename something to have .gif extension and everything accepts it :-) 04:06:08 Even if the image host gives Content-Type: image/gif or whatever, that header wll be ignored 04:06:17 mnoqy, it really is a valid gif file I think 04:07:14 -!- btiffin has joined. 04:07:15 ~ yes but not everything checks for validity. or at least i remember in the past that's how it went ~ 04:08:59 Some browsers implement gopher properly, some don't unless you have an extension installed. The file might have a header to indicate the format (if the type is said to be "I" then it is a picture file, and the header of the picture file can be used to determine the format, for example). 04:13:30 Hey! How dare this book implies that I install Adobe Shockwave Player by accident! 04:13:35 I need it for iSketch 04:14:12 ok 04:28:51 I'm suprised. 04:29:09 With some of these bugs 04:29:11 I'd expect an outright crash 04:29:14 Instead of wrong behavior 04:32:27 elliott, (({{}})%y)%x is legal, right? 04:32:37 And the outermost {} is paired with the innermost () 04:33:20 i'm not sure 04:33:28 it's at least uncommon I think 04:33:57 I know for a fact I'll have bad behavior then, at least 04:34:33 has anyone tried building an alternate evaluation scheme in kernel? i'm thinking i might try some shitty WHNF 04:35:42 Do you think Z-machine interpreter in Famicom is reasonable? 04:35:50 god no, but do it 04:36:47 Z-machine interpreter for GameBoy exists, even though GameBoy does not have a keyboard. 04:40:05 Might it work better on Famicom if Famicom has a keyboard? (The Famicom keyboard does not have ASCII codes 0x60 to 0x7E, but I have suggested a very simple way to correct that problem) 04:43:08 which is that way 04:45:57 The Famicom keyboard uses the SHIFT to toggle bit4 of ASCII codes in range 0x20 to 0x3F. My suggestion is that codes 0x40 to 0x7F will be toggle bit5 when SHIFT key is pushed. 04:46:53 (The keyboard itself does not do this decoding; it only reads a button matrix to tell you what keys are pushed. The software that reads it must then decode it; this means that the decoder can easily be made whatever is helpful, and doesn't even necessarily need to be ASCII.) 05:12:30 truepumpkin: Hey, you're not following *me*! 05:12:36 What's so special about elliott? 05:12:57 Other than being the seriously best. 05:13:26 you should actually tweet 05:13:29 not sure why I'm not following you 05:13:42 Why would I tweet when you wouldn't end up reading it? 05:13:45 It's like talking into the void. 05:13:56 Oops. 05:14:35 OK, now I need a different excuse. 05:15:24 :) 05:16:10 How about: elliott isn't following me. 05:16:28 i hear you say more than enough 05:16:30 elliott is the seriously best mouse. 05:16:38 elliott 100 05:16:53 FLOAT FAR REMOTE 05:24:34 you should totally use tumblr instead 05:25:24 I have a Tumblr account too! 05:25:27 But no followers. 05:25:41 my tumblr account is too cool to be followed 05:26:03 Bike: I saw _The King and I_ 05:26:07 cool 05:26:09 was it good 05:26:30 imo i preferred _Anastasia (1956 film)_ 05:26:42 was that good? 05:27:00 why don't you watch it and tell me 05:27:07 fair 05:28:10 shachaf: you need the _ before the parens 05:28:22 elliott: no its part of the title........ 05:28:34 yesterday i saw _Anastasia_ (1956 film) 05:28:49 elliott: i got it wrong 05:35:09 '''''Anastasia''''' 05:49:56 '''''Jafet''''' 05:58:07 -!- Bike has quit (Ping timeout: 264 seconds). 06:01:49 -!- Bike has joined. 06:01:56 -!- hagb4rd has quit (Ping timeout: 256 seconds). 06:06:08 -!- hagb4rd has joined. 06:08:28 -!- Bike has quit (Ping timeout: 256 seconds). 06:10:14 -!- Bike has joined. 06:13:55 -!- Bike_ has joined. 06:14:05 -!- Bike has quit (Read error: Connection reset by peer). 06:25:22 -!- FreeFull has quit. 06:46:15 Wikipedia says that you can encode intuitionistic logic into linear logic by (!A -o B). Is there a category of linear implication? Does it mean that a programming language using linear logic might have a comonad for normal functional programming? 06:46:54 zzo38: You should ask cmccann. 06:47:33 -!- TeruFSX has quit (Ping timeout: 248 seconds). 06:58:22 Did you know that: [[The EFF is a left wing organization which has some of the same goals as the anti-government group “Anonymous” as well as the terrorist group “Wikileaks”.]] 06:58:31 (Any EFF members aka terrorists present?) 07:00:37 Why can't we have centrist terrorist groups 07:01:09 like the nazis? 07:01:12 -!- Bike_ has changed nick to Bike. 07:01:33 (bla bla left/right doesn't even make sense anyway bla) 07:02:04 more like up/DOWN am I right Bi ke its what the kids need . 07:02:13 oh fuck dammit it's past 8 07:02:14 blablablaika 07:02:18 vote up: we're ABOVE those fucks 07:02:24 elliott: have you considered oging to slelepe 07:02:37 yes 07:02:38 imo, go the fuck to sleep you goddamn embarassment 07:02:45 you're the fucking embarrassment 07:02:53 @google go the fuck to sleep 07:02:54 http://en.wikipedia.org/wiki/Go_the_Fuck_to_Sleep 07:02:54 Title: Go the Fuck to Sleep - Wikipedia, the free encyclopedia 07:02:57 what bicycle wants its child bicycle to grow up subserviant to human shit like irc 07:02:59 no it's you sorry 07:03:02 probably real ashamed of that arm you got too 07:03:17 irc wasn't invented by humans it was invented by swedes, dumbass 07:03:18 "he's walys tried to fit in with the humans" -- bicycle parents trying to explain Bike's future bicycle rampage 07:03:36 finnish people arent swedes who i agree arent 100%human 07:03:38 and the arm was a gift! from my nephew! 07:03:44 not even 100‰ human 07:03:54 is your nephew human 07:04:01 human-bike interbreeding......... the dire future we all share 07:04:09 how could a bicycle have a human nephew 07:04:09 Do irc bikes have irc handles 07:04:13 well, mostly platypus, but yeah a bit. i mean where else would he get the ar. 07:04:47 I suppose they are terrorist, but "terrorist" is still, just the label they apply which is not as meaningful as they think it to be, and not like they claim it to be, it is just a kind of complaint the government makes rather than a real thing, I guess. 07:04:53 Oh I see how it is. Y'all racists. First it's miscegenation with the African-descendent, then with the horse-descendent 07:04:59 zzo38: cmccann is in #haskell and other channels 07:05:05 He talks about linear logic a lot. 07:05:09 He does things with it in Haskell. 07:07:38 Ugh, I gotta line things up again. 07:07:53 How many characters do I get? 34? 07:07:57 BAH 07:08:15 Now you see the importance of double-spacing after a full stop. 07:08:49 The importance of being an insufferable jerk? 07:08:57 yes 07:08:59 I don't see it. 07:09:33 (The joke is that people who double-space after a full stop are insufferable jerks.) 07:09:57 shachaf. . . . . . 07:10:07 Jafet☺ 07:10:30 I'd rather see three undertrumps after a discard of a Trebled Fromp. 07:10:34 Now that's something worthwhile. 07:10:37 what's that 07:10:42 Soemthing worthwhile. 07:10:44 oh 07:10:45 ok 07:10:52 (?? ?????????????? ?) 07:10:54 shachaf: wow are you calling mnoqy an insufferable jerk??? 07:11:05 mnoqy: http://mimg.ugo.com/200902/19213/double-fannuci.jpg 07:11:17 elliott: no obv. mnoqy's ok........................................................ 07:11:30 mnoqy: http://upload.wikimedia.org/wikipedia/en/1/1d/Zork_Zero_Double_Fanucci.png 07:11:47 thanks jester 07:11:52 wow this game seem's hard 07:12:07 mnoqy: hey don't talk to the jester like that 07:12:18 is the jester a jerk 07:12:24 spoilers the jester is actually ████████████████████████████████ 07:12:40 should i lay the hate on this jesterman 07:12:51 usually the jester is p. cool 07:12:56 but sometimes he's a total jerk 07:13:09 like the times when he appears out of nowhere and puts a clown nose on your nose 07:13:18 and then if you don't take it off within a few turns you suffocate to death 07:13:22 that sounds like a jerk thing to do 07:13:22 from not having air 07:13:31 jester more like jerkster am i right 07:13:40 yeah 07:14:02 Bike: Double Fanucci is pretty great. 07:14:05 Bike: You should learn it. 07:14:46 http://struckus.tripod.com/zork0_snarfen_game.jpg 07:15:04 nim? 07:15:17 yes 07:15:20 (different game) 07:15:36 tough game 07:15:45 there's a secret hint 07:15:52 "... (1) Does science seek the truth, even if the truth includes the existence of God? (2) Or does science only seek answers that first exclude any possibility that God is a part of the truth? A theory of our origins that eliminates the input of God is worthless if, in fact, God created everything." What is your opinion about this? 07:16:07 science does not seek truth 07:16:09 science seeks funding 07:16:10 hth 07:16:14 vos Savant says (1). My sister says (2). I say the question is wrong. 07:16:15 "Boston bombings: Officer lost all blood but is expected to recover" 07:16:44 I'm with shachaf on this one. 07:17:31 all blood? 07:17:39 shachaf: Not because of that, though. 07:17:50 mnoqy: hi mnoqy 07:17:56 Bike: like... all blood? 07:18:02 mnoqy: do you sell "i ♥ mnoqy" shirts 07:18:09 i dont sell shirts 07:18:12 elliott: http://www.latimes.com/news/nation/nationnow/la-na-nn-boston-bombings-mbta-officer-condition-20130421,0,6889893.story 07:18:24 elliott: presumably they were like, replacing it as it came out. 07:18:25 maybe someday i should set up a shirt shop 07:18:31 mnoqy: if i gave you a trillion dollars could i get a shirt 07:18:57 if you gave mnoqy a trillion dollars you'd destroy the economy. 07:19:01 his heart stopped and he lost his entire blood supply, but doctors and relatives on Sunday said he was emerging from sedation and expected to recover 07:19:04 emonoqy 07:19:05 al.t get murdered by the secret service 07:19:20 eqonomy???????? 07:20:24 > sort "eqonomy" 07:20:26 "emnooqy" 07:20:43 M-nookie 07:22:30 Bike: hi Bike 07:22:39 care for a game of double fanucci 07:22:50 help 07:39:30 `pastelogs fmap 07:40:07 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.17882 07:42:04 "A widow is a woman whose spouse has died, while a widower is a man whose spouse has died." 07:42:08 Is that how it goes? 07:43:02 -!- conehead has quit (Quit: Computer has gone to sleep.). 07:43:09 This form is funny because in Hebrew it's only masculine but in English it says "Widow/er". 07:43:37 yeah, that's how it goes. it's silly 07:47:22 im going to sleep 07:47:47 elliott: "good "luck "with "that"""" 07:50:13 n8 elliott 07:50:16 Widowmaker should be gender neutral 07:50:29 I don't know about windowmaker though 07:51:01 earl grey saves lifes 08:01:07 -!- Bike has quit (Ping timeout: 264 seconds). 08:04:27 -!- zzo38 has quit (Remote host closed the connection). 08:16:10 @wn widow 08:16:11 *** "widow" wn "WordNet (r) 3.0 (2006)" 08:16:11 widow 08:16:11 n 1: a woman whose husband is dead especially one who has not 08:16:11 remarried [syn: {widow}, {widow woman}] 08:16:11 v 1: cause to be without a spouse; "The war widowed many women 08:16:13 in the former Yugoslavia" 08:16:30 @wn widower 08:16:31 *** "widower" wn "WordNet (r) 3.0 (2006)" 08:16:31 widower 08:16:31 n 1: a man whose wife is dead especially one who has not 08:16:31 remarried [syn: {widower}, {widowman}] 08:16:36 (I kept typoing that as "windower".) 08:16:49 A widowman. 08:16:58 -!- mnoqy has quit (Quit: hello). 08:19:46 -!- ais523 has joined. 08:36:11 -!- nooodl has joined. 08:41:08 -!- nooodl has quit (Ping timeout: 272 seconds). 08:56:21 -!- epicmonkey has joined. 09:04:11 -!- epicmonkey has quit (Ping timeout: 245 seconds). 09:16:56 -!- epicmonkey has joined. 09:38:49 -!- sirdancealo2 has quit (Read error: Operation timed out). 09:43:02 -!- truepumpkin has quit (Ping timeout: 252 seconds). 09:43:42 -!- copumpkin has joined. 09:51:43 -!- btiffin has left. 10:00:08 -!- DHeadshot has joined. 10:03:53 -!- carado_ has joined. 10:31:01 -!- augur has quit (Remote host closed the connection). 10:44:36 -!- DHeadshot has quit (Ping timeout: 245 seconds). 10:51:27 -!- sirdancealot has joined. 11:00:33 haha: I was reading http://blog.joda.org/2009/11/why-jsr-310-isn-joda-time_4941.html (by the author of JodaTime, a popular time handling library for Java) where he talks about its design flaws, and there are people in the comments telling him he's wrong and what he's identified as flaws actually aren't 11:03:20 kmc: would "spineless tagless g-machine" be a good name for a band 11:05:58 -!- Phantom_Hoover has joined. 11:15:02 -!- Phantom_Hoover has quit (Ping timeout: 272 seconds). 11:22:20 -!- augur has joined. 11:23:11 -!- ais523_ has joined. 11:24:48 -!- ais523 has quit (Ping timeout: 264 seconds). 11:24:55 -!- ais523_ has changed nick to ais523. 11:28:08 -!- Phantom_Hoover has joined. 11:29:33 -!- ais523_ has joined. 11:29:36 -!- ais523 has quit (Disconnected by services). 11:29:37 -!- ais523_ has changed nick to ais523. 11:34:47 G in the Machine 11:52:18 -!- Koen_ has joined. 11:52:25 When zsh sees xx $(yy)^I, it runs yy and tab completes on the output 11:53:24 So you can crash it with echo $(yes)^I 11:53:27 Does it really? 11:54:22 Ugh, it does. 11:54:38 zsh-- 11:54:43 @karma zsh 11:54:44 zsh has a karma of 0 11:54:44 I'm afraid to use this, not because it will crash sometimes 11:55:16 but because it will make using bash even more unbearable 11:55:42 zsh is less bearable than bash for me. 11:55:43 Jafet, beautiful 11:55:51 I tried zsh. 11:55:57 rsync -e ssh bla/^I^I^I^I^I^I^I oh right this computer doesn't have zsh 11:56:38 What would a tab there do with zsh? 11:56:59 cp /usr/shrae/doc/^I^I^I^I oh right I forgot to beat the sysadmin into giving me zsh 11:57:18 I don't know what all those ^I's mean. :( 11:57:28 tab, presumably 11:57:36 Yes, but what should happen! 11:57:43 Tab completion, obviously 11:57:54 Hmm? 11:58:01 bla/? 11:58:04 Yes, but how? I mean, it must be something else than getting the list of possible completions. 11:58:21 in the first case it should expand bla/ into blancmange/ and then list the contents of blancmange, or somesuch 11:58:35 What comes after bla:/ is the name of a file on bla 11:58:36 in the second it should correct shrae into share 11:58:46 zsh will connect to bla and list them 11:58:49 Jafet: There was no : in your example. 11:58:52 -!- carado_ has quit (Ping timeout: 246 seconds). 11:58:53 oh 11:58:53 bash completes remote ssh things for me just fine, with a : 11:58:59 Jafet: So that was quite confusing. 11:59:21 (And bash does complete remote things for me fine, too.) 11:59:56 (Would /usr/shrae/doc/ do some kind of a spelling fixup shrae -> share, then?) 11:59:58 Ok, I don't know what completions are provided by bash. 12:00:51 yes 12:00:57 if you had it configured that way 12:01:06 It came configured that way for me. 12:02:11 26228 lines in /etc/bash_completion and files of /etc/bash_completion.d; it certainly came... configured, here, too. 12:03:19 Most of those are just program-specific completion rules 12:03:56 zsh reads those as well 12:04:24 But they're arbitrary bash code, aren't they 12:05:01 Yes 12:05:09 Reading them sounds nasty. 12:05:30 I suppose you could write some of them in the particular subset of bash which is not implemented the same way by zsh 12:05:36 -!- Phantom_Hoover has quit (Ping timeout: 252 seconds). 12:07:37 -!- Phantom_Hoover has joined. 12:28:58 -!- Phantom_Hoover has quit (Ping timeout: 256 seconds). 12:43:44 -!- boily has joined. 12:47:27 -!- Phantom_Hoover has joined. 12:54:34 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 13:01:51 -!- TeruFSX has joined. 13:06:41 -!- TeruFSX has quit (Ping timeout: 245 seconds). 13:09:36 -!- Phantom_Hoover has joined. 13:09:41 help 13:09:58 im trapped in a place where irc only works for like 30 seconds 13:10:10 send food 13:10:14 imo turn off irc 13:10:15 forever 13:10:16 hth 13:10:26 shachaf i thought we were friends 13:10:32 oh no the ping meter is rising 13:10:59 oh it's back down again 13:11:22 Phantom_Hoover: ok not forever 13:11:26 meanwhile: alsa appears to have gone on strike or something 13:11:29 just until you leave that awful place 13:11:48 Phantom_Hoover: alt. run irc on a remote server and connect to that server with mosh 13:15:09 i don't have a remote server i'm not a cool technowizard like you guys 13:17:29 -!- Taneb has joined. 13:17:41 -!- Anickyan has joined. 13:17:52 Hello. 13:18:26 `run welcome Anickyan | sed s/dal/dahl/g 13:18:30 Anickyan: 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.dahl.net.) 13:20:26 -!- Phantom_Hoover has quit (Ping timeout: 272 seconds). 13:29:38 `wehlcohlme 13:29:39 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: wehlcohlme: not found 13:29:55 `wehlcome 13:29:55 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: wehlcome: not found 13:30:22 `run echo bin/we 13:30:23 bin/we 13:30:26 `run echo bin/we * 13:30:28 bin/we bin canary etc factor hello hello.c ibin interps karma lib maze maze.c paste quines quotes share src test Test Test.hi Test.hs Test.o wisdom 13:30:30 `run echo bin/we* 13:30:31 bin/wehlcohme bin/welcome 13:30:57 maze? 13:31:00 `file factor 13:31:01 factor: directory 13:31:13 `maze 13:31:15 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: maze: not found 13:31:22 `file maze 13:31:23 maze: ELF 64-bit LSB executable, x86-64, version 1 (SYSV), statically linked, not stripped 13:31:25 `welcohme Jafet 13:31:27 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: welcohme: not found 13:31:32 `run bin/maze 13:31:34 bash: bin/maze: No such file or directory 13:31:35 `wehlcohme Jafet 13:31:37 `run maze 13:31:37 Jahfeht: Wehlcohme to the ihntehrnahtiohnahl huhb fohr ehsohtehrihc prohgrahmmihng lahnguahge dehsihgn ahnd dehployhmehnt! Fohr mohre ihnfohrmahtiohn, chehck ouht ouhr wihki: http://ehsohlahngs.ohrg/wihki/Maihn_Pahge. (Fohr the ohthehr kihnd ohf ehsohtehrihca, try #ehsohtehrihc ohn ihrc.dahl.neht.) 13:31:38 bash: maze: command not found 13:31:59 `cat maze.c 13:32:00 const unsigned long main[] = { 0xc7e68948c7ffff31, 0x24310f00b195e206, 0xd231f88902460001, 0xe9eb050f03b2 }; 13:32:01 @ask Phantom_Hoover It's OK. You can stay. Come back! 13:32:01 Consider it noted. 13:32:19 -!- metasepia has joined. 13:33:29 `cat bin/wehlcohme 13:33:31 welcome "$@" | h 13:33:46 `run echo this is a test | h 13:33:48 thihs ihs a tehst 13:34:00 `cat bin/h 13:34:01 ​#!/usr/bin/perl -p \ s/([aeiouy])([bcdfghjklmnpqrstvxz])/$1h$2/ig 13:38:00 `run objdump -D maze | sed -e '/maze/,/main>/ d' 13:38:02 ​ \ 400120:31 ff xor %edi,%edi \ 400122:ff c7 inc %edi \ 400124:48 89 e6 mov %rsp,%rsi \ 400127:c7 06 e2 95 b1 00 movl $0xb195e2,(%rsi) \ 40012d:0f 31 rdtsc \ 40012f:24 01 and $0x1,%al \ 400131:00 46 02 add %al,0x2 13:38:31 -!- ogrom has joined. 13:38:51 -!- Phantom_Hoover has joined. 13:41:19 `run ./maze 13:41:21 Segmentation fault 13:42:52 -!- ogrom has quit (Ping timeout: 256 seconds). 13:44:05 `run objdump -D maze -M intel | sed -e '/maze/,/main>/ d' -e 's/^ \+[0-9a-f]\+:\s\+\([0-9a-f][0-9a-f] \)\+\s\+//' 13:44:07 ​ \ xor edi,edi \ inc edi \ mov rsi,rsp \ mov DWORD PTR [rsi],0xb195e2 \ rdtsc \ and al,0x1 \ add BYTE PTR [rsi+0x2],al \ mov eax,edi \ xor edx,edx \ mov dl,0x3 \ syscall \ jmp 400127 \ ... \ \ Disassembly of section .comment: \ \ 0000000000000000 <.comment>: \ rex.RXB \ rex.XB \ rex.XB cmp spl,BY 13:45:07 Booooots. 13:45:55 gloooooooves^ 13:45:57 ? 13:46:09 -!- Phantom_Hoover has quit (Ping timeout: 276 seconds). 13:46:16 Just that the above ^ was quite a noisy sight. 13:46:36 sorry about that spurrious ^, sometimes my keyboard layout resets for no apparent reason. 13:49:17 You're right, that sed script should have been more reserved. 13:50:23 -!- Phantom_Hoover has joined. 14:00:43 Ok, I don't have the appropriate font for that maze 14:05:01 -!- bengt_ has quit (Ping timeout: 245 seconds). 14:06:32 -!- boily has quit (Quit: Poulet!). 14:06:44 -!- Taneb has quit (Ping timeout: 256 seconds). 14:07:27 You can tr it into /s and \s with not much loss of fidelity. 14:07:37 Assuming tr can deal with UTF-8. I suppose it can't. 14:07:41 -!- boily has joined. 14:07:43 Well, maybe it can, who knows. 14:07:50 You can sed it into those things, at the very least. 14:08:52 -!- boily has quit (Client Quit). 14:09:00 -!- boily has joined. 14:09:15 -!- boily has quit (Client Quit). 14:09:32 -!- ais523 has quit (Read error: Operation timed out). 14:09:43 -!- boily has joined. 14:09:56 -!- ThatOtherPerson has joined. 14:10:20 -!- bengt_ has joined. 14:11:30 Who here have ever created a brainfuck interpreter? 14:13:16 I have, as have many others, most likely. 14:13:34 Anickyan: when entering here you have to go through two simple tasks 14:13:47 Yeah? 14:13:50 first task: write a brainfuck interpreter (or seventy brainfuck interpreters) 14:13:58 that's the easy task 14:14:00 https://gist.github.com/Mads-Clausen/5434778 14:14:01 Done 14:14:14 then comes second task: you have to solemnly swear that you will never do that again 14:14:30 But... why? 14:14:49 and if you ever do that again, Phantom_Hoover will take care of you 14:14:55 you do NOT want Phantom_Hoover to take care of you 14:14:56 `run echo 'unsigned long const main[] = {0x8948c7ff48ff3148, 0x0f0080b7e406c7e6, 0x2468880043f2431, 0x50ff8894803b299, 0xedeb};' > maze.c && gcc maze.c -o maze && ./maze 14:15:04 ​䷎䷕䷢䷞䷢䷾䷘䷮䷳䷳䷂䷯䷽䷚䷉䷁䷧䷲䷲䷞䷙䷢䷔䷬䷟䷙䷬䷖䷞䷺䷕䷅䷺䷳䷀䷁䷡䷚䷾䷰䷚䷀䷊䷆䷭䷊䷇䷒䷷䷢䷨䷴䷡䷤䷍䷵䷌䷄䷜䷢䷬䷆䷾䷬䷹䷙䷻䷢䷏䷕䷣䷧䷭䷧䷎䷷䷌䷨䷜䷨䷫䷔䷵䷤䷒䷡䷯䷌䷈䷟䷰䷵䷤䷠䷅䷹䷚䷐䷀䷌䷃䷾䷒䷝䷕䷤䷨䷜䷈䷑䷯䷭䷠䷚䷼ 14:15:05 -!- carado_ has joined. 14:16:25 i feel that i have been misrepresented 14:16:25 Phantom_Hoover: You have 1 new message. '/msg lambdabot @messages' to read it. 14:17:06 Koen_: what happens when Phantom_Hoover takes care of you? 14:17:28 you should ask him, I guess 14:17:30 Jafet: äääää??? 14:17:32 or maybe YOU SHOULDN'T 14:17:33 Make one mistake, and you end up having to take care of people forever 14:18:06 Phantom_Hoover: well I try to read every new article on your blog to learn more about you 14:18:28 s/blog/tumblr 14:19:28 `run ./maze | hd 14:19:30 00000000 e4 b7 81 e4 b7 83 e4 b7 80 e4 b7 8b e4 b7 8f e4 |................| \ 00000010 b7 8c e4 b7 ae e4 b7 ad e4 b7 90 e4 b7 a7 e4 b7 |................| \ 00000020 aa e4 b7 83 e4 b7 af e4 b7 82 e4 b7 9f e4 b7 8d |................| \ 00000030 e4 b7 a2 e4 b7 b8 e4 b7 82 e4 b7 b9 e4 b7 8e e4 |................| \ 00000040 b7 8f e4 b7 90 e 14:19:52 Do you feel lost? Good, the maze is working. 14:20:07 for some reason I felt hl-ed by your maze 14:20:18 -!- Taneb has joined. 14:43:10 rofl 14:43:24 how true 14:46:26 -!- boily has quit (Quit: Poulet!). 14:46:41 -!- metasepia has quit (Remote host closed the connection). 14:48:52 -!- boily has joined. 14:49:05 ah, the fresh feeling of a new kernel! 14:49:45 -!- metasepia has joined. 14:50:58 -!- FreeFull has joined. 15:00:27 -!- nooodl has joined. 15:02:59 -!- Bike has joined. 15:22:41 `fetch sprunge.us/hbDf 15:22:43 2013-04-22 15:22:42 URL:http://sprunge.us/hbDf [3795] -> "hbDf" [1] 15:22:55 `cat hbDf 15:22:56 ​... bottle of claret for you if I'd realised. I'd forgotten all about it, George, I'm sorry. 15:22:57 -!- Bike_ has joined. 15:23:16 `run tr A-Z a-z+'-" | sed -e "s/its alright//g' -e 's/number \(9\|nine\)/+/g' -e "s/if you\(ll\|ve\|d\) become naked/-/g" -e 's/the beatles/./g' -e 's/paul is dead/,/g' -e 's/revolution 1/[/g' -e 's/revolution 9/]/g'|tac|tac | tr -cd '[],.<>+-' 15:23:17 ​+++++++++++++++++++++++++++++++++++++++++++++++++++++++<<<<<<<<<- 15:23:32 ...that's disappointing 15:24:42 -!- Bike has quit (Ping timeout: 264 seconds). 15:24:47 -!- Bike_ has changed nick to Bike. 15:30:49 turned on by dead man 15:30:56 better than raping a mexican monkey, I guess 15:36:31 Unless that monkey's gone to heaven 15:36:57 w a t 15:41:52 Jafet: the source for the maze program is at https://gist.github.com/kmcallister/5364432 15:43:49 If you put code in main, you need to zero out the registers 15:44:02 Actually you also "need to" in _start but linux does that for you 15:44:16 ghaaaargh! my eyes! 15:46:38 -!- ThatOtherPerson has quit (Quit: Leaving). 16:02:40 -!- ThatOtherPerson has joined. 16:05:26 -!- copumpkin has quit (Ping timeout: 251 seconds). 16:06:02 -!- copumpkin has joined. 16:10:41 -!- conehead has joined. 16:32:37 -!- ais523 has joined. 16:32:57 How come if I see a maths question on Tumblr I can't resist doing it but I have a whole pile of overdue maths homework of my own that I haven't even started 16:33:30 Taneb: likely to do with how much it engages your brain 16:33:48 ais523: but it was a really boring maths question 16:34:03 "Sketch the graph 'y = (x - 2)^3 - 6(x - 2)^2 + 9(x- 2)'" 16:34:06 Jafet: you only need to zero them out if you're assuming they're zero... 16:34:56 Taneb: there are webapps to do that 16:37:06 kmc: or if you syscall 16:37:34 i'm required to zero out registers that aren't used by that syscall's arguments? 16:38:02 boily: is that your response to looking at the code or to running it? :D 16:38:52 You might need to zero out rax 16:39:50 ? 16:39:50 rax holds the syscall number 16:40:04 -!- Zuu has joined. 16:40:10 Half of rax isn't zeroed out, so rax probably isn't a valid syscall number 16:40:16 rdtsc clobbers rax, then shr eax, 17 guarantees the top of rax is 0 16:40:36 there's an 'mov %edi, %eax' right before the syscall 16:40:49 %edi is initialized to one and never changed 16:41:04 ahhh. I missed that 16:41:05 rdtsc writes eax:edx 16:41:08 that'll clear the top too 16:41:11 the code is kind of obfuscated because I was trying to use the minimum number of bytes 16:41:14 yes 16:41:52 mov doesn't clear the high bits 16:42:19 yes it does 16:42:21 um... it does 16:42:21 Unless this instruction set is crazier than I thought 16:42:24 it is 16:42:25 hth 16:42:35 that's the thing with the 32-bit -> 64-bit extension 16:42:39 storing to the lower 32 bits of a 64-bit register clears the upper 32 bits 16:42:48 this is supposed to facilitate using 32-bit pointers in 64-bit code, maybe 16:42:55 32-bit instructions clear the top 32-bits that they don't use, I think they did it that way because of data dependency 16:43:15 oh, maybe 16:43:16 since most code uses 32-bit registers for most of its work and having to explicitly clear the top 32 bits would be frustrating 16:43:39 (they really really hate it when you do things like, modify ax, and then modify al, and read ax, and read ah, and modify al, and read ax, and...) 16:43:54 -!- Phantom_Hoover has quit (Ping timeout: 252 seconds). 16:44:18 basically they did exactly the opposite of what happened with 16bit -> 32bit -_- 16:44:33 -!- Zuu_ has joined. 16:44:47 -!- Zuu has quit (Read error: Connection reset by peer). 16:45:15 `run echo 'main() { asm("xor %edi, %edi\n" "inc %edi\n" "mov %rsp, %rsi\n" "go: movl $0xb195e2, (%rsi)\n" "rdtsc\n" "and $1, %al\n" "add %al, 2(%rsi)\n" "mov %edi, %eax\n" "xor %edx, %edx\n" "mov $3, %dl\n" "syscall\n" "jmp go"); }' > maze.c && gcc maze.c -o maze && ./maze 16:45:19 -!- Zuu_ has changed nick to Zuu. 16:45:22 ​╲╱╲╱╱╲╱╱╱╱╱╲╱╱╲╱╱╱╲╲╲╱╱╱╱╱╱╲╱╲╱╱╱╲╱╱╱╱╲╱╱╱╱╱╲╱╲╱╱╲╲╲╲╲╱╲╲╲╱╱╱╱╲╱╲╲╲╱╱╱╱╱╱╲╱╱╱╲╱╲╲╲╲╲╱╱╲╱╱╱╱╱╱╱╱╱╱╱╱╱╱╱╱╲╱╱╲╱╱╱╲╲╲╱╲ 16:45:32 -!- Taneb has quit (Ping timeout: 252 seconds). 16:45:33 -!- sebbu2 has changed nick to sebbu. 16:45:58 -!- Phantom_Hoover has joined. 16:46:34 -!- Zuu has left. 16:46:54 kmc: oh that reminds me, I think still the silliest consequence of that thing 16:47:00 is that "xchg eax, eax" is no longer a nop 16:47:25 what thing 16:48:05 What is xchg, swap? 16:48:30 yeah 16:48:30 yeah, i think so 16:48:36 It's still a nop 16:48:40 and in the original x86, "xchg eax, eax" happened to be "0x90" 16:48:46 and was used as a nop instruction 16:48:58 but in x86_64 it doesn't work because it clears the top 32 bits of RAX so it suddenly doesn't do nothing anymore! 16:49:10 (but nop is still 0x90. it's just different now.) 16:49:22 Jafet: 0x90 is still a NOP but it's a special case in the encoding now 16:49:49 So did they encode xchg eax, eax another way 16:49:53 I think so 16:50:41 By the way, cqd is probably the shortest way to clear rdx 16:50:46 sounds messy 16:51:51 Or it's cdq 16:52:08 or cqo? that weird one 16:52:17 Uh, one of those 16:53:11 -!- AnotherTest has joined. 16:53:18 -!- Taneb has joined. 16:53:19 But in 64-bit mode, wouldn't cdq also clear rdx 16:53:22 Hello 16:53:35 x86 should be on the wiki 16:53:36 Hello! 16:53:45 ummm.... cdq would set all bits in edx equal to bit 31 of eax, I think 16:53:50 and zero the top 32 bits of rdx 16:54:22 ...what is cdq a mnemnoic for? 16:54:29 mnemonic even 16:54:38 convert doubleword to quadword? 16:54:45 it's a sign extend thing, I think? 16:54:48 oh 16:55:12 gas / AT&T syntax calls it "cltd" 16:55:14 cbw does AL -> AX, cwde does AX -> EAX, cdqe does eax - 16:55:19 eax -> RAX ... um 16:55:24 -!- Phantom__Hoover has joined. 16:55:50 and then CWD does AX->DX:AX 16:56:04 and CDQ EAX->EDX:EAX and CQO RAX->RDX:RAX 16:56:13 geez there's more of these than I remembered 16:56:29 Enjoy the power of octwords 16:56:35 I think most commonly they're seen used before divides? like since IDIV is (EDX:EAX / REG) 16:56:42 but mostly you just want to do EAX/REG 16:56:47 so you do CDQ, then IDIV 16:56:57 at least I think I remember that being like the textbook example thing 16:57:23 They encode xchg eax, eax as 87 c0 (aka using the XCHG r/m32, r32 (or I guess the XCHG r32, r/m32 form if you like) encoding, instead of the 90+rw XCHG EAX, r32 special case. 16:57:28 And here I thought it was just to make linux syscall golfing easier 16:57:38 -!- Phantom_Hoover has quit (Ping timeout: 252 seconds). 16:57:39 I should read this textbook 16:57:43 I got my parens all confused there. 16:57:43 but we also have movslq and whatever..... 16:57:53 fizzie: I think it looks like the "special case" is now xchg RAX, r64? 16:57:56 on 64-bit mode 16:58:11 if I'm reading the intel manual thing righgt 16:58:13 Fiora: Nnno. 16:58:32 Fiora: REX.W + 90+rd is what XCHG RAX, r64 is encoded with. 16:58:51 The default operand size is still mostly 32 bits if you don't have a REX.W in place, after all. 16:58:52 oh I'm not reading it right 16:59:46 * Fiora is trying to find where the manual actually mentioned the nop collision thing >_< 17:01:04 either I'm wrong or um, it doesn't even mention this in the section on XCHG ~_~ 17:01:24 You are expected to know it. :p 17:01:28 (It's still true.) 17:01:41 yeah, I'm just like. wow they just siloently redefined it 17:01:54 that's sneaky 17:02:50 kmc: from running it. 17:03:08 Fiora: FWIW, AMD manual is very explict about it. 17:03:28 "The x86 architecture commonly uses the XCHG EAX, EAX instruction (opcode 90h) as a one-byte 17:03:31 NOP. In 64-bit mode, the processor treats opcode 90h as a true NOP only if it would exchange rAX 17:03:35 with itself. Without this special handling, the instruction would zero-extend the upper 32 bits of RAX, 17:03:38 and thus it would not be a true no-operation." 17:03:51 (In XCHG's description page.) 17:04:20 nice!! maybe I should use the AMD ones instead 17:04:35 They're not always as thorough as the Intel ones. 17:04:57 I mean, the PDF is just 474 pages! Who wants to get caught with a manual that thin! 17:05:08 XD 17:05:21 they probably also don't have any instructions AMD hasn't implemented yet, I'd guess 17:05:26 (then again Intel wouldn't have XOP and stuff) 17:05:31 (This was a revision from 2007, and it's just the "Volume 3: General-Purpose and System Instructions", but still.) 17:05:41 I think they have somewhere around 5 volumes. 17:06:04 1 being the same as Intel's 1; 2 being Intel's 3 (the system programming stuff); 3-5 being the instruction references. 17:06:22 3 for what I mentioned, 4 for MMX, 5 for SSE. Or something vaguely like that. 17:06:31 do they have AVX yet? 17:06:34 x87 floating-point also went somewhere. 17:06:36 since, I mean, the bulldozer nominally supports it 17:07:05 Maybe I should go fetch a new set and check. I mean, 2007. 17:07:11 -!- nooodl has quit (Ping timeout: 272 seconds). 17:07:15 XD 17:07:21 yeah, stuff has sort of happened 17:07:34 There's at least a separate "New “Bulldozer” and “Piledriver” Instructions Guide", the latest in the list of specific guides. 17:08:09 I got it the wrong way around, volume 4 is "128-bit and 256 bit media instructions", and volume 5 is the one with "64-Bit Media and x87 Floating-Point Instructions". 17:08:15 I'm guessing that mostly translates to AVX and BMI1 unless I'm missing another letter salad thing 17:08:28 Latest versions of the manuals are from December 2011, so it probably wouldn't have AVX instructions in it. 17:09:30 Hmm. 17:10:03 The document that the web page says is from "12/13/2011" has Revision History entries from September 2012 in it. 17:10:31 Anything past December 2011 is just "corrected X", though, so maybe bugfixes don't count. 17:11:41 The manual does speak of VEX prefixes, wasn't that an AVX thing? 17:11:47 I think so 17:11:58 It was used for xop and BMI and stuff too 17:12:22 Oh, there it is, the December 2010 changelog entry. 17:12:30 "Complete revision and reformat accommodating 128-bit and 256-bit media 17:12:30 instructions. Includes revised definitions of legacy SSE, SSE2, SSE3, 17:12:30 SSE4.1, SSE4.2, and SSSE3 instructions, as well as new definitions of 17:12:30 extended AES, AVX, CLMUL, FMA4, and XOP instructions. 17:12:35 Very future-ready thinking. 17:13:44 too many fucking instructions 17:13:59 For some reason AES-NI is also part of the "128-Bit and 256-Bit Media Instructions" volume, though an appendix of it. (I... guess the number of bits is sort of appropriate, at least.) 17:14:11 OISC 4 lyfe 17:14:11 :) 17:14:38 fizzie: it uses SSE registers too 17:15:00 if you didn't see them already, here are some simple AES-NI example programs I wrote: https://github.com/kmcallister/aesni-examples 17:15:27 wow elisp has a shitload of special forms 17:15:29 sadly it's a bit more complicated than "do AES here" 17:15:55 do i even want to know why "with-output-to-temp-buffer" is special cased... 17:16:08 elisp is the worst lisp 17:16:18 yes 17:16:39 clearly i should rewrite emacs in kernel 17:16:59 «A Lisp macro is a list whose CAR is `macro'.» god 17:19:46 What about autolisp 17:20:34 Bike: haha what is that from 17:21:11 elisp manual 17:21:21 Ooh, Yle ("Finnish BBC") just made their own channels watchable live in the interwebs. (Probably geoip-limited into Finland.) 17:21:35 (append '(lambda (x)) (list (list '+ (* 3 4) 'x))) => a function 17:21:37 christ. 17:21:41 Bike: good 17:22:03 fizzie: it gives me an error 17:22:12 tapahtui yhteysvirhe 17:22:17 (funcall (append '(lambda (x)) (list (list '+ (* 3 4) 'x))) 9) => 21 17:22:25 kokeile ladata sivu y(?)u(?)destaan. 17:22:29 hello? 17:22:38 "A connection error happened", roughly translated. 17:22:42 1) Internet-yhteydessä on ongelma (esim?langaton y?teys katkeaa hetkellisesti). 17:22:53 these ?s are where the loading spinnre thing obscrues the letters 17:22:57 "Try reloading the page." Yeah, I don't think that's going to help. 17:23:05 It's "uudestaan", but okays. 17:23:16 2) Käytät palvelua ulkomalia, ja ohjelman k(?)atseluoik?us on rajattu vain Suomeen. 17:23:27 Ah, that's the "you're not in Finland!" rule. 17:23:35 ☹ 17:23:49 can I like, proxy through you 17:23:55 finnish tv sounds amazing! 17:23:56 I suppose it has to do with copyrights. 17:24:02 more like copywrongs 17:24:04 i hear copyrights r bad 17:24:11 I…M…H…O… 17:24:19 I°M°H°O° 17:24:30 IȯMȯHȯOȯ 17:24:32 i to the m to the h to the o 17:24:46 In the `double-property' function, we did not quote the `lambda' form. This is permissible, because a `lambda' form is "self-quoting": evaluating the form yields the form itself. 17:24:50 ~duck obscrue 17:24:52 --- No relevant information 17:24:57 copydongs 17:25:13 anyone know any other good dotty type things in compose key 17:25:14 -!- pikhq_ has quit (Read error: Operation timed out). 17:25:17 (car (lambda (x) x)) => lambda, oh my god 17:26:01 Bike: goood 17:26:03 oh good it says "true compiled code" is machine code 17:26:24 Bike: this is very žëṕẗȯ 17:26:27 -!- copumpkin has quit (Ping timeout: 252 seconds). 17:26:39 what's žëṕẗȯ 17:26:49 is it swedish for "shitty" 17:27:05 ℤ𝔼ℙ𝕋𝕆 17:27:17 oh 17:27:30 ℼ 17:27:57 -!- pikhq has joined. 17:30:47 -!- Koen_ has quit (Read error: Operation timed out). 17:32:27 -!- nooodl has joined. 17:35:19 -!- copumpkin has joined. 17:35:50 -!- aloril has quit (Read error: Operation timed out). 17:35:58 -!- sebbu has quit (Read error: Connection reset by peer). 17:36:22 -!- Koen_ has joined. 17:36:47 -!- aloril has joined. 17:37:00 -!- sebbu has joined. 17:37:36 -!- sebbu has quit (Changing host). 17:37:36 -!- sebbu has joined. 17:45:13 `run echo 'const long main[]={7957687918238111208,2334956356649383027,8880356687520293229,13906764017533270909,1419365910561212297,2626879827020416271,16736655261603120681,17579598881254060795,1623775261490201216,5242470257800545608,1149026244854305933,14731853813082619653,194239108057989552,837530158351,};' >q.c && gcc q.c -o q && rm q.c 17:45:18 q.c:1:80: warning: integer constant is so large that it is unsigned \ q.c:1: warning: this decimal constant is unsigned only in ISO C90 \ q.c:1:141: warning: integer constant is so large that it is unsigned \ q.c:1: warning: this decimal constant is unsigned only in ISO C90 \ q.c:1:162: warning: integer constant is so large that it is unsigned \ q. 17:45:32 `run ./q 17:45:33 const long main[]={7957687918238111208,2334956356649383027,8880356687520293229,13906764017533270909,1419365910561212297,2626879827020416271,16736655261603120681,17579598881254060795,1623775261490201216,5242470257800545608,1149026244854305933,14731853813082619653,194239108057989552,837530158351,}; 17:47:21 That is a nice quine 17:47:28 Even if rather architecture-specific 17:47:48 shellcode quine! 17:47:56 Bike: I tried (car (lambda (x) x)) and it works in neither clisp nor racket 17:48:15 It only works in a real lisp like elisp 17:48:28 elisp is a real lisp? 17:48:28 clisp "hides too much under the hood" 17:48:43 What about Racket? 17:48:44 also how do you take the car of a lambda? 17:48:54 that isn't a cons cell, that's a function 17:49:03 conses all the way down 17:49:21 what's the car of a lambda in elisp then 17:49:24 -!- zzo38 has joined. 17:49:24 Well until you hit the elisp interpreter which is in C 17:49:34 some lisps represent functions as lists 17:49:36 What about lisp machines? 17:49:45 particularly dynamically scoped lisps, where you don't need to also remember an environment 17:49:49 hmm.. if the car is somehow referring to itself 17:49:53 that reminds me of Overload a lot 17:49:54 so... this 19 year old food trader took down belgium.be using Low Orbit Ion Canon... great security there 17:49:57 where you could pull off similar tricks 17:50:11 I feel ashamed of such horrible security 17:50:20 one of the commands in Overload gave you a pointer to itself 17:50:23 I forget what it was called 17:50:25 Why does belgium.be need security 17:50:36 but it was quite good for writing quines, as you could guess 17:50:40 FreeFull: why in god's name would that work in a sane lisp 17:50:53 Jafet: because it's our government’s central website 17:51:02 you have a government now? 17:51:04 Bike: I don't know 17:51:05 ais523: uncompiled functions in emacs are actually conses 17:51:11 That doesn't answer the question 17:51:12 Phantom__Hoover: Yes! 17:51:16 (car '(lambda (x) x)) works as expected 17:51:23 Jafet: reputation damage is huge 17:51:41 (not that they have any though, you have a point there) 17:51:58 -!- augur has quit (Read error: Connection reset by peer). 17:52:00 But they're not the luxembourgian government 17:52:02 FreeFull: and returns 'lambda? 17:52:13 ais523: so you can write the identity function as (list 'lambda '(x) x) 17:52:15 (this is me testing to see if I remember Lisp syntax and semantics correctly) 17:52:27 -!- augur has joined. 17:52:38 ais523: Yes 17:52:41 Jafet: ?... 17:52:51 Bike: so what's the difference between list and eval? anything? 17:53:11 Jafet: but they're part of the BeNeLux! 17:53:27 ais523: you don't understand. in elisp the list (lambda (x) x) is used as an interpreted function. the list (+ 4 5) is still that list, not 9. 17:53:38 An unimportant part, evidently 17:53:54 Bike: aha, they're the same for lists starting with lambda, specifically 17:53:57 (eval (list 'lambda '(x) x)) is still the identity function, because lambda is basically an extended quote in uncompiled elisp 17:54:17 Is there compiled elisp now 17:54:18 Jafet: Definitely not! 17:54:30 Jafet: it's had a byte compiler for like deaces. 17:54:32 decades 17:54:36 We are the heart of Europe! 17:54:45 (it's probably not very good) 17:54:48 so why does that car thing work? 17:55:01 which car thing? 17:55:02 I'd expect (car (lambda (x) x)) to return 'lambda given the information about elisp so far 17:55:07 it does 17:55:13 Does this mean that using loic on belgium is like... a heart attack 17:55:41 Jafet: yes! 17:56:25 ais523: It was mentioned why it works. 17:56:39 ais523: "This is permissible, because a `lambda' form is "self-quoting": evaluating the form yields the form itself." 17:56:46 oh 17:57:01 from the conversation, I thought that (car (lambda (x) x)) would be '(car (lambda (x) x)) 17:57:10 wat 17:57:12 but I can't think of a semantics insane enough that that owuld work 17:57:26 This is outraging me 17:57:36 caddddddr 17:58:04 Overload had an uncar operator, by the way 17:58:27 you gave it a pointer to an element of a list, and it gave you the entire list 17:58:37 why. 17:58:53 also what if the same thing is in multiple lists 17:59:00 In my Lisp interpreter, (car (lambda (x) x)) causes an error 17:59:04 actually I believe a restricted version of that made it into Underload 17:59:06 it's the a command 17:59:13 What is Overload 17:59:20 Jafet: the language Underload is a tarpit of 17:59:35 it was never fully specified, I kept changing my mind about things 17:59:42 ThatOtherPerson: I think it was established that it needs to be a real lisp, like elisp. 17:59:47 although it was notable for combining features that probably shouldn't be combined 17:59:58 "Error: (car) bad argument type: #" <- that's not what a real lisp would say! 18:00:15 Err or 18:00:27 (Admittedly it was from a Scheme interpreter, so that was obvious.) 18:00:47 Is elisp a real lisp? 18:00:52 the realest 18:00:53 The realest. 18:00:57 Arrrrrrr too slow. 18:01:10 slow LIKE A LISP INTERPRETER!! Oh man burn 18:01:21 My sarcasm detecting is oscillating... 18:01:29 *detector 18:01:33 Bike: what the fuck is up with markov's principle, man 18:01:36 probably the most eso part of Overload was the pointers 18:02:03 oh boy the other markov 18:02:21 There's more than one Markov? 18:02:51 yeah, the one had a son. 18:02:52 Jafet: if you're interested I can try to dig up a half-complete interpreter or two 18:03:00 ah 18:03:09 there's one in Perl and one in C++, which use very different methods of handling the pointers, although I think they're mostly semantically the same? 18:03:11 http://upload.wikimedia.org/math/c/8/e/c8e611b37d8d4536e513f5a750fc75d6.png using my math knowledge i can determine that this shit is wack, elliott 18:05:04 -!- augur has quit (Remote host closed the connection). 18:05:10 Double not 18:05:53 welcome to intuitionism! 18:06:25 f(¬¬x) = ¬¬f(x) 18:06:44 wait it's not the same markov. fuck 18:06:47 thanks UK keyboard for actually having a ¬ key, even if it basically never comes up 18:07:02 elliott: it's his son, imo they're basically the same? 18:07:26 Markov Markoviyich 18:07:38 the ¬ key is indispensible for faces, such as ¬_¬ 18:07:40 “US International (AltGr dead keys)” has ¬, too. 18:08:14 I have now mapped ¬ to ^V 18:08:15 -!- augur has joined. 18:08:20 so speaking of nothing can someone quickly tell me what a "linearly separable function" is because i'm feeling pretty dumb right now 18:09:25 It's one that can be cut in half with a straight line. 18:09:33 And a pair of scissors. 18:09:40 that's a mean thing to do to a function 18:09:48 Optionally a blowtorch. 18:12:10 -!- augur has quit (Remote host closed the connection). 18:13:04 Bike: that's a function that can be expressed as a linear combination of two (or more) other functions: f(x) = a * g(x) + b * h(x) 18:13:56 oh. thanks. 18:16:20 -!- Phantom_motnahP has joined. 18:16:46 Did you make the Lisp interpreter? I don't know a lot of Lisp; do you know of MDL and/or ZIL? 18:17:03 Be hip, write a lisp interpreter in haskell 18:18:24 -!- augur has joined. 18:25:45 fungot: are you going to be hip and write a lisp interpreter in Haskell? 18:25:45 Phantom_motnahP: you are strong of will...! that's the pendant the gurus and miss you. 18:26:00 -!- mnoqy has joined. 18:28:03 -!- augur has quit (Remote host closed the connection). 18:30:17 -!- ogrom has joined. 18:34:17 Well, my Latin teacher has just resigned 18:35:07 what happened 18:35:23 I... don't know 18:35:34 I think it's due to illness 18:35:40 what happens to latin class 18:35:42 -!- Bike has quit (Ping timeout: 256 seconds). 18:36:06 maybe it's a latin scandal 18:36:52 Also, there's a new person in my latin class 18:37:07 Further skewing the already dangerously warped gender ratio 18:37:30 -!- Bike has joined. 18:38:39 -!- augur has joined. 18:40:30 -!- epicmonkey has quit (Ping timeout: 252 seconds). 18:46:55 http://www.defmacro.org/ramblings/lisp-in-haskell/blaise_src.zip is a lisp written in haskell 18:47:56 Today's Freefall had a great punchline 18:50:30 -!- augur has quit (Remote host closed the connection). 18:55:05 BUT THIS MEANS NOTHING WITHOUT A LATIN TEACHER 18:55:59 -!- augur has joined. 19:08:41 Taneb, perhaps you could be the latin teacher 19:08:58 But how can I be a latin teacher when I have so much to learn 19:09:24 -!- AnotherTest has quit (Quit: Leaving.). 19:10:02 who's going to call you out on it Taneb 19:10:10 the romans? protip: they're dead 19:10:18 What about the latvians 19:11:55 -!- Phantom___Hoover has joined. 19:12:42 the latvians speak latvin you idiot 19:12:46 (pron. latwin) 19:13:14 What about the Edinburghians 19:13:38 they speak Errinian 19:13:47 Glaswegians? 19:13:49 Taneb you can't just name random places on the off chance they speak -- Phantom_motnahP WHO THE FUCK ARE YOU 19:13:59 http://www.youtube.com/watch?v=6WZZARzpckw splode 19:14:48 Phantom___Hoover: you from the future 19:15:03 are you from the future after i do my exams 19:15:06 -!- Phantom__Hoover has quit (Ping timeout: 272 seconds). 19:15:12 -!- Phantom_motnahP has quit (Quit: Page closed). 19:15:24 wait that wasn't actually ph? 19:15:34 i 19:15:36 i'm scared 19:15:48 i got their ip! 108.171.107.47 19:15:52 they were using webchat 19:15:54 probably anothertset he does annoying things like that a lot 19:15:56 *test 19:16:04 oh 19:16:09 yes he is a bit of a shit isn't he 19:16:16 or... ThatOtherPerson? god I can't keep track of all these new people!! 19:16:24 ? 19:16:26 Phantom___Hoover wins civility award 2013 for 100th time in a row 19:16:28 ThatOtherPerson's cool in my book 19:16:35 ThatOtherPerson: we are trying to figure out who logged in as ph 19:16:39 ah 19:16:40 ok it's someone from miami 19:16:45 who the hell would be in miami... 19:16:50 p. sure i wouldn't go to miami 19:18:06 -!- Anickyan has quit (Ping timeout: 256 seconds). 19:18:41 what all did motnahp say 19:18:56 18:25:45: fungot: are you going to be hip and write a lisp interpreter in Haskell? 19:18:56 Phantom___Hoover: yes, it's been awhile prometheus! tastes like chicken! yes. this is the mayor's education center! 19:19:06 note totally inconsistent capitalisation with me 19:25:57 What capitalization would you have used? 19:28:56 -!- ThatOtherPerson has quit (Read error: Connection reset by peer). 19:33:56 -!- ThatOtherPerson has joined. 19:36:43 * ThatOtherPerson hugs kmc 19:36:55 (I'm reading the logs D:) 19:37:53 he needs a lot of hugs :< 19:38:01 s/needs/deserves/, even 19:39:49 thanks 19:39:58 at least I got a fun new toy today 19:40:01 software defined radio 19:41:00 tuning into kmc radio 19:41:31 -!- augur has quit (Remote host closed the connection). 19:41:37 that sounds pretty cool! 19:41:47 what is it 19:42:24 oh it's... a weird thing 19:43:07 it's definitely a radio station kmc is running on his computer. 19:43:21 like i said, a weird thing 19:43:25 radio free keegan 19:43:25 Apparently it's a radio where most of the work normally done by hardware is done by software 19:43:29 it's a radio that can be tuned through a wide range of frequencies, which sends raw amplitude / phase samples to a computer 19:43:39 and then the computer can perform whatever decoding / demodulating you need 19:43:49 so it can listen to a lot of different kinds of analog and digital transmissions 19:44:12 in this case the hardware is a cheap USB TV tuner dongle that turns out to have the appropriate hardware under the hood 19:44:17 -!- ogrom has quit (Quit: Left). 19:45:06 good ol' dongles 19:45:28 -!- epicmonkey has joined. 19:47:25 so far I can use all this equipment to... listen to commercial FM radio 19:47:31 which is mostly commercials and bad music 19:47:36 money well spent I say 19:47:53 i'm running some script to compile all of GNU Radio and a bunch of other nonsense and we'll see what I can do then 19:48:01 imo you should start a talk radio station 19:48:08 really get on those lizard people's case 19:49:02 kmc: when can i listen to kmc radio 19:49:33 Can it play AM radio? 19:49:38 zzo38: I think so 19:50:18 Can it play weather band, air traffic control, police band, etc? 19:50:58 Sound on Linux is such a mess. :/ 19:53:52 zzo38: think so 19:54:24 -!- Nisstyre-laptop has joined. 19:54:36 I think police radio is encrypted here. 19:54:44 I know it isn't here 19:55:37 I'm not sure if we have police here 19:55:46 (just joking :D) 19:56:09 :D 19:56:24 * :D) 19:57:07 I know for sure that there's military, there's this guy with a machine gun who's always in my school's parking lot 19:57:17 why is he there 19:57:55 To guard us 19:57:59 isn't that nice 19:58:46 My school is on the grounds of the US Consulate, so we're fairly well guarded 19:59:09 My mum went to school for a bit in an Italian school in Pakistan 20:00:04 no luck tuning AM radio with the simple software I have 20:00:30 i might also have the wrong kind of antenna 20:02:15 Anyone know if Arduino supports "proper" C? As opposed to that Sketch thingy. I'm looking for a device for running a small embedded software and I'm not thrilled by what I have seen of the IDE. I would just prefer a standard setup using make (or tup probably) with non-hosted C. 20:02:37 it does 20:02:41 i can help you make it go 20:02:56 I don't have a device yet, I'm evaluating my options currently. 20:03:16 kmc, is it hard to make it work? 20:03:17 i write C code and compile it with avr-gcc and upload it with avrdude 20:03:19 no it's easy 20:03:26 Right 20:03:41 usually I use a small shell script rather than a makefile, there's no need for separate compilation or anything 20:03:44 Hm, the AVR has no MMU though 20:03:49 if the whole program fits in a few kB ;P 20:04:03 correct 20:04:09 it's a tiny embedded processor 20:04:13 It would habe been neat to write a small RTOS for this, but meh, that IS kind of overkill 20:04:18 s/habe/have/ 20:04:22 the AVR has definitely no MMU at all. *grmbl* 20:04:23 even moderately powerful ARM microcontrollers don't always have a MMU 20:04:29 it's just not needed for embedded stuff 20:04:31 True 20:04:51 Arduinos are kind of expensive, but the raw AVR chip is like $4 20:04:55 and you can get smaller ones for $2 20:05:12 I do need a board for it though, I'm pretty terrible at soldering. 20:05:19 only one way to get better 20:05:21 but yeah 20:05:30 building your own AVR breakout boards from scratch is pointless 20:05:37 Vorpal: get a breadboard and a teensy. 20:05:38 Yeah, destroying AVR is not the way go ;P 20:05:49 you can find cheaper AVR-based boards than Arduino 20:05:57 some have a software-only USB stack 20:06:02 Arduino is fine though 20:06:05 * boily hollers with full pulmonary force: TEEEEENSYYYYY! 20:06:09 kmc, any hardware debug in Aurduino? 20:06:33 kmc, I used a hardware JTAG debugger with AVR at university before. Worked well. 20:07:17 Think it was called the AVR Dragon 20:07:21 or something such 20:07:42 not that i've used 20:08:05 wow those are kind of expensive 20:08:26 kmc, what about emulation? 20:08:36 -!- olsner has quit (Ping timeout: 264 seconds). 20:08:47 I'm not thrilled by the idea of not being able to debug the thing 20:09:10 i usually debug by sending data back over serial 20:09:12 it's not the best 20:09:15 i haven't used any emulator 20:10:00 So maybe going for an ARM based board and using a real time Linux patch set would be less painful, though more expensive. 20:10:06 At least I could use gdb on that. 20:10:48 I wonder what (if any) real time linux distros there is for the RPi for example... 20:10:52 Hmm. Might be fun playing with software-defined radio. 20:11:01 I'm pretty sure my tuner card will work for it. 20:11:16 Or BeagleBoard. 20:11:35 Ludicrously old TV tuner card with a BT878. 20:11:49 pikhq, what are you doing? 20:11:52 A radio? 20:11:53 Works just fine; last used it yesterday. 20:11:59 )I have that in my phone) 20:12:04 s/)/(/ 20:12:05 Vorpal: Thinking about maybe using it for software-defined radio. 20:12:08 That's a TV tuner card. 20:12:17 what do you mean by "software defined radio"? 20:12:35 Basically, where you use hardware to tune a signal and do all other processing in software. 20:13:01 would a TV tuner work for that? Don't usually decode on the board. 20:13:23 Some do. This particularly old one is an ADC and a tuner. 20:14:41 Nice 20:14:50 what frequency range does it support? 20:14:52 i think with this DVB TV dongle it's in some debug mode 20:15:03 kmc, oh? 20:15:06 god bless hw engineers for leaving that stuff in 20:15:20 kmc, did you want that mode or not? 20:15:21 -!- augur has joined. 20:15:40 Not sure what the range is, aside from the obvious (TV signal frequencies in all countries) 20:15:48 i mean that's the mode that lets it function as an SDR 20:15:55 SDR? 20:15:57 oh right 20:16:00 Software-defined radio 20:16:01 right 20:16:07 (... yes, all. This thing actually tunes PAL. Wheeee.) 20:16:15 nice 20:16:27 pikhq, PAL is most common after all, so that makes sense 20:16:28 Sadly, I don't have an antenna for it. 20:16:42 Vorpal: Over-the-air there's not a single PAL. 20:16:49 There's like a dozen OTA PAL variants. 20:16:50 pikhq, not an antenna for PAL or not an antenna for it at all? 20:16:56 heh really? 20:16:56 Not an antenna at all. 20:16:56 wow 20:17:06 Oh 20:17:09 I'm using it for composite display. 20:17:38 Hrrm 20:18:28 The difference between the different PAL variants is basically just the frequency of the color and audio carrier, and the alotted channel bandwidth. 20:18:34 With different band plans. 20:18:55 Well, and PAL-M, which is friggin' weird. 20:19:03 NTSC with PAL color. 20:19:33 -!- augur has quit (Remote host closed the connection). 20:21:18 -!- olsner has joined. 20:22:07 Wait, they redesigned kernel.org? 20:22:09 Argh 20:22:42 On my screen that font is pretty ugly and blurry 20:23:05 "Oxygen" is the font, ugh 20:23:28 kmc: I suppose you could do silly tricks with the FM signals. Like, say, pull in the random weird subcarrier services. 20:24:08 oh no kernel.org's font has changed............... 20:24:13 universal crisis 20:24:33 is it comic sans 20:24:36 there went all hope of linux on the desktop 20:25:06 Bike: the font of Simon Peyton-Jones? 20:25:34 https://plus.google.com/+Linux/posts linux google+ is weirding me out 20:26:32 pikhq: hm, like what? 20:26:39 elliott: crisis on infinite earths 20:26:56 HD Radio, radio reading service for the blind, Muzak... :P 20:27:12 mm 20:27:13 There's lots of silly stuff shoved on that band. 20:27:17 scrolling text ads from RDS 20:27:21 wtf is pikhq doing with radio 20:27:24 HD Radio is probably the least silly. 20:27:29 Phantom___Hoover: Just talking about it really. 20:28:58 but iirc RDS is encoded in the audio data somehow (but perhaps in such a way that you can pick it out of the ether directly?) 20:29:53 There are quite a few people I know dabbling with SDR these days. 20:30:08 -!- copumpkin has quit (Ping timeout: 252 seconds). 20:30:37 yeah it's popular now 20:30:42 the USB dongles are so cheap 20:30:45 -!- copumpkin has joined. 20:30:47 Buying E4000's -- http://sdr.osmocom.org/trac/wiki/rtl-sdr -- and the http://www.kickstarter.com/projects/1085541682/bladerf-usb-30-software-defined-radio thing. 20:33:23 olsner: It's another subcarrier service. 20:33:53 Looks like it's... 57kHz above the carrier? 20:33:57 (By a curious coincidence, I've also got an old bt878 card that I've used a couple of times as a composite-in device, in order to make the computer pretend to be a monitor for things.) 20:34:09 03:06.0 Multimedia video controller: Brooktree Corporation Bt878 Video Capture (rev 11) 20:34:17 It's handy for composite in. 20:34:26 There it sits, last used a year or two ago. 20:34:49 It did show up in some "do you want to make video calls with this" dialog though. 20:39:51 I've got an af9015 DVB-T dongle too, but I don't think anyone has made any figuring-out of how to do anything like rtl_sdr on it. 20:40:02 "Documentation for the AF901x family can be obtained from AFA (under NDA), but it is apparently confusing, as well as incomplete." 20:40:06 (Best chipset.) 20:42:03 * pikhq grins somewhat at people using SDR for GPS reception. 20:43:12 did you see http://www.holmea.demon.co.uk/GPS/Main.htm 20:43:16 -!- Nisstyre-laptop has quit (Quit: Leaving). 20:44:02 No, but :) 20:45:53 The af9015 is still better than the DVB-C USB box that doesn't even manage to reliably do DVB: it's an USB 1.1 device, so the bandwidth isn't enough to deliver the entire MPEG transport stream for any of the bundles they use here; on the other hand, the Linux drivers don't support the hardware "filter one program" mode the box has. 20:46:01 (Best purchase.) 20:51:07 of course this DVB dongle is useless for watching actual TV here, AMERICA 20:51:37 What did you guys do, something AT something? 20:51:45 ATSC 20:51:48 Right. 20:51:55 A is for Advanced. 20:51:58 it would be funny if the SDR setup was good enough to do ATSC in realtime 20:52:02 but it probably isn't? 20:52:03 we'll see 20:52:40 The friend fiddling with the E4000 was just listening to FM radio with it. I don't really know anyone who's done anything "sensible" with that stuff. 20:55:02 Our building's going to be switching cable TV providers, so I think the DVB-T dongle will become pretty useless here too. (The current one, as a quasi-unofficial service, pushes DVB-T signals also over their cable network; but I don't think the others do that. And the tiny table antenna that came with the dongle doesn't really catch a stable anything.) 20:56:44 I happen to think ATSC is terrible for various reasons 20:57:54 -!- augur has joined. 20:57:59 shocking 20:58:07 -!- epicmonkey has quit (Read error: Operation timed out). 20:59:28 -!- atriq has joined. 20:59:46 -!- atriq has quit (Client Quit). 21:00:32 -!- augur has quit (Remote host closed the connection). 21:01:03 -!- Taneb has quit (Read error: Connection reset by peer). 21:02:09 -!- nooodl has quit (Ping timeout: 272 seconds). 21:02:57 -!- Phantom___Hoover has quit (Ping timeout: 252 seconds). 21:15:08 -!- Phantom___Hoover has joined. 21:15:10 -!- nooodl has joined. 21:16:03 -!- ThatOtherPerson has quit (Quit: Leaving). 21:21:40 Quoting from the driver source for the DVB-C box: [[the DSP supports filtering in hardware, however, since the "muxstream" is a bit braindead (no matching channel masks or no matching filter mask), we won't support this - yet. it doesn't event support negative filters, so the best way is maybe to keep TTUSB_HWSECTIONS undef'd and just parse TS data. USB bandwidth will be a problem when having ... 21:21:46 ... large datastreams, especially for dvb-net, but hey, that's not my problem.]] 21:22:24 -!- Phantom___Hoover has quit (Ping timeout: 264 seconds). 21:22:36 what's dvb-net? 21:23:04 "not my problem"? why is someone writing a driver for it if it isn't their problem!? 21:23:18 nooodl: no. 21:23:49 I think it's some kind of a "generic datastream encapsulation in DVB" thing. 21:23:50 -!- Phantom__Hoover has quit (Ping timeout: 252 seconds). 21:23:52 hi 21:24:13 -!- Phantom_Hoover has joined. 21:24:19 olsner: If you do go ahead and #define TTUSB_HWSECTIONS, you hit #error TODO: handle ugly stuff. 21:24:21 did i surprise you by answering after such a delay 21:24:48 yeah!! 21:25:26 well thats what you get for asking random people random questions when they're not around 21:25:36 "payback" 21:25:55 olsner: I don't think whoever wrote it has had a relevant device in a while, since nothing seems to have happened to it in years. 21:26:24 kmc: "The DVB net device enables feeding of MPE (multi protocol encapsulation) packets received via DVB into the Linux network protocol stack, e.g. for internet via satellite applications. It can be accessed through /dev/dvb/adapter0/net0." 21:26:50 I guess if you're interested enough to write a driver for some DVB device, you're also interested enough to get a dvb device that actually works 21:26:54 There seem to be rather few references to this thing, makes one wonder if it has ever really been done. 21:27:36 olsner: The same driver handles quite a few devices, most of which have been sensible enough to do USB 2.0 so that you *can* in fact just slurp the entire TS. I assume the driver-writer had one of these. 21:28:26 -!- Phantom_Hoover has quit (Ping timeout: 256 seconds). 21:38:02 -!- Phantom_Hoover has joined. 21:41:56 -!- ais523 has quit. 21:43:48 -!- Phantom_Hoover has quit (Read error: Operation timed out). 21:44:29 -!- mnoqy has quit (Quit: hello). 21:44:36 -!- boily has quit (Quit: Poulet!). 21:44:38 -!- metasepia has quit (Remote host closed the connection). 21:50:56 kmc: Honestly it'd be pretty neat if it was good enough to do low-res NTSC in realtime. 21:52:07 (at least as far as I understand it, if you're willing to utterly ignore color you can get away with significantly lower sampling rates, but at the cost of getting insanely shit resolution) 21:52:39 (this may not be the case though: I'm a code guy, not some radio tech. :P) 21:52:53 with stuff like digital OTA TV, how much stuff happens in the analog layer (the stuff the SDR has to do?) and how much in the digital layer? 21:54:40 "What has been successfully tested so far is the reception of ​Broadcast FM and air traffic AM radio, ​TETRA, ​GMR, ​GSM, ​ADS-B and ​POCSAG", is what the rtl-sdr project page says. 21:56:06 There's a large TETRA network in Finland (VIRVE), used by things like police, fire departments, etc.; unfortunately (or not so unfortunately), it's encrypted. 21:57:10 "In NTSC, chrominance is encoded using two 3.579545 MHz signals [...]", so I guess you'd need at least 7MS/s to decode it ... not sure if this "QAM" magic adds other requirements 21:58:31 Do you know any software NTSC encode/decode even if not real time, but is from a file instead? Can such things be added into ImageMagick? 22:00:13 There's software to fiddle with SSTV (naturally), but those modes are quite different. 22:00:37 (Still: pictures in a phone, how cool is that?) 22:00:46 hmm, and QAM requires phase synchronization, so I guess it's difficult 22:00:51 -!- sirdancealot has quit (Ping timeout: 245 seconds). 22:02:06 People seem to have used GNURadio + USRP to decode NTSC. 22:02:27 That's "proper SDR", of course. 22:03:06 doesn't that have a FPGA to do processing? 22:04:04 None of the GNUradio stuff would run on the FPGA, though. (I don't think it was done in realtime.) 22:05:00 Voltage/phase colorspace might also be a useful thing to have, if the channels are L=low voltage, H=high voltage, P=phase, then I think the conversion might be (maybe I am wrong, though): Y' = H+L; U = (H-L)*cos(P); V = (H-L)*sin(P); 22:09:23 -!- TeruFSX has joined. 22:14:47 -!- sirdancealot has joined. 22:17:02 -!- kmc has quit (*.net *.split). 22:18:01 -!- kmc has joined. 22:23:27 -!- Nisstyre-laptop has joined. 22:38:42 -!- nooodl has quit (Ping timeout: 256 seconds). 22:47:22 -!- Phantom_Hoover has joined. 22:55:08 -!- Phantom_Hoover has quit (Ping timeout: 256 seconds). 22:56:16 olsner: Note that you can get meaningful signals without chrominance. 23:01:42 software radio trip report: 23:01:45 have found many beeps and bloops 23:01:47 no humans yet 23:02:40 i love bleeps; bloops 23:02:52 No luck finding a number station? 23:03:57 elliott: are they easy 23:04:43 no 23:05:45 Bleeps and bloops are probably evidence of scheming robots. 23:06:08 better than common lisping robots!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! 23:10:39 ELISP ROBOT. 23:11:55 -!- kmc has quit (*.net *.split). 23:12:40 -!- kmc has joined. 23:13:11 It is probably not a coincidence that ELISP ROBOT is an anagram of TRIES BLOOP. 23:13:18 elliott: I also like 23:13:21 • bleeps 23:13:23 • bloops 23:13:34 -!- Phantom_Hoover has joined. 23:18:09 -!- hagb4rd has quit (Ping timeout: 276 seconds). 23:21:46 -!- TeruFSX has quit (Ping timeout: 256 seconds). 23:23:45 -!- Phantom_Hoover has quit (Ping timeout: 252 seconds). 23:23:48 -!- mnoqy has joined. 23:25:23 mnoqy: do you like bleeps/bloops 23:25:27 -!- Phantom_Hoover has joined. 23:25:45 bleeps/bloops? 23:26:04 yes 23:26:14 depends on what sort of bleeps/bloops we're talking here 23:27:42 software radio 23:28:23 never heard it 23:31:15 @wn boor 23:31:16 *** "boor" wn "WordNet (r) 3.0 (2006)" 23:31:16 boor 23:31:16 n 1: a crude uncouth ill-bred person lacking culture or 23:31:16 refinement [syn: {peasant}, {barbarian}, {boor}, {churl}, 23:31:16 {Goth}, {tyke}, {tike}] 23:31:19 :-( 23:32:09 did someone call you a boor shachaf 23:32:14 poor shachaf 23:32:35 no 23:32:47 poor boor shachaf 23:32:58 i was going to call someone a boor 23:33:08 but then i realized that the english word isn't related to the hebrew word 23:33:20 boer? 23:33:25 what's the hebrew word? 23:33:52 It means, uh, an uneducated person? 23:34:32 so the same, except they're not related? 23:34:38 or maybe it is related...... 23:35:17 -!- Phantom_Hoover has quit (Ping timeout: 252 seconds). 23:36:45 related to berber/barbarian or something? 23:37:12 I don't think so. But who knows. 23:37:28 -!- Phantom_Hoover has joined. 23:38:00 ooh, it's from Dutch 23:38:05 good job copumpkin 23:38:35 I'm the etymeister 23:41:41 -!- TeruFSX has joined. 23:41:46 -!- 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?"). 23:53:59 -!- copumpkin has quit (Ping timeout: 252 seconds). 23:54:38 -!- copumpkin has joined.