00:05:56 -!- Bicyclidine has quit (Ping timeout: 255 seconds). 00:06:28 -!- Bicyclidine has joined. 00:08:51 beep boop 00:09:31 bÿÿp 00:10:45 -!- Bicyclidine has quit (Ping timeout: 240 seconds). 00:12:29 -!- Phantom__Hoover has joined. 00:15:33 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 00:15:56 -!- yorick has quit (Read error: Connection reset by peer). 00:20:56 -!- MoALTz_ has joined. 00:22:21 -!- MoALTz has quit (Ping timeout: 276 seconds). 00:35:55 -!- skarn has quit (Ping timeout: 240 seconds). 00:36:19 -!- skarn has joined. 00:39:13 -!- Bike has quit (Read error: Connection reset by peer). 00:39:39 -!- Bike has joined. 00:49:51 https://www.kickstarter.com/projects/lofi/four-sided-fantasy-a-game-about-the-limits-of-the 00:50:24 -!- Phantom__Hoover has quit (Read error: Connection reset by peer). 00:54:58 -!- boily has quit (Quit: COMMUNICATING CHICKEN). 01:01:02 -!- conehead has quit (Ping timeout: 255 seconds). 01:09:17 -!- conehead has joined. 01:23:50 -!- sevenqueue has joined. 01:27:25 -!- sevenqueue has left ("WeeChat 1.0-dev"). 01:29:02 -!- Sorella has quit (Remote host closed the connection). 01:31:09 -!- Sorella has joined. 01:31:22 -!- MoALTz__ has joined. 01:32:01 -!- MoALTz_ has quit (Read error: Connection reset by peer). 01:43:26 Hofstadter's book mentions BlooP, which has only loops limited by the number calculated ahead of time, and FlooP, which adds "MU-LOOPS", which the limit doesn't need to be known ahead of time. SQL has only the first kind, which is sometimes insufficient. 01:48:45 indeed 01:49:05 can SQLite's WITH RECURSIVE do the latter? 01:49:38 in postgres a recursive CTE can do arbitrary things, I think 01:49:51 which I assume sqlite is implementing too 01:49:55 kmc: Yes, although only for read-data, not for calling triggers and so on. 01:50:26 (Also, the RECURSIVE keyword is optional and doesn't do anything; it is there for compatibility and to remind you if you need reminding.) 01:51:00 ah 01:52:55 When inserting into a view with triggers attached (it is an error to insert into a view without triggers attached), the SELECT statement is first run completely before the trigger is fired even once, so if a recursive WITH clause in the SELECT statement giving the data to insert results in an infinite number of result rows, it will run out of memory before the trigger is fired. 01:54:22 I have written an extension to add new syntax such as CREATE FUNCTION, CREATE MACRO, CREATE NAMESPACE, CREATE COLLATION, but cannot quite figure out how to add a proper syntax for traps and "mu-loops" which are usable inside of trigger programs. 01:58:17 -!- zzo38 has quit (Remote host closed the connection). 02:00:05 -!- tromp has joined. 02:31:12 -!- tertu has joined. 02:45:18 :( how much of the web runs on JSONP? 02:48:48 all of it 02:49:40 I refuse. I'd rather use an invisible iframe if it comes down to it. Which it is. 02:52:07 sgeo will die on this hill 03:16:19 -!- Sorella has quit (Quit: It is tiem!). 03:17:59 -!- tromp__ has joined. 03:18:53 -!- tromp has quit (Ping timeout: 264 seconds). 03:23:56 -!- tertu has quit (Ping timeout: 252 seconds). 03:31:15 -!- tertu has joined. 03:39:17 -!- edwardk has joined. 04:07:17 -!- ter2 has joined. 04:07:18 -!- tertu has quit (Disconnected by services). 04:10:13 -!- tertu3 has joined. 04:13:27 -!- ter2 has quit (Ping timeout: 255 seconds). 04:16:22 [wiki] [[EsoAPI]] M http://esolangs.org/w/index.php?diff=39467&oldid=31127 * Sprocklem * (+13) 04:18:57 [wiki] [[EsoAPI]] http://esolangs.org/w/index.php?diff=39468&oldid=39467 * Sprocklem * (-13) Undo revision 39467 by [[Special:Contributions/Sprocklem|Sprocklem]] ([[User talk:Sprocklem|talk]]) 04:19:09 -!- Sprocklem has quit (Quit: Leaving). 04:19:27 -!- ^v has joined. 04:25:11 -!- ter2 has joined. 04:28:29 -!- tertu3 has quit (Ping timeout: 264 seconds). 04:30:17 -!- Sgeo_ has joined. 04:33:41 -!- ter2 has quit (Ping timeout: 255 seconds). 04:34:04 -!- Sgeo has quit (Ping timeout: 258 seconds). 04:42:59 -!- ter2 has joined. 04:43:22 -!- edwardk has quit (Quit: Computer has gone to sleep.). 04:45:25 -!- edwardk has joined. 05:06:29 -!- edwardk has quit (Quit: Computer has gone to sleep.). 05:10:08 -!- ter2 has quit (Ping timeout: 255 seconds). 05:11:39 -!- edwardk has joined. 05:20:29 -!- pikhq has quit (Ping timeout: 245 seconds). 05:23:27 -!- Sgeo_ has quit (Quit: No Ping reply in 180 seconds.). 05:23:40 -!- password2 has joined. 05:24:22 -!- Sgeo has joined. 05:36:48 -!- edwardk has quit (Quit: Computer has gone to sleep.). 05:39:31 -!- jhj1 has quit (Ping timeout: 240 seconds). 05:41:23 -!- drdanmaku has quit (Quit: Connection closed for inactivity). 05:42:09 -!- cel_reloaded has joined. 05:42:18 -!- cel_reloaded has quit (Client Quit). 05:42:50 -!- cel_reloaded has joined. 05:47:59 -!- ^v has quit (Quit: http://i.imgur.com/Akc6r.gif). 05:53:18 -!- jhj1 has joined. 06:15:30 -!- cel_reloaded has quit (Quit: cel_reloaded). 06:27:05 -!- MoALTz__ has quit (Quit: bbl). 06:27:07 -!- cel_reloaded has joined. 06:40:57 -!- oerjan has joined. 06:55:10 -!- cel_reloaded has quit (Quit: cel_reloaded). 07:03:55 -!- cel_reloaded has joined. 07:04:34 -!- cel_reloaded has quit (Client Quit). 07:11:57 http://assbaka.tumblr.com/post/84284936715/a-leucistic-red-winged-blackbird 07:13:02 -!- cel_reloaded has joined. 07:22:26 -!- cel_reloaded has quit (Ping timeout: 255 seconds). 07:25:59 -!- slereah_ has joined. 07:28:27 someone really wants us to be artists https://en.wikipedia.org/w/index.php?title=Esoteric_programming_language&curid=53398&diff=607370289&oldid=605551525 07:28:44 ARE WE NOT 07:29:29 well yes, but that section still makes me slightly embarassed. 07:29:41 i suppose it will pass. 07:30:26 That guy will discover some new hip thing to brag about 07:30:34 And he will forget all about esolangs 07:30:46 He will take up glassblowing 07:30:51 yeah but then he'll have to make a new nick! 07:30:58 oerjan: re: theenemysgate.ca I like that idea 07:31:10 coppro: wat 07:31:23 i don't remember what that was 07:31:50 Gregor: fix HackEgo's log access please ;_; 07:33:54 coppro: are you sure i'm the right person, i vaguely remember that domain name but it's not in my browser log afaict... 07:34:00 oerjan: the cited pressey article is better than the entire section, of course 07:35:13 coppro: I think that could have been ion 07:36:16 or another finn? 07:36:34 Not me. 07:37:27 it might help if coppro quoted people properly twh hth 07:38:41 -!- FreeFull_ has quit. 07:47:08 -!- MindlessDrone has joined. 07:50:01 oerjan asked 1d 21h 54m 48s ago: I should register theenemysgate.ca and point it to an IP address that doesn't have a server <-- what about a server that responds to pings, but _nothing_ else twh 07:50:24 i should just ignore messages matching ^<.oerjan>.*h$ 07:51:50 good thinking 07:52:16 O KAY ;_; 07:52:53 i blame the mind control rays for wiping my memory hth 07:53:29 wait does that mean coppro cannot see this twh 07:56:23 -!- pikhq has joined. 08:26:39 -!- Patashu has joined. 08:26:58 -!- Patashu_ has joined. 08:26:58 -!- Patashu has quit (Disconnected by services). 08:35:31 -!- MindlessDrone has quit (Ping timeout: 252 seconds). 08:43:34 -!- password2 has quit (Ping timeout: 240 seconds). 08:49:24 -!- MindlessDrone has joined. 08:49:31 -!- skarn has quit (Changing host). 08:49:31 -!- skarn has joined. 09:31:47 -!- mhi^ has joined. 10:05:32 :t replicateM 10:05:33 Monad m => Int -> m a -> m [a] 10:07:32 > replicateM 2 [True,False] 10:07:33 [[True,True],[True,False],[False,True],[False,False]] 10:24:04 -!- conehead has quit (Quit: Computer has gone to sleep). 10:26:44 Hm 10:26:58 Is true/false guaranteed to correspond to 1/0 in C? 10:27:43 Or just "nonzero"/0? 10:30:57 @hoogle hFlush 10:30:58 System.IO hFlush :: Handle -> IO () 10:30:58 GHC.IO.Handle hFlush :: Handle -> IO () 10:30:58 GHC.IO.Handle hFlushAll :: Handle -> IO () 10:33:01 "Each of the operators yields 1 if the specified relation is true and 0 if it is false" okay 10:34:17 FireFly: Yes. ;) 10:34:36 -!- yorick has joined. 10:35:00 mhi^: huh, I didn't know you were in here 10:35:31 FireFly: Someone must have edited my auto-join list! 10:35:44 FireFly: Seriously, I joined ~2 weeks ago, I think. 10:36:11 Aha 10:36:39 * FireFly is convinced all channels he's in on freenode will eventually converge 10:37:17 FireFly's law of IRC. 10:37:36 FireFly, does that apply to channels you aren't in? 10:39:07 I'm not sure, possibly 10:39:57 Although yes, I think the only channel I'm in that doesn't have people I'm not in other channels with is #dwarffortress 10:42:23 That is, you can draw a sort of graph of channels I'm in and there are other people in multiple channels I'm in 10:42:37 And that's the only disconnected one 10:46:04 but are there isolated clusters? 10:47:19 * oerjan tries to remember if that rail compiler guy has been on the channel. 10:49:05 imagine if we had, like, a way to search the channel logs... 10:49:47 -!- AnotherTest has joined. 10:50:59 AnotherTest: hm have you been away for a while? 10:51:24 my memory is not working any more and it's all Gregor's fault 10:53:04 `run ls bin/*log* 10:53:05 bin/anonlog \ bin/etymology \ bin/log \ bin/logurl \ bin/pastalog \ bin/pastelog \ bin/pastelogs \ bin/pastlog \ bin/randomanonlog \ bin/searchlog 10:53:43 `paste bin/etymology 10:53:44 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/bin/etymology 10:54:07 Ah, etymonline 10:56:56 FireFly: bin/ is not where the problem resides hth 10:57:05 `log whereami 10:57:06 ​/hackenv/bin/log: 2: cd: can't cd to /var/irclogs/_esoteric \ grep: ????-??-??.txt: No such file or directory 10:59:50 Yeah 11:00:03 I was just curious roughly how many log-related commands we have that broke because of it 11:30:41 -!- nucular has joined. 11:30:41 -!- nucular has quit (Changing host). 11:30:41 -!- nucular has joined. 11:31:00 -!- yorick has quit (Remote host closed the connection). 11:31:40 -!- KingOfKarlsruhe has joined. 11:38:41 -!- KingOfKarlsruhe has quit (Quit: Leaving.). 11:39:02 `whoami 11:39:03 whoami: cannot find name for user ID 5000 11:39:09 makes sense 11:39:29 `id 11:39:29 uid=5000 gid=5000 11:40:16 -!- KingOfKarlsruhe has joined. 11:45:52 -!- oerjan has quit (Quit: leaving). 11:46:21 -!- yorick has joined. 11:49:48 -!- Sgeo has quit (Read error: Connection reset by peer). 11:56:50 -!- cel_reloaded has joined. 11:57:08 -!- cel_reloaded has left. 12:00:29 -!- Froox has quit (Ping timeout: 245 seconds). 12:11:30 -!- Frooxius has joined. 12:40:26 `id -Z 12:40:27 id: --context (-Z) works only on an SELinux-enabled kernel 12:49:12 -!- AnotherTest has quit (Ping timeout: 276 seconds). 12:49:47 -!- mhi^ has quit (Quit: Lost terminal). 13:13:02 -!- FreeFull has joined. 13:16:12 Vi Hart on Net neutrality http://youtu.be/NAxMyTwmu_M 14:00:44 The person in the next row spent most of the plenary playing 2048 on her phone. 14:00:56 Such disrespect. 14:01:44 Neutral to the talk 14:02:35 -!- Patashu_ has quit (Ping timeout: 252 seconds). 14:18:28 fizzie: did they win? 14:38:13 I don't think so. I wasn't concentrating on it, though. 15:05:57 `unicode MULTIOCULAR O 15:05:58 U+A66E CYRILLIC LETTER MULTIOCULAR O \ UTF-8: ea 99 ae UTF-16BE: a66e Decimal: ꙮ \ ꙮ \ Category: Lo (Letter, Other) \ Bidi: L (Left-to-Right) 15:09:36 [wiki] [[Zero]] http://esolangs.org/w/index.php?diff=39469&oldid=39466 * Tailcalled * (-134) brainderp 15:10:02 -!- KingOfKarlsruhe has quit (Quit: Leaving.). 15:14:53 -!- Cineribus has joined. 15:15:08 -!- edwardk has joined. 15:15:17 -!- Cineribus has left. 15:33:38 -!- ter2 has joined. 15:49:54 -!- edwardk has quit (Ping timeout: 276 seconds). 15:52:00 -!- slereah_ has quit (Quit: Leaving). 16:09:07 -!- ^v has joined. 16:12:37 -!- nooodl has joined. 16:55:24 -!- MoALTz has joined. 17:00:49 -!- Phantom_Hoover has joined. 17:16:55 [wiki] [[Talk:Zero]] N http://esolangs.org/w/index.php?oldid=39470 * GreyKnight * (+641) Created page with "== clarification needed == My questions: * what constitues "correct grammar" of a pseudoprogram? * does the Halting sequence represent only grammatically-correct pseudoprogram..." 17:53:21 -!- oerjan has joined. 18:11:35 I wonder 18:11:58 Can you write a simple exponential function if you use non-floating points functions? 18:12:47 Like a fixed point real 18:13:12 Hm 18:13:19 log2 might 18:13:31 er, what? 18:13:50 of course you can write exp for other representations. 18:14:19 [wiki] [[Talk:Zero]] http://esolangs.org/w/index.php?diff=39471&oldid=39470 * Oerjan * (+846) My guesses etc. 18:14:58 I am just wondering if there is one that doesn't require some long ass series representation 18:15:31 the series for exp is about as simple as they come. 18:15:46 True, but they don't use that one! 18:16:17 It converges way too slowly and only around a particular point 18:16:39 hm 18:16:41 -!- ^v has quit (Read error: Connection reset by peer). 18:16:49 well it's faster the closer you are to that point. 18:17:08 The implementations I've seen usually use the Remez algorithm 18:17:09 no, slereah's right, the taylor series really isn't adequate. actual implementations use other polynomials 18:17:12 right 18:17:27 shocking 18:17:29 honestly, polynomials are pretty simple, though 18:17:38 True 18:17:40 -!- ^v has joined. 18:17:44 I am just wondering if you can 18:17:46 GO FASTER 18:17:59 just make it red hth 18:18:14 Unfortunately it is not Ork arithmetics 18:18:48 you could use the iterated log representation and define exp as adding one to the exp tower 18:18:51 p. easy 18:19:07 * oerjan hasn't actually played WH40K but he's visited the wiki 18:19:31 (http://en.wikipedia.org/wiki/Symmetric_level-index_arithmetic it's actually used! almost sorta) 18:19:57 Neat~ 18:20:24 more practically there's http://en.wikipedia.org/wiki/Gal%27s_accurate_tables and a bunch of other shit i imagine 18:20:27 tables ftw 18:20:48 http://en.wikipedia.org/wiki/Table-maker%27s_dilemma#The_table-maker.27s_dilemma on the other hand 18:23:41 Bike: fascinating 18:25:55 I also wonder if having a fraction type might be useful for precision 18:26:13 Though I suppose the risk is having 1000/2000 for 1/2 18:26:44 But you could reduce to common denominators if it overflows I guess 18:28:15 scheme actually has fraction type, iirc 18:28:48 i think if you try to use a fraction type with series you'll overflow even the reduced term pretty fast. 18:29:06 Maybe. 18:29:22 Hm 18:29:42 -!- MoALTz_ has joined. 18:29:52 Do any languages use some totally symbolic representations for math? 18:29:57 Outside of Mathematica, I guess 18:30:01 what if the fraction type is stored as 2xbigint 18:30:10 most lisps have a rational type, yes 18:30:11 hmm, *2 bigints 18:30:13 and it's basically 2 bigints 18:30:17 Like keep exp(x) as e^x 18:30:22 nortti: then you'll eventually run out of memory. 18:30:24 At least for the duration of the computation 18:30:37 And then apply arithmetic rules to it 18:30:39 and it reduces fractions so there's no risk s mentioned 18:30:49 Slereah: yeah, sure. 18:30:57 -!- MindlessDrone has quit (Quit: MindlessDrone). 18:31:01 here's one http://www.haible.de/bruno/MichaelStoll/reals.html 18:31:04 note that if you add n fractions with relatively prime denominators, the new denominator is the product of all of them... 18:31:18 Nice 18:31:38 well, i suppose haskell CReal or whatever does that too 18:31:45 oerjan : but is that different from fixed point reals 18:31:55 -!- MoALTz has quit (Read error: Connection reset by peer). 18:32:19 Slereah: well fixed point reals will lose precision instead... 18:32:20 also, for totally different ways to compute exp, you could simulate the ODE for a while, that would be fun and implausible 18:32:45 although not as much for addition i guess 18:32:52 and for different representation you could use http://en.wikipedia.org/wiki/Euler%27s_continued_fraction_formula#The_exponential_function ~ 18:33:29 so many ridiculous possibilities. 18:33:33 I knooow 18:33:34 -!- conehead has joined. 18:34:02 Markov did a neat little paper on ways to represent computable real numbers 18:34:33 markov the younger, or what 18:34:34 He did it as three µ-recursive functions, f(x) - g(x) / h(x) 18:35:07 oh right markov the younger worked in computability, i totally forgot 18:36:06 oh, and schonhage, i.e. /that/ schonhage, does stuff with complexity of analytics http://www.iai.uni-bonn.de/~schoe/topics.html 18:36:11 (4) 18:36:30 for a usual positional representation, of course 18:37:12 I like how matrix multiplication has some very "fast" algorithms 18:37:23 "so fast" 18:37:28 But they are so ridiculously overcharged with calculations that they are basically never useful 18:38:08 well, schonhage multiplication (of scalars, not matrices) /is/ actually practical for some numbers 18:38:33 for when you have, like, numbers that are 3 KB long, but that's not too bad :V 18:38:57 How often do you have numbers 3 kB long 18:39:02 [wiki] [[Talk:Zero]] http://esolangs.org/w/index.php?diff=39472&oldid=39471 * Tailcalled * (+556) /* clarification needed */ 18:39:19 me? never. but it's in GMP!! 18:39:31 That's like 18:39:35 > 10^924 18:39:36 1000000000000000000000000000000000000000000000000000000000000000000000000000... 18:39:37 As an INTEGER 18:39:40 wow why did i think k was capitalized... 18:39:50 kiloBikes 18:39:55 "Applications of the Schönhage–Strassen algorithm include mathematical empiricism, such as the Great Internet Mersenne Prime Search and computing approximations of π, as well as practical applications such as Kronecker substitution, in which multiplication of polynomials with integer coefficients can be efficiently reduced to large integer multiplication" 18:40:31 mathematical empiricism is so great. the polynomials for bifurcation constants own 18:40:31 At least the fast matrix multiplication is useful if the matrix is a few thousand entries wide 18:40:43 Which happens a fair bit! 18:40:54 yeah, i work with big matrices at work. linear algebra's too useful. 18:47:38 -!- realzies has quit (Ping timeout: 240 seconds). 18:51:18 Hm 18:51:22 What about 18:51:30 Nah, nothing 18:51:33 Not a good idea 18:57:50 -!- password2 has joined. 19:09:52 -!- augur has quit (Remote host closed the connection). 19:10:18 -!- augur has joined. 19:12:59 -!- Jafet has quit (Ping timeout: 245 seconds). 19:13:09 -!- Jafet has joined. 19:14:41 -!- augur has quit (Ping timeout: 264 seconds). 19:16:26 -!- ^v has quit (Quit: http://i.imgur.com/Akc6r.gif). 19:16:49 -!- ^v has joined. 19:20:11 -!- conehead has quit (Quit: Computer has gone to sleep). 19:21:56 -!- conehead has joined. 19:36:13 http://whitneymusicbox.org/index.php?var=v0 19:38:22 -!- drdanmaku has joined. 19:46:33 Slereah: The situation where you can end up with faster matrix exponentiation than multiplication 19:47:23 *yawn* 20:00:57 * FreeFull puts a cookie in Taneb's yawn 20:02:55 :( 20:04:22 eat the cookie, Taneb, eat it 20:04:46 is it poisoned? 20:05:09 or just the usual harmless but annoying tracking device? 20:12:35 It has chocolate in it 20:13:22 but that doesn't really answer the question 20:14:11 * int-e mines himself some paranoiacoins. 20:14:45 `coins 20:14:46 ​0x3coin djtcoin bagdalcoin bubnccoin wiecoin hevecoin brzelcoin ihaxcoin mesheencoin minicoin >coin cheminicoin prolamcoin carumcoin zetarcoin nehuntumcoin nuishcoin siminingcoin msgcoin brocoin 20:15:00 >coin 20:15:08 zetarcoin is almost metarcoin 20:21:39 ihaxcoin 20:22:50 Cookiecoin. 20:23:15 There seemed to be no traps at that Google recruiting event I talked about previously. 20:23:35 There seemed to be no recruiting to speak of going on either, on the other hand. 20:25:49 fizzie: are you sure you're not still there, inside a virtual reality room 20:26:23 I guess they're concentrating that more on their stand at the conference, but it makes me wonder if the event had much of a purpose. Though I guess purely by accident there must've been a couple recruiting-related Googler/non-Googler interactions. 20:26:40 I'm not sure of that, but at least the view was nice. 20:26:55 overt recruitment might trigger defensive responses 20:27:30 Ah, so they're just being sneaky and underhanded. 20:28:02 The stuffed droids looked sympathetic, I give them that. 20:28:14 (Green and furry.) 20:28:37 fizzie: no parachute required? 20:29:00 as I recall you were making plans for an emergency exit 20:29:09 No, I just took the elevator down. Assuming I ever left. (Cf. oerjan) 20:29:12 or people made them for you, my memory is hazy on that point :) 20:29:18 The latter, I think. 20:29:46 ~metar COIN 20:29:50 I did speak to two Google people, but of quite inconsequential topics. 20:30:42 FireFly: you'll have to wait for metasepia and/or boily 20:32:39 You entered "COIN" 20:32:40 Sorry, either there are no data available for your request or you did not enter any valid ICAO airport abbreviations 20:32:55 Too bad 20:33:28 COIN is the name of the "centre of excellence" (a funding-related construct) I worked for, or possibly still do. 20:33:57 It's an acronym (or at least approximately), but I forget what it stands for. 20:34:04 The word "inverse" was in there somewhere. 20:34:19 centre of inverse non-excellence? 20:34:53 "The Finnish Centre of Excellence in Computational Inference Research (COIN) --" 20:35:04 COmputational INference, I guess. 20:35:10 my guess too 20:35:23 Mputation and co-mputation. 20:35:32 Hmm, Interferences Research 20:36:02 And I see it didn't even have "inverse" in the name. 20:36:46 -!- scoofy has joined. 20:38:31 Ohhh. The "Centre of Excellence in Inverse Problems" is a separate CoE, and it doesn't have an acronym. V. confusing. 20:39:28 Cabal Of Interfering Numismatists 20:39:28 INPR probably sounded too silly. 20:39:54 they'd think it was a myers-briggs classification. 20:40:22 Is it a valid one? I always forget the letters. 20:40:48 no, there is no R and the P goes last. 20:40:59 One of them should be T/F, I guess. 20:42:02 -!- Sprocklem has joined. 20:43:51 Introvert-intuitive-programmed-random, perhaps. 20:44:55 weird: when someone mentions a number of big names in your field and they are Mystic Amazing Mathematician #1, Mystic Amazing Mathematician #2, and the guy I took a course from last year 20:56:40 coppro: has your guy ever been seen together with Mystic Amazing Mathematician #3 ? 20:56:50 -!- nycs has joined. 20:58:02 oerjan: I'm pretty sure it's his secret identity 20:58:32 shocking 20:59:18 -!- `^_^v has quit (Ping timeout: 276 seconds). 21:03:58 -!- realzies has joined. 21:03:59 -!- realzies has quit (Changing host). 21:03:59 -!- realzies has joined. 21:05:45 -!- Patashu has joined. 21:07:04 -!- realz has joined. 21:07:07 -!- `^_^v has joined. 21:08:39 -!- nycs has quit (Ping timeout: 252 seconds). 21:14:03 Incidentally, can any of you folks (no need for more than one or two answers) DNS-resolve zem.fi? It works from my university shell account, but not from this hotel, nor via Google's 8.8.8.8, yet doing it with dig manually (@a.fi zem.fi ns and so on) seems just fine. 21:14:27 Perhaps I did something wrong w.r.t. DNSSEC key expiration. 21:14:31 i can even see your ltree. 21:14:41 164.138.29.87 via my router 21:14:45 nothing via 8.8.8.8 21:15:10 I think I read from somewhere that 8.8.8.8 does DNSSEC these days. 21:15:37 -!- password2 has quit (Ping timeout: 252 seconds). 21:17:15 Oh yes, those RRSIGs have expiration times today. I think I tried to tell them not to do that. 21:17:39 -!- realz has quit (Quit: realz). 21:21:58 -!- Sprocklem has quit (Ping timeout: 252 seconds). 21:26:38 -!- john_metcalf has quit (Ping timeout: 255 seconds). 21:32:47 -!- Jafet has quit (Changing host). 21:32:47 -!- Jafet has joined. 21:33:14 -!- Jafet has left. 21:41:04 -!- nucular has quit (Quit: Excess Food). 21:43:14 -!- vravn has quit (Ping timeout: 240 seconds). 21:46:03 -!- vravn has joined. 21:50:56 -!- edwardk has joined. 21:54:20 -!- mhi^ has joined. 21:54:54 -!- Patashu_ has joined. 21:54:54 -!- Patashu has quit (Disconnected by services). 22:03:27 -!- ^v has quit (Quit: http://i.imgur.com/Akc6r.gif). 22:03:31 -!- augur has joined. 22:03:49 -!- ^v has joined. 22:10:33 -!- Sprocklem has joined. 22:10:46 -!- ^v has quit (Read error: Connection reset by peer). 22:11:05 -!- oerjan has quit (Quit: leaving). 22:11:12 -!- ^v has joined. 22:11:50 -!- Bicyclidine has joined. 22:13:28 -!- nooodl_ has joined. 22:16:29 -!- nooodl has quit (Ping timeout: 264 seconds). 22:17:50 -!- Bicyclidine has quit (Remote host closed the connection). 22:18:05 -!- Bicyclidine has joined. 22:19:36 -!- edwardk has quit (Quit: Leaving...). 22:23:51 -!- Sorella has joined. 22:27:06 -!- boily has joined. 22:27:31 -!- Sgeo has joined. 22:36:38 -!- augur has quit (Remote host closed the connection). 22:51:34 -!- vravn has quit (Ping timeout: 240 seconds). 22:53:03 -!- vravn has joined. 22:55:05 -!- yorick has quit (Remote host closed the connection). 23:01:46 -!- mhi^ has quit (Quit: Lost terminal). 23:17:54 -!- vravn has quit (Ping timeout: 240 seconds). 23:20:33 -!- vravn has joined. 23:32:46 -!- Jafet has joined. 23:46:25 -!- nooodl_ has quit (Ping timeout: 252 seconds). 23:53:53 -!- ^v has quit (Read error: Connection reset by peer). 23:54:21 -!- ^v has joined.