00:07:09 -!- augur has joined. 00:13:22 -!- variable has joined. 00:14:43 -!- augur has quit (Ping timeout: 256 seconds). 00:37:01 I hate not having a real computer 00:37:15 -!- Patashu has quit (Disconnected by services). 00:37:15 -!- Patashu_ has joined. 00:37:28 -!- augur has joined. 00:40:23 -!- Patashu_ has quit (Remote host closed the connection). 00:40:42 -!- Patashu has joined. 00:42:04 -!- augur has quit (Ping timeout: 256 seconds). 00:48:05 -!- variable has quit (Read error: Connection reset by peer). 00:51:35 oerjan: armenian letters are somewhat approximatively related to latin letters, with some graphical concordances (e.g. h and o). 00:51:52 SgeoPhone: to which degree isn't your computer real? 00:52:54 To the degree that the device i am using cannot be used for most of thw things a laptop or desktop can, and to the degree that my laptop s unusable 00:53:09 alan turing would have loved to have a computer as powerful as SgeoPhone's phone. 00:56:16 [wiki] [[Small SNUSP]] http://esolangs.org/w/index.php?diff=42306&oldid=42304 * Esowiki201529A * (+2) 00:56:18 Unfortunately, they were not coming out at the time. 00:56:24 A phone normally doesn't have a full keyboard or a programming environment though; a computer without a keyboard and programming environment isn't a particularly good computer. 00:57:42 I think there are programming environments. Just not one that allows creation of programs that are first class citizens on the device 00:57:51 As far as i know 00:58:36 [wiki] [[Small SNUSP]] http://esolangs.org/w/index.php?diff=42307&oldid=42306 * Esowiki201529A * (+360) /* Description */ 00:58:42 -!- SgeoPhone has quit (Remote host closed the connection). 00:58:56 -!- SgeoPhone has joined. 00:59:15 [wiki] [[Small SNUSP]] http://esolangs.org/w/index.php?diff=42308&oldid=42307 * Esowiki201529A * (-55) /* Description */ 00:59:31 IRC keeps disconnecting when i get A call 01:01:41 Funny that Esowiki201529A has not removed my link yet... 01:02:40 [wiki] [[Small SNUSP]] http://esolangs.org/w/index.php?diff=42309&oldid=42308 * Esowiki201529A * (+87) 01:03:25 [wiki] [[Small SNUSP]] http://esolangs.org/w/index.php?diff=42310&oldid=42309 * Esowiki201529A * (+17) 01:03:53 -!- SgeoPhone has quit (Remote host closed the connection). 01:04:07 -!- SgeoPhone has joined. 01:05:38 [wiki] [[SNUSP]] http://esolangs.org/w/index.php?diff=42311&oldid=42303 * Oerjan * (+14) I think this word might, though. 01:06:34 who is Esowiki201529A? 01:07:15 [wiki] [[Small SNUSP]] http://esolangs.org/w/index.php?diff=42312&oldid=42310 * Esowiki201529A * (+305) 01:07:27 [wiki] [[Small SNUSP]] http://esolangs.org/w/index.php?diff=42313&oldid=42312 * Esowiki201529A * (+1) 01:07:34 some esolanger of dubious taste. 01:09:14 it really shouldn't be in the 2003 category, should it? 01:10:41 [wiki] [[Small SNUSP]] http://esolangs.org/w/index.php?diff=42314&oldid=42313 * Oerjan * (-19) Category should be for this article's language only 01:13:57 Reading Andy D's proof from http://www.scottaaronson.com/blog/?p=710 that "consistent guessing" is weaker than the halting problem leaves me wondering whether there is any CG-Oracle that is computable given an oracle for the halting problem, and still weaker in that it cannot be used to solve the halting problem... 01:15:18 (As far as I've followed the construction, I think it would need a Halting oracle for Turing machines with a Halting oracle. Tricky beast, and a tricky proof.) 01:22:41 [wiki] [[Small SNUSP]] http://esolangs.org/w/index.php?diff=42315&oldid=42314 * Esowiki201529A * (+64) 01:23:09 ... 01:24:29 [wiki] [[Small SNUSP]] http://esolangs.org/w/index.php?diff=42316&oldid=42315 * 213.162.68.171 * (-19) Remove 2003 category again. 01:29:08 the dubiousity is steadily increasing. 01:30:01 i'm going to assume it was a race condition. 01:30:12 THIS TIME 01:33:06 On a related note, i don't think my dad knows how time works 01:33:22 nobody does 01:34:27 *relative note 01:35:03 -!- SgeoPhone has quit (Remote host closed the connection). 01:35:18 -!- SgeoPhone has joined. 01:36:59 (Of course I took "how time works" at its most fundamental meaning ... where does time come from, and what makes it, so to say, tick?) 01:37:27 There is no time...only, there is spacetime. 01:38:43 That's a nicely working theory. Will it work tomorrow? Will there *be* a tomorrow? Or anything besides this instant? 01:39:10 * int-e tries hard to remember what kind of #esoteric channel this place is... 01:40:26 -!- SgeoPhone has quit (Ping timeout: 256 seconds). 01:40:55 time is an illusion. lunch-time doubly so. 01:40:59 *-- 01:41:15 oh yeah, the nearest place to eat... 01:42:16 oerjan: I think you should've used s/-//, it would be easier to decipher 01:43:20 Oh, it happens in the very beginning. 01:43:38 Maybe I should reread the whole trilogy another time... 01:44:20 oerjan: I wish I would've remembered the reply: "Very deep," said Arthur, "you should send that in to the Reader's Digest. They've got a page for people like you." 02:21:01 I like the Reader's Digest, if only because it helps me forget the moments I was stupidly waiting for my dentist with a discharged cellphone. 02:25:41 -!- boily has quit (Quit: CARBONATED CHICKEN). 02:28:35 -!- SgeoPhone has joined. 02:31:23 -!- fractal has quit (Remote host closed the connection). 02:42:54 -!- GeekDude has quit (Read error: Connection reset by peer). 02:43:19 -!- nys has quit (Quit: quit). 02:52:36 int-e: it's ok, i didn't remember the reply either. 02:53:23 oerjan: I meant, if I had remembered, I would have used it on you in some other occasion(s) :) 02:53:40 good, good 02:54:03 s/in/on/ 02:57:46 -!- vodkode_ has joined. 03:01:12 -!- Lymia has quit (Remote host closed the connection). 03:03:00 -!- Lymia has joined. 03:04:17 -!- SgeoPhone has quit (Ping timeout: 244 seconds). 03:24:40 -!- Sprocklem has quit (Quit: Nettalk6 - www.ntalk.de). 03:25:12 -!- Sprocklem has joined. 03:51:14 -!- dianne has quit (Quit: byeannes). 04:03:47 -!- Sprocklem_ has joined. 04:06:04 -!- Sprocklem has quit (Ping timeout: 252 seconds). 04:07:10 -!- Sprocklem_ has changed nick to Sprocklem. 04:08:29 -!- variable has joined. 04:16:55 -!- f|`-`|f_ has joined. 04:18:28 -!- f|`-`|f has quit (Ping timeout: 250 seconds). 04:18:36 -!- f|`-`|f_ has changed nick to f|`-`|f. 04:22:02 -!- oerjan has quit (Quit: leaving). 04:28:22 -!- Patashu_ has joined. 04:28:22 -!- Patashu has quit (Disconnected by services). 04:58:17 -!- Sprocklem has quit (Quit: Leaving). 05:02:24 To make random number uniform with any given range (0 to N-1), what I have done is you take as many random bits as needed (for the higher or equal power of 2), if it is too big then try again. So if N=3 then you have bits 00,01,10,11 but if 11 you must try again. If you only need a 1/3 probability (and don't need to distinguish between the other two possibilities), then you can optimize this algorithm, and it looks like in Pokemon card that is wha 05:12:27 -!- vodkode_ has quit (Ping timeout: 264 seconds). 05:24:03 -!- Sprocklem has joined. 05:28:33 zzo38: a naive rejection sampling is not optimal, though; for 1/5 probability you would reject 101 through 111, but adding one bit and adjustement yields further 5/16 probability to finish; compare that with adding 3 bits which will only yield 15/64 probability to finish. 05:31:28 I was talking about the N=3 case and didn't think about the other cases, but I suppose you can optimize it in other ways too 05:32:28 for N=3 case that is optimal, of course. 05:32:40 (N=2^n+1 is the worst case OTOH) 05:49:38 -!- ^v^v has quit (Read error: Connection reset by peer). 05:58:18 -!- ProofTechnique has joined. 06:17:18 -!- vodkode_ has joined. 06:18:16 -!- dianne has joined. 06:24:24 -!- roasted42 has joined. 06:25:43 -!- roasted42 has quit (Changing host). 06:25:43 -!- roasted42 has joined. 06:25:43 -!- roasted42 has changed nick to TheM4ch1n3. 06:31:56 -!- variable has changed nick to function. 06:36:16 -!- TheM4ch1n3 has left. 07:16:56 Still the algorithm I specified is the way to generate random 0 to N-1 if N isn't known before this subroutine is called, and I have done in C code and in 6502 code. There might be better way, although I don't know. With a 6502 code you can count how many cycles it requires! 07:48:06 -!- Lymia has quit (Remote host closed the connection). 07:49:47 -!- roasted42 has joined. 07:49:59 -!- roasted42 has quit (Changing host). 07:49:59 -!- roasted42 has joined. 07:49:59 -!- roasted42 has changed nick to TheM4ch1n3. 07:53:06 -!- fractal has joined. 07:54:14 -!- TheM4ch1n3 has quit (Client Quit). 08:06:20 -!- function has quit (Ping timeout: 256 seconds). 08:14:44 -!- Lymia has joined. 08:30:18 -!- vodkode_ has quit (Ping timeout: 244 seconds). 08:45:35 -!- vodkode_ has joined. 09:18:21 -!- vodkode_ has quit (Ping timeout: 246 seconds). 09:27:00 Why are D10s such a lame shape 09:29:44 you can make a roller die, or a ten sided prism a lot like the d8, Taneb 09:30:33 fungot, what do you think of D10s? 09:30:33 Taneb: i just used google image search, even. let*-optionals would be a small icon in tray to sync the clipboards maybe. 09:36:32 i like those longer d10 09:37:52 http://www.gmdice.com/media/catalog/product/cache/1/image/9df78eab33525d08d6e5fb8d27136e95/d/1/d10-crystal-oblivion-red.png 09:50:54 -!- shikhin has joined. 10:02:00 that's a roller die, myname 10:02:10 barrle, tumbler? 10:02:14 barrel* 10:04:37 -!- shikhin has quit (Ping timeout: 256 seconds). 10:07:57 -!- shikhin has joined. 10:28:10 -!- shikhin has quit (Ping timeout: 255 seconds). 10:50:33 -!- boily has joined. 11:21:17 -!- J_Arcane_ has joined. 11:23:03 -!- J_Arcane__ has joined. 11:24:14 -!- J_Arcane has quit (Ping timeout: 252 seconds). 11:24:27 -!- J_Arcane__ has changed nick to J_Arcane. 11:27:00 -!- J_Arcane_ has quit (Ping timeout: 244 seconds). 11:49:39 -!- Sprocklem_ has joined. 11:51:25 -!- Sprocklem has quit (Ping timeout: 255 seconds). 12:05:41 -!- fractal has quit (Changing host). 12:05:41 -!- fractal has joined. 13:13:22 zzo38: http://sprunge.us/WCAD looks like it could be suitable for simple processors. 13:17:44 fungot: fungellot. still trapped? 13:17:44 boily: and more half-finished scheme implementations. the question here is, how would i know 13:17:58 fungot: because of the implementations, duh. 13:17:58 boily: i think it could be another one 13:18:07 fungot: you've got another reason? 13:18:07 boily: what about smileys like this ( if e1 ( error e2) e3) 13:18:28 fungot: those aren't smileys, they're sexpes. 13:18:28 boily: i'll write a forum post about a store in helsinki which sells african decoration stuff etc for ridiculously low prices. 13:18:54 * boily takes a sloooow step back away from the sentient 'got... 13:22:49 uh, has google always perverted the lower case g like that? 13:23:15 int-hello. how come? 13:23:58 Apparently it has. 13:24:37 ever since 1999. 13:25:10 their g looks fine to me. 13:26:30 -!- SopaXorzTaker has joined. 13:27:15 The lower loop is attached in a weird (wrong ;-) ) way. 13:27:51 the attachment is usually much further to the left. 13:28:28 But I have not noticed in 15 years, I wonder what triggered this observation now. 13:30:38 (actually I was hoping for an easter logo) 13:32:44 -!- Patashu_ has quit (Ping timeout: 256 seconds). 14:01:41 -!- nys has joined. 14:04:20 @tell oerjan Joyoeurjanses Pâques! 14:04:20 Consider it noted. 14:04:58 heh 14:05:20 b_joyeusnas pâques à toi aussi! 14:06:46 merci 14:09:51 how do you hungarianly wish Happy Easter? 14:16:52 -!- oerjan has joined. 14:18:39 boily: ask http://www.omniglot.com/language/phrases/easter.htm 14:19:03 omnious 14:20:03 boily: Goilyd Påske! 14:30:06 -!- ^v has joined. 14:36:12 -!- ^v has quit (Quit: Network ban). 14:36:33 -!- ^v has joined. 14:48:25 -!- GeekDude has joined. 14:55:32 @metar CYQB 14:55:33 CYQB 051400Z 28014KT 20SM FEW052 FEW080 SCT200 M05/M15 A2997 RMK CU1AC1CI2 SLP153 14:57:17 @metar ENVA 14:57:17 ENVA 051450Z 14005KT 9999 -SHSN BKN029 05/M05 Q1020 RMK WIND 670FT 18006KT 14:57:34 nevertheless, i saw snow a moment ago. 14:58:34 @metar ESSB 14:58:35 ESSB 051450Z 36010KT 330V040 9999 SHRA GS FEW022CB SCT040 05/01 Q1020 R30/19//60 14:58:43 It was snowing a few hours ago 14:58:56 @metar LOWI 14:58:56 LOWI 051450Z 27007KT 9999 -SHSN FEW010 BKN050 03/M00 Q1019 TEMPO SHSN 14:58:58 oops, "a few" is 10 apparently 14:59:45 @metar EGLL 14:59:45 EGLL 051450Z VRB04KT 9999 BKN038 12/04 Q1027 14:59:59 I feel strange, being at the warmest place when people are @metaring. 15:00:15 Why are D10s such a lame shape <-- just use a D20 with duplicate numbers hth 15:00:42 it's the platonic solution 15:03:31 "Or cut a D20 in half. Wait..." 15:03:33 @metar ayyy 15:03:33 @metar KSFO 15:03:33 KSFO 051456Z 14004KT 10SM FEW020 BKN030 BKN055 12/07 A2991 RMK AO2 RAB35E44 SLP129 P0000 60000 T01170067 55004 15:03:33 No result. 15:03:40 ? 15:03:52 f|`hello`|f! 15:04:11 f|`-`|f: why the questionment? 15:04:40 To violate your sense of world, and make you truly wonder 15:04:51 Why the hell don't they have a specific question 15:05:52 fungot: f|`-`|f makes less sense than you. how is it possible? 15:06:12 Your fungot quota is up! 15:06:12 fizzie: so, is the element before the current one. fnord 15:06:57 uppium 15:07:07 fnorduppium! 15:18:40 -!- SopaXorzTaker has quit (Remote host closed the connection). 15:22:51 -!- SopaXorzTaker has joined. 15:23:24 -!- SopaXorzTaker has quit (Max SendQ exceeded). 15:38:31 -!- simpleirc has joined. 15:39:09 hello 15:39:44 -!- simpleirc has quit (Remote host closed the connection). 16:05:28 -!- shikhin has joined. 16:13:20 -!- GeekDude has quit (Ping timeout: 255 seconds). 16:36:18 -!- oerjan has quit (Quit: leaving). 16:59:52 -!- Sprocklem_ has changed nick to Sprocklem. 17:09:12 -!- zadock has quit (Quit: Leaving). 17:32:07 -!- Tod-Autojoined has joined. 17:32:07 -!- TodPunk has quit (Read error: Connection reset by peer). 17:40:14 -!- fractal has quit (Ping timeout: 256 seconds). 17:51:15 -!- fractal has joined. 17:53:51 -!- boily has quit (Quit: FAMILIAR CHICKEN). 17:56:42 -!- augur has joined. 18:09:58 -!- shikhin has quit (Ping timeout: 245 seconds). 18:15:20 -!- shikhin has joined. 18:21:30 -!- Sprocklem has quit (Ping timeout: 252 seconds). 18:26:58 -!- zadock has joined. 18:28:12 -!- shikhin_ has joined. 18:28:18 -!- shikhin has quit (Ping timeout: 245 seconds). 18:28:43 -!- shikhin_ has changed nick to shikhin. 18:41:50 hello, I have awoken from my eternal, alcohol-induced slumber 18:42:53 helloren 18:42:58 fungot, green oren 18:42:58 b_jonas: it's just fnord of the object you pass in variable column names??? i have 18:45:37 -!- lleu has joined. 18:45:37 -!- lleu has quit (Changing host). 18:45:37 -!- lleu has joined. 19:08:51 -!- roasted42 has joined. 19:11:40 -!- roasted42 has quit (Changing host). 19:11:40 -!- roasted42 has joined. 19:11:40 -!- roasted42 has changed nick to TheM4ch1n3. 19:21:28 -!- Sprocklem has joined. 19:22:05 -!- ais523 has joined. 19:26:33 hi, fungot 19:26:34 FireFly: set! was perfectly fine for scheme-hacking weather 19:26:53 fungot: I wish you would set! the weather to be a bit warmer tomorrow 19:26:53 FireFly: my brain is scrambled too, just so it can 19:29:29 -!- TieSleep has changed nick to TieSoul. 19:46:23 Why doesn't the C standard library provide a "print quoted string" function!?!?! 19:48:28 Well, I guess I'll have to write fputqs myself 20:14:18 -!- izabera has changed nick to iza1. 20:14:21 -!- iza1 has changed nick to izabera. 20:31:16 So are there any unsolved yes-or-no questions in mathematics where about half of people think they're true and about half think they're false? 20:31:57 Seems like everyone thinks the Riemann hypothesis, the Goldbach conjecture, and the Collatz conjecture are all true (and there's some pretty nice evidence for all of these), and that P != NP. 20:32:34 tswett: I don't think the Collatz conjecture is held so generally 20:32:57 tswett: but there are much better examples where half of the people think it's true 20:33:06 there's, for example, the Hedetniemi conjecture about graph products 20:33:57 -!- Ronarsky has joined. 20:34:32 that's a nice one, thanks 20:34:43 let me try to find more 20:34:48 -!- Tod-Autojoined has changed nick to TodPunk. 20:34:56 -!- copumpkin has joined. 20:37:23 -!- boily has joined. 20:37:46 I'm not sure it's really "half", but I think at least one famous mathematicians has declared they conjecture it and at least one has declared they conjecture the opposite 20:38:03 obviously not everyone will have an opinion 20:38:51 tswett: My first thought was "the question of whether math talent is inborn" but that's really a biological question about mathematics. 20:39:18 or rather about the biology of mathematcians 20:39:32 -!- Ronarsky has quit (Ping timeout: 252 seconds). 20:39:33 oren: besides not being a mathematical question, that's not even a yes-no question 20:40:30 Now, here's a question. 20:41:01 Is there a "simple and easy to calculate" function N -> N whose image contains infinitely many numbers, all of which are prime? 20:41:21 b_jonas: did you arrive at that conclusion formally or intuitively? (scnr) 20:42:56 > nubBy (\a b -> 1 < gcd a b) [2..] 20:42:58 [2,3,5,7,11,13,17,19,23,29,31,37,41,43,47,53,59,61,67,71,73,79,83,89,97,101,... 20:43:37 (what does "simple and easy to calculate" mean?) 20:44:03 repeat 2 20:44:14 infinitely many numbers, all of which are prime 20:44:16 tswett: there's a moderately well known N^lots -> N function whose image contains all prime numbers, and no other positive numbres 20:44:19 > nubBy (((1<).).gcd) [2..] 20:44:20 [2,3,5,7,11,13,17,19,23,29,31,37,41,43,47,53,59,61,67,71,73,79,83,89,97,101,... 20:44:31 myname: but the image is finite 20:44:50 The set {2} certainly isn't "infinitely many". 20:44:51 oh 20:44:52 crap 20:45:19 int-e: well, let's say "easier to calculate than just finding the smallest prime number larger than n". 20:45:30 ais523: My memory may be failing me, but isn't it -> Z, and we know nothing about the negative numbers? 20:45:36 boily: re your lambdabot message: the NetHack devteam finally realised they probably weren't going to get another release out by themselves, and hired some variant developers to help out 20:45:40 int-e: err, yes, -> Z 20:45:41 sorry 20:45:48 > 2 : [3,5..] 20:45:49 [2,3,5,7,9,11,13,15,17,19,21,23,25,27,29,31,33,35,37,39,41,43,45,47,49,51,53... 20:45:56 it isn't what you were asking for, but it's similar enough that I mentioned it anyway 20:46:04 this is approximatively good enough for primes, and is easy to compute. 20:46:12 ais523: oh! thanks for the heads up. 20:48:17 I guess you could turn it into a function N -> N by using an isomorphism between N and N^lots. 20:48:29 ais523: so what's the function? 20:48:45 tswett: I don't know it offhand, it's some huge polynomial that was compiled from Lisp 20:48:51 but being a polynomial, it's easy to calculate ;-) 20:50:06 how can a polynomial have an image containing only integers? 20:50:17 By having only integers in its domain. 20:50:28 ah 20:50:30 b_jonas: we could have a poll for the second conjecture from http://int-e.eu/~bf3/squares/ (we're tiling rectangles with a minimal number of squares of integer size. if we scale the rectange (multiplying both sides by a positive integer), can the number of required squares become smaller?) 20:51:25 int-e: ooh, that's an interesting question 20:52:21 int-e: interesting, have asked that on Mathoverflow? 20:53:36 No. 20:54:26 int-e: also, Erich Friedman might be the right person to ask that 20:54:49 obviously either of these only after you've tried to search existing literature 20:56:12 Equivalently: The fewest squares solution to an NxM rectangle must, if N and M are both divisible by K, consist of squares whose side lengths are divisible by K 20:56:41 oren: what if there's more than one solution with the fewest squares? 20:56:47 Oh shit! 20:57:34 "at least one fewest squares solution" if we're trying to be equivalent to the old wording 20:57:49 "all fewest squares solutions" seems like a more interesting wording, though 20:58:13 b_jonas: I probably won't, not any time soon anyway. 20:58:24 int-e: ok, just saying 21:00:09 int-e: http://mathoverflow.net/q/44524/5340 may be relevant 21:01:57 int-e: and it links to http://mathoverflow.net/q/116382/5340 21:02:20 which in turn links back to you 21:02:37 and asks precisely about that conjecture you're asking 21:02:37 heh 21:07:18 so it's already asked 21:07:20 -!- TheM4ch1n3 has quit (Quit: later - tomorrow sometime while I upgrade valgrind & other things). 21:09:43 -!- TieSoul has changed nick to TieSleep. 21:11:12 -!- ais523 has quit (Read error: Connection reset by peer). 21:11:17 -!- callforjudgement has joined. 21:17:58 -!- oerjan has joined. 21:18:46 -!- zadock has quit (Quit: Leaving). 21:22:58 -!- callforjudgement has changed nick to ais523. 21:34:56 (what does "simple and easy to calculate" mean?) <-- what about an algorithm which finds a >= n digit prime in time O(n^k) ? 21:37:03 that may not be simple enough, but it should e.g. crush all current prime records easily. 21:39:20 oerjan: no, it doesn't 21:39:38 it doesn't? 21:39:46 oerjan: the point is, it's a well-known conjecture whether there's a _deterministic_ algorithm for that, but there's a very easy randomized algorithm 21:40:03 the randomized algorithm is to just pick a random n digit number and prime test it 21:40:14 -!- shikhin has quit (Quit: leaving). 21:40:21 oh hm 21:40:23 the prime test is fast (polynomial time) and there's O(1/n) chance that the number is a prime 21:40:48 b_jonas: well, can't you replace the random generation, with any pseudorandom generation that isn't above-average at hitting composite numbers? 21:41:05 but the prime records are so big that even prime testing is slow for them, and they actually use special form numbers with faster prime tests, specifically Mersenne numbers (numbers of the form 2**n-1 where n is an integer) 21:41:28 ais523: that's why it's a conjecture (and because people generally think randomness doesn't help anything) 21:41:49 but I think it's still open, and an important open problem 21:42:20 yes, it's also a conjecture that randomness doesn't help, although that may be at P vs. NP level of difficulty 21:42:30 ais523: http://polymathprojects.org/2009/07/27/proposal-deterministic-way-to-find-primes/ 21:42:44 that might have some useful descriptions and links 21:50:38 -!- Guest3780 has joined. 21:53:16 it feels slightly wrong to link a fanfiction when i don't even read the real thing but http://www.mezzacotta.net/dinosaur/?comic=70 21:53:36 wait, this applies to 99% of DMM's stuff 21:59:55 -!- erdic has quit (Ping timeout: 256 seconds). 22:10:06 /topic Cheesecake! | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/ 22:12:07 int-e: escaped intentionally? 22:12:26 yes, we have +t set at the moment. 22:13:00 hmm, did the trollbot come back? 22:14:33 (it's actually quite hard to escape things accidentally in irssi; the way to do that is to start a line with a slash, then a space: / /topic ...) 22:15:37 ah, Konversation escapes with just // 22:16:07 -!- erdic has joined. 22:16:23 +,p 22:16:31 int-e: the easiest way I accidentally escape is by trying to press / but the layout is set to Hungarian so it types - instead 22:20:02 "Verify this email address ([email protected]) and attach it to your account?" 22:20:15 I think I'm beginning to HATE cloudfront. 22:21:51 (as a "security feature", they replace strings that look like email addresses by javascript snippets) 22:25:48 looool 22:26:09 it is a valid email in the source? 22:26:19 presumably. 22:32:23 -!- Patashu has joined. 22:32:56 -!- callforjudgement has joined. 22:36:17 -!- ais523 has quit (Ping timeout: 264 seconds). 22:36:39 -!- callforjudgement has changed nick to ais523. 22:44:29 hmm, did the trollbot come back? <-- yes it did 22:54:30 * boily is sad the chännel's been +ted... 22:54:49 it is, indeed, untraditional. 22:55:13 -!- ChanServ has set channel mode: +o oerjan. 22:55:26 -!- oerjan has set channel mode: -t. 22:55:30 -!- oerjan has set channel mode: -o oerjan. 22:55:31 +ẗ 22:55:40 yay i got the syntax right 22:56:01 oerjan: advanced irc users do it in one command hth 22:56:17 WAT 22:56:20 e.g. /mode #esoteric -to oerjan 22:56:39 you change the mode of #esoteric to oerjan??? 22:56:41 huh 22:56:54 * boily TILed that oerjan is an IRC channel flag. 22:57:49 use it wisely. 22:57:59 -!- Sprocklem has quit (Ping timeout: 252 seconds). 22:58:34 /mode +ø 23:07:28 -!- int-e has set topic: Educated Cheesecake! | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/. 23:07:36 oerjan: is that wise enough for you? 23:08:11 i find that question a bit academic 23:08:55 does the cheesecake have a generous coulis de framboises on it? 23:09:39 @google coulis de framboises 23:09:41 http://www.marmiton.org/recettes/recette_coulis-de-framboises_11316.aspx 23:09:41 Title: Coulis de framboises : Recette de Coulis de framboises - Marmiton 23:10:31 yum 23:13:40 what's your favorite number? mine is 7 23:14:34 5. 23:14:54 16. 23:25:45 I suspect that if I start weighing all natural numbers against one another, I'll never finish. Fiendish. 23:27:06 int-e: you're thinking of conatural numbers hth 23:27:55 Not really. 23:28:51 err. 23:31:50 * oren doesn't know what a conatural number is, and bing is not helpful 23:32:29 natural numbers with the arrows reversed 23:33:49 I guess it's a co-free datatype, a final co-F-algebra with F(A) = 1+A. 23:34:25 (Whereas the natural numbers are a free datatype, an initial F-algebra, with the same F.) 23:35:05 The difference is that omega is a conatural number, the conatural number that is its own successor. 23:35:18 Is that cofree? 23:35:26 yes. 23:35:32 How? 23:35:54 just regard it as a stream over (). 23:36:21 What is it cofree on? 23:37:16 So it's the naturals, plus Ω where succ(Ω)=Ω . got it 23:37:28 ... I should've written "F-coalgebra". 23:37:42 It's the cofree F-coalgebra, with F as above. 23:39:42 A cofree F-coalgebra works out to the same thing as the cofree comonad on F, right? 23:40:14 So I guess in that sense you can say that CofreeComonad F () is the greatest fixed point of F. 23:40:30 But that seems pretty different from saying that the greatest fixed point itself is cofree. 23:42:06 I know some of these words. 23:42:10 Wat.are you people speaking English? 23:44:12 it seems so; or something vaguely similar. 23:44:45 shachaf: Ok, let me go one step back. I want a final F-coalgebra, whereas the datatype is an initial F-algebra. 23:45:12 Which data type? 23:45:23 naturals, in this case. 23:45:53 So F is Maybe here? 23:46:01 Yes. 23:46:15 OK. 23:48:12 oren: I fear they are afflicted with acute fungotitis. I can't make sense at all about what they're communicating. 23:48:12 boily: since it counts block allocation amounts in the filesystem 23:48:48 Anyway if it is cofree I'd like to know how. 23:49:01 Especially if there's some relationship to monoids. 23:49:22 boily: it's not very complicated but there are a lot of words 23:50:21 I know I read some blog posts about F-algebras and stuff like that, that on the spur of the moment it seemed all clear, but by the next day it had all but evaporated from my mind. 23:59:47 I guess the question I was asking before was along the lines of: Lists are free monoids. Are colists any sort of universal monoid construction?