00:03:36 boily: happy still-st patrick's day-in-canada, mr. mispronounced irish name 00:05:18 (admittedly it'd probably be something like boeilliach in real irish) 00:05:29 oerjan: spring is pas vraiment a-coming, but thanks! 00:05:34 heh, boeilliach :D 00:05:41 satbuddhi: satbudhelloi! 00:06:10 boily: irish spelling is _weird_ 00:06:19 hi 00:07:59 it's like they insisted on using vowels to tell what palatalization the consonants are, but didn't have the sense to switch altogether to cyrillic 00:10:14 Cyrrilicized Irish, Japonic Norwegian, oh my! 00:10:43 hm wikipedia has very few relevant hits on boily. are you related to david (also canadian)? 00:11:22 sometimes names have a nice article or at least disambiguation with etymology and stuff 00:11:22 -!- ProofTechnique has joined. 00:11:46 maybe? there's a David in my extended family, but he isn't a Boily. 00:12:18 https://en.wikipedia.org/wiki/David_Boily also from quebec 00:15:12 well, I'd be very extremely surprised hearing of a non-Québécois Boily. 00:15:45 this claims it's a french name https://www.houseofnames.com/Boily-history?A=54323-292 00:17:17 you know, i'm starting to get skeptical to the irish claim http://forebears.io/surnames/boily 00:17:53 I... I'm having an existential crisis... 00:18:00 it's French??? 00:18:02 whoops 00:18:03 AAAAAAAAAH! 00:18:12 fungot: help me regain identity! or composition! 00:18:12 boily: do you use 00:18:24 fungot: I DON'T KNOW! AAAAAAAAAAAAAAAAAH!!! 00:18:24 boily: i will still have the semantics for it are defined if it does. ( string-number " 5" 00:18:50 oerjan: according to the oracle, I'm string-number "5". why... 00:20:03 -!- AndoDaan has joined. 00:21:34 it definitely seems more common in canada 00:23:24 bin tiens. 00:23:53 at least I know that Tremblay (my dad's side) is French. I checked the genealogy and stuff. 00:24:29 * oerjan goes to check, just in case 00:25:28 "This interesting name, recorded in Fifeshire, Scotland from the middle of the 13th Century, derives from the ..." 00:25:31 Read more: http://www.surnamedb.com/Surname/Tremblay#ixzz3Ugzwp3kt 00:25:47 wtf 00:26:08 copying from that page added an extra line... 00:27:02 which sort of ruins my plans because now you can easily check it 00:28:00 -!- vodkode has joined. 00:28:49 `relcome vodkode 00:28:51 ​vodkode: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) 00:29:14 i think i've seen em before 00:29:37 although e may not have been relcomed 00:31:49 when in doubt, relcome. 00:31:58 it adds cölour. 00:32:13 ÖKAY 00:38:42 -!- idris-bot has quit (Quit: Terminated). 00:39:01 -!- idris-bot has joined. 00:41:06 -!- idris-bot has quit (Client Quit). 00:41:19 -!- idris-bot has joined. 00:43:28 `addquote boily: the proc is invoked. before or after the evaluator transfers control to a certain class of anime characters with long hair and loud music 00:43:28 oerjan: there are very rarely places where you can define a local variable x. x 00:43:30 1235) boily: the proc is invoked. before or after the evaluator transfers control to a certain class of anime characters with long hair and loud music 00:44:03 fungot: you should put that language on the wiki hth 00:44:04 oerjan: h_________e______l_________l_________o_____,____ fnord! you send an email to the mailing list? if so, there you go 00:44:13 ^style 00:44:13 Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp youtube 00:44:46 > map length $ group "h_________e______l_________l_________o_____,____" 00:44:47 [1,9,1,6,1,9,1,9,1,5,1,4] 00:46:34 now i wonder why it didn't fnord that word 00:48:20 -!- iamevn has quit (Quit: Leaving). 00:49:00 fungot: you should fnord more hth 00:49:00 boily: any thoughts on how feasible extending a compiler would be similar to the one in my opinion syntactically as well 00:49:06 -!- iamevn has joined. 00:50:37 I am confused. 00:51:09 The word does not seem to appear even once in the material I think the style was trained on. 00:51:18 SPOOOKY 00:51:39 Oh, case-sensitive search. 00:52:00 It appears three times, said by EgoBot, in what looks like some sort of a hangman game. 00:52:05 aha 00:52:33 http://sprunge.us/Aibi 00:52:55 It fnorded the following word, because those are (probably) unique. 00:54:17 fnording a word? 00:54:24 fnording. 00:54:40 a word of utmost fnordinance 00:55:11 -!- `^_^v has joined. 00:55:32 -!- `^_^v has quit (Client Quit). 00:58:35 -!- Lymia has quit (Ping timeout: 256 seconds). 01:12:12 -!- satbuddhi has quit (Quit: Saliendo). 01:41:48 -!- jix has quit (Ping timeout: 265 seconds). 01:42:19 -!- jix has joined. 01:43:53 -!- vodkode has quit (Remote host closed the connection). 01:46:14 -!- Lymia has joined. 01:46:15 -!- bb010g has joined. 01:50:59 -!- boily has quit (Quit: FAIRY CHICKEN). 01:51:46 fairly oddchicken 01:59:49 -!- AndoDaan_ has joined. 01:59:49 -!- AndoDaan has quit (Read error: Connection reset by peer). 02:00:31 -!- AndoDaan_ has quit (Read error: Connection reset by peer). 02:00:44 -!- AndoDaan_ has joined. 02:09:23 -!- Tritonio has quit (Remote host closed the connection). 02:26:15 -!- Phantom__Hoover has quit (Quit: Leaving). 02:38:11 -!- AndoDaan_ has quit (Read error: Connection reset by peer). 02:38:41 -!- organix has joined. 02:38:48 -!- AndoDaan_ has joined. 02:38:53 -!- darsie has joined. 02:39:05 -!- goofygoobers has joined. 02:39:24 Hello 02:40:10 -!- DarkPrincess has joined. 02:40:16 p/p 02:40:18 :) 02:40:19 o.o 02:40:25 hi DarkPrincess 02:40:27 errr darsie 02:40:34 Where is everyone else? 02:40:36 x3 02:40:39 hi darsie ;) 02:40:40 Are they all afk, 02:40:49 out doing magick 02:41:04 You could ask your question. 02:41:08 Is this really a channel about the occult? 02:41:30 Okay, my abusive biological father and stepmother were into weird shit 02:41:55 -!- Tiff_the_Amazing has joined. 02:41:57 I remember one of the odd things they told me was that rocks have magical powers and that you can have a conversation with rocks if you really wanted to 02:42:31 Also, they had these weird brown pebbles (maybe little stones?) on top of their door frames 02:43:00 I don't understand the meaning or significance of that. 02:43:07 Will you explain it to me? 02:43:16 Maybe give me a link or something? 02:48:23 i don't know where you all came from but this is good 02:48:24 `relcome 02:48:26 ​Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) 02:51:16 thx 02:51:36 -!- organix has left. 02:51:46 elliott__: Please answer my question 02:51:55 -!- AndoDaan_ has quit (Ping timeout: 246 seconds). 02:51:58 i'm afraid i don't know the answer 02:52:04 You don't? 02:52:32 Is this really a channel about the occult? <-- no hth 02:52:48 I tried looking it up, and I can't find anything on it 02:52:52 please don't make them leave before they tell us where they came from 02:53:12 (i'm having a horrible day, why am i even talking in here) 02:53:23 goofygoobers: This chan seems to be about programming languages. 02:53:45 They came from ##chanzilla 02:53:55 It's a channel DarkPrincess started. 02:54:38 elliott__: Are there any occult related channels on here? 02:54:42 hi elliott__ :) 02:54:52 probably not. freenode is mainly open source stuff 02:54:53 -!- AndoDaan has joined. 02:54:59 I see 02:55:27 we don't know of any good occult channels or we'd put it in that welcome message (the channel it has is mostly dead iirc) 02:55:59 Mmhm 02:56:19 although, if you all went there, maybe it wouldn't be. 02:57:35 -!- AndoDaan has quit (Read error: Connection reset by peer). 02:58:23 * Tiff_the_Amazing will remember this channel as it is also relevant to her interests 02:58:43 -!- darsie has left ("Dr. Chandra, will I dream?"). 03:00:43 one person! 03:00:44 -!- AndoDaan has joined. 03:00:46 that's a pretty good retention rate 03:01:15 Imagine that. 03:02:22 ^ul ((::**)~^)((((:(((((((((((_)(9))(8))(7))(6))(5))(4))(3))(2))(1))(0)(!^))~*^^S!)(:a(~^)*~(()(~(~(:a~*):^))(a))~*^^)):^(()~)~**~^(:)~((a(~^)*~**)~a)~a(**~:((:)~(*)**)~a*~(^))**a(~*^^^!!^)***(~)~a(~a*^:)**a(:)**~^!!!a(~^)*~**)~a((, )S:^)**^):^ 03:02:24 3, 13, 1113, 3113, 132113, 1113122113, 311311222113, 13211321322113, 1113122113121113222113, 31131122211311123113322113, 132113213221133112132123222113, 11131221131211132221232112111312111213322113, 31131122211311123113321112131221123113111231121123222113, 132113213221133112132123123112111311222112 ...out of time! 03:02:50 are you trying to scare her off :p 03:02:52 just a quick underload demonstration in the vague hope of bumping it up slightly 03:03:19 fungot, why are you so fungot? 03:03:19 pikhq: buit this is the internet way. i actually own the game, actual code would help. 03:03:41 Indeed. 03:04:05 Want to see my boobs? 03:04:28 boobs are extremely off-topic hth 03:04:51 Eh. Not like I don't see boobs often. 03:04:58 good humblebrag 03:05:13 I try. 03:05:44 Yes or no? 03:06:16 pls don't link nudes in #esoteric if you are below the maximum of 18 and the age of consent in your area 03:06:24 * pikhq is more feelin' like some gay porno right now 03:06:33 i'm doing my job as an op :( 03:06:40 elliott__: Alas. 03:06:57 that's a pretty creepy reply 03:07:00 I'm 19 03:07:28 http://imgur.com/a/RFdtk 03:07:36 -!- AndoDaan has quit (Read error: Connection reset by peer). 03:08:04 i don't believe this is going to be boobs 03:08:10 huh. it was boobs 03:08:12 elliott__: Was it creepy? 03:08:32 Yeah, I was expecting something a bit more trolly. 03:08:44 But it's just my boobs 03:08:45 :P 03:08:54 I thought you guys might like them 03:08:56 goofygoobers: We're cynical internet people. 03:09:01 sometimes a boob is just a boob 03:09:05 i'm not cynical! :( 03:09:17 elliott__: You're one of the more cynical people I know. 03:09:19 Being cynical doesn't mean you can't like something 03:09:29 that's just because i only say things in #esoteric when i'm in a bad mood -_- 03:09:38 It just means you're a party pooper 03:09:40 Okay, that might be it 03:10:05 http://imgur.com/a/E7tHn 03:14:18 apparently freud never actually said that. also, he was _really_ addicted to smoking. 03:14:24 Lol 03:14:47 And cocaine. 03:14:53 http://quoteinvestigator.com/2011/08/12/just-a-cigar/ 03:23:18 -!- AndoDaan has joined. 03:37:32 -!- password2 has joined. 03:46:43 -!- goofygoobers has left. 03:47:55 -!- password2 has quit (Ping timeout: 245 seconds). 03:47:57 -!- vodkode has joined. 04:18:53 I can't hear the mosquito tone :( 04:19:00 Or maybe my headphones are just bad 04:21:01 when the mosquitos attack, you will be so hosed 04:34:57 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)). 04:39:00 -!- ProofTechnique has quit (Ping timeout: 250 seconds). 05:03:59 -!- Tetrapyloctomy has joined. 05:04:27 Touch your computer screen, Its warm like flesh but its not. Not yet 05:05:30 sorry but it is cold hth 05:06:21 * oerjan zombie computer 05:06:27 Oh awesome that thing still updates. 05:06:45 what 05:07:00 http://windows95tips.com/ 05:07:04 hth 05:07:19 tdh thx 05:08:24 http://windows95tips.com/post/34200923828 This is of course the one being referenced. 05:08:35 yes 05:08:46 I bet they update it as a joke 05:09:41 It's Neil Cicieraga. Somewhat dada Internet humor is, like, his thing. 05:11:51 I'm am dying 05:12:09 How have I never seen this before 05:23:52 -!- Tiff_the_Amazing has quit (Ping timeout: 252 seconds). 05:34:48 -!- ProofTechnique has joined. 05:42:55 -!- Tetrapyloctomy has quit (Read error: Connection reset by peer). 06:36:30 -!- vodkode has quit (Remote host closed the connection). 06:42:56 -!- vodkode has joined. 07:02:02 -!- vodkode has quit (Remote host closed the connection). 07:36:53 -!- Patashu has joined. 08:52:15 -!- oerjan has quit (Quit: !wohs eht ot emocleW). 08:52:53 * Taneb suddenly deeply grasps pipelining 08:55:32 Such is what procrastinating doing your laundry can teach you 08:56:10 -!- Phantom_Hoover has joined. 09:09:25 I wish there was a distributed version control system with a model simlar to subversion and its ease of use as well. Alas, that may be impossible. 09:11:57 That reminds me, has anyone ever worked with the C api of svn? It seems to be well-designed but complicated. Is it difficult to use, or is it just that the description is scary at first? 09:12:06 I might want to try to use it in the future, that's why I'm asking. 09:28:45 subversion? 09:29:00 YOu'd probably have to get into functional relational databases, b_jonas 09:45:16 -!- villasukka has joined. 10:24:16 -!- boily has joined. 11:16:50 -!- Vorpal has quit (Ping timeout: 256 seconds). 11:21:02 -!- boily has quit (Quit: MAMMOTH CHICKEN). 11:30:58 -!- Patashu has quit (Ping timeout: 246 seconds). 11:46:46 Is there any wiki software that uses some version control system as the backend to store the history of its content? 11:47:06 Yes but I forgot what it's called 11:47:13 I've seen ones using git and darcs 11:47:18 Wikiplia does that, and I thought at first it was weird, but now I'm starting to think using a version control system this way could be a good idea (or a very bad idea depending on how you're doing it). 11:47:21 (different ones, not both at the same time) 11:47:28 (Wikiplia uses cvs I think.) 11:47:35 http://hackage.haskell.org/package/gitit 11:49:31 Taneb: I see 11:49:45 There are almost certainly other alternatives available 11:50:23 I'm still asking that thing about the C api of svn. 12:01:27 There's ikiwiki. 12:01:37 I think it's somewhat version-control-system-agnostic. 12:02:12 Or at least it officially supports git, svn, bzr, monotone, mercurial, darcs, tla, cvs. 12:02:16 https://ikiwiki.info/rcs/ 12:07:02 I see 12:27:27 -!- hjulle has quit (Ping timeout: 250 seconds). 12:49:57 -!- DarkPrincess_ has joined. 12:51:12 -!- DarkPrincess__ has joined. 12:53:08 -!- DarkPrincess has quit (Ping timeout: 272 seconds). 12:54:05 -!- DarkPrincess has joined. 12:54:55 -!- DarkPrincess_ has quit (Ping timeout: 264 seconds). 12:56:43 -!- DarkPrincess__ has quit (Ping timeout: 264 seconds). 13:13:44 -!- DarkPrincess_ has joined. 13:15:28 -!- Vorpal has joined. 13:15:28 -!- Vorpal has quit (Changing host). 13:15:28 -!- Vorpal has joined. 13:15:51 -!- DarkPrincess__ has joined. 13:17:07 -!- DarkPrincess has quit (Ping timeout: 256 seconds). 13:18:23 -!- DarkPrincess has joined. 13:19:32 -!- ProofTechnique has quit (Ping timeout: 245 seconds). 13:19:39 -!- DarkPrincess_ has quit (Ping timeout: 264 seconds). 13:20:51 -!- DarkPrincess_ has joined. 13:21:27 -!- DarkPrincess__ has quit (Ping timeout: 264 seconds). 13:23:43 -!- DarkPrincess has quit (Ping timeout: 264 seconds). 13:30:11 -!- ^v^v has quit (Read error: Connection reset by peer). 13:30:37 -!- ^v^v has joined. 13:32:41 -!- DarkPrincess__ has joined. 13:34:59 -!- DarkPrincess has joined. 13:35:46 -!- DarkPrincess_ has quit (Ping timeout: 252 seconds). 13:36:26 -!- DarkPrincess_ has joined. 13:37:39 -!- DarkPrincess__ has quit (Ping timeout: 255 seconds). 13:39:49 -!- DarkPrincess has quit (Ping timeout: 250 seconds). 13:43:09 -!- Phantom__Hoover has joined. 13:43:12 -!- ProofTechnique has joined. 13:43:27 [wiki] [[Semi-quantum]] http://esolangs.org/w/index.php?diff=42142&oldid=42096 * Mazeman * (+0) /* Setup */ 13:43:45 -!- Phantom_Hoover has quit (Ping timeout: 245 seconds). 13:44:27 [wiki] [[Semi-quantum]] http://esolangs.org/w/index.php?diff=42143&oldid=42142 * Mazeman * (+0) /* Define your own */ 13:47:41 -!- DarkPrincess__ has joined. 13:49:38 -!- DarkPrincess has joined. 13:51:05 -!- DarkPrincess_ has quit (Ping timeout: 250 seconds). 13:51:29 -!- DarkPrincess_ has joined. 13:52:30 -!- DarkPrincess__ has quit (Ping timeout: 245 seconds). 13:53:37 -!- DarkPrincess__ has joined. 13:54:00 -!- DarkPrincess has quit (Ping timeout: 240 seconds). 13:56:30 -!- DarkPrincess_ has quit (Ping timeout: 240 seconds). 13:57:28 -!- DarkPrincess_ has joined. 13:59:03 -!- DarkPrincess__ has quit (Ping timeout: 256 seconds). 13:59:46 -!- DarkPrincess has joined. 14:01:49 -!- DarkPrincess__ has joined. 14:02:15 -!- DarkPrincess_ has quit (Ping timeout: 264 seconds). 14:04:52 -!- Tiff_the_Amazing has joined. 14:05:17 -!- DarkPrincess has quit (Ping timeout: 256 seconds). 14:08:27 -!- DarkPrincess has joined. 14:10:16 -!- `^_^v has joined. 14:10:57 -!- DarkPrincess__ has quit (Ping timeout: 256 seconds). 14:11:02 -!- sebbu2 has changed nick to sebbu. 14:26:50 So I finished my C neural networks library, but I think IEEE floating point is probably not a good way to load real-number data into a NN. 14:27:53 -!- Tiff_the_Amazing has left. 14:28:47 But then the question becomes, what is a good way? 14:31:07 Perhaps one input for the scale, on input for value? 14:45:02 -!- GeekDude has joined. 14:45:41 -!- DarkPrincess_ has joined. 14:46:43 What is bad about it? 14:47:29 -!- DarkPrincess__ has joined. 14:48:44 -!- DarkPrincess has quit (Ping timeout: 246 seconds). 14:49:36 -!- DarkPrincess has joined. 14:50:47 -!- DarkPrincess_ has quit (Ping timeout: 245 seconds). 14:52:02 -!- DarkPrincess__ has quit (Ping timeout: 245 seconds). 14:52:26 -!- DarkPrincess_ has joined. 14:54:17 -!- DarkPrincess__ has joined. 14:55:43 -!- DarkPrincess has quit (Ping timeout: 252 seconds). 14:57:42 -!- DarkPrincess_ has quit (Ping timeout: 252 seconds). 14:58:41 -!- DarkPrincess has joined. 14:59:20 Jafet: mainly the fact it takes 64 inputs to input a real number as a double. 14:59:43 -!- DarkPrincess_ has joined. 15:00:51 -!- DarkPrincess__ has quit (Ping timeout: 252 seconds). 15:01:22 -!- DarkPrincess__ has joined. 15:01:31 But maybe we can train a layer to "compress" the data in the best way for the purpose 15:03:01 -!- DarkPrincess has quit (Ping timeout: 250 seconds). 15:04:19 -!- DarkPrincess_ has quit (Ping timeout: 250 seconds). 15:05:15 -!- DarkPrincess has joined. 15:06:43 -!- DarkPrincess__ has quit (Ping timeout: 252 seconds). 15:08:08 Perhaps real numbers should be provided to neurons as real numbers. 15:08:23 -!- DarkPrincess_ has joined. 15:09:46 -!- DarkPrincess__ has joined. 15:10:10 -!- DarkPrincess has quit (Ping timeout: 244 seconds). 15:10:30 DarkPrincess__: What are you doing? 15:11:42 -!- DarkPrincess has joined. 15:11:51 . o O ( /ban DarkPrincess*!*@*$##fixyourconnection ) 15:12:27 elliott__: can you do the honors? 15:12:49 if I do that I'll forget to unban 15:13:04 fuck 15:13:08 I have a fixyourconnection ban there from 15:13:15 26 days ago 15:13:16 -!- DarkPrincess_ has quit (Ping timeout: 244 seconds). 15:13:24 -!- elliott__ has changed nick to elliott. 15:13:28 -!- elliott has quit (Changing host). 15:13:28 -!- elliott has joined. 15:13:32 -!- ChanServ has set channel mode: +o elliott. 15:13:36 -!- elliott has set channel mode: -b shikhin!*@*$##fixyourconnection. 15:13:39 -!- elliott has set channel mode: -o elliott. 15:14:24 -!- DarkPrincess__ has quit (Ping timeout: 255 seconds). 15:14:34 -!- DarkPrincess_ has joined. 15:14:34 Jafet: I've tried that, it seems to have... problems 15:15:00 -!- TieSoul has quit (Ping timeout: 245 seconds). 15:15:57 specifically, when tring to capture functions with high complexity at, say 100 and 1, and low complexity around the other numbers 15:16:27 -!- DarkPrincess__ has joined. 15:16:35 oh well, /ignore DarkPrincess*!* JOINS PARTS QUITS does the trick, too. 15:17:43 -!- DarkPrincess has quit (Ping timeout: 246 seconds). 15:19:49 -!- DarkPrincess_ has quit (Ping timeout: 246 seconds). 15:19:58 -!- DarkPrincess has joined. 15:20:59 -!- DarkPrincess_ has joined. 15:22:04 Hmmm.... perhaps having a compression layer for double inputs (64 by 8 or so) is the best option 15:22:31 -!- DarkPrincess__ has quit (Ping timeout: 250 seconds). 15:23:22 -!- DarkPrincess__ has joined. 15:24:19 -!- DarkPrincess has quit (Ping timeout: 252 seconds). 15:25:47 -!- DarkPrincess_ has quit (Ping timeout: 252 seconds). 15:26:14 -!- DarkPrincess has joined. 15:28:19 -!- DarkPrincess_ has joined. 15:28:21 -!- DarkPrincess__ has quit (Ping timeout: 252 seconds). 15:30:12 -!- DarkPrincess__ has joined. 15:31:48 -!- DarkPrincess has quit (Ping timeout: 252 seconds). 15:33:45 -!- DarkPrincess_ has quit (Ping timeout: 255 seconds). 15:34:50 -!- DarkPrincess_ has joined. 15:38:01 -!- DarkPrincess has joined. 15:38:15 -!- DarkPrincess__ has quit (Ping timeout: 264 seconds). 15:39:08 -!- DarkPrincess__ has joined. 15:40:39 -!- DarkPrincess_ has quit (Ping timeout: 264 seconds). 15:41:09 -!- DarkPrincess_ has joined. 15:43:03 -!- DarkPrincess has quit (Ping timeout: 264 seconds). 15:43:39 -!- DarkPrincess__ has quit (Ping timeout: 264 seconds). 15:46:39 -!- DarkPrincess_ has quit (Ping timeout: 264 seconds). 15:52:13 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)). 16:07:48 -!- bb010g has quit (Quit: Connection closed for inactivity). 16:11:28 http://thatsmathematics.com/mathgen/paper.php?nameType[1]=famous&nameType[2]=famous&nameType[3]=famous&nameType[4]=famous&seed=1935868566&format=pdf 16:11:47 Hey everyone, I'm having some trouble understanding one of the definitions in this paper. 16:12:22 "Suppose there exists a multiply Jacobi-Galileo right-Ramanujan-Descartes prime. We say an isometry F is projective if it is pseudo-almost everywhere free and co-Newton." 16:12:31 What does it mean for an isometry to be "co-Newton"? 16:16:42 nice troll 16:17:00 should have uploaded it somewhere else 16:17:57 I should save one of these and email it to my co-workers as an example of somebody's amazing mathematical prowess. 16:20:26 "pseudo-almost everywhere", I think this is on topic here 16:23:11 "The goal of the present paper is to derive algebras." 16:23:29 This would be good, but not as the first sentence of section 6 :) 16:24:53 This is also nice: lim sup sinh(0^2) 16:25:55 lol 16:26:58 I want this book: "A First Course in Pure Knot Theory" 16:27:49 Or this: Euclidean Model Theory 16:28:17 Oh, I need to stop. One last one: "On the existence of sets" 16:31:31 i want that one 16:34:53 -!- SopaXorzTaker has joined. 16:36:57 myname: Unfortunately, that one is only a paper. 16:41:48 -!- Phantom__Hoover has quit (Read error: Connection reset by peer). 16:42:00 -!- Phantom_Hoover has joined. 16:48:01 -!- _1_rohit13487 has joined. 16:48:17 <_1_rohit13487> hi 16:51:44 -!- bb010g has joined. 16:52:36 -!- _1_rohit13487 has quit (Remote host closed the connection). 17:10:49 -!- TieSoul_ has joined. 17:17:21 -!- TieSoul_ has changed nick to TieSoul. 17:41:58 -!- hjulle has joined. 17:49:44 -!- shikhin has joined. 17:58:53 -!- SopaXorzTaker has quit (Remote host closed the connection). 17:59:46 -!- AndoDaan_ has joined. 18:03:28 -!- AndoDaan has quit (Ping timeout: 265 seconds). 18:23:46 -!- _AndoDaan_ has joined. 18:24:24 -!- ais523 has joined. 18:24:37 -!- vodkode has joined. 18:25:23 -!- AndoDaan_ has quit (Ping timeout: 246 seconds). 18:39:03 -!- ais523 has quit. 18:41:29 -!- PinealGlandOptic has joined. 18:42:17 -!- perrier has quit (Write error: Broken pipe). 18:44:09 -!- vodkode has quit (Ping timeout: 252 seconds). 18:50:26 -!- perrier has joined. 19:01:17 [wiki] [[Talk:Brainfuck]] http://esolangs.org/w/index.php?diff=42144&oldid=40301 * SuperJedi224 * (+86) /* Knuth's Arrow Notation */ new section 19:01:36 [wiki] [[Talk:Brainfuck]] http://esolangs.org/w/index.php?diff=42145&oldid=42144 * SuperJedi224 * (+3) /* Knuth's Arrow Notation */ 19:02:05 [wiki] [[Talk:Brainfuck]] http://esolangs.org/w/index.php?diff=42146&oldid=42145 * SuperJedi224 * (+93) /* Knuth's Arrow Notation */ 19:07:20 -!- nortti has changed nick to lawseaker. 19:07:45 -!- lawseaker has changed nick to lawspeaker. 19:08:22 -!- lawspeaker has changed nick to nortti. 19:30:34 -!- goofygoobers has joined. 19:30:38 Hi 19:37:14 -!- Lymia has quit (Ping timeout: 265 seconds). 19:38:42 -!- Lymia has joined. 19:39:18 Hello? 19:39:30 elliott: Hello? 19:42:25 fungot: Hello?! 19:42:26 int-e: one unlambda, three intercals, and one contains twice as much happens. it does 19:43:00 I feel crappy right now 19:46:49 gello 19:46:56 Jello 19:46:57 what's the problem, goofy? 19:47:10 b_jonas: PMS 19:47:37 ah 19:47:59 we've lost Jiři Matoušek: http://kam.mff.cuni.cz/Matousek-obituary.html 19:49:25 -!- _AndoDaan_ has quit (Ping timeout: 252 seconds). 19:58:53 -!- Patashu has joined. 19:59:21 lol, hello, nice tits 19:59:34 Hi Patashu 19:59:38 Who has nice tits? 19:59:56 you or someone youposted the photos of 20:00:07 Thanks 20:01:45 sorry, his name is spelt Jiří Matoušek 20:01:51 (seems I'm not good in languages) 20:02:16 It happens 20:09:07 -!- `^_^v has quit (Quit: This computer has gone to sleep). 20:09:38 -!- `^_^v has joined. 20:21:43 -!- Patashu has quit (Ping timeout: 244 seconds). 20:28:03 -!- goofygoobers has left. 20:47:27 -!- vodkode has joined. 21:12:58 -!- vodkode has quit (Ping timeout: 256 seconds). 21:15:15 -!- `^_^v has quit (Ping timeout: 250 seconds). 21:17:54 -!- `^_^v has joined. 21:18:18 -!- oren has changed nick to `oren. 21:18:33 -!- ProofTechnique has quit (Ping timeout: 244 seconds). 21:19:18 -!- `oren has changed nick to \oren\. 21:32:05 -!- `^_^v has quit (Ping timeout: 252 seconds). 21:46:35 -!- f|`-`|f has quit (Read error: Connection reset by peer). 21:47:06 -!- f|`-`|f has joined. 22:06:36 -!- boily has joined. 22:11:19 -!- naturalog has quit (Quit: sec). 22:17:12 fungot: when will spring come? 22:17:12 boily: http://code.eso-std.org/ c-intercal/ pit/ tests/ iffit2.b98 22:17:35 fungot: ...? 22:17:35 boily: no, au contraire. it is also used for true, false 22:17:42 * boily brainfreezes 22:25:16 "Frog Fractions 2 giveaway! To make it more interesting we've removed one letter from the download code. C:\windows\s?stem32\freecell.exe" 22:34:58 -!- Soni has left ("Leaving"). 22:35:10 -!- ProofTechnique has joined. 22:56:22 -!- ProofTechnique has quit (Ping timeout: 265 seconds). 22:58:35 fungot: ffffrog? 22:58:35 int-e: i think mzc will do it correctly you need to run. 22:58:43 * int-e runs! 22:58:47 why am I running? 22:58:57 * int-e stops. 23:00:06 -!- monotone has quit (Quit: rebooting server). 23:03:04 int-hello. 23:03:32 -!- shikhin_ has joined. 23:05:02 -!- monotone has joined. 23:06:27 boily: Доброылй вечер 23:06:27 -!- shikhin has quit (Ping timeout: 255 seconds). 23:07:33 int-e: неплохо! 23:07:53 -!- ProofTechnique has joined. 23:19:55 -!- oerjan has joined. 23:24:33 доброржан пожаловать! 23:25:02 (hmm... shouldn't it have been доброгян?) 23:29:58 itym доброрян 23:30:12 although my r certainly isn't palatalized 23:30:43 although my dialect _does_ have some palatalized consonants, r is not one of them. 23:32:22 bloody google steals too many keypresses 23:33:36 how could google steal keypresses? 23:33:37 would доброръян make sense? 23:33:49 int-e: well ^Z doesn't work to undo my typing 23:33:58 (in google translate) 23:34:38 -!- sebbu2 has joined. 23:35:06 all words starting with добр... seem to be related to being good or kind. 23:35:16 -!- sebbu2 has quit (Changing host). 23:35:16 -!- sebbu2 has joined. 23:35:21 -!- sebbu has quit (Ping timeout: 256 seconds). 23:35:39 oh you mean ръ, not I don't think so 23:36:11 s/not/no/ 23:36:25 добройлый вечер 23:37:15 oerjan: yes, I thought of that as well, after my first attempy 23:37:16 t 23:37:49 (which knowing you you might've seen in the logs. but perhaps not.) 23:37:55 wait don't you actually know russian or something 23:37:59 (oerjan sees all.) 23:38:04 i haven't yet 23:38:09 oerjan: who? him? 23:38:13 I've forgotten most of what I learned. 23:38:20 boily: yes, int-e 23:38:34 although feel free to impress me by knowing it as well 23:39:45 oerjan: I recall some useless phrases like "Я не понимаю по-русский." 23:40:08 i don't ... russian 23:40:26 i guess it's speak 23:40:55 ah understand 23:42:43 And numbers, один два три четыре пять шесть семь восемь девять десять 23:43:13 speak would be "говарю" 23:43:23 понимаю is understand 23:43:33 Oh, you got thawt 23:43:36 *that 23:43:42 (I got some numbers spelled incorrectly at first, google helped.) 23:45:06 There's little logic to all those ь... мягкий знак... whatever. 23:47:05 Why does googling "мягкые знаки" turn up a youtube video with a Rubik's cube sceenshot? 23:47:20 this one, https://www.youtube.com/watch?v=q_kU_y07J5o 23:47:35 erm it means the consonant is palatalized 23:47:57 ^ 23:47:59 (Oh, и not ы) 23:48:19 oerjan: try that with an M 23:49:00 The ть are common, and actually I wasn't complaining about those. 23:49:46 well i _think_ there's supposed to be an y-like sound after the m? 23:50:16 i'm not very proficient at that though 23:52:12 my dabblings have led me to the unanswered question of whether there is any difference between ш and сь 23:54:12 it's like they set up this nice system of showing palatization with vowels and then they completely break it with the fricatives