00:11:48 -!- quintopia has quit (Ping timeout: 248 seconds). 00:12:49 I'm thinking about making it so you have to explicitly bind the values returned from a function to variables. No more of this implicit replacement stuff. so %(41,3)(a,b){ rest of computation } will mod 42 by 3 returning (13,2) and within the brackets "a" will be 13 and "b" will be 2 00:13:42 there will also be more syntactical symmetry between function call and returns 00:14:05 so, continuation passing style? 00:14:24 reminded me of IO 00:14:37 maybe, I don't know enough about continuation passing style 00:14:50 I just thought it would be properly annoying 00:15:06 CPS is a bit annoying to program in yeah :P 00:15:34 in CPS you'd have like lambda(a,b){ rest of computation } and %(41,3,that_lambda) 00:15:46 -!- quintopia has joined. 00:15:51 except of course that the lambda itself takes a continuation 00:16:35 I see 00:16:53 and then you can't just do a "normal return", you have to pass something to a continuation 00:17:18 at some point you presumably have a semimagical continuation meaning "fuck this, print whatever and quit" 00:17:47 it's not really that magical 00:17:50 -!- nooodl has quit (Ping timeout: 260 seconds). 00:18:19 fine just kill the magic will ya 00:19:27 Manually CPSed code is nicer to write in Haskell than in Javascript, imo 00:19:35 I was planing on makeing you write (((2 + 3) * 5) / (1-3)) as +(2,3)(a){ *(a,5)(b){ -(2,3)(c){ /(b,c)(d){ }}}} which does end up looking alot like continuations passing style 00:20:37 and has the nice benefit of making it sequential when it didn't have to be sequential before. 00:23:13 +(2,3)(a,k){*(a,5)(b){-(2,3)(c){/(b,c)k}}} 00:23:20 nicely ugly yeah 00:25:11 the nice anti-benefit 00:25:34 we have to talk about esolangs sometime elliott, or the opers will come down from on high 00:25:49 do you mean ops or opers 00:25:58 opers 00:26:01 obviously the ops here don't care 00:26:13 you have no standards 00:26:24 we had an oper in here for like a month once :-> 00:26:43 IO actually looks pleasent 00:26:45 horrible time 00:26:46 how'd you chase 'em off? 00:26:51 well, I care 00:26:54 I just can't really do much about it 00:26:55 ruined all the bots, except fungot 00:26:56 oerjan: i think the former evaluates the lambda with the up? girlfriend trouble?'. i refuse to believe you :p ( after all, so i can't be sure 00:27:12 oerjan: did the oper just go around banning bots, then? 00:27:27 well, Gregor's bots 00:27:27 good oper 00:28:06 until he rectified them 00:33:01 he didnt actually ban 00:33:03 afaik 00:33:31 he just gave Gregor an offer he couldn't refuse 00:34:33 fire? 00:37:18 I think I will modify it so you don't need the curly brackets, because with the scope defining curly brackets it is identical to continuation passing style 00:42:41 and without brackets its identical to cps hmmm :| 00:59:18 IO has rather nice syntax too 01:02:07 -!- TeruFSX2 has joined. 01:02:47 -!- TeruFSX has quit (Ping timeout: 255 seconds). 01:05:56 :t state 01:05:58 MonadState s m => (s -> (a, s)) -> m a 01:06:22 wrong way around :( 01:06:24 it should be (s, a) 01:08:18 note that the way it _is_ it fits into Lens using the (,) a Functor... 01:09:01 elliott has been possessed by the adjunction demon 01:09:06 Well, halfway possessed. 01:09:21 OKAY 01:09:23 He's not possessed enough to see tht (_,s) is totally a functor. 01:10:04 um i'm pointing out that (a,_) is a functor. i think. 01:10:22 oerjan: well there is no s -> 01:10:32 you need (s -> (a, s)) -> _ -> m a 01:10:39 er rather 01:10:43 you need (s -> (a, s)) -> _ -> (a, a) 01:12:29 elliott: what i'm saying is that Lens' s a has the restricted type (s -> (b, s)) -> a -> (b, a) 01:13:10 right 01:13:30 which allows you to use it to change the state part 01:13:34 Not (a -> (b,a)) -> s -> (b,s)? 01:13:43 ...MAYBE 01:14:00 i haven't quite learned which goes where yet 01:14:14 There was a lens library that represented lenses as State x a -> State x s, I think 01:14:26 Unfortunately that doesn't let you do some things. 01:14:28 @hackage lenses 01:14:28 http://hackage.haskell.org/package/lenses 01:14:42 oerjan: you can look to "traverse" for intuition 01:14:49 (a -> f b) -> t a -> f (t b) 01:14:53 so s is "bigger" 01:15:07 OKAY 01:15:15 s is the "subtype" hth 01:19:23 -!- carado_ has quit (Ping timeout: 246 seconds). 01:19:32 ARGH 01:19:49 also t is t b 01:19:54 -!- GOMADWarrior has joined. 01:42:16 -!- Phantom_Hoover has quit (Remote host closed the connection). 02:07:21 `slist 02:07:29 Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot 02:09:47 does slist stand for sgeo's list? 02:09:57 -!- Arc_Koen has quit (Quit: Arc_Koen). 02:10:29 C++11 lets you declare functions with "auto foo(...) -> t" instead of "t foo(...)"? 02:11:35 I have no idea what slist stands for 02:11:50 stupid list 02:11:51 sucky 02:11:52 hth 02:14:28 shachaf: Yeah. 02:14:38 I don't recall the rationale. 02:15:40 The rationale seems to be that ... is in scope on the right side of the function. 02:23:34 Holy crap, Pringles sea salt and vinegar is surprisingly amazing. It's exactly the right mix of vinegar and potato. 02:26:53 -!- oerjan has quit (Quit: leaving). 02:27:01 "exactly the right mix of vinegar and potato"... 02:30:07 I didn't know pringles had potato in them 02:35:59 doesthiswork: They're made using potato *flour*. 02:36:06 Gregor: That may be worth a try. 02:36:10 I love salt & vinegar. 02:38:37 I love salt, don't really know what vinegar tastes like, except apparently ketchup is vinegary? 02:39:02 Sgeo: it's actually surprisingly sweet 02:39:05 Ketchup isn't a very good comparison. 02:39:10 it's pretty readily available, though, you could just try it to see if you like it 02:39:12 It's a vinegar, tomato, and sugar sauce. 02:39:30 A lot of sugar. A *lot*. 02:39:51 fish and chip shops (which are a UK thing) put salt and vinegar on everything they sell (except salad) by default, if you don't want them you have to ask them not to put it on 02:40:03 btw, I hardly ever add salt to food nowadays 02:40:21 I do sort-of like it, but not enough for it to be worth the trouble, and it leaves my diet marginally better 02:40:32 salt & vinegar salad 02:40:47 Salt & vinegar salad seems a bit much. 02:40:47 elliott: well putting oil and vinegar on salad is very common 02:40:48 but not salt 02:41:02 salad dressing is basically just a mix of oil and vinegar 02:41:07 no it's a salad actually made out of salt and vinegar 02:41:10 A vinaigrette, sure. 02:41:30 I used to love garlic salt when I was a kid 02:41:36 ais523: Keep in mind the US uses mayonaisse-based salad dressings too. 02:41:54 pikhq: so does the UK, but we just call it mayonnaise 02:42:04 and it's a separate concept from "salad dressing" 02:42:04 I said "based". 02:42:08 which are just egg oil and some lemon juice 02:42:09 ah, hmm 02:42:10 Ranch dressing ain't just mayo. 02:42:19 yeah, that exists here too 02:42:20 mayo just ain't aioli 02:42:31 it's just that it's not called "salad dressing" unless it's an oil/vinegar mix, it's called something else 02:42:53 In the US, "salad dressing" refers to anything you could plausibly use as a sauce for salad. 02:43:37 Hence why it's ranch dressing, not ranch... i dunno 02:44:58 Also, for some reason Miracle Whip calls itself a salad dressing, but I've never even heard of anyone using it as such. 02:45:36 blech 02:45:51 Pretty much exclusively a sandwich spread thing. 02:46:08 also used for things like jello topping 02:58:41 people put miracle whip on jello? ew. 02:59:10 jello = jelly, right? 02:59:15 I didn't realise people put any topping at all on that 02:59:33 except when using it as an ingredient to make trifle 02:59:52 UK "jelly" yeah. Though calling it that will confuse Americans. 03:01:29 fair enough 03:01:44 I guessed from the similarity of names, but it's quite a hard substance to explain 03:02:02 US "jelly" is a particular type of fruit preserve. 03:02:39 hmm… something like UK "marmalade"? 03:03:06 No, UK "marmalade" is US "marmalade". 03:03:42 US "jelly" generally is made with the fruit pulp strained out in the preperation. 03:03:57 jam is when it is left in 03:04:11 Yup. 03:04:27 aspic is jello that happens naturally and then has the peices strained out of it 03:05:36 what is "trifle" that people make with jello? 03:07:07 one dessert that uses jello,is made from miracle whip, cottage cheese mini marshmallows and lime jello 03:07:37 it doesn't taste nearly as bad as it sounds 03:08:42 "Who eats braised ivy? And what was with that owl all smeared in mayonnaise?... A fox fighting an eel, suspended in aspic. It was like a Nine Inch Nails video." 03:10:07 doesthiswork: trifle is basically a layered desert made out of lots of other deserts 03:10:26 it's based around some sort of fruit, sponge, jelly[UK], custard, and cream 03:11:15 So it’s basically a monoid? 03:12:42 yes is is something like a trifle except shallower 03:13:29 and never includes anything that is made of flour 03:15:10 ion: monads are like burritos, and monoids are like trifles? 03:15:29 A trifle satisfies the monoid laws. 03:15:30 3 to four inches high instead of 6 to 8 inches, and no custard either, but can also have odd things like cottage cheese 03:18:43 ion: law 1. be easy? 03:28:32 -!- dessos has joined. 03:38:45 -!- GOMADWarrior has quit (Ping timeout: 252 seconds). 03:49:45 -!- monqy has joined. 04:16:40 http://robohub.org/video-throwing-and-catching-an-inverted-pendulum-with-quadrocopters/ 04:16:59 fucking inverted pendulums man 04:19:52 https://www.youtube.com/watch?v=3CR5y8qZf0Y 04:19:56 two quadcopters play tennis 04:19:58 how do they work? 04:20:41 i wonder how many times they missed and completely wrecked one of the rotors 04:21:27 hopefully no times 04:21:42 because that wouldn't be such a great thesis 04:26:36 https://www.youtube.com/watch?v=TI760jcFV2s 04:26:46 nah 04:26:53 some mistakes are inevitable as you refine the algorithms 04:26:59 oh, he said it wrecked a rotor quite a few time 04:27:44 and then they would have to recalibrate how that coptor moved to make the algorythm acurrate 04:27:49 yeah 04:28:01 algorhythm 04:28:13 one of the other ETH flying machine videos says that the robots learn about rotor wear 04:28:19 from crashes and from everyday use 04:32:09 https://www.youtube.com/watch?v=CJOubyiITsE&NR=1&feature=endscreen more robots 04:32:19 they got the girl to stay still by projecting cartoons onto the ceiling 04:34:31 https://www.youtube.com/watch?v=TxMTKsiaLwg 04:34:40 this is what we will see after the robots conquer humanity 04:34:43 they will do a little dance 04:38:04 Do surveillance drones look somewhat like that? 04:38:27 Like quadcopters? No. 04:38:58 doesthiswork: wow 04:39:01 that is... quite something 04:39:10 Predators are kinda huge. Dunno what's used domestically. 04:39:12 a guy I know uses a homebuilt quadracoptor to take photos of his farm 04:39:31 there are all kinds of surveilance drones 04:39:38 doesthiswork: that's excellent 04:39:59 he gives international talks about it 04:41:15 At first I thought the robots were going to put the girl on top of them and then fly 04:41:31 that'd be cool, but this is good too. 04:42:28 kmc: you think a quadcotor is cool? this is twice as cool https://www.youtube.com/watch?v=Uy4lXRaGCOU 04:43:26 does it go quaternion:octonion::quadrotor:octorotor 04:43:48 i can't argue with that 04:45:45 two rotor coptors must be complex then 04:45:58 regular helicopters are pretty darn complex 04:47:25 are one rotor helicoptors even real? 04:48:49 if i pirouette and jump off a building 04:49:00 i think there are like, ones where you have one rotor but with two sets of blades on it? 04:49:33 if the rotors are powered by tipjets then you don't need a tail rotor 04:49:47 Bike: are you going to pirouette and jump off a building 04:50:05 probably not, i'm no ballerino 04:50:21 https://www.youtube.com/watch?v=s65MGR36tjE 04:50:49 jesus. 04:51:10 just think about the glorious VTOL rotodyne airliner future that never was 04:51:51 uhhhhh 20 rotodynes cost as much as one fixed-wing? that's kinda hard to swallow 04:52:07 where does it say 04:52:13 the video? 04:52:23 i don't remember that bit 04:52:34 i thought 04:52:40 they said it was a comparable cost 04:54:11 oh, "equal to any" not "equal twenty" 04:54:22 derr. 04:55:45 heh 04:56:58 But uh, doesn't it need the propellers to stay stable? 05:01:32 https://www.youtube.com/watch?v=TDZelxNCLGk it's so cute 05:04:54 haha, the eyes 05:16:53 and how could i forget https://www.youtube.com/watch?v=rypyjJCtGBE 05:17:13 don't miss the part with the cows 05:17:43 sometimes i forget that someone actually fuckin did that 05:26:37 -!- Nisstyre-laptop has joined. 05:28:01 -!- Frooxius has quit (Ping timeout: 248 seconds). 05:28:35 he's bringing dutch culture to the world 05:52:47 -!- dessos has quit (Quit: leaving). 06:17:19 -!- TeruFSX2 has quit (Ping timeout: 244 seconds). 06:29:11 found via reddit, definitely ontopic: https://github.com/jbangert/trapcc 06:29:35 summary: someone managed to get the x86 MMU to run arbitrary code (and thus show it's a bounded-storage machine) 06:29:54 Isn't that a thing that someone here linked to a presentation that ended with that? 06:30:04 yeah, it might have been linked earlier 06:30:23 yep, it seems pikhq linked it already 06:30:30 I meant longer ago 06:30:37 The CCC presentation 06:30:47 That was all about... x86 ... stuff 06:30:49 hmm 06:31:06 kmc was talking about it. 06:31:07 kmc linked it a few weeks ago, i think 06:31:21 preflex: seen kmc 06:38:20 hallo 06:38:36 yeah i linked to the game of life demo earlier today 06:38:45 and to the 29C3 talk when that video was posted a few months ago 06:38:48 kmc: Happy kmc++! 06:39:28 thanks shachaf :) 06:39:49 Now we can finally have our answer to an age-old question. 06:40:06 is this a weird way of saying it's kmc's birthday 06:40:30 I thought it was the standard thing to do on IRC. 06:40:31 if it isn't, there's been a surprisingly large number of accidental puns that could be interpreted that way 06:40:35 (1 is surprisingly large) 06:40:47 haskell/09.12.30:04:13:12 ah, i don't perceive much of a gap between 21 and 25. maybe i will when i'm 25 06:41:17 kmc: well I'm 25, and I don't see much of a gap except in terms of four years of learning 06:41:31 like, I'm 4 years more experienced in teaching programming and in hardware compilation 06:41:36 because that's what I've been doing these 4 years 06:41:41 but apart from that, I feel pretty much the same 06:42:41 Shh, don't bias the jury. 06:43:20 I'm not sure "feel pretty much the same" is what "perceive much of a gap" means, though. Do you expect to not feel pretty much the same in, say, 40 years? 06:43:37 Or let's say 20 years. 06:45:29 I'm sure that as time goes on you'll see even less of a gap 06:45:41 Keeping in contact with someone from my Senior Project was a bad idea 06:46:12 "But first, you have to do this. Create a website of your resume. Use any language you know. Try to use all the skills you know." 06:46:28 use php 06:46:32 A lot of my knowledge is flat out inapplicable to a website dedicated to presenting a resume 06:46:42 not if you use haskellscript. 06:46:57 I had to google that. It exists. 06:46:57 adascript 06:47:56 But it's probably a better idea to fix out senior project so I can actually link to it without being horrifically embarrassed. 06:48:08 shachaf: i will think about it :) 06:48:23 Also, making a website look good visually is not a skill I have. 06:48:45 well yeah, you're a programmer, not a designer 06:49:46 dammit jim 06:49:46 Sgeo is a programmer? 06:49:54 maybe Sgeo is a sgeogrammer 06:50:15 is sgeo the ideogrammation 06:50:17 sgeogrammation 06:50:37 shachaf, just because I spend 90% of my time talking about languages doesn't mean I don't spend some time actually writing programs. 06:51:11 `resume 06:51:12 r�sum� 06:51:58 resume the résumé, by cole porter 06:53:46 Cole Porter? I get that that's a person, but I don't know who it is or why e would have relevance to the joke. 06:53:54 *who e is 06:54:07 isn't that a jazzist 06:54:38 https://en.wikipedia.org/wiki/Begin_the_Beguine 06:54:56 Ah 06:55:38 Sgeo: are you using some variant of spivak pronouns here 06:55:44 Yes 06:55:50 just use singular they 06:56:07 singular they are the best 06:56:54 I can assure you a number of people in here greater than 1 have used Spivak pronouns. 06:56:57 * pikhq blinks... 06:57:05 So, today I learned about Saint Josaphat. 06:57:17 Or, as you may be more familiar with him, Siddhartha Gautama Buddha. 06:58:02 isn't some buddhist saint i forget considered an incarnation of Mary 06:58:16 Long game of telephone based on the Buddha. 06:58:36 Not a Buddhist, literally the Buddha. 07:06:04 literal operator suffixes not preceded by ‘_’ are reserved for future standardization 07:06:17 good emote 07:06:46 shachaf: i think i figured out cruptopizzles #14 07:06:59 Ugh, I was supposed to work on that today. 07:07:07 have tested the algorithm by hand, but too sleepy to write the code tonight 07:07:09 I should go home and do it. 07:07:34 kmc: You're not doing it in assembly again, are you? 07:07:35 it wasn't too hard, once i forced myself to sit down and think about it for a bit 07:07:52 thinking about things where you have no idea how to proceed is scary 07:08:02 Yes, I don't think it's that difficult. 07:08:14 I had a partial solution. 07:08:25 shachaf: i'm not doing it in assembly :) 07:14:10 do you have a link to cruptopizzles ? 07:16:21 the best i have is https://twitter.com/tqbf/status/303964223485140992 07:16:32 there's not a site, you just email the guy 07:18:19 Someone posted a link to a weird image in another chatroom 07:18:26 Now I'm wondering if that's one of those 07:18:31 what 07:18:43 there are several weird images on the internet 07:18:51 http://i.imgur.com/xQsEVYE.png 07:18:55 Any relevance? 07:19:04 well that's a screenshot from a DS game 07:19:04 don't think so 07:19:19 Bike, ah 07:19:20 also it looks like just a straight cipher? 07:21:05 thank you 07:29:06 Gah. I see a comment referring to a book. I know the name of the book, but the comment is from 2010. 07:30:05 -!- copumpkin has quit (Ping timeout: 260 seconds). 07:30:35 -!- copumpkin has joined. 07:30:41 Oh, C++11 can let you say "char x{5};" but not "char x{256};"? 07:30:48 Sgeo: gah? 07:31:01 shachaf: good question 07:31:07 gah sundheit monqy 07:32:26 The comment on here http://dilbert.com/strips/comic/1996-01-29/ 07:32:43 a comment from 2010 on a comic that's older than my brother 07:32:52 Oh, they got the name right I think 07:33:00 the real question is why you're reading a dilbert strip from 1996 07:33:03 the real question is why you're reading a dilbert strip 07:33:29 the real question is why 07:33:45 I was reading a Dilbert strip from 1996 because someone commented on the most recent Dilbert strip and linked to that strip. 07:34:00 I was practically raised by Dilbert. 07:34:10 you know scott adams says that that the creationists have a point 07:35:10 scott adams says an awful lot of terrible things 07:35:11 that said 07:35:15 `addquote I was practically raised by Dilbert. 07:35:25 965) I was practically raised by Dilbert. 07:35:33 so does thomas nagel and he's probably a smarter guy than adams 07:39:05 o.O at how long ago 1996 was 07:39:29 > 1996 - 2016 07:39:31 -20 07:39:34 07:39:36 Hmm, that's quite a long time. 07:39:44 hey sgeo you like animes right 07:39:47 Sgeo: What observation, that 1996 didn't really exist? 07:39:48 http://www.amazon.com/gp/product/B0026ERPHO 07:39:51 I think it may have. 07:39:53 Bike, at least some 07:39:56 Bike: do i want to click this 07:40:02 i mean i will, inevitably 07:40:04 but will i regret it 07:40:05 elliott: you know you do 07:40:21 help 07:40:34 i recommend clicking this link 07:40:38 it improved my life 07:40:51 its only 7 dollars 07:40:58 i want to buy it and uncover the mystery 07:41:08 There's a preview thing 07:41:14 no sgeo 07:41:17 that would be wrong 07:41:44 Customers Who Viewed This Item Also Viewed Sadness and Sorrow - The Themes of Naruto 07:41:50 I... do not understand what this thing is. All I know is that I could hear words when I took headphones off, it was that low 07:41:53 loud 07:41:53 monqy: good 07:42:44 what bad things does Thomas Nagel say? 07:42:59 doesthiswork: creationism 07:43:48 I tried to read the wikipedia article about him but the way it's written it ardly makes any sense 07:43:55 Bike: noitdoesnot 07:44:30 hello? 07:44:37 hi 07:44:48 joke 07:44:51 Bike's head 07:45:01 I assume 07:45:03 Sgeo.................................................. 07:45:07 oh i get it 07:45:09 thanks sgeo 07:45:13 i am now "in" on the "joke" 07:45:24 oh no 07:45:39 i dont get it 07:45:51 what else are you R"hi("in" on)hi" 07:46:00 (did i use correct C++11 syntax there) 07:46:22 c11 has that synxtax? 07:46:25 I have no idea how to tell when someone's being sarcastic and someone's serious 07:46:29 At least, on the Internet 07:46:34 did any of you read "the emperor's new mind" 07:46:56 i read a review of the emperor's new mind, does that count? 07:47:09 Bike: I don't think C11 does? 07:47:13 and get that uncomfortable feeling of, "wow you know so much more math than me but you're wrong for simple reasons" 07:47:23 e.g. right now I can't tell if elliott genuinely does not get it, or if he's mocking me by pretending not to get it. 07:47:28 doesthiswork: yeah that's what dennett said too, sorta 07:47:32 bike: yeah it pretty much counts 07:47:37 iirc i like penrose because he's crazy 07:47:43 "this sure is a project you're embarking on here! unfortunately, no" 07:47:47 people who are right can often be really boring 07:47:54 is penrose a cosmologist or just a physicist 07:48:01 i'm reasonably sure there are no sane cosmologists 07:48:04 should i read "the road to reality" 07:48:08 he is just a mathmatician 07:48:15 10:21 < ddarius> merijn: While I don't agree with much of what Penrose believes, "The Road to Reality" is a pretty amazing book. I can't believe he got it published. 07:49:00 What's it about? 07:49:33 Maybe I should read: "Category Theory as Coherently Constructive Lattice Theory" 07:49:40 That's not a book, though, it's just a PDF. 07:50:22 doesthiswork: http://ndpr.nd.edu/news/35163-mind-and-cosmos-why-the-materialist-neo-darwinian-conception-of-nature-%20is-almost-certainly-false/ re nagel 07:50:26 shachaf: that title scares the bejeebus out of me 07:50:31 uh, except without the space. 07:50:53 renagel? 07:51:03 doesthiswork: It's not that scary! 07:51:08 It explains all the words it uses straight off. 07:51:23