00:02:52 -!- heroux has joined. 00:10:23 -!- carado has quit (Ping timeout: 246 seconds). 00:12:20 -!- Taneb has quit (Quit: Leaving). 00:28:52 have you guys seen the super-quine yet 00:28:53 https://github.com/mame/quine-relay 00:30:12 oh that was you huh 00:30:44 no 00:30:47 oh 00:30:56 I have never written a working quine 00:48:02 are quotes from other channels allowed? 00:48:18 what's with the star of david in the middle of the ouroboros 00:50:48 -!- carado has joined. 00:56:26 -!- Sgeo has joined. 01:07:00 http://pastebin.com/uMbB7its 01:08:23 thats me 01:08:27 (what is that~) 01:08:31 wow good ~ press 01:08:37 i went for shift and hit ~ too 01:08:37 help 01:08:44 how do you even do that 01:08:49 do you have a ""weird keyboard"" 01:08:49 well ~ is next to shift 01:09:00 sounds like a yes 01:09:25 does your keyboard look like http://www.goodtyping.com/teclatUKok.png 01:10:27 it's an application to a forum 01:10:48 pretty sure they're going to be let in, i like their style 01:11:39 shachaf: sure 01:12:21 elliott: ok this is double weird 01:12:24 or maybe even triple weird 01:12:32 you press shift with your right hand?? 01:13:14 no 01:13:15 `~ 01:13:16 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ~: not found 01:13:18 is the key to the right of shift 01:13:37 wait 01:13:43 so how does your keyboard look 01:14:20 like this? http://kb.parallels.com/Attachments/19485/Images/wireless-british.jpg 01:21:02 -!- Bike has quit (Ping timeout: 240 seconds). 01:23:10 -!- Bike has joined. 01:23:23 -!- Nisstyre has joined. 01:35:04 the fact that the busy beaver sequence grows faster than any computable sequence is at once kind of obvious and totally mind-blowing 01:37:42 sequences that grow slower than any monotonically increasing sequence are weirder, imo 01:38:07 glad I could spread the fear of those 01:38:24 btw you forgot "computable" 01:38:33 -!- Sgeo has quit (Read error: Connection reset by peer). 01:39:06 you'll figure it out 01:39:12 -!- kallisti has joined. 01:39:12 -!- kallisti has quit (Changing host). 01:39:12 -!- kallisti has joined. 01:40:03 i guess some kind of busy-beaver-inverse is an example of that? 01:40:40 f(n) = number of states needed to make a halting 2-symbol TM that runs for n steps 01:41:48 i like that inverse Ackermann function α(n) that comes up in algorithms analysis 01:42:03 yeah. the one i know f(x) = smallest kolmogorov complexity of y for all y >= x 01:42:05 which you basically assume is less than 5 for any input 01:42:13 how the hecks does inverse ackermann even come up 01:42:15 `quote largest 01:42:16 No output. 01:42:20 `quote oklo.*ac 01:42:21 54) actually just ate some of the dog food because i didn't have any human food... after a while they start tasting like porridge \ 75) oklopol geez what are you doing here ...i don't know :< i actually ate until now, although i guess i also did other things... \ 109) but yeah i'm not exactly comforta 01:42:22 i don't remember 01:42:24 `quote oklo.*ack 01:42:26 335) are there boobs you wack and squeeze around to move the mouse? [...] like those little nipples in laptop keyboards, but they'd be full-blown boobies \ 665) i think i'll just take the usual route and go do post doc research somewhere far away and never come back and become a drug lord and kill myself 01:42:28 help 01:42:29 `quote oklo.*acker 01:42:30 No output. 01:42:38 `quote oklo.*number 01:42:40 242) okay see in my head it went, you send from your other number smth like "i'd certainly like to see you in those pink panties again" and she's like "WHAT?!? Sgeo took a pic?!?!?! that FUCKING PIG" \ 400) god created the natural numbers, the rationals were done by man and the work was finally completed (topologically) by satan 01:42:41 -!- Sgeo has joined. 01:42:42 What ways are there to make C Turing-complete? Perhaps making a byte have an infinite number of bits? 01:42:46 I give up 01:42:47 i mean i've heard of it obviously 01:42:53 `quote inverse 01:42:55 No output. 01:43:09 zzo38: IO on unseekable streams? 01:43:46 "This inverse appears in the time complexity of some algorithms, such as the disjoint-set data structure and Chazelle's algorithm for minimum spanning trees." hey that's actually kind of noticeably a thing 01:44:34 meanwhile, https://secunia.com/blog/372 01:45:38 "In fact, this is asymptotically optimal: Fredman and Saks showed in 1989 that \Omega(\alpha(n)) words must be accessed by any disjoint-set data structure per operation on average" nice 01:45:47 also nice, that pasted correctly 01:47:29 the alpha and the omega 01:48:19 elliott: security drama is hilarious 01:49:14 "I think VLC mediaplayer in principle is an excelent peace of software. " i don't even know what this means. what's the VLC principle 01:49:29 it's excelent peace 02:05:09 -!- nooodl has quit (Quit: Ik ga weg). 02:11:31 -!- mnoqy has quit (Quit: hello). 02:11:33 Guess I should use a different video player 02:12:57 mplayer 4 lyfe 02:14:50 "World's #1 text MMO / MUD" ... "Where women wear real armor" 02:15:00 Is it not possible for women to wear real armor if you can see them? 02:15:09 -!- sardig has joined. 02:15:12 wh 02:15:18 So I decided to write a cipher, see if anyone can crack it! Hints: It is all ASCII code, available via keyboard. Cipher key: (Hexadecimal) http://pastebin.com/bN7UZCGw Encrypted text: (Hexadecimal): http://pastebin.com/KuKGf7Q0 02:15:23 Paste the ASCII deciphered(hint) result. 02:15:26 http://www.projectwonderful.com/img/uploads/pics/2970-1373396333.jpg 02:15:45 Also, that image does not make me think of a MUD. An MMO maybe, but not a MUD. 02:15:59 sardig: you're that challenge person with a bunch of names right 02:16:50 Available via keyboard 02:18:22 sardig: you could ask in ##crypto too 02:19:14 I could, but yarrkov does not like it. 02:19:39 so are there any details at all as to the code here or is it just a heap of bits that you have to decode with no information about the cipher 02:20:34 No further info. 02:20:41 But if you ask, ill be able to assist you 02:21:05 -!- Bike_ has joined. 02:21:14 -!- Bike has quit (Ping timeout: 246 seconds). 02:21:19 -!- Bike_ has changed nick to Bike. 02:23:05 alright i got this cipher 02:24:37 Did I ever tell you about the man who taught his asshole to talk? His whole abdomen would move up and down, you dig, farting out the words. It was unlike anything I ever heard. Bubbly, thick, stagnant sound. A sound you could smell. This man worked for the carnival, you dig? And to start with it was like a novelty ventriloquist act. After a while, the ass started talking on its own. He would go in without anything prepared... and his ass woul 02:25:09 pretty sure this message should have stayed ciphered, sardig. 02:25:40 Bike: Excusme? 02:25:55 that's the message isn't it 02:25:59 just a caesar cipher 02:26:00 Bike: That is not the cipher? 02:26:03 wow, sardig 02:26:10 that kind of challenge isn't welcome here imo 02:26:11 well obviously it's not the cipher, you pasted the cipher 02:26:14 it's the decrypted text 02:27:25 Bike: What did you exactly do? That is not the message. 02:28:03 it's just a caesar cipher, shift all the letters to the right a few places 02:28:13 i mean you could have at least gone for vignere, made it more challenging 02:28:38 Bike: Show us how you did it, because that is not the plaintext... 02:29:14 what do you mean show you it's the simplest cipher in the world 02:29:22 http://en.wikipedia.org/wiki/Caesar_cipher 02:30:03 imo the simplest cipher is the identity cipher hth 02:30:10 Bike: Are you trying to troll? 02:30:25 shachaf: that's just caesar zero. 02:30:39 Bike: How could you shift it so quick? 02:30:48 ok then it's not a cipher, it's a family of ciphers!! 02:30:54 uh... it's not like i was doing it by hand... 02:31:03 Bike: Then show us what you used. 02:31:17 IRC pro move: show up in a channel and immediately accuse channel regulars of trolling 02:31:35 kmc: That is not the plaintext... 02:31:42 you're mastring/mafingre right 02:31:42 You can even check yourself. 02:31:58 how can you check? you gave no details about the cipher 02:32:03 so the plaintext could be anything at all 02:32:27 I gave 2 details about the cipher 02:32:28 And a hint 02:33:20 Bike: http://realitystudio.org/texts/naked-lunch/talking-asshole/ 02:33:25 yes 02:33:26 hey, i have a challenge 02:33:28 You got what you said from there. 02:33:34 here's the ciphertext: yxkGC3YhlRmcmr96NsKiInoDC19I5IHizprvMOeypXpX4UfH4qRsg7V3nMUfxDHXXp8FuwvtDjH7 02:33:42 here's the key: D6u5utqNryrIPCwQuAdlUe 02:33:56 shachaf: Is it an actual cipher? 02:34:04 of course it is, he said so right there 02:34:07 what makes a cipher actual 02:34:10 what is government if words have no meaning 02:34:15 and I mean, I appareciate Burroughs as much as the next guy, but it's kind of weird to just come in the channel and paste it 02:34:19 It decodes to plaintext 02:34:39 most things do 02:34:56 Bike: Your attempt at trolling is not helping. 02:35:08 why do you keep saying that 02:35:19 Bike: You are yet to show me how you did it 02:35:33 ok but 02:35:37 > map (\x -> fromEnum (toEnum x + 3) :: Char) "hello" 02:35:38 Couldn't match expected type `GHC.Types.Char' 02:35:38 with actual type... 02:35:40 sardig: are you mastring/mafingre, I just want to know 02:35:45 always with the type errors 02:35:58 > map (\x -> (fromEnum (toEnum x + 3)) :: Char) "hello" 02:35:59 Couldn't match expected type `GHC.Types.Char' 02:35:59 with actual type... 02:36:57 > map (\x -> (toEnum (fromEnum x + 3)) :: Char) "hello" 02:36:58 "khoor" 02:37:00 there we go. 02:37:09 my actual code was in python but i don't think we have a python evalbot. 02:37:15 !python print 123 02:37:17 123 02:37:28 EgoBot is underappreciated, it does tons of languages 02:37:28 wow where were you five minutes ago dude 02:37:32 !languages 02:37:35 hmmmm 02:37:36 !help languages 02:37:37 ​languages: Esoteric: 1l 2l adjust asm axo bch befunge befunge98 bf bf8 bf16 bf32 boolfuck cintercal clcintercal dimensifuck glass glypho haskell kipple lambda lazyk linguine malbolge pbrain perl qbf rail rhotor sadol sceql trigger udage01 underload unlambda whirl. Competitive: bfjoust fyb. Other: asm c cxx forth sh. 02:37:42 Bike: ideone does 02:37:48 isn't linguine a kind of pasta 02:38:00 yes i know ideone does, but it's so trivial i wanted it just in the channel 02:38:16 are you like actually not aware of caesar ciphers? they're perfect to teach crypto to kids 02:38:27 @google linguine language 02:38:29 http://www.cbc.ca/thenational/indepthanalysis/rexmurphy/story/2013/02/21/thenational-rexmurphy-022113.html 02:38:29 Title: CBC News - The National - Rex Murphy - On Language and Linguine 02:38:32 Bike: So where is the key inputted? 02:38:33 sweet 02:38:58 it doesn't need the key, you just put that in to misdirect. 02:39:28 > map (\x -> (toEnum (fromEnum x + 3)) :: Char) "17e4c459841029f07a1fbeb011ba7e5d5cadb75628d1514e524ec877c34ca78241589c5849981725​f89ce03f3fb273f347b21982357d43725541c936d6726677abcd143bccead76f57765168b53dc3f0​268cd9" 02:39:28 :1:128: 02:39:29 lexical error in string/character literal at character '... 02:39:46 uh 02:39:59 i don't know what you expected 02:40:59 Bike: what? 02:42:11 ok look we're obviously fucking with you, because your 'challenge' is boring and technically impossible because as shachaf implied you could use an arbitrary algorithm to have arbitrary plaintext, and playing 'guess the commonly used algorithm' is no fun. ok? 02:42:29 plus if elliott is to be believed you're dumping this randomly into channels for some reason 02:42:30 Bike: You were trolling. 02:42:34 yes 02:42:57 well i just find the names things curious that's all 02:43:00 *thing 02:43:05 would be less curious if sardig answered :P 02:43:20 sardig: Are you mafingre/mastring/etc.? 02:43:32 elliott: Who/what is that? 02:43:43 sardig: two people with the same IP as you. 02:43:50 who joined using the same web client as you to ask the same challenges as you. 02:44:07 so uh, I was trying to give the benefit of the doubt there but are you actually denying you're them. 02:44:11 I have only ever joined once as this name. 02:44:17 yes, "as this name". 02:44:20 Well, I live in a shared apartment 02:44:25 lol 02:44:27 oh, god, don't even do that. 02:44:41 Don't do what? 02:44:50 Live in a shared apartment? 02:45:07 claim your roommate came in and did something objectionable (not that this is really that objectionable anyway!) when somebody notices your IP did something objectionable. 02:45:09 ok, look, it's really really obvious that they're you. 02:45:29 like, you can just forget that. i'll forgive you if you stop insulting all our intelligence by implying you're not them. i mean seriously. 02:45:51 i mean, we've all been around the block a few times. as you know i am an accomplished troll, familiar with exciting troll tactics such as weird excuses and resetting my router to get a slightly different IP that is noticed in two seconds. 02:46:15 Bike: I knew you were trolling, you were not accomplished. 02:46:25 shit 02:46:50 sardig: have I not made it clear that you're digging yourself a pretty deep hole here. 02:46:56 like, stop. 02:47:11 look i'm sorry for being mean but seriously nobody cares about your challenge, aight 02:47:38 you know i don't actually own Naked Lunch, I do have Junkie but it's too psychotic for me to read 02:47:56 I should watch the movie sometime though. 02:48:05 of naked lunch, not junkie. i don't think there's a movie of junkie. 02:50:48 `seen Gracenotes 02:50:52 2013-07-15 07:04:00: I think I will have to skip that, didn't plan far enough ahead 02:51:05 still disappointed he didn't get high, tbh 02:51:26 who / what 02:51:31 gracenotes. 02:51:40 when 02:51:52 uh... around 7:04:00 apparently. 02:52:16 oh 02:52:32 well getting hi is the beginning of any good phone call 02:52:37 hi Bike 02:52:42 Hi 02:52:47 like, totally, man 02:53:09 Terribly mean. 02:53:41 sardig: So are you mafingre etc. or are you a different person using the same IP address joining the same channel to give the same sort of challenge? 02:54:10 I may or may not be mafingre's room-mate 02:54:15 no, look, don't. 02:54:29 sardig: Just answer the question. 02:54:59 Yes. 02:55:12 Yes what? 02:55:12 cute 02:55:24 I am mafingre 02:55:40 ok cool so what was with the whole roommate thing. I mean really. you could have just said. 02:55:40 see, there we go. 02:55:44 I was just curious. 02:56:16 Can i ask a serious question about a project I am working on though? 02:56:20 sure 02:57:20 I am creating a messaging software (secure) And thinking of using sha256; well, the only time it uses the sha hash is to send the pass for conformation, then it uses the md5 hash of the pass as the key for the encryption (AES) , the server then uses this encryption to send the iv to the client, and then they both use the md5 hash and the iv to do any other encrypting of messages 02:57:26 iv is a random long generated on server startup 02:57:44 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 02:57:46 why switch algos? 02:57:47 Maybe this challenge is more appropriate for ##crypto. 02:57:47 How does that sound? is it safe/secure? 02:58:10 shachaf: Currently banned there. 02:59:06 kmc: A jar? For cooking rice? 02:59:10 what did you get banned for :P 02:59:14 OK, it doesn't work very well if the person isn't even in the channel. 02:59:31 elliott: Yarrkov did not like my challenges. 02:59:46 He had a little fit. 03:00:03 He is finnish too. 03:00:16 Do you really want to oppress a minority? Because Finns are a minority 03:00:21 no shachaf don't 03:00:36 I just said he was finnish 03:00:45 he's referencing a recent internet fit 03:01:00 imo I gave linus one quote too many the first time 03:01:13 anyway i suppose using the same "iv" for channels across one server invocation could be insecure, maybe the attacker can use the similarity to break encryption, or whatever 03:01:20 Is linus on freenode? 03:01:56 (Like) Linus 03:02:03 Torvalds 03:03:05 Bike: if we wanted, we could have a unique iv per connection 03:03:52 hm, whatshisname (scheiner) had a free book on security didn't he 03:04:00 free and/or i pirated it, anyway it's gonna be better than me 03:04:11 He is the cryptography master 03:04:15 The IV isn't meant to be encrypted in the first place. 03:04:36 is that a thing? i'm just reading "intravenuous" 03:04:37 if it helps it's "AES/CBC/PKCS5Padding" (the algo we are using) 03:04:54 What you should be using is a high-level cryptography library. 03:04:58 As most junkies would 03:05:11 Hmm, or maybe you are in this case. I don't know. 03:05:17 Initialization vector 03:05:21 But you shouldn't be thinking about sha256 and md5 yourself. 03:05:40 Would you like to see my Java code? 03:05:43 No. 03:05:48 That I have implemented for the algo. 03:05:52 Ill setup a SVN 03:05:59 errrr do you know the first rule of cryptography 03:06:20 I don't especially want to help you in the first place, since you joined this channel after being banned from ##crypto, lied about who you are repeatedly, and accused people of trolling. 03:07:06 shachaf: I accused correctly. 03:07:08 Also if I help you implement cryptography you'll surely get it wrong anyway -- that's how it works -- but maybe it'd be in a less obvious way, so more people would use your code. So net harm increase. 03:07:37 Anyways back to my original question, so, yes to sha256? 03:07:40 Would it help? 03:07:45 No. 03:07:50 yeah the first rule of cryptography is don't roll your own, because you're gonna make some minor screwup and nobody's going to notice until your bank's on fire and you have to move to Guam 03:07:52 shachaf: How so? 03:07:55 sardig: you should drop the trolling accusation. 03:08:04 -!- ChanServ has set channel mode: +o kmc. 03:08:09 elliott: He even admitted to trolling... 03:08:15 hi kmc 03:08:18 hi elliott 03:08:22 shit, there goes kmc's voice. 03:08:27 -!- ChanServ has set channel mode: +o elliott. 03:08:31 i felt left out 03:08:33 :o 03:08:36 kmc didn't have voice anyway 03:08:37 Bike: ummm he hasn't had voice for like weeks 03:08:43 elliott: imo voice me. 03:08:55 don't you know anything about impartiality 03:09:03 i could voice a completely random person 03:09:10 I,I impartial function 03:09:20 i think you knowing anything about impartiality makes it impossible for you to be impossible about impartiality. 03:09:26 impartial* 03:09:29 Also impossible. 03:09:33 md5 is used for 128bit key 03:09:39 Bike: do you want a voice or the opposite of a voice here. 03:09:50 i don't... what's the opposite of a voice. 03:10:22 have you ever seen The Matrix 03:10:29 like... once? 03:10:37 oh, that scene. 03:10:41 I have seen it once. 03:10:47 Thought it was hacker nonsense. 03:11:40 hm you should op me 03:11:48 i'll deop myself soon thereafter 03:12:10 i think oerjan would fire me, hth 03:12:43 fizzie did it once 03:12:45 no harm 03:13:12 who's the opposite of shachaf in here 03:13:15 (impartiality-related question) 03:13:21 hm. 03:13:40 now THERE'S a challenge 03:14:14 elliott: That is a mindless challenge 03:14:29 wow, rude 03:14:55 Hardly, just saying not much thought would be involved 03:15:04 It is not like it is a puzzle or anything 03:15:20 you know sudoku can be solved automatically? 03:15:23 like, thoughtlessly. 03:15:28 being "a puzzle" doesn't mean anything. 03:15:37 Bike: Yes, its not challenging 03:15:44 You know my challenge requires thought. 03:15:47 dude, what is thought, even, woah 03:15:50 no, i really don't 03:15:58 well, I think if you don't think figuring out who the opposite of shachaf is requires thought, then you don't know shachaf very well 03:16:10 to solve your challenge i have to figure out what algorithm you used, which is mostly something i have to figure out from your personality 03:16:14 elliott: perhaps i'm self-dual 03:16:18 `addquote <@elliott> well, I think if you don't think figuring out who the opposite of shachaf is requires thought, then you don't know shachaf very well 03:16:21 shachaf: like the magestic photon 03:16:22 1073) <@elliott> well, I think if you don't think figuring out who the opposite of shachaf is requires thought, then you don't know shachaf very well 03:16:36 btw the main thing with your challenge is that the ciphertext and key you gave don't actually add any information 03:16:42 since the algorithm can be literally anything and do literally anything with them. 03:16:53 the question is equivalent to "what number am I thinking of?" 03:16:59 elliott: 4 03:17:11 elliott: fizzie once solved one of my cipher challenges 03:17:13 it was actually probably 1073 if anything 03:17:21 well, now it's 4 03:17:25 I gave him the same info 03:17:28 well the digital root of 1073 is half of 4. 03:18:00 sardig: yes, there's a correct answer if we can guess what algorithm you used, based on what we can guess about you, and assuming you don't just lie (which, while you might not do so, is perfectly possible given the lack of constraints on the puzzle) 03:18:14 sardig: was that in another channel or something 03:18:41 and anyway, "I guessed what someone on IRC was thinking" isn't very satisfying to finish. 03:18:43 elliott: It was in ##asm 03:18:51 that seems off topic in asm... 03:19:04 well not any more off-topic than in #esoteric 03:19:04 Bike: Well, fizzie is a smart person 03:19:07 anyway not all of us are as cool as fizzie 03:19:09 unfortunately 03:19:10 can anyone decrypt this message? 8============================================D 03:19:11 :( 03:19:13 He is also finnish 03:19:18 ok well #esoteric is the opposite of topical 03:19:19 at all times 03:19:30 It is esoteric after all! Ha 03:19:35 ha indeed 03:19:38 he is a smart person but i don't know what that has to do with anything really 03:19:44 elliott: if you could insert a voice recognition joke here 03:19:55 let's just assume I made one 03:20:09 Has anyone met fizzie IRL? 03:20:10 Bike: how can fizzie do voice recognition..............when no one has voice 03:20:15 checkmate 03:20:20 therefore +v me 03:20:23 shachaf 03:20:25 Gregor has voice. 03:20:32 shachaf we need to find your opposite first. 03:20:35 to preserve the balance. 03:20:41 elliott: i guess i'm not very good at voice recognition.............................. 03:20:44 ##philosophy is trollsville 03:20:51 did you ask ##philosophy too 03:21:03 telling us about all these channels you spammed isn't really endearing. 03:21:07 Bike: Do you know things about boolean groups? 03:21:08 actually it is 03:21:15 Bike: I.e. groups where every element is its own inverse. 03:21:20 different sense of "endearing" 03:21:24 shachaf: not very many things :( 03:21:36 is there one besides GF(2) 03:21:37 Bike: xor is a good example!! 03:22:34 Are there any other good examples? 03:22:52 anyway it means e.g. that a+b=c <==> a=b+c 03:22:57 and that the group is commutative 03:23:00 and things 03:23:15 isn't there only one group of order two 03:23:37 ? 03:23:45 The elements are of order (at most) 2, not the group. 03:23:49 oh 03:26:18 -!- carado has quit (Quit: Leaving). 03:32:36 kmc: it's great to be on top 03:33:03 kmc: i decrypted it and it's a kitten 03:33:11 aww. 03:33:19 not a binary encoding of a kitten, an actual kitten 03:33:21 help 03:33:40 wow 03:33:44 a christmas miracle 03:34:18 can't handle a kitten right now :'( 03:34:21 should i encrypt it 03:34:59 elliott can I have op too 03:35:08 are you going to ban me :( 03:35:15 how about we just op everybody simultaneously 03:35:22 Fiora: greedy 03:35:22 and whoever's left in the channel last wins 03:35:27 Fiora: do you even have anything to do with it 03:35:40 the @ looks cool! 03:35:46 ok, granted. 03:35:49 @Fiora 03:35:55 managed box containing elliott 03:36:02 you and your rust...... 03:36:12 I'll let you know my box isn't managed at all 03:36:18 anyway http://math.stackexchange.com/questions/17054/group-where-every-element-is-order-2 03:36:25 also I want to be part of the cool @ club :< 03:36:35 if i'm reading this right they're all whatevertheufuck-dimensional vector spaces, but i'm probably not reading it right 03:37:29 i think the need for the @ has vanished now anyway 03:37:31 -!- elliott has set channel mode: -o elliott. 03:37:34 rip cool club 03:37:40 kmc is still cool 03:37:47 wasn't the only need for it that you wanted to look cool next to kmc 03:37:50 -!- ChanServ has set channel mode: +o elliott. 03:37:51 -!- elliott has set channel mode: -o kmc. 03:37:52 (you failed btw........) 03:37:53 -!- elliott has set channel mode: -o elliott. 03:37:56 rip cool club 03:38:16 that wasn't as good as the time I deopped shachaf in #haskell :/ 03:38:37 help 03:38:43 what time was taht 03:38:58 it was a spammer or something and we both opped and I got to it before you 03:39:01 so I saved you the effort 03:39:22 oh 03:39:31 and then the ban wasn't quite right or something so i had to reöp? 03:39:35 or did i just complain 03:39:39 you just complained 03:39:47 i can believe that 03:58:21 -!- sprocklem has joined. 04:18:09 -!- kallisti has quit (Ping timeout: 248 seconds). 04:35:57 status: drinking scotch out of a MongoDB coffee mug 04:36:21 kmc: everyone seems to have those 04:36:28 do you 04:36:31 no 04:36:37 but i'm ""biased"" 04:37:10 oh? 04:37:16 is it because mongodb is bro-scale 04:37:50 well i worked at a competitor 04:37:56 come to think of it i didn't get any mugs, though 04:38:26 heh 04:38:35 i guess you did 04:38:40 whose mongodb mug is it 04:38:46 unclear 04:45:57 also bought an ``e-cigarette'' 04:46:07 the tip glows blue when you use it 04:48:21 oh no 04:48:42 are you going to ``e-smoke´´ it 04:48:54 already doing 04:49:16 #drugz 04:49:32 enjoy your um, digital nicotine? 04:49:48 N1C0T1N3 04:59:42 -!- Bike has quit (Quit: breathing). 05:04:38 -!- pikhq_ has quit (Ping timeout: 248 seconds). 05:05:07 whoa, dude, Wikipedia got a WYSIWYG editor? 05:12:14 -!- pikhq has joined. 05:27:46 I wish the DotA map were rotated a bit, so the DotA 2 logo would be % 05:30:30 How many light-hours from Earth to Pluto? 05:31:19 -!- Bike has joined. 05:36:04 -!- sacje has quit (Ping timeout: 256 seconds). 05:36:33 -!- sacje has joined. 05:39:47 shachaf: it's only been coming for, like, 8 years 05:40:47 hi Gracenotes 05:40:50 how's your new job? 05:41:10 zzo38: http://www.wolframalpha.com/input/?i=distance+from+earth+to+pluto+in+light-seconds 05:41:12 hi Gracenotes 05:41:14 15,714 light seconds 05:41:28 I'm busy figuring out wtf is going on. 05:41:35 4.365 light hours 05:41:40 Gracenotes: I thought you were an expert! 05:41:45 2.1825 heavy hours 05:41:53 Gracenotes: me too :/ 05:42:11 chasing down a segfault in Servo, memory-safe language my ass 05:42:39 yay, segfaults 05:42:44 $ grep 'unsafe' $(find -name '*.rs' -o -name '*.rc') | wc -l 05:42:44 4612 05:42:49 kmc: I thought it was proved 05:42:54 it was the safestest 05:43:44 People I have evidence that the Chinese anticipated the men who stare at goats by over two centuries 05:43:50 Observe: Sheep in military formation http://upload.wikimedia.org/wikipedia/commons/f/f7/Receiving_the_surrender_of_the_Yili.jpg 05:43:50 perhaps gadts will fix your segfaults 05:44:02 i took five unsafeCoerces out of lens using gadts!! 05:44:12 congratschaf 05:44:27 now i want to convert it to use Proxy 05:44:32 is there a bounty for each one 05:44:40 why not use MACHINES 05:44:43 ? 05:44:48 Proxy as in data Proxy a = Proxy 05:44:53 oh. pssh. 05:44:54 not "that weird one" 05:44:58 such a nice simple data type 05:44:59 the one true Proxy 05:45:05 kmc: Proxy is the best imo 05:45:07 what's the point of that type 05:45:21 passing a type as a parameter, more or less 05:45:24 shachaf: did you see https://github.com/mozilla/rust/issues/7671 :/ 05:45:25 humankind is not yet advanced enough to construct lens library without unsafeCoerce 05:45:35 Gracenotes: um, we did 05:45:52 well, totally without it, yeah 05:45:53 kmc: oh no 05:45:59 does servo use phantom types 05:46:03 yes 05:46:06 yay 05:46:17 shachaf: is 'a' usually higher-kinded, in Proxy? 05:46:29 the DOM has a phantom type parameter and this is used to restrict what the script task vs. the render task can do with it 05:46:31 No, it's usually :: *. 05:46:33 Proxy f -> f c -> ... 05:46:36 ah k 05:46:37 oh, right, you mentioned. 05:46:45 Gracenotes: Polykinded Proxy is coming, or something. 05:46:46 Bike: Take typeOf. 05:46:47 :t typeOf 05:46:48 Typeable a => a -> TypeRep 05:46:52 > typeOf (5 :: Int) 05:46:53 Int 05:46:56 > typeOf (undefined :: Int) 05:46:57 Int 05:47:19 It doesn't actually use its argument -- that's just used for picking a type class instance. 05:47:26 kmc: I'm a bit disappointed that just gives a single number, instead of some kind of time slider thing, or at least a graph. (At least it does accept "at YYYY-mm-dd" specifiers.) 05:47:34 But you can define typeRep :: Typeable a => Proxy a -> TypeRep 05:47:48 And then you can say typeRep (Proxy :: Proxy Int), no undefined necessary. 05:48:03 Oh, plain "distance from earth to pluto" yields a graph. 05:48:10 and it also doesn't involve any allocation. that nice. 05:48:21 Allocation? 05:48:58 well, it's a nullary constructor, the strictness analyzer might not bother setting up a closure for it 05:49:14 or somethin. 05:51:12 Anyway, I have a lot of things to learn. I have classes essentially 6-7 hours a day this week. 05:51:29 Google-classes? 05:51:45 how long does that go on? 05:52:23 maximal density, then half density, then less density 05:52:36 Gracenotes: But undefined won't get allocation either, presumably, presumably. It's just shared. Or am I wrong? 05:53:09 do you have a class on sphere packing 05:53:33 zeno's google classes 05:53:39 are they interesting? 05:53:59 shachaf: hm, perhaps. different closure types for sure, if they are both closures and not optimized out by some means 05:54:34 I'm just thinking of it as analogous to [] or Nothing or especially (), around which some optimization occurs 05:54:46 Sure. 05:54:50 kmc: I shall see! 05:55:00 I don't see a reason for allocation at any rate. 05:55:07 I mean in any case. 05:55:15 Especially not if typeOf gets inlined. :-) 05:56:51 that would be a good thing yesh 05:57:01 kmc: imo rust should get rank-2 types implemented with a jit 05:57:10 "I know you have a dictionary somewhere, ghc... give it to me..." 05:57:15 "Hales estimates that producing a complete formal proof will take around 20 years of work." christ 06:08:37 kmc: is "copy" gone yet 06:09:26 working on it 06:09:36 Bike: of what 06:09:48 I guess not. 06:10:21 proof that the usual sphere packing is the most efficient 06:15:51 kmc: rustc takes a long time to compile rustc, too :'( 06:16:02 shachaf: What is "that weird one"? 06:16:42 zzo38: Proxy? 06:16:45 @hackage pipes 06:16:45 http://hackage.haskell.org/package/pipes 06:18:36 Is there an easy way to generate rust tags? 06:18:39 ctags, I mean. 06:20:25 -!- Poolala has joined. 06:20:58 i don't know of any such way 06:21:41 A hard way? https://github.com/mozilla/rust/issues/1731 hints at a regexp thing. 06:22:12 i don't know of a hard way, either 06:22:20 I just use ack-grep 06:22:26 So do I. 06:22:35 well then 06:28:38 The enum vs. struct distinction is odd. 06:29:00 There's various code in the compiler that treats them differently even where it wouldn't really seem necessary. 06:29:49 -!- kallisti has joined. 06:29:49 -!- kallisti has quit (Changing host). 06:29:49 -!- kallisti has joined. 06:32:51 yeah 06:33:04 there do seem to be a number of things like that 06:33:42 I was talking with sully about how traits can have type parameters, which makes them act like a poor man's MPTC, but this was only realized after the fact because there aren't enough diehard Haskellers on the Rust team :/ 06:34:07 it's not exactly like MPTC either, the last parameter is special in various ways (e.g. you can implicitly existentially quantify over it, by using the trait name as a type) 06:35:17 also static methods of a trait are implemented differently from non-static, whereas in Haskell you can put the typeclass parameter on the LHS or RHS of -> or both and (I believe) compilers mostly don't care 06:36:14 are functions expecting traits specializable to particular types? 06:36:23 making everything static, essentially 06:37:15 kmc: wherever the parameter is, you're still passing *in* a dictionary, yeah. (or inlining) 06:38:05 it's the inlining one 06:39:04 in Rust a polymorphic function is compiled separately for each instantiation, kinda like C++ templates 06:39:14 Is that officially part of the language semantics or only the implementation? 06:39:36 I guess they do a template-specialization thing, so maybe it would have to be the former... 06:40:12 -!- Poolala has quit (Quit: Page closed). 06:40:50 so there's no such thing as a vtable? 06:41:59 -!- sprocklem has quit (Remote host closed the connection). 06:42:42 Presumably that's the existential thing kmc mentioned. 06:43:37 oh, may well be. 06:44:44 there may be benefits to universal quantification and vtables, like trading off codesize and codeperformance. 06:45:02 -!- mnoqy has joined. 06:46:19 although, yes, Rust is already pretty heavy on syntax for operational control... 06:49:27 * Gracenotes is now just making things up 06:51:39 yeah, when you use a trait as a type, you end up with something like a vtable 06:51:40 I think 06:51:52 shachaf: I don't know if it's officially part of semantics 06:52:42 anyway it's hard to compile polymorphic functions once, if the types at which they can be used vary in size and other properties 06:53:06 Java and Haskell and such get away with it because they enforce this uniform representation where everything is a pointer to a heap object with certain stuff 06:56:15 there's a Real World OCaml now o_O 06:59:05 -!- sacje has quit (Quit: sacje). 06:59:28 oh and Jason Hickey is one of the authors! 07:01:18 https://en.wikipedia.org/wiki/Jaffa_cakes#Categorisation_as_cake_or_biscuit_for_VAT 07:04:28 -!- THEGH05T has joined. 07:04:54 YO 07:05:15 -!- THEGH05T has left. 07:05:57 hi 07:06:03 he had root 07:06:32 that was glorious 07:13:51 -!- intosh has joined. 07:23:54 * shachaf back 07:24:05 I should go to sleep, though, to get my sleep all fixed up. 07:26:38 -!- conehead has quit (Quit: Computer has gone to sleep.). 07:26:52 perhaps I should do that 07:45:22 Hmm, enums are really treated entirely separately in the compiler. 07:45:34 That's pretty odd. 07:52:22 -!- Taneb has joined. 08:00:52 -!- EgoBot has quit (Remote host closed the connection). 08:01:17 -!- EgoBot has joined. 08:21:34 -!- MindlessDrone has joined. 08:40:23 -!- copumpkin has quit (Ping timeout: 264 seconds). 08:41:00 -!- copumpkin has joined. 08:51:33 -!- FreeFull has quit. 08:53:17 -!- FreeFull has joined. 08:58:23 hion 08:58:55 did you figure out any new fancy type things 09:13:08 -!- AnotherTest has joined. 09:15:52 -!- carado has joined. 09:19:18 -!- clog has quit (Ping timeout: 245 seconds). 09:19:26 -!- clog has joined. 09:25:06 -!- carado has quit (Ping timeout: 240 seconds). 09:25:19 -!- carado has joined. 09:27:31 -!- epicmonkey has joined. 10:07:21 -!- tebuan has joined. 10:07:42 -!- tebuan has left ("ERC Version 5.3 (IRC client for Emacs)"). 10:09:42 -!- shachaf has quit (Ping timeout: 248 seconds). 10:10:22 -!- shachaf has joined. 10:38:28 -!- oerjan has joined. 10:39:44 thanks linus :| <-- did anyone suggest the compromise that he can only swear in finnish twh 10:57:29 -!- coppro has quit (Ping timeout: 246 seconds). 10:57:37 -!- coppro has joined. 11:01:22 -!- Sgeo has quit (Read error: Connection reset by peer). 11:01:50 I mentally pronounced "cache" as "cash-ay" before I knew how it's really pronounced and now I can't stop <-- i mentally pronounce it with a long a hth 11:02:21 I pronounce it "catchee" 11:08:15 a catchy pronunciation 11:54:46 -!- Frooxius_ has joined. 11:56:37 -!- Frooxius has quit (Ping timeout: 276 seconds). 12:00:59 -!- L8D has joined. 12:01:34 So...Does this seem at all original? It's a semi-esoteric lang inspired by ternary operators: https://github.com/L8D/tran 12:03:36 L8D: depends... at least it's not a brainfuck equivalent 12:04:28 yeah 12:05:07 on the other hand... it seems a bit like "take language X and replace some symbols" 12:05:39 for most languages (definitely not all of them) the semantic of the language are what make it special, not the syntax 12:05:49 *semantics 12:06:04 I originally started with the idea of a javascript equivalent in which could be efficiently minimized 12:07:17 @tell elliott who's the opposite of shachaf in here <-- i suggest Vorpal hth 12:07:17 Consider it noted. 12:07:21 I wanted something that would be easy and fun to write in....instead of an actually useful one 12:08:04 I'd say very original languages are usually totally different (and thus not based on) any existing language 12:08:05 I'm planning on it being a symbiotic language of js 12:08:25 okay 12:08:25 -!- Jafet has joined. 12:08:44 L8D: so maybe not the most original, but don't really care about that as long as you're having fun 12:08:53 :) 12:10:58 even though I don't do much javascript programming, I really like how it feels "vintage" 12:11:22 but still will behaive like a modern language when you need it to 12:12:48 -!- Nisstyre has quit (Quit: Leaving). 12:14:07 @tell shachaf boolean groups are basically vector spaces over GF(2), i think. which means they're determined up to isomorphism by the cardinality of their vector basis. 12:14:07 Consider it noted. 12:14:49 @tell shachaf so, basically just xor with your chosen no. of bits, which can be transfinite. 12:14:50 Consider it noted. 12:22:51 @tell Bike if i'm reading this right they're all whatevertheufuck-dimensional vector spaces, but i'm probably not reading it right <-- you were reading it right hth 12:22:51 Consider it noted. 12:24:27 -!- Phantom_Hoover has joined. 12:44:43 -!- Taneb has quit (Ping timeout: 276 seconds). 12:49:31 -!- Taneb has joined. 12:55:42 -!- boily has joined. 13:06:14 -!- Taneb has quit (Ping timeout: 240 seconds). 13:08:33 -!- Taneb has joined. 13:12:53 My vectors have א‎₁ bits 13:13:16 -!- metasepia has joined. 13:23:41 ~metar CYUL 13:23:41 CYUL 161300Z 02005KT 15SM FEW240 27/18 A3023 RMK CI1 AC TR SLP237 DENSITY ALT 1100FT 13:37:47 -!- `^_^v has quit (Quit: This computer has gone to sleep). 13:38:45 -!- `^_^v has joined. 13:57:58 @oeis 6 21 107 47176870 13:58:00 Sequence not found. 13:58:18 @oeis 1 1 1 1 1 13:58:37 Plugin `oeis' failed with: <> 13:59:02 @oeis 1,1,1,1,1 13:59:04 The simplest sequence of positive numbers: the all 1's sequence.[1,1,1,1,1,1... 13:59:19 That's pretty subjective 14:01:22 what could be simpler? 14:02:58 [] 14:03:03 (meanwhile, http://www.theweathernetwork.com/alerts/high-alert/canada/quebec/montreal. it is stuffy, damp, humid, hot, steamy, sultry, and otherwise not fun outside.) 14:03:55 -!- absolutinen has joined. 14:04:28 Jafet: I think it may count as only a degenerate case. 14:07:20 -!- oerjan has quit (Quit: leaving). 14:12:42 -!- jsvine has joined. 14:13:25 -!- sebbu2 has joined. 14:15:24 -!- absolutinen has left ("Sto andando via"). 14:16:59 -!- sebbu has quit (Ping timeout: 264 seconds). 14:26:54 @oeis -1, 0, 1, 0, -1 14:27:04 Numerator of Bernoulli number B_n.[1,1,1,0,1,0,1,0,1,0,5,0,691,0,7,0,3617,0,... 14:37:17 -!- sebbu2 has changed nick to sebbu. 14:40:47 well, as infinite sequences go, 1,1,1,... is impressively trivially computed. 14:41:45 What about 0, 0, 0... 14:41:48 how is that harder 14:42:50 > iterate ([]:) [] 14:42:52 [[],[[]],[[],[]],[[],[],[]],[[],[],[],[]],[[],[],[],[],[]],[[],[],[],[],[],... 14:43:09 @oeis 0,0,0,0,0 14:43:23 Expansion of Jacobi theta function theta_3(x) = Sum_{m = -infinity..infinity... 14:43:33 see, that's hard. 14:44:20 I stand correctquenced. 14:45:19 @oeis 1, 2, 3, 4 14:45:30 The natural numbers. Also called the whole numbers, the counting numbers or ... 14:45:53 I thought I started from 1, not from 0? 14:46:15 @oeis 0, 1, 2, 3 14:46:23 Digital sum (i.e. sum of digits) of n.[0,1,2,3,4,5,6,7,8,9,1,2,3,4,5,6,7,8,9... 14:46:30 hm... 14:54:48 @oeis 2,2,2,2,2 14:54:58 Number of distinct primes dividing n (also called omega(n)).[0,1,1,1,1,2,1,1... 14:58:25 -!- nooodl has joined. 15:08:10 I'm beginning to fear that there's something wrong with oeis... 15:09:57 @oeis 3 11 94 15:09:58 Sequence not found. 15:10:02 @oeis 3, 11, 94 15:10:03 Sequence not found. 15:10:07 :( 15:10:19 @oeis 1, 2, 4, 8, 15 15:10:21 Cake numbers: maximal number of pieces resulting from n planar cuts through ... 15:32:57 -!- Taneb has quit (Quit: Leaving). 15:37:37 -!- Bike has quit (Ping timeout: 248 seconds). 15:46:36 -!- dessos has joined. 15:55:13 -!- AnotherTest has quit (Ping timeout: 248 seconds). 16:00:18 -!- mnoqy has quit (Quit: hello). 16:01:44 -!- jsvine has quit (Quit: Leaving.). 16:05:17 @oeis 0,1,4,11,23,45,82 16:05:19 Length of shortest Golomb-like (for sums of triples) ruler with n marks.[0,1... 16:11:08 shachaf: what do you think of the fact that in Rust you can dereference a pointer with & as well as * 16:11:12 by using & on the LHS of a pattern match 16:21:43 -!- conehead has joined. 16:23:19 -!- Taneb has joined. 16:32:37 -!- jsvine has joined. 17:06:17 -!- augur_ has quit (Remote host closed the connection). 17:07:28 -!- carado has quit (*.net *.split). 17:07:29 -!- MindlessDrone has quit (*.net *.split). 17:07:29 -!- upgrayeddd has quit (*.net *.split). 17:07:29 -!- mtve has quit (*.net *.split). 17:07:29 -!- ggherdov has quit (*.net *.split). 17:07:29 -!- myndzi has quit (*.net *.split). 17:10:22 -!- carado has joined. 17:10:22 -!- MindlessDrone has joined. 17:10:22 -!- upgrayeddd has joined. 17:10:22 -!- mtve has joined. 17:10:22 -!- ggherdov has joined. 17:10:22 -!- myndzi has joined. 17:13:29 -!- Nisstyre-laptop has joined. 17:24:31 -!- dessos has left. 17:26:56 -!- pikhq_ has joined. 17:28:20 -!- kmc_ has joined. 17:32:59 -!- AnotherTest has joined. 17:33:05 -!- quintopi1 has joined. 17:33:13 Hi 17:33:27 @oeis 6, 21, 107, 47176870, 7.4 × 10^36534 17:33:28 Sequence not found. 17:33:38 @oeis 6, 21, 107, 47176870 17:33:38 Sequence not found. 17:34:58 -!- copumpkin has quit (*.net *.split). 17:35:00 -!- pikhq has quit (*.net *.split). 17:35:00 -!- yiyus_ has quit (*.net *.split). 17:35:00 -!- quintopia has quit (*.net *.split). 17:35:00 -!- kmc has quit (*.net *.split). 17:35:53 -!- epicmonkey has quit (Read error: Operation timed out). 17:36:27 -!- copumpkin has joined. 17:38:05 -!- sardig has quit (Ping timeout: 250 seconds). 17:39:29 -!- yiyus has joined. 17:44:57 -!- sacje has joined. 17:44:59 -!- kmc_ has changed nick to kmc. 17:48:19 -!- atrapado has joined. 17:53:54 ~metar CYUL 17:53:54 CYUL 161700Z 23008KT 15SM FEW040 30/19 A3020 RMK CU1 SLP228 DENSITY ALT 1500FT 18:02:10 * kmc reads about Pierre Trudeau 18:03:07 * boily senses a great disturbance in the Canadian force 18:07:18 -!- sprocklem has joined. 18:10:20 -!- glogbackup has joined. 18:11:36 kmc, have you read enough to determine whether he exists 18:11:43 no 18:17:14 I have played a game called CthulhuMUD. It is very sophisticated, with a large number of skills, spells, professions, and areas available (but a small number of races). A local single-player open-source version (some things are not applicable and would not be implemented, of course), might be interesting to have; in such case, to also have permadeath and real ephemerides. Real ephemerides is what I would want such thing to have. 18:17:54 There are other MUDs; DoorMUD isn't quite as sophisticated though and not as interesting really. (I found all of these on X-BIT.) 18:19:26 ~duck ephemerides 18:19:26 In astronomy and celestial navigation, an ephemeris (plural: ephemerides; from the Greek word "diary", "journal") gives the positions of astronomical objects in the sky at a given time or times. 18:21:22 llvm[5]: Compiling LegalizeIntegerTypes.cpp for Release+Asserts build 18:21:38 There are software libraries, such as Swiss Ephemeris, but I don't know that that one would be suitable in this case, since as far as I can tell it does not calculate the rotation of Pluto. 18:25:26 -!- L8D has quit (Ping timeout: 240 seconds). 18:26:11 It would be good to have the ephemerides for all the planets and dwarf planets; that way, even if there is nothing on those planets, since it is open-source someone will certainly add stuff onto those planets/dwarf planets including the newly discovered ones. 18:36:31 -!- Bike_ has joined. 18:38:03 -!- itsy has joined. 18:38:28 do we have higher-order moons in our Solar System? like moons orbiting moons orbiting moons orbiting planets and whatnots... 18:39:30 There's an asteroid with a moon 18:40:23 boily: I don't know. Maybe it is interesting to know. 18:41:49 a quick search yields country music: http://www.amazon.com/High-Moon-Order-Betse-Ellis/dp/B00CMYX3J2 18:41:58 zzo38: ↑ is that what you had in mind? 18:42:13 kmc: You can? What does that do? 18:42:30 boily: next() on that generator please 18:43:58 ~duck high order moon 18:43:58 --- No relevant information 18:44:12 ~duck higher-order moon 18:44:13 --- No relevant information 18:44:53 -!- epicmonkey has joined. 18:45:03 boily: No. 18:45:04 http://en.wikipedia.org/wiki/Dysnomia_(moon) 18:45:10 http://www.popsci.com/scitech/article/2008-04/could-moon-have-moons 18:45:20 boily: heh, I was just going to paste that 18:45:50 http://en.wikipedia.org/wiki/Natural_satellite#Satellites_of_satellites source of all knowledge 18:46:07 so rank N moons *could* exist, but they're a kind of grue. (or bleen, if you prefer.) 18:46:12 "A moon’s moon will tend to be a short-lived phenomenon." :( 18:46:26 the Universe is a sad, inconsiderate place. 18:46:53 as is Finland. 18:46:55 Well, speaking of high-order stuff 18:46:56 http://en.wikipedia.org/wiki/List_of_list_of_lists 18:47:33 elliott: well, yes, but finland has also cute TREES. 18:47:37 I'm a bit disappointed that they don't have a list of lists of lists of lists though 18:48:29 kmc: Oh. 18:48:34 That's what I get for using /last. 18:50:18 Hm. I didn't know about http://en.wikipedia.org/wiki/Disambiguation_%28disambiguation%29 18:50:39 oerjan: Aha. 18:51:10 what's /last? 18:51:21 an irssi command to grep your scrollback. 18:51:41 oeran: That's not too surprising. Self-inverse is a pretty odd property. 18:51:54 oerjan, rather. 18:56:09 @tell oerjan shachaf is saying things to you about self-inversion, oddities, and properties. 18:56:09 Consider it noted. 18:57:00 @messages-loud 18:57:01 You don't have any messages 18:57:10 Oh, wait. 18:57:37 -!- Bike_ has changed nick to Bike. 19:12:20 -!- zzo38 has quit (Remote host closed the connection). 19:14:29 -!- itsy has left. 19:19:49 help, I click a link to a conal blogpost on #haskell and oerjan is mentione. 19:19:51 d. 19:20:45 well, conal is isomorphic to oerjan 19:36:44 -!- lifthrasiir has quit (Ping timeout: 260 seconds). 19:43:15 -!- AnotherTest has left. 19:48:20 -!- MindlessDrone has quit (Quit: MindlessDrone). 19:54:54 `pastequotes 19:55:05 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.32171 19:59:14 hmm, finland can't not have its own fermented fish product 20:00:46 I don't think we have one. 20:02:06 Some people eat lutefisk (which is kind of nasty too), but even that's not particularly "Finnish", I think. 20:02:10 -!- lifthrasiir has joined. 20:02:31 fizzie: I thought it was from Norway? 20:02:53 lutfisk seems to be shared across all the nordic countries 20:02:55 boily: I guess it mostly is, but the other nordic countries partake. 20:03:23 "While some enthusiasts[1] claim the dish has been consumed since the time of the Vikings, most[who?] believe that its origins lie in the 16th-century Netherlands.[citation needed]" quality encyclopedia 20:03:54 do we even have fermented fish products here... 20:04:06 * boily goes on a quest to find Canadian Fermented Fish 20:05:01 The "Fermented Fish" article lists preparations with origins of {Filipino, Egypt, Ancient Roman, Iceland, Korea, Inuit, Japan, Greek, Manipur India, Thailand, Norway, Swedish, Yup'ik} only. 20:05:19 inuit might apply to parts of canada 20:06:55 there's igunaq, but it's from walrus. 20:08:57 Wikipedia claims Igunaq is not explicitly walrusian. 20:09:02 (That was the Inuit example.) 20:10:20 (It does still say "other marine mammals", which makes me wonder what it's doing in the fermented fish article.) 20:10:51 another fine example of the Mysteries of the Great White North. 20:11:49 I guess it means walri (and "other marine mammals") are also fish 20:12:46 or they become fish when fermented? 20:12:52 -!- Poolala has joined. 20:12:53 that must be it. 20:13:49 but then, the Chinese call walri «海象», which are sea elephants. 20:14:34 "sea elephant" is just how they write "big fish" 20:25:29 -!- atrapado has quit (Quit: Leaving). 20:32:44 -!- Nisstyre-laptop has quit (Ping timeout: 253 seconds). 20:35:54 am i justified in skipping a mailing list thread where even the first message contains the word 'bikeshedding' in the subject 20:36:28 nothing is true and everything is permitted 20:36:35 only if you can choose the colour of the skipped thread. 20:36:45 i think my mail client allows that yes 20:37:01 I think blue is a nice colour. 20:38:04 http://blue.bikeshed.com/ 20:38:26 kmc: is it about rust's awful syntax 20:38:32 kind of 20:39:00 here read this whole thread and tell me if it's worthwhile, tia https://mail.mozilla.org/pipermail/rust-dev/2013-July/004804.html 20:39:11 -!- oerjan has joined. 20:39:28 you might still want to watch the thread in case entertaining pointless arguments pop up 20:39:41 well this is advocating implicit string conversions and varargs as an alternative to presumably-unsafe printf style formatting 20:39:44 this is Work for me though 20:39:46 imo tell them it's all shit 20:39:57 if I want to watch entertaining pointless arguments it'll be something fun on my own time 20:40:04 elliott: it's a macro, not varargs 20:40:05 i think 20:40:11 like I said, did not read thread 20:40:16 http://violet.bikeshed.com/ I wonder how many color options this site has? 20:40:21 but fmt!() is a macro 20:40:24 Check the source code, Fiora. 20:40:35 hi Fiora 20:40:37 wow 20:40:45 hiora! 20:40:45 before reading the thread is the best time to join the bikeshedding, "unbiased by actual information" 20:40:49 hiiiii 20:40:51 whitesmoke looks a lot like white 20:41:04 my eyes. they hurt. 20:41:04 whitesnake 20:41:19 http://mediumslateblue.bikeshed.com/ 20:41:26 that... looks more purple than blue 20:41:48 http://papayawhip.bikeshed.com good 20:41:51 looks blue ot me 20:42:02 i think you're just purple-biased 20:42:48 maybe my monitor isn't very good 20:42:49 yes i like that one elliott 20:42:57 help, I click a link to a conal blogpost on #haskell and oerjan is mentione. <-- wat 20:43:03 okay this is weird 20:43:06 http://violetred.bikeshed.com/ this is teal on firefox 20:43:10 but magenta on chrome o_O 20:43:12 oerjan: http://conal.net/blog/posts/a-handy-generalized-filter 20:43:17 yeah it's cyan for me in ff 20:43:19 yeah looks magenta to me 20:43:23 erm, cyan, yeah 20:43:29 teal. 20:43:32 use this to defeat user agent snooping :O 20:43:38 er spoofing 20:43:40 heh 20:43:40 aah, it's probably that thing where unrecognized names get interpreted as hex by filtering out non-hex digits 20:44:13 olsner: sometimes i really hate the web 20:44:18 violetred would be eed then 20:44:37 that's an impressively bad silent failure right there. 20:44:53 http://evilbrainjono.net/pages/startup-or-pokemon.py oh gosh, someone linked this at work 20:44:57 this is great XD 20:45:05 kmc: the web is great. the web feeds all. the web is like jell-o that is *way* past its best before date. 20:45:21 web is the little death that obliterates all? 20:45:24 ah yes, like the parable of jesus feeding the masses with expired jell-o 20:45:29 9 out of 10 20:45:31 B) 20:45:55 apparently Twilio is a startup :( 20:45:56 `addquote ah yes, like the parable of jesus feeding the masses with expired jell-o 20:46:00 1074) ah yes, like the parable of jesus feeding the masses with expired jell-o 20:46:09 7 out of 10 :'( 20:46:21 "Communications power business. Twilio powers communications." 20:46:34 it's like... it's like a corporate chat thing? 20:46:35 yes they're reasonably well-known 20:46:36 I think 20:46:40 no it's an API for telephone shit 20:46:50 you can make/receive calls, send/receive texts, etc 20:46:53 implement fone menus 20:46:53 oh 20:46:54 Get building in minutes with your own twilio phone number. 20:46:54 8! 20:47:01 that makes sense 20:47:15 Now I have to check the other ones. 20:47:23 -!- zzo38 has joined. 20:47:29 Nila is the industry leader in environmentally sustainable, high-brightness LED fixtures durable enough to meet the needs of the harshest production situations. 20:47:38 i was kind of dismayed by how many of these i recognized (startups, not pokemon, back in my day there were only 151 pokemon, thanks a lot obama) 20:47:47 that reminds me that i was reading the website of this company that did nothing but make fasteners and force sensors and stuff 20:47:54 they had a few pages on stuff they'd put in mars rovers 20:47:59 I should know more pokemon >_< I kind of don't know a lot from gen 3 and 4 I think 20:48:32 Habbo I knew from encyclopedia dramatica. And they say you can't learn anything from trolls 20:48:37 the pokemon that can be named is not the true pokemon. 20:48:52 is the only true pokemon missingno.? 20:49:03 "Explore Freebase Data" freebase is a drug term right 20:49:04 Fiora: imo learn about mushrooms instead 20:49:15 we're going to grow http://en.wikipedia.org/wiki/Clitocybe_nuda . they're /purple/ 20:49:37 "Freebasing is also the consumption by smoking of free base cocaine (crack cocaine) or heroin." aha 20:49:43 is there a gameboy game about mushrooms 20:49:47 imo that would increase their popularity 20:49:51 Or you could learn about http://en.wikipedia.org/wiki/Suillus_granulatus 20:49:59 O dpm 20:50:11 kmc: but but can I go on a mushroom adventure and train up my mushrooms to become the mushroom master 20:50:15 yes 20:50:26 Bike: I don't know, but there is the information to write a GameBoy game, if you want to do so. 20:50:31 Noted 20:50:37 kmc: are you a mushroom master 20:50:40 no 20:50:51 Fiora: I don't know all the pokemons either beyond first generation; they often complicate things a bit much 20:50:54 grilled mushrooms on the bbq... 20:50:58 * boily droooools...... 20:51:05 I want my fairy type pokemon *_* 20:51:18 anyone here ever grilled any fairy? 20:51:41 mushrooms from a fairy ring? 20:51:51 mushrooms form a fairy ring? 20:52:45 ?? 20:52:57 lots of kinds can grow in rings, I think 20:54:19 Fiora: a "fairy ring" what a ring of mushrooms is called 20:54:50 ohhhh 20:55:15 so called because they look p. mysterious and people thought they might be the work of fairies 20:55:44 so if fairies can't be bbqed, can they be campfired? 20:55:49 so a field of mushrooms is a special type of fairy ring? 20:55:53 since fields are a type of ring 20:55:56 shut up 20:56:01 ;_; 20:56:20 * boily slaps Bike with a fermented marine mammal 20:56:32 nooooo 20:56:41 aah, are those fairy rings? we call them witch rings here 20:57:32 * boily continues to ferment Bike *slosh* *slosh* *slosh* :D 20:57:44 "omg , you totally should try trisquel in your PC you will free proud using it ... free as in freedom" 21:02:22 Heh. There's this certain sentence that Douglas Hofstadter wrote. I remember it was along these lines: 21:02:34 "This sentence, despite containing many nonstandard words, is still perfectly possible to comprehend." 21:03:06 Some of the words were replaced with nonsense words. But I've forgotten the nonsense words and now all I remember is their intended meanings. 21:04:16 "This gubblick contains many nonslarkish English flutzpahs, but the overall pluggandisp can be glorked [sic] from context." 21:04:38 (David Moser, quoted by Douglas Hofstadter in his "Metamagical Themas" column in the January 1981 Scientific American.) 21:05:22 (It's quoted in the "glark" entry of the Jargon File / The New Hacker's Dictionary, which is where I remember it from.) 21:05:49 -!- Nisstyre has joined. 21:11:53 -!- augur_ has joined. 21:12:48 with all this talk about nonslarkish meals, I'm hungry. 21:12:55 -!- boily has quit (Quit: *slosh* *slosh* *slosh*). 21:12:59 -!- metasepia has quit (Remote host closed the connection). 21:23:46 -!- augur_ has quit (Remote host closed the connection). 21:38:47 I guess it means walri (and "other marine mammals") are also fish <-- i hope you know that's not an etymologically correct plural hth 21:47:00 aw boily left I can't ask what kind of mushrooms they grill 21:48:29 kmc: As a form of protest you should use one-variant enums rather than structs whenever you don't care about memory layout. 21:49:38 heh 21:49:40 clearly 21:49:58 http://blue.bikeshed.com/ <-- ooh nice 21:51:27 ah the printf bike shedding conversation is more interesting than i thought 21:51:35 they point out that format strings are good for internationalization 21:52:09 oerjan: what a silly thing to hope for 21:52:35 ok and then there are some shitty emails 21:54:31 link 21:54:33 (to the shitty ones) 21:54:38 nah 21:57:05 :( 21:58:02 shachaf: did you know rustc's name mangling is compatible with g++'s? so you can use c++filt 21:58:39 kmc: Yep. 21:58:53 I've already used c++filt when trying to read rustc-generated code. 21:59:00 The code was still confusing. 21:59:48 yes 22:01:27 Takes a while to get used to any compiler-thing's generated code. 22:03:11 -!- Bike has quit (Ping timeout: 246 seconds). 22:04:56 yeah 22:05:07 even gcc 22:05:10 -!- Bike has joined. 22:05:24 also it takes a while to get used to e.g. the output of gcc when the input is the Linux kernel 22:10:25 they do some strange things 22:11:12 -!- `^_^v has quit (Quit: This computer has gone to sleep). 22:11:31 -!- Poolala has quit (Quit: Page closed). 22:11:58 -!- Taneb has quit (Quit: Leaving). 22:12:00 -!- `^_^v has joined. 22:22:43 I think a kind of post-processor might be a useful thing to have in C, such as for making data tables in an efficient format. 22:24:05 -!- nooodl_ has joined. 22:27:02 -!- nooodl has quit (Ping timeout: 240 seconds). 22:27:40 -!- mnoqy has joined. 22:36:45 -!- tromp has joined. 22:37:20 -!- tromp__ has quit (Ping timeout: 264 seconds). 22:43:20 -!- coppro has quit (*.net *.split). 22:43:21 -!- kallisti has quit (*.net *.split). 22:43:21 -!- Deewiant has quit (*.net *.split). 22:43:21 -!- nortti has quit (*.net *.split). 22:43:21 -!- HackEgo has quit (*.net *.split). 22:43:21 -!- Bike has quit (*.net *.split). 22:43:21 -!- Lymia has quit (*.net *.split). 22:43:22 -!- Gregor has quit (*.net *.split). 22:43:22 -!- yiyus has quit (*.net *.split). 22:43:22 -!- pikhq_ has quit (*.net *.split). 22:43:22 -!- jsvine has quit (*.net *.split). 22:43:22 -!- conehead has quit (*.net *.split). 22:43:24 -!- FireFly has quit (*.net *.split). 22:43:25 -!- TodPunk has quit (*.net *.split). 22:43:25 -!- hogeyui__ has quit (*.net *.split). 22:43:25 -!- aloril_ has quit (*.net *.split). 22:43:25 -!- tswett has quit (*.net *.split). 22:43:25 -!- jconn has quit (*.net *.split). 22:43:25 -!- Nisstyre has quit (*.net *.split). 22:43:25 -!- oerjan has quit (*.net *.split). 22:43:25 -!- ion has quit (*.net *.split). 22:43:26 -!- ssue__ has quit (*.net *.split). 22:43:26 -!- kmc has quit (*.net *.split). 22:43:29 -!- sebbu has quit (*.net *.split). 22:43:29 -!- intosh has quit (*.net *.split). 22:43:29 -!- SirCmpwn has quit (*.net *.split). 22:43:29 -!- ineiros has quit (*.net *.split). 22:43:29 -!- elliott has quit (*.net *.split). 22:43:29 -!- nooodl_ has quit (*.net *.split). 22:43:29 -!- Phantom_Hoover has quit (*.net *.split). 22:43:29 -!- FreeFull has quit (*.net *.split). 22:43:29 -!- glogbackup has quit (*.net *.split). 22:43:29 -!- Fiora has quit (*.net *.split). 22:43:29 -!- Lumpio- has quit (*.net *.split). 22:43:29 -!- mnoqy has quit (*.net *.split). 22:43:29 -!- `^_^v has quit (*.net *.split). 22:43:29 -!- zzo38 has quit (*.net *.split). 22:43:29 -!- epicmonkey has quit (*.net *.split). 22:43:29 -!- lambdabot has quit (*.net *.split). 22:43:29 -!- heroux has quit (*.net *.split). 22:43:29 -!- atehwa has quit (*.net *.split). 22:43:29 -!- rodgort has quit (*.net *.split). 22:43:29 -!- Gracenotes has quit (*.net *.split). 22:43:29 -!- jix_ has quit (*.net *.split). 22:43:30 -!- olsner has quit (*.net *.split). 22:43:30 -!- fizzie has quit (*.net *.split). 22:46:49 -!- augur_ has joined. 22:47:43 -!- Bike has joined. 22:47:43 -!- mnoqy has joined. 22:47:43 -!- nooodl_ has joined. 22:47:43 -!- `^_^v has joined. 22:47:43 -!- Nisstyre has joined. 22:47:43 -!- zzo38 has joined. 22:47:43 -!- epicmonkey has joined. 22:47:43 -!- glogbackup has joined. 22:47:43 -!- yiyus has joined. 22:47:43 -!- kmc has joined. 22:47:43 -!- pikhq_ has joined. 22:47:43 -!- jsvine has joined. 22:47:43 -!- conehead has joined. 22:47:43 -!- sebbu has joined. 22:47:43 -!- Phantom_Hoover has joined. 22:47:43 -!- coppro has joined. 22:47:43 -!- FreeFull has joined. 22:47:43 -!- intosh has joined. 22:47:43 -!- kallisti has joined. 22:47:43 -!- heroux has joined. 22:47:43 -!- atehwa has joined. 22:47:43 -!- Deewiant has joined. 22:47:43 -!- TodPunk has joined. 22:47:43 -!- lambdabot has joined. 22:47:44 -!- hogeyui__ has joined. 22:47:44 -!- Fiora has joined. 22:47:44 -!- Gregor has joined. 22:47:44 -!- Lymia has joined. 22:47:44 -!- aloril_ has joined. 22:47:44 -!- tswett has joined. 22:47:44 -!- FireFly has joined. 22:47:44 -!- SirCmpwn has joined. 22:47:44 -!- ion has joined. 22:47:44 -!- ineiros has joined. 22:47:44 -!- elliott has joined. 22:47:44 -!- jconn has joined. 22:47:44 -!- ssue__ has joined. 22:47:44 -!- Lumpio- has joined. 22:47:44 -!- rodgort has joined. 22:47:44 -!- Gracenotes has joined. 22:47:44 -!- jix_ has joined. 22:47:44 -!- fizzie has joined. 22:47:44 -!- olsner has joined. 22:47:44 -!- nortti has joined. 22:47:44 -!- HackEgo has joined. 22:47:44 -!- ?unknown? has set channel mode: +v Gregor . 22:48:12 -!- epicmonkey has quit (Ping timeout: 246 seconds). 22:48:43 -!- Vorpal has quit (Max SendQ exceeded). 22:48:58 -!- Vorpal has joined. 22:54:03 -!- sacje has quit (Excess Flood). 22:54:31 -!- sacje has joined. 23:01:35 -!- augur_ has quit (Ping timeout: 256 seconds). 23:05:23 -!- jsvine has quit (Quit: Leaving.). 23:08:48 "If any provision of this Agreement is, or is found to be, unenforceable under applicable law, that will not affect the enforceability of the other provisions of this Agreement. " terms of service are so weird 23:13:36 is that one that weird? 23:14:42 well it's basically saying "in the event some parts of this contract can't hold" 23:15:00 almost every contract has that 23:15:12 really, i'd never seen it before. 23:15:40 I like that because it means they have no reason not to just put everything they can think of in there 23:15:54 "we'd also like your firstborn if we can get away with it but if not forget we asked" 23:16:05 yep 23:16:28 yeah when i say "weird" i don't mean like, "uncommon", so much as "wow this does not seem like something i personally would think is okay" 23:16:32 when i went skydiving I had to sign something to the effect of I would never sue them under any circumstance BUT even if I was able to sue them somehow, damages would be capped at $x 23:16:40 lol. 23:16:56 in addition to signatures they also videotaped each of us saying that we agree to x y and z 23:17:07 seriously 23:17:12 i guess they must get a lot of litiggation. 23:17:28 and they made us read a summary of a court case where somebody had sued them and lost 23:17:35 jesus 23:17:52 and affirm that we had read it 23:18:07 then I got into an airplane and jumped out of the airplane, while strapped to some other dude 23:18:20 so all in all it was a strange day 23:18:46 http://penny-arcade.com/report/article/why-kotakus-nerd-shaming-article-made-me-uncomfortable here is a url that exists and points to a real document 23:19:15 kmc, well, i hope you had fun, both in the airplane jump and in the later eight month legal case 23:19:21 Terms of Service are one of those areas not tested much in courts 23:19:44 When they are, it is usually almost always in favor of users, rather than providers 23:20:16 i think I was in more danger in the airplane going up frankly 23:22:28 alright i'm making it time for me to post sci-fi papers again: http://arxiv.org/abs/1307.2196 "Neural Dust: An Ultrasonic, Low Power Solution for Chronic Brain-Machine Interfaces" 23:22:52 basically the idea is they dump a few thousand micrometer-wide bots into your head to record your brain activity. 23:23:06 this is apparently not insane? 23:27:47 seems legit 23:28:55 Seems like a simple engineering effort. 23:29:12 -!- Sgeo has joined. 23:29:47 well when i say "bots" i apparently mean a CMOS with an antenna stuck to it. 23:33:56 -!- Phantom_Hoover has quit (Quit: Leaving). 23:36:46 oh boy, it's based on ultrasound instead of electromagnetics. 23:37:15 -!- ggghhhujik has joined. 23:37:24 `relcome ggghhhujik 23:37:27 ​ggghhhujik: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 23:37:33 ultrasound for power is... new to me. 23:42:12 -!- ggghhhujik has quit. 23:42:43 -!- ggghhhujik has joined. 23:49:15 that's neat 23:51:09 the circuit is supposed to be 20 µm squared O_o 23:51:18 someone should write a CFG- or L-system-generated welcome 23:51:50 i'm no good at electronics but i am under the impression that most ICs are rather larger 23:52:38 Well it depends. 23:52:50 -!- ggghhhujik has quit. 23:52:56 I was under the impression that that was a process size once upon a time. 23:52:56 You can fit hundreds of transistors side by side in 20µm 23:53:04 If all it does is transmit something simple it could be done 23:53:19 Yeah CPU processes for instance are approaching 10nm 23:53:31 I did say "once upon a time". :P 23:54:16 Or well, I have no idea if it can actually be done or how it would actually work, but it doesn't sound completely implausible. 23:54:57 ICs are "large" mostly because they need enough surface area for bond wires (and if you're talking about the physical packages, those are huge for... physical reasons.) 23:55:11 i said i'm no good at electronics! :P 23:55:25 but yeah it's not just a transmitter, it's got to be able to figure out what neurons are doing in the middle of a brain 23:55:28 p. noisy environ 23:55:42 Bike: Not necessarily. 23:56:06 It's gotta be able to emit enough information that what the neurons are doing can be figured out. 23:56:18 i'm just echoing the paper, yo 23:56:28 This probably is only doable with the little things actually doing some amount of computation, but hey. 23:58:02 "Since the power available to the implant has a fixed upper bound (see above), the reduction of extracellular potential amplitude as the neural dust dimensions are scaled down in the presence of biological, thermal, electronic, and mechanical noise (which do not scale), causes the signal-to-noise (SNR) ratio to degrade significantly; this places heavy constraints on the CMOS front-ends for processing and extracting the signal from extremely n