00:03:36 <oerjan> boily: happy still-st patrick's day-in-canada, mr. mispronounced irish name
00:05:18 <oerjan> (admittedly it'd probably be something like boeilliach in real irish)
00:05:29 <boily> oerjan: spring is pas vraiment a-coming, but thanks!
00:05:34 <boily> heh, boeilliach :D
00:05:41 <boily> satbuddhi: satbudhelloi!
00:06:10 <oerjan> boily: irish spelling is _weird_
00:07:59 <oerjan> 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 <boily> Cyrrilicized Irish, Japonic Norwegian, oh my!
00:10:43 <oerjan> hm wikipedia has very few relevant hits on boily. are you related to david (also canadian)?
00:11:22 <oerjan> sometimes names have a nice article or at least disambiguation with etymology and stuff
00:11:22 -!- ProofTechnique has joined.
00:11:46 <boily> maybe? there's a David in my extended family, but he isn't a Boily.
00:12:18 <oerjan> https://en.wikipedia.org/wiki/David_Boily also from quebec
00:15:12 <boily> well, I'd be very extremely surprised hearing of a non-Québécois Boily.
00:15:45 <oerjan> this claims it's a french name https://www.houseofnames.com/Boily-history?A=54323-292
00:17:17 <oerjan> you know, i'm starting to get skeptical to the irish claim http://forebears.io/surnames/boily
00:17:53 <boily> I... I'm having an existential crisis...
00:18:12 <boily> fungot: help me regain identity! or composition!
00:18:24 <boily> fungot: I DON'T KNOW! AAAAAAAAAAAAAAAAAH!!!
00:18:24 <fungot> boily: i will still have the semantics for it are defined if it does. ( string-number " 5"
00:18:50 <boily> oerjan: according to the oracle, I'm string-number "5". why...
00:20:03 -!- AndoDaan has joined.
00:21:34 <oerjan> it definitely seems more common in canada
00:23:53 <boily> 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 <oerjan> "This interesting name, recorded in Fifeshire, Scotland from the middle of the 13th Century, derives from the ..."
00:25:31 <oerjan> Read more: http://www.surnamedb.com/Surname/Tremblay#ixzz3Ugzwp3kt
00:26:08 <oerjan> copying from that page added an extra line...
00:27:02 <oerjan> which sort of ruins my plans because now you can easily check it
00:28:00 -!- vodkode has joined.
00:28:51 <HackEgo> vodkode: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/>. (For the other kind of esoterica, try #esoteric on irc.dal.net.)
00:29:14 <oerjan> i think i've seen em before
00:29:37 <oerjan> although e may not have been relcomed
00:31:49 <boily> when in doubt, relcome.
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 <oerjan> `addquote <fungot> 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 <fungot> oerjan: there are very rarely places where you can define a local variable x. x
00:43:30 <HackEgo> 1235) <fungot> 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 <oerjan> fungot: you should put that language on the wiki hth
00:44:04 <fungot> oerjan: h_________e______l_________l_________o_____,____ fnord! you send an email to the mailing list? if so, there you go
00:44:13 <fungot> 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 <oerjan> > map length $ group "h_________e______l_________l_________o_____,____"
00:44:47 <lambdabot> [1,9,1,6,1,9,1,9,1,5,1,4]
00:46:34 <oerjan> now i wonder why it didn't fnord that word
00:48:20 -!- iamevn has quit (Quit: Leaving).
00:49:00 <boily> fungot: you should fnord more hth
00:49:00 <fungot> 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:51:09 <fizzie> The word does not seem to appear even once in the material I think the style was trained on.
00:51:39 <fizzie> Oh, case-sensitive search.
00:52:00 <fizzie> It appears three times, said by EgoBot, in what looks like some sort of a hangman game.
00:52:33 <fizzie> http://sprunge.us/Aibi
00:52:55 <fizzie> It fnorded the following word, because those are (probably) unique.
00:54:40 <oerjan> 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: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:40:10 -!- DarkPrincess has joined.
02:41:04 <darsie> You could ask your question.
02:41:30 <goofygoobers> Okay, my abusive biological father and stepmother were into weird shit
02:41:55 -!- Tiff_the_Amazing has joined.
02:41:57 <goofygoobers> 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 <goofygoobers> Also, they had these weird brown pebbles (maybe little stones?) on top of their door frames
02:43:00 <goofygoobers> I don't understand the meaning or significance of that.
02:48:23 <elliott__> i don't know where you all came from but this is good
02:48:26 <HackEgo> Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/>. (For the other kind of esoterica, try #esoteric on irc.dal.net.)
02:51:36 -!- organix has left.
02:51:55 -!- AndoDaan_ has quit (Ping timeout: 246 seconds).
02:51:58 <elliott__> i'm afraid i don't know the answer
02:52:32 <oerjan> <goofygoobers> Is this really a channel about the occult? <-- no hth
02:52:48 <goofygoobers> I tried looking it up, and I can't find anything on it
02:52:52 <elliott__> please don't make them leave before they tell us where they came from
02:53:12 <elliott__> (i'm having a horrible day, why am i even talking in here)
02:53:23 <darsie> goofygoobers: This chan seems to be about programming languages.
02:54:38 <goofygoobers> elliott__: Are there any occult related channels on here?
02:54:52 <elliott__> probably not. freenode is mainly open source stuff
02:54:53 -!- AndoDaan has joined.
02:55:27 <oerjan> 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:56:19 <oerjan> 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:44 -!- AndoDaan has joined.
03:00:46 <elliott__> that's a pretty good retention rate
03:02:22 <oerjan> ^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 <fungot> 3, 13, 1113, 3113, 132113, 1113122113, 311311222113, 13211321322113, 1113122113121113222113, 31131122211311123113322113, 132113213221133112132123222113, 11131221131211132221232112111312111213322113, 31131122211311123113321112131221123113111231121123222113, 132113213221133112132123123112111311222112 ...out of time!
03:02:50 <elliott__> are you trying to scare her off :p
03:02:52 <oerjan> just a quick underload demonstration in the vague hope of bumping it up slightly
03:03:19 <pikhq> fungot, why are you so fungot?
03:03:19 <fungot> pikhq: buit this is the internet way. i actually own the game, actual code would help.
03:04:28 <oerjan> boobs are extremely off-topic hth
03:04:51 <pikhq> Eh. Not like I don't see boobs often.
03:06:16 <elliott__> 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:07:36 -!- AndoDaan has quit (Read error: Connection reset by peer).
03:08:04 <elliott__> i don't believe this is going to be boobs
03:08:12 <pikhq> elliott__: Was it creepy?
03:08:32 <pikhq> Yeah, I was expecting something a bit more trolly.
03:08:56 <pikhq> goofygoobers: We're cynical internet people.
03:09:01 <oerjan> sometimes a boob is just a boob </freud>
03:09:17 <pikhq> elliott__: You're one of the more cynical people I know.
03:09:19 <goofygoobers> Being cynical doesn't mean you can't like something
03:09:29 <elliott__> that's just because i only say things in #esoteric when i'm in a bad mood -_-
03:09:40 <pikhq> Okay, that might be it
03:14:18 <oerjan> apparently freud never actually said that. also, he was _really_ addicted to smoking.
03:14:53 <oerjan> 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 <Sgeo> I can't hear the mosquito tone :(
04:19:00 <Sgeo> Or maybe my headphones are just bad
04:21:01 <oerjan> 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 <Tetrapyloctomy> Touch your computer screen, Its warm like flesh but its not. Not yet
05:05:30 <oerjan> sorry but it is cold hth
05:06:27 <pikhq> Oh awesome that thing still updates.
05:07:00 <pikhq> http://windows95tips.com/
05:08:24 <pikhq> http://windows95tips.com/post/34200923828 This is of course the one being referenced.
05:09:41 <pikhq> It's Neil Cicieraga. Somewhat dada Internet humor is, like, his thing.
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 <Taneb> Such is what procrastinating doing your laundry can teach you
08:56:10 -!- Phantom_Hoover has joined.
09:09:25 <b_jonas> 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 <b_jonas> 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 <b_jonas> I might want to try to use it in the future, that's why I'm asking.
09:29:00 <f|`-`|f> 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 <b_jonas> Is there any wiki software that uses some version control system as the backend to store the history of its content?
11:47:06 <Taneb> Yes but I forgot what it's called
11:47:13 <Taneb> I've seen ones using git and darcs
11:47:18 <b_jonas> 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 <Taneb> (different ones, not both at the same time)
11:47:28 <b_jonas> (Wikiplia uses cvs I think.)
11:47:35 <Taneb> http://hackage.haskell.org/package/gitit
11:49:45 <Taneb> There are almost certainly other alternatives available
11:50:23 <b_jonas> I'm still asking that thing about the C api of svn.
12:01:37 <fizzie> I think it's somewhat version-control-system-agnostic.
12:02:12 <fizzie> Or at least it officially supports git, svn, bzr, monotone, mercurial, darcs, tla, cvs.
12:02:16 <fizzie> https://ikiwiki.info/rcs/
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 <HackEgo> [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 <HackEgo> [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 <oren> 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 <oren> But then the question becomes, what is a good way?
14:31:07 <oren> 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 <Jafet> 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 <oren> 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 <oren> 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 <Jafet> 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 <int-e> DarkPrincess__: What are you doing?
15:11:42 -!- DarkPrincess has joined.
15:11:51 <int-e> . o O ( /ban DarkPrincess*!*@*$##fixyourconnection )
15:12:27 <int-e> elliott__: can you do the honors?
15:13:08 <elliott__> I have a fixyourconnection ban there from
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 <oren> Jafet: I've tried that, it seems to have... problems
15:15:00 -!- TieSoul has quit (Ping timeout: 245 seconds).
15:15:57 <oren> 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 <int-e> 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 <oren> 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 <tswett> 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 <tswett> Hey everyone, I'm having some trouble understanding one of the definitions in this paper.
16:12:22 <tswett> "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 <tswett> What does it mean for an isometry to be "co-Newton"?
16:17:00 <myname> should have uploaded it somewhere else
16:17:57 <tswett> 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 <int-e> "pseudo-almost everywhere", I think this is on topic here
16:23:11 <int-e> "The goal of the present paper is to derive algebras."
16:23:29 <int-e> This would be good, but not as the first sentence of section 6 :)
16:24:53 <int-e> This is also nice: lim sup sinh(0^2)
16:26:58 <int-e> I want this book: "A First Course in Pure Knot Theory"
16:27:49 <int-e> Or this: Euclidean Model Theory
16:28:17 <int-e> Oh, I need to stop. One last one: "On the existence of sets"
16:34:53 -!- SopaXorzTaker has joined.
16:36:57 <int-e> 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: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 <HackEgo> [wiki] [[Talk:Brainfuck]] http://esolangs.org/w/index.php?diff=42144&oldid=40301 * SuperJedi224 * (+86) /* Knuth's Arrow Notation */ new section
19:01:36 <HackEgo> [wiki] [[Talk:Brainfuck]] http://esolangs.org/w/index.php?diff=42145&oldid=42144 * SuperJedi224 * (+3) /* Knuth's Arrow Notation */
19:02:05 <HackEgo> [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:37:14 -!- Lymia has quit (Ping timeout: 265 seconds).
19:38:42 -!- Lymia has joined.
19:42:26 <fungot> int-e: one unlambda, three intercals, and one contains twice as much happens. it does
19:46:57 <b_jonas> what's the problem, goofy?
19:47:59 <b_jonas> 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 <oren> lol, hello, nice tits
19:59:56 <oren> you or someone youposted the photos of
20:01:45 <b_jonas> sorry, his name is spelt Jiří Matoušek
20:01:51 <b_jonas> (seems I'm not good in languages)
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 <boily> fungot: when will spring come?
22:17:12 <fungot> boily: http://code.eso-std.org/ c-intercal/ pit/ tests/ iffit2.b98
22:17:35 <fungot> boily: no, au contraire. it is also used for true, false
22:25:16 <Sgeo> "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> int-e: i think mzc will do it correctly you need to run.
23:00:06 -!- monotone has quit (Quit: rebooting server).
23:03:32 -!- shikhin_ has joined.
23:05:02 -!- monotone has joined.
23:06:27 <int-e> boily: Доброылй вечер
23:06:27 -!- shikhin has quit (Ping timeout: 255 seconds).
23:07:53 -!- ProofTechnique has joined.
23:19:55 -!- oerjan has joined.
23:24:33 <boily> доброржан пожаловать!
23:25:02 <boily> (hmm... shouldn't it have been доброгян?)
23:30:12 <oerjan> although my r certainly isn't palatalized
23:30:43 <oerjan> although my dialect _does_ have some palatalized consonants, r is not one of them.
23:32:22 <oerjan> bloody google steals too many keypresses
23:33:36 <int-e> how could google steal keypresses?
23:33:37 <oerjan> would доброръян make sense?
23:33:49 <oerjan> int-e: well ^Z doesn't work to undo my typing
23:34:38 -!- sebbu2 has joined.
23:35:06 <int-e> 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 <int-e> oh you mean ръ, not I don't think so
23:37:15 <int-e> oerjan: yes, I thought of that as well, after my first attempy
23:37:49 <int-e> (which knowing you you might've seen in the logs. but perhaps not.)
23:37:55 <oerjan> wait don't you actually know russian or something
23:37:59 <boily> (oerjan sees all.)
23:38:13 <int-e> I've forgotten most of what I learned.
23:38:34 <oerjan> although feel free to impress me by knowing it as well
23:39:45 <int-e> oerjan: I recall some useless phrases like "Я не понимаю по-русский."
23:42:43 <int-e> And numbers, один два три четыре пять шесть семь восемь девять десять
23:43:13 <int-e> speak would be "говарю"
23:43:42 <int-e> (I got some numbers spelled incorrectly at first, google helped.)
23:45:06 <int-e> There's little logic to all those ь... мягкий знак... whatever.
23:47:05 <int-e> Why does googling "мягкые знаки" turn up a youtube video with a Rubik's cube sceenshot?
23:47:20 <int-e> this one, https://www.youtube.com/watch?v=q_kU_y07J5o
23:47:35 <oerjan> erm it means the consonant is palatalized
23:48:19 <int-e> oerjan: try that with an M
23:49:00 <int-e> The ть are common, and actually I wasn't complaining about those.
23:49:46 <oerjan> well i _think_ there's supposed to be an y-like sound after the m?
23:50:16 <oerjan> i'm not very proficient at that though
23:52:12 <oerjan> my dabblings have led me to the unanswered question of whether there is any difference between ш and сь
23:54:12 <oerjan> it's like they set up this nice system of showing palatization with vowels and then they completely break it with the fricatives