00:03:26 -!- ais523 has quit. 00:24:39 Maybe... this is a bad idea 00:24:50 [the idea I came up with and am now implementing] 00:29:51 -!- Tod-Autojoined has changed nick to TodPunk. 00:30:21 T SGEO SOUNDS LIKE A GREAT IDEA (WAS RE: COCKS) 00:32:25 why does comic chat do the t thing anyway 00:32:34 instead of just "Sgeo:" like a real client 00:32:35 for jerkcity 00:32:58 I didn't know Comic Chat did a T thing 00:33:29 well if it's just jerkcity adding it 00:33:32 that would begood too 00:38:52 i don't think that's a Comic Chat thing 00:39:31 "The syntax comes from an archaic chat system running on APL machines; the T syntax was short for TELL. The use is perpetuated to this day as an inside joke." 00:39:38 http://www.jerkcity.com/glossary.html 00:41:32 so apparently the ptolemaic model didn't actually have earth at the centre 00:41:38 i mean i thought that was the entire point 00:42:13 I think I'm invisible 00:42:22 No one in another channel is saying anything to me 00:46:08 Pretty sure Dojo did what I want to do back in 2006 00:46:14 Reusing that code though would be dumb 00:47:09 Phantom__Hoover: what are you talking about 00:53:07 comic chat segfaults when i try to connect to freenobe 00:53:43 I mean, I already wrote the code in question, or at least theoretically enough for Angular's purposes, but need to figure out how to hook it into Angular 00:59:31 copumpkin: Well, it seems to be fine now. 01:00:10 ah, trolling? 01:00:14 haven't read scrollback 01:00:15 trollback? 01:00:44 Can talking about Javascript code ever really count as proprietary? 01:01:29 Some trolling and some, uh, other things? 01:01:48 Sgeo: Sure. Talking about anything can count as proprietary. 01:01:52 Especially if no one hears you talk. 01:02:24 Bike: should i see _The Rocky Horror Picture Show_ hth 01:02:39 imo no 01:02:51 i don't know anything about it except it's famous?? 01:03:10 http://www.earthnotaglobe.com/library/Flat_Earth_Society_Map.jpg 01:04:08 -!- augur has joined. 01:04:17 This map not be reproduced., Bike. 01:06:45 bike not reproduce map though 01:07:56 Religious people trying to talk about science like geography (ﾉ´∀｀*) 01:07:58 It always goes south 01:10:15 Sgeo: what's special about javascript 01:10:39 The client usually receives it. Wasn't thinking about node.js 01:11:18 So anyone could go ahead and take a peek at my code anyway 01:11:19 Being sent some code doesn't mean it's not proprietary either. 01:12:00 No, but it does mean that the code shouldn't really be all 'secrecy of this code is necessary for the security of something or other[ 01:12:09 Why is that different from any other situation where you give someone a program? 01:14:27 Because obfuscated JavaScript is moderately easier to read than machine code I guess 01:14:43 When you compile Haskell to it? 01:15:00 Or do you consider that not to be JavaScript, I guess? 01:15:23 Anyway JavaScript isn't really very different from other languages. 01:22:09 shachaf, well, there are a number of programs that are useful to a lot of people that are not given out 01:22:14 e.g. the backend code to Google Search 01:22:40 I don't think "proprietary" is a word that means anything unless you define it. 01:23:23 Well, as in, 'am I allowed to talk about it' 01:23:40 fight the power, sgeo. 01:23:44 fower 01:24:00 -!- simpleirc2 has quit (Remote host closed the connection). 01:24:02 Should I go to https://sumo.stanford.edu/speakers/2013/may14.pdf ? 01:24:12 imo no 01:24:31 imo you say that about everything 01:25:24 "but shall not include information known prior to Contract Employee's employment with Apex, or readily ascertainable by a person of ordinary skill in the assigned area of technical expertise." 01:27:47 shachaf, imo i don't 01:28:47 Sgeo, so what if, like, you had some field where the 'ordinary skill' was only obtainable by working for a particular company 01:29:42 that is vague as hell, imo fuck it 01:30:48 obfuscated javascript isn't that much easier to read than, say, JVM or .NET bytecode 01:30:53 Phantom__Hoover, wouldn't 'ordinary skill' be near 0, for skills that only exist within the company? Although I guess ordinary skill in the general populace of any technical subject is little 01:31:04 kmc, hm 01:31:20 regular jvm bytecode is p. easy to read hth 01:31:26 also just because you physically give someone source code (even fully commented, unobfuscated source code) doesn't mean you're giving them any legal rights to do stuff with that code 01:31:55 for example when Microsoft shares Windows source code with their business partners, it's obviously still "proprietary" and those partners can't pass it on to random third parties 01:31:58 I didn't want to give legal rights away, I just wanted to talk about it 01:33:33 "person of ordinary skill" is a term of art in patent law isn't it 01:34:40 is that like "a moron in a hurry" 01:35:28 It is, yeah. 01:35:40 Bike: Nah, more like "utterly normal professional" 01:35:41 eep, I've think I've coded like that before 01:36:13 Sadly, the patent office tends to be incapable of judging what's actually known by people in the field... 01:36:21 Oh, the phrase is not about professionals 01:36:38 term of art? 01:36:42 Did you know that putting an *algorithm* on a *computer* is novel? 01:37:06 "I mean really, I thought you were just supposed to bash the things together. You can compute with 'em!" 01:38:12 pikhq_: no i mean, "moron in a hurry" is a term of art in trademark law 01:38:19 Oh. :P 01:38:27 one of my favorite 01:38:42 canada switched to "ordinary hurried purchaser" because fuck them 01:39:14 -!- Phantom__Hoover has quit (Read error: Connection reset by peer). 01:39:39 -!- Phantom__Hoover has joined. 01:40:01 is "moron in a hurry" a term of art 01:40:12 haha 01:40:19 http://en.wikipedia.org/wiki/A_moron_in_a_hurry would i lie to you 01:40:29 i wish people would stop using 'ad hominem' as a synonym for 'insult' 01:40:56 i wish people would stop acting like latin terms for formal fallacies are very relevent in rhetoric 01:41:01 i wish people would stop using 'hypocrite' as a synonym for 'trying and failing to live up to your own expectations' 01:41:10 i 01:41:12 Yeah, isn't the whole thing with "ad hominem" that it's "insult therefore you're wrong"? 01:41:28 formally it's "you suck, therefore your argument sucks" 01:41:35 but it's indeed often used as "stop telling me i suck" 01:42:02 Of course, the converse can hold. There are many cases when one can say "your argument sucks therefore you suck". :P 01:42:38 in soviet russia, a conversation holds you 01:42:38 hth 01:42:59 but it's indeed often used as "stop telling me i suck" 01:43:15 it's also often used as 'you told me i suck so you're wrong' 01:43:31 yeah 01:43:33 imo that sucks 01:43:40 and people who use it probably suck 01:45:30 http://shrughes.com/p/forzans-razor/ hth 01:45:40 brought to you by an esolang person 01:49:57 that blog post is obnoxious 01:57:39 formalism! 01:57:55 http://25.media.tumblr.com/bd2be7695de64e8f79ba896fd0d25994/tumblr_mmtgicFHWa1rtih03o2_500.png 01:58:54 i'm glad i know how to use Inspect Element to fix awful bgcolor 01:59:01 though in this case it probably was not worth the effort 01:59:22 "Category: Boring, Serious" welp 02:00:27 elliott's razor: if you have to use inspect element to make a site readable then you don't actually care what it has to say in the first place 02:00:45 unless it is the onion's stupid fucking paywall thing 02:00:52 (elliott's exception) 02:01:35 do we all get razors now....... 02:02:05 bike's razor: bad at shaving 02:02:09 quora used to be hackable this way but now they do the stupid blurring server side 02:02:43 thankfully you also don't care what quora has to say 02:02:50 what's quora 02:03:03 kmc: add ?share=1 to the url hth 02:03:12 elliott: how else will i learn about startup culture and all the cool things to do in Palo Alto, CA 02:03:24 kmc makes a good point 02:03:30 shachaf understands 02:03:35 "startup culture" isn't real right 02:04:08 not real as in it doesn't exist or as in it's not culture 02:04:33 i dunno 02:05:18 kmc: there's nothing cool to do in palo alto 02:05:20 it's subject to poe's law 02:05:38 that's all i can say for sure 02:05:59 kmc: am i "startup cultured" 02:06:09 wow 02:06:40 the us had a programme in the 60s where they fired a few hundred million metal needles into orbit 02:06:47 "what could possibly go wrong" 02:06:48 oh that was an awesome program 02:06:54 i mean except for everything that went wrongn. 02:07:07 https://en.wikipedia.org/wiki/Project_West_Ford ? 02:07:12 yea 02:07:15 And I guess my real question is actually: "There aren't a non-negligible number of people who actually do this startup stuff, right" 02:07:43 there are a lot of people working at startups, if that's what you mean 02:07:52 Bike: have you seen hacker news 02:08:00 not in a while thankfully 02:08:05 also i can believe that it's just like twenty people 02:08:22 -!- Nisstyre-laptop has quit (Quit: Leaving). 02:08:37 it's actually just paul graham and kmc 02:09:00 the eternal struggle 02:09:05 don't drag me into this 02:09:15 Sorry. 02:10:25 it's paul graham and paul graham 02:10:27 and kmc 02:10:47 kmc: are you going to work at mozillasanto 02:11:02 imo monsanto and that security corp = the same 02:11:25 i know someone in sf who did some work for monsanto 02:11:34 I like that they named themselves like, Academio now 02:11:44 i don't think it was security "but you never know" 02:11:49 Academi 02:12:18 one can only assume they were thinking of xenophon 02:14:26 shachaf: aren't they literally 100% evil tho 02:14:57 @vixen how loyal are you 02:14:58 Politics would be a helluva good business if it weren't for the goddamned people. 02:14:58 i truely am 02:16:17 The Onion has a paywall thing? 02:17:18 yes 02:17:21 maybe it's out of US only 02:17:24 dunno 02:19:17 -!- Phantom__Hoover has quit (Read error: Connection reset by peer). 02:23:23 elliott: re mozillasanto: maybe 02:23:56 kmc: if you work on the browser can you make it not fucking suck like every other browser does, thanks 02:24:08 elliott: good advice 02:24:34 Do non-IE browsers do any content-sniffing? 02:27:34 kmc: also, i forget what rust did lately but it did something bad that involved gross runtime checks, imo get that undone 02:27:37 that is all 02:27:38 ok 02:27:53 thanks kmc you're the best 02:29:50 actually 02:30:01 there might be one or two things better than kmc I don't have 100% certainty in this rea 02:30:03 area 02:30:18 sorry kmc i'll have to get back to you on this one 02:30:20 why not ask a trusted venerable source, such as kimc 02:31:20 kimc is both kmc and dictator of north korea 02:31:25 the best of both worlds 02:32:18 http://i.imgur.com/Y9CUhUo.jpg reign of kimc 02:33:22 kmc: more seriously btw good luck and stuff 02:40:20 Oh hey kmc got a new job? 02:40:33 Or is otherwise doing something interesting? 02:51:38 Bike: what 02:51:49 Sgeo: no but i left the old job and i'm looking for a new one, in san francisco 02:52:01 Toburn 02:52:54 So what's this about congratulations? Unless you were still at the old job until now? 02:53:13 nobody said congratulations 02:55:29 00:45 < Bike> congratulations, you're god's chosen stoner 02:55:48 fungot: what is Sgeo talking about 02:55:49 kmc: at the first and will find the attached. as us inventory levels are again at critically on the weather gtc's that may not know. 02:56:14 I may have misunderstood 'good luck' as being congratulations. Esp. with the Mozilla references. 02:56:52 kmc: i did exactly the same lastlog 02:57:03 elliott: well i did it with grep so it was faster 02:57:03 -!- sebbu2 has joined. 02:57:30 kmc: wow u r true hax0r 02:57:37 this is why you get all the mozilla jobs and i don't 02:57:38 -!- sebbu2 has quit (Changing host). 02:57:39 -!- sebbu2 has joined. 02:57:46 btw is grep actually faster than /lastlog congrat 02:57:51 because /lastlog congrat takes approx. 0 seconds 02:58:26 the grep actually finished before kmc entered the command. 02:58:50 mosh's prediction feature 02:58:51 -!- sebbu has quit (Ping timeout: 256 seconds). 02:58:54 yes 02:59:38 And that train of thought leads me to wondering if deletion is idempotent 02:59:56 It should be iiuc idempotency, but it's a bad idea to make a GET request perform deletion 03:00:01 once mosh predicted how i'd react to something before i even read it and typed the reply for me 03:00:04 spookey 03:00:40 Sgeo: that's why there's a distinction between "safe" and "idempotent" 03:00:40 http://en.wikipedia.org/wiki/Hypertext_Transfer_Protocol#Safe_methods 03:00:46 kmc, ah 03:00:51 i thought http had a DELETE method anyway. 03:00:59 it does 03:01:05 it's idempotent but not safe 03:04:16 * Sgeo decides that it would be good to have a mostly RESTful web server that can if necessary have continuation-based portions 03:04:39 Web servers for game stuff for example 03:06:35 -!- sebbu has joined. 03:07:12 -!- sebbu has quit (Changing host). 03:07:12 -!- sebbu has joined. 03:07:31 -!- sebbu2 has quit (Ping timeout: 260 seconds). 03:10:20 i should probably sleep or something 03:10:32 before you ask: yes, fuck you 03:11:05 -!- Nisstyre-laptop has joined. 03:11:24 -!- TeruFSX has joined. 03:11:25 it's only 4 am Bike. i just feel shitty! 03:12:21 "only 4 am" 03:13:50 it's not even light outside yet! 03:16:04 -!- augur has quit (Remote host closed the connection). 03:21:54 Do IE10 and IE11 still do content-sniffing? 03:27:17 actually being tired is super annoying 03:27:21 fix this please Bike 03:27:52 * Bike drugs elliott 03:28:03 wow!! what are you doing 03:30:05 -!- JesseH has joined. 03:33:19 Bike!!!! 03:33:32 -!- JesseH has left. 03:34:15 look you're scaring the newbies away 03:44:17 who 03:44:37 yes 03:44:51 fuck :( 03:44:55 -!- augur has joined. 03:46:48 -!- augur has quit (Remote host closed the connection). 03:46:55 -!- augur has joined. 03:46:57 Bike: guess who isn't asleep 03:47:56 You you shit head 03:48:18 `pastelogs shit.?head 03:49:01 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.32440 03:49:09 imo you're not asleep either 03:49:12 and neither is kmc. or HackEgo 03:49:24 P.S. IAmA shithead <-- see. 03:49:44 imo don't give me flashbacks by quoting things i said as ehird 03:49:50 painful memories of being awful 03:50:14 `pastelogs ehird 03:50:21 fuck you 03:50:23 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.23943 03:50:34 goddamn elliott you're like 90% of the "shithead"edness 03:50:47 `pastelogs bike 03:50:49 "i honestly think my language may be worse than malbolge" good start 03:50:51 hi 03:50:58 predicting you're like 90% of the bike 03:51:00 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.27154 03:51:01 anyway stop reading that 03:51:11 http://www.google.co.uk/search?sourceid=chrome&ie=UTF-8&q=how+do+i+use+eclipse+and+workspaces+and+what+is+it+and+also+should+i+have+just+one+per+like+bukkit+plugin+i+am+writing+or+multiple+in+one+or%3F%3F%3F%3F%3F%3F%3F%3F%3F%3F+FUCK+YOU+SHIT+HEAD+HELP+ME 03:51:21 i remember that 03:51:29 did you know eclipse is awful 03:51:40 anyway stop reading old logs of me thanks 03:52:02 Hm I seem to be taking over your shitheading 03:52:03 I use Eclipse at work 03:52:07 Although I don't have to 03:52:20 i hear it's p. cool 03:52:43 hey i just got an idea to make elliott sleep 03:52:44 eclipse has some cool stuff, they have a DSL for implementing your own JVM-based language that gives you Eclipse support for free 03:52:49 To be honest, a lot of people holding the "asperger's" badge do it because they "dont fit in lol" and are self-diagnosed 03:52:54 i'm aware, having being diagnosed myself years ago :) 03:52:57 ugh 03:53:02 i wasn't kidding when i asked you to fucking stop 03:53:16 -!- Nisstyre-laptop has quit (Ping timeout: 256 seconds). 03:53:20 I wasn't kidding when I told you to sleep! 03:53:27 -!- elliott has left ("whatever"). 03:53:59 Sgeo: you're writing Java aren't you? when in rome 03:54:28 I think my boss uses NetBeans, as do some others there 03:54:48 (Well, used NetBeans when he was writing code, which he doesn't really do anymore) 03:55:11 it's weird to see #esoteric talk about esoteric languages 04:05:40 -!- elliott has joined. 04:06:00 Why does Chrome not have "Check for server certificate revocation" checked? 04:06:23 It doesn't? I never touch any of my settings and I still get "lol bad cert" all the time 04:08:42 -!- kallisti has quit (Quit: Lost terminal). 04:09:41 http://arstechnica.com/business/2012/02/google-strips-chrome-of-ssl-revocation-checking/ 04:12:00 http://www.wilderssecurity.com/showthread.php?t=317837 04:18:33 Hmm, there's a big ".99¢" sign here. 04:18:59 Should I trust the sign? 04:23:05 Is there a circumstance in which if you trust the sign, and the sign is wrong, you could actually lose money rather than abort the transaction? 04:47:03 "I took philosophy in graduate school. It was easy. Computer science/physics has solved all philosophical problems." 04:48:30 hackernews.txt? 04:48:43 A psychologist, apparently! (a silly one) 04:49:13 psychologistnews 04:49:29 ecological theory of perception more like dumbological theory of perception 04:51:16 welp, i don't know what that is, so 04:52:23 the philosophy thing was in response to "we have theoretical and philosophical reasons for that, but that's orthogonal to the issue at hand, let's talk about thermodynamics", don't you love ignored synonyms 04:54:17 http://25.media.tumblr.com/a4969c21745552ebfd02b8489bb63ed8/tumblr_mj1lwfAsTZ1s4efhno1_500.jpg 04:54:21 kmc: You should join #haskell-lens, which is really #edwardk. 04:54:24 Not that he's around much lately. 04:55:01 "all the fun of #edwardk without an actual edwardk" 04:57:22 Sgeo: "what have i done" 04:57:44 caused #edwardk to exist 05:00:34 -!- glogbackup has quit (*.net *.split). 05:00:34 -!- Koen__ has quit (*.net *.split). 05:00:34 -!- myname has quit (*.net *.split). 05:00:34 -!- olsner has quit (*.net *.split). 05:00:34 -!- nortti has quit (*.net *.split). 05:00:35 -!- abumirqaan has quit (*.net *.split). 05:00:36 -!- aloril has quit (*.net *.split). 05:03:31 -!- Koen__ has joined. 05:03:31 -!- myname has joined. 05:03:31 -!- olsner has joined. 05:03:31 -!- nortti has joined. 05:03:31 -!- abumirqaan has joined. 05:03:31 -!- aloril has joined. 06:26:48 -!- HackEgo has quit (Ping timeout: 245 seconds). 06:27:53 -!- HackEgo has joined. 06:30:22 -!- TeruFSX has quit (Ping timeout: 246 seconds). 06:55:43 -!- atehwa_ has quit (Remote host closed the connection). 07:00:07 -!- FireFly has quit (Quit: WeeChat 0.4.0). 07:23:20 -!- sebbu2 has joined. 07:23:57 -!- sebbu2 has quit (Changing host). 07:23:57 -!- sebbu2 has joined. 07:24:16 -!- sebbu has quit (Ping timeout: 246 seconds). 07:33:27 -!- epicmonkey has joined. 07:51:47 -!- myname has quit (Remote host closed the connection). 07:52:36 -!- myname has joined. 08:02:36 -!- epicmonkey has quit (Ping timeout: 256 seconds). 08:15:44 -!- FreeFull has quit (Quit: gotta go). 08:32:18 -!- atehwa has joined. 08:35:03 -!- c0bra_ has joined. 08:35:47 hi: anyone happen to know a language like this: "..... ..... ..... .!?!! .?... ..... ....." (continued) 08:43:10 c0bra_: does it have a vertical structure? 08:43:45 yes 08:44:34 12 packets of five characters each 08:44:45 and several lines 08:45:17 I think I've seen such language as well, but not sure what name is it 08:46:12 is there something like a search engine for them? ;) 08:47:19 New esolang wiki module/plugin/extension/whatnot idea? (Not at the moment.) 08:47:59 Sometimes perusing the categories helps. 08:48:20 c0bra_: is it the LNUSP? http://esolangs.org/wiki/LNUSP 08:49:46 lifthrasiir: no, doesnt look like this. the characters do not match 08:50:10 then I have no idea 08:51:03 hmm ... but thanks for help. any further suggestions are welcome :) 08:53:58 fizzie: i'm on this... 09:13:12 -!- epicmonkey has joined. 09:13:19 -----> http://www.splitbrain.org/_static/ook/ 09:15:37 -!- ggherdov has quit (Changing host). 09:15:37 -!- ggherdov has joined. 09:15:37 -!- ggherdov has quit (Changing host). 09:15:37 -!- ggherdov has joined. 09:16:35 I did actually think of Ook!, I just didn't know there was a "short form". (It seems somewhat unofficial.) 09:16:50 -!- conehead has quit (Quit: Computer has gone to sleep.). 09:20:03 -!- sebbu2 has changed nick to sebbu. 09:20:12 http://www.99-bottles-of-beer.net/ may be helpful 09:27:24 -!- sebbu2 has joined. 09:28:00 -!- sebbu2 has quit (Changing host). 09:28:00 -!- sebbu2 has joined. 09:28:21 -!- sebbu has quit (Ping timeout: 252 seconds). 09:42:54 -!- epicmonkey has quit (Ping timeout: 256 seconds). 09:54:57 -!- epicmonkey has joined. 10:07:39 -!- c0bra_ has quit (*.net *.split). 10:07:55 -!- c0bra_ has joined. 10:29:29 -!- Guest40257 has joined. 10:30:42 dead channel ?? 10:37:41 -!- Guest40257 has quit (Remote host closed the connection). 10:42:30 “The U.S. Congress has declared that the general welfare and security of the United States require that the unique competence of NASA be directed to detecting, tracking, cataloguing, and characterizing near-Earth asteroids and comets in order to provide warning and mitigation of the potential hazard of such near-Earth objects to the Earth.” 10:45:14 -!- Jafet1 has changed nick to Jafet. 11:05:54 Did you know that: #esoteric is a dead channel. (No reply in over eight minutes!) 11:24:02 -!- sebbu2 has changed nick to sebbu. 11:25:02 i thought also of ook, but was puzzled by these groups of five characters 11:36:40 thx for help and cya! 11:38:29 -!- c0bra_ has quit (Quit: Page closed). 11:42:18 -!- Phantom_Hoover has joined. 12:35:02 -!- epicmonkey has quit (Remote host closed the connection). 12:35:12 -!- epicmonkey has joined. 12:45:20 -!- Koen__ has left. 12:55:16 -!- boily has joined. 12:59:03 -!- metasepia has joined. 13:20:07 -!- FreeFull has joined. 13:23:28 -!- nooodl has joined. 13:24:55 -!- quintopi1 has changed nick to quintopia. 13:24:57 -!- quintopia has quit (Changing host). 13:24:58 -!- quintopia has joined. 13:26:30 -!- Tritonio has joined. 13:36:55 -!- Koen_ has joined. 13:43:09 -!- boily has quit (Quit: Poulet!). 13:43:12 -!- metasepia has quit (Remote host closed the connection). 13:50:43 -!- boily has joined. 13:50:59 -!- metasepia has joined. 14:01:44 -!- MindlessDrone has joined. 14:11:55 -!- Taneb has joined. 14:14:51 -!- oerjan has joined. 14:22:51 -!- Tritonio has quit (Quit: Leaving.). 14:27:46 -!- Tritonio has joined. 14:27:52 Bah 14:28:08 Doorbell went so I pretty much flew down three flights of stairs. 14:28:16 Got asked "Is the homeowner in?" 14:28:24 Said no 14:28:33 And had to clamber back up all these stairs 14:32:29 time to install a communication system 14:32:29 oerjan: You have 1 new message. '/msg lambdabot @messages' to read it. 14:32:33 @messages 14:32:34 You don't have any new messages. 14:32:34 kmc said 1d 18h 9m 13s ago: oh, there are some cubes with an image on each face, or a logo on every square, and in that case the centers can end up wrong if you solve it the normal way 14:33:43 Taneb, how do you even have 3 flights of stairs 14:33:44 Phantom_Hoover: You have 1 new message. '/msg kappabot @messages' to read it. 14:33:44 Phantom_Hoover: You have 1 new message. '/msg lambdabot @messages' to read it. 14:34:07 I don't know, do I look like an architect to you? 14:34:24 that means 4 floors! 14:34:47 kmc: but do they have 4 simultaneous 24-hour days in a single rotation? 14:35:09 lambdabot: @ask kmc but do they have 4 simultaneous 24-hour days in a single rotation? 14:35:09 Consider it noted. 14:39:07 Do not be misled by the evil lies of academia, especially about the whitewashed "Professor Cube". 14:39:37 Don't listen to macademia either, they're just nutty. 14:39:58 Macademic research 14:41:35 * boily describes a nice parabolic motion with an air launched sea creature of non-trivial mass aimed at Jafet's head 14:42:11 how can a sea creature have trivial mass 14:42:20 Jafet: that was almondst funny. 14:42:37 Phantom_Hoover: one plankton. 14:50:23 @ask tswett Add a bunch of ss together and boom, there's your function. <-- if you make s something analytic approaching 0 at infinity, and sum ss centered and rescaled on each rational with fast decreasing coefficients, can you get something analytic that works? 14:50:24 Consider it noted. 14:50:24 Consider it noted. 14:50:56 lambdabot: @messages 14:50:56 oerjan asked 32s ago: Add a bunch of ss together and boom, there's your function. <-- if you make s something analytic approaching 0 at infinity, and sum ss centered and rescaled on each 14:50:56 tswett: You have 1 new message. '/msg kappabot @messages' to read it. 14:50:56 rational with fast decreasing coefficients, can you get something analytic that works? 14:51:41 kappabot: no 14:52:00 oerjan: uh, what was the question, again. 14:52:29 Whether or not there's a function, analytic everywhere, that has a local maximum at every rational number? 14:52:31 an analytic function with a local maximum at each rational 14:53:10 Yeah. So we're wanting s to be something like 1/(x^2+1). 14:53:16 Which isn't analytic on the entire complex plane, but who cares. 14:53:26 -!- nooodl_ has joined. 14:54:39 Or... is the sinc function analytic at 0? 14:54:53 Yeah, probably. 14:54:56 it is. 14:55:20 anything better would be a bounded entire function, which means a constant iirc 14:55:38 so entire complex plane is out. 14:55:52 well, for the s's individually. 14:55:53 Of course, there are lots of entire functions that are bounded on the real line. 14:56:43 local maximum of analytic functions doesn't make much sense outside the real line either, anyway 14:56:50 -!- nooodl has quit (Ping timeout: 256 seconds). 14:56:57 Yeah, true. 14:58:30 So yeah. That seems like it would work. 14:58:56 Add -x to the whole thing so that you don't really have to worry about, y'know, stuff. 14:59:35 Then each little hill thing is pretty much an infinitely long vector, where one of the components is big and all the others are small. 15:00:51 Hmm. You want the others to be *really* small. Like, exponentially small. That'll ensure that your sum of all the little hills converges. 15:01:09 I guess pretty much anything smaller than harmonically small will work. 15:01:57 So 1/(x^2+1) is small enough. I doubt you'd really need any scaling. 15:02:37 Then you just have to prove that you can set all the amplitudes such that the local maxima end up in the right place. 15:02:54 You could probably do that through some naive iterating process, and it seems like that would converge. 15:03:50 -!- Lymia has quit (Ping timeout: 246 seconds). 15:05:27 -!- oerjan has quit (Ping timeout: 250 seconds). 15:52:10 -!- Phantom_Hoover has quit (Remote host closed the connection). 15:59:52 -!- augur has quit (Remote host closed the connection). 16:00:18 -!- augur has joined. 16:04:54 -!- augur has quit (Ping timeout: 264 seconds). 16:08:20 -!- Phantom_Hoover has joined. 16:14:00 -!- conehead has joined. 16:22:09 -!- Nisstyre-laptop has joined. 16:22:25 Is there a cohaskell? 16:42:52 -!- augur has joined. 17:00:31 -!- glogbackup has joined. 17:08:15 -!- Tritonio has quit (Quit: Leaving.). 17:16:55 FreeFull: haskell has it all. it is its own co. 17:20:52 -!- Phantom_Hoover has quit (Ping timeout: 276 seconds). 17:22:47 -!- Phantom_Hoover has joined. 17:39:06 -!- SirCmpwn has quit (Read error: Connection reset by peer). 17:42:34 -!- Bike has quit (Ping timeout: 245 seconds). 17:43:06 -!- SirCmpwn has joined. 17:43:29 -!- Phantom_Hoover has quit (Ping timeout: 248 seconds). 17:44:40 -!- Bike has joined. 17:46:07 -!- TheGuyKnownBefor has joined. 17:51:13 -!- oerjan has joined. 17:53:03 -!- TheGuyKnownBefor has quit (Ping timeout: 256 seconds). 17:57:19 i'm pretty sure i didn't know that guy before. 18:01:58 Me neither 18:02:46 yeah I think it's just another guy 18:04:49 he's not known, he's not before, I'm pretty sure we can surmise he's not a guy, nor a the. 18:06:06 I remember a math lecturer mentioning something called "the topologist's sine", but not what it was, except that it was very squiggly (technical term) at zero. 18:07:02 boily: i'm not sure, he _could_ be a holy roman emperor in disguise 18:10:22 fizzie: { (x,sin(1/x)) | 0 < x <= 1 } union ({0} x [-1,1]) is a space i've seen (it's a simple example of a compact metric space that is connected but not path-connected or locally connected) 18:11:17 although i guess that's not a function. 18:11:53 oerjan: That's apparently the extended (blu-ray?) edition, whereas the plain version just has (0,0) in it. In addition to the sine, I mean. 18:12:15 (But it was the same topic.) 18:13:13 x*sin(1/x) is another function that might fit, it's continuous but not differentiable at 0, or is that differentiable but without a continuous derivative... 18:13:36 just add more x's to get more derivatives. 18:14:09 According to Wikipedia, anyway; according to Mathworld, it's sin 1/x for x > 0, and (x,0) for x <= 0. I suppose it depends on the topologist. 18:14:35 -!- Gregor has joined. 18:14:51 Friggin' furgleberg. 18:16:18 also according to wikipedia, what i said first is the _closed_ topologist's sine curve. 18:18:00 Sorry, right. The extended edition was something sillier. 18:18:18 The closeted topologist's sine. 18:19:25 OKAY 18:19:55 i assume it's a very sineful object 18:20:51 do i want to know who furgleberg is 18:21:03 fizzie: The closeted topologists's sin. 18:21:13 fugleberg means "bird cliff" in norwegian fwiw 18:21:29 oerjan: lol, surely not for real? Or at least not spelled that way? 18:21:34 Oh, you removed the 'r' 18:22:20 also there are apparently people named that. 18:22:20 (Anyway, it doesn't mean anything, I was just making unhappy sounds) 18:22:27 -!- Koen_ has quit (Quit: The struct held his beloved integer in his strong, protecting arms, his eyes like sapphire orbs staring into her own. "W-will you... Will you union me?"). 18:24:59 -!- epicmonkey has quit (Ping timeout: 260 seconds). 18:34:20 -!- madb4rd2 has changed nick to unterberg. 18:37:15 @messages 18:37:15 oerjan asked 4h 2m 6s ago: but do they have 4 simultaneous 24-hour days in a single rotation? 18:37:15 You don't have any new messages. 18:37:22 oerjan: indeed 18:37:32 EXCELLENT 18:40:55 `pastequotes 18:41:04 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.13287 18:43:08 in an alternate universe 18:55:44 -!- Bike_ has joined. 18:57:49 -!- Bike has quit (Ping timeout: 240 seconds). 18:57:53 I'm disturbed. very disturbed. fungot, stop making sense. you're as intelligible as the average human. 18:57:53 boily: with the strip, where we get to the equity for that project developers face in securing their next board meeting on the street. 1102 end order form on the enron travel management 18:58:29 -!- Bike_ has changed nick to Bike. 19:00:05 -!- Phantom_Hoover has joined. 19:03:31 dead channel ?? <-- it's just resting hth 19:04:52 yay i got through the logs 19:05:19