00:01:09 it's the partitive case of "shallow and spot" 00:01:22 where spot means the dog 00:01:48 sorry 00:01:48 shallows 00:02:21 (shallows meaning shallows spots in a body of water) 00:04:21 it's a popular finnish game where you get on a boat with our family and throw the family dog and your kids in the water. the game is that you try to shoow the family dog before your kids find a shallow spot. if they can't find one fast enough, they drown and you shoot the dog, otherwise everyone's safe 00:04:32 i know it sounds cruel but it's actually a lot of fun 00:04:45 if you hate your life and are a sociopath with a shotgun 00:04:55 i'm very sleepy. 00:05:17 *shoot 00:06:05 also pun not intended with shallow spot vs. dog name spot. didn't even notice that, i'm very tired. 00:06:32 also we use the partitive because you cut them into pieces if they lose 00:07:16 if they win, you cut them into peace easy, which sounds like a good thing 00:07:21 *peace ease 00:07:35 so this one time there was cheese 00:10:03 -!- nortti has left. 00:10:24 i feel partially responsible for that 00:11:23 wonder what i should say next 00:11:26 something about clocks 00:11:29 nah that's too easy 00:11:35 maybe i'll talk about feelings 00:12:06 feelings are interesting because while they don't really have physical form, you can still "eat them", i'm sure you know which idiom i'm referring to 00:12:22 this probably stems from some sort of conspiracies in history when i was going to sleep 00:12:24 night 00:32:44 hi 00:41:35 -!- PiRSquared has quit (Remote host closed the connection). 00:53:25 Has the Bible ever been translated into Egyptian hieroglyphics? 00:54:12 I doubt it. 00:55:16 Probably much of the Torah is. 00:55:19 *has been 00:55:44 Or more likely into hieratics, but same idea. 00:55:45 The bible was written in Egyptian hieroglyphics, man! 00:58:38 (That was a bad joke by the way, I don't think the Torah has been translated into ancient Egyptian ;) ) 01:02:53 Some of the texts probably did have origins in Egyptian ideas. However, what I mean is the modern text, including the New Testament as well. There are probably are Ehyptian texts with similar ideas to texts in the Bible; but that is not what I meant. 01:14:34 -!- Jafet has joined. 01:15:16 -!- Jafet1 has quit (Ping timeout: 265 seconds). 01:15:37 -!- cswords has joined. 01:18:55 -!- Jafet1 has joined. 01:19:32 -!- Jafet has quit (Ping timeout: 260 seconds). 01:29:01 pikhq_: Ping 01:33:12 Pong; just got home from work. 01:35:40 I forget, do you have to do anything special to get Quod Libet playing gapless? 01:42:32 I would like to know if there is ephemeris software which includes rotation of objects other than the Earth. 01:43:30 zzo38: stellarium includes jupiters great red spot.. is that what you mean? 01:43:31 pikhq_: Pingping. 01:43:48 zzo38: (so you can figure out when it'll be visible) 01:44:26 calamari: That would be one example, I suppose. 01:44:50 zzo38: and it might do other planets as well, but I don't know their surface features well enough to say for sure 01:48:21 elliott: Nothing special. 01:49:02 zzo38: well I was curious so I fast-forwarded on mars.. it spun the planet, so I'm assuming yes 01:49:53 zzo38: what project are you planning? 01:50:34 pikhq_: Yay, thanks. 01:51:31 If you're unlucky, though, GStreamer will have a bug preventing gapless FLAC. 01:51:50 (fixed in latest GStreamer, though) 01:53:49 I suspect Arch has a new enough GStreamer to avoid that. 01:53:53 But it is indeed FLACs I'm playing. 01:58:45 You could delete quotlibet and install xmms! 01:58:56 Eeeew, xmms. 01:59:12 It'd probably be saner to install Winamp 2 in WINE. Surprisingly. 01:59:31 What is the computational class of Common Lisp FORMAT strings? 01:59:35 Sanity is for wussies 01:59:44 TARPIT-HARD 02:00:05 Actually by this channel's standards, probably tarpit-medium 02:00:30 I asked in #lisp if it's TC, they said no 02:00:37 Or, one person said no. 02:00:55 I'd imagine it's at minimum a FSM. 02:00:59 I should note that I'm excluding ~/ 02:01:53 calamari: I do not need a picture of the planets. I intend something superior to Astrolog, with more coordinate systems, and more other stuff too including custom orbital parameters (Astrolog has these but in a very limited way), and a few features Swiss Ephemeris also appears to lack. However, apparent diameters would be useful, but photographs are unnecessary. 02:02:13 pikhq_: Hey, xmms2 ain't bad. 02:02:17 xmms1 otoh... 02:02:45 (Such things as refraction are also useful to have here; as well as switching on/off various things such as annual aberration of light, and finite speed of light, etc) 02:03:47 (Swiss Ephemeris has some of these features, but not all.) 02:04:00 elliott: If you omit a number, I assume xmms1. 02:04:09 zzo38: well maybe it's just me, but if it can produce a pic of the planet spinning then it did the calculation in the stellarium code somewhere 02:04:10 Thus my response. 02:04:20 XMMS wasn't too bad. In 2000. 02:04:37 That's over half my lifetime ago. 02:05:26 calamari: Yes that may be the case. However, is there any standard zero longitude defined on the planets other than the Earth? 02:05:55 zzo38: guess you'd have to look and see 02:06:11 zzo38: Don't think so. We'd need to get the British to set up shop on each one for that to happen. 02:06:23 And then we can have Martian Greenwich Mean Time. 02:07:07 And I mean not only the planets, but also the Moon and Sun, and also dwarf planets. 02:09:09 -!- Jafet has joined. 02:10:11 -!- Jafet1 has quit (Ping timeout: 245 seconds). 02:11:25 If we know the objects and the rotations of each one, we can make up coordinates for locations on the surface of the planets, and local ecliptic and local equatorial celestial coordinates relative to those planets, and timezones, and houses relative to those planets. 02:11:54 (As well as where the local tropics are) 02:12:05 (And a few other things too) 02:12:39 pikhq_: Question: Who thought it was a good idea to put any user interface (e.g., dials) on the back of a device which is intended to be operated facing forwards? 02:12:45 And how can I reeducate them? 02:13:14 Beats me. The only form of UI that makes sense there is the sort that you literally do not need to look at at all. 02:13:28 Say. R and L *buttons* on a controller. 02:13:47 Nintendo 64 has the Z button on the back. 02:13:54 I imagine it's because they believe the configuration is a rare task, or the back will be readily-accessible even if it involves going 'round to the cables. 02:14:00 They are dumb. 02:14:10 Oh, wait, you mean something that's not even hand-held? 02:14:13 Yep. 02:14:15 Retarded! 02:14:15 -!- Jafet has quit (Ping timeout: 272 seconds). 02:14:32 Bonus: if you just turn it around to do it, you won't be able to tell if you set it right or not, so you just have to lean over it. 02:14:51 Bonus to the bonus: It has sharp corners. 02:14:59 I would like my hands back. 02:15:07 The other thing I was looking for, is glyphs for all the dwarf planets in our solar system; some of them do not yet have glyphs (one does not yet have a name; and it should probably be named first before a glyph is assigned) 02:20:17 (2007 OR10 lacks a name.) 02:21:57 elliott, why do you have to actually see the dial itself? 02:23:54 Sgeo_: Who said I do? 02:24:40 Oh, I guess physically reaching it is difficult? 02:25:25 zzo38: do you have a telescope? 02:25:27 Well, not impossible, but I do have to move it slightly and lean over, leading to awkwardness and aforementioned sharp corner nicks. 02:26:39 calamari: No, I don't. But even if I did, that wouldn't help me to name 2007 OR10 or assign glyphs or anything. 02:27:01 zzo38: just trying to understand your interest in celestial mechanics 02:27:20 For the purpose of writing computer programs. 02:27:49 (I do sometimes look at the stars and moon and so on outside; but I have no telescope) 02:28:33 I'd like to write a program to use a wii remote to help me aim my scope 02:28:51 Do you have Bluetooth in your computer? 02:28:55 but I still need to figure out the math 02:29:11 yes, but I was envisioning using my phone 02:30:03 Astrolog does have many features; but some features are lacked, such as GPS input, and negative harmonic factors. 02:32:46 (The reason I want glyphs for the dwarf planets is for purpose of including them on diagrams. There are many kinds of diagrams which you might want them on) 02:33:12 (However, it is only the certain and nearly certain ones which I am interested in.) 02:34:11 -!- elliott has quit (Remote host closed the connection). 02:34:14 zzo38, have you ever tried a Lisp? 02:35:15 Sgeo_: No. 02:38:38 monqy, tswett update 02:39:29 Merci. 02:40:19 -!- elliott has joined. 02:40:37 elliott, update 02:40:43 Did you even see the flash yet? 02:42:21 Yes. 02:50:55 -!- elliott has quit (Quit: Leaving). 03:12:28 You know, I don't think I care for Polynomial. 03:12:43 I think it ought to be designed in such a way that it doesn't *matter* which way the instructions are executed. 03:13:29 Polynomial? 03:13:53 esolangs.org/wiki/Polynomial or summat. 03:17:05 Man. The page "Pure BF" looks sort of familiar. Almost as if I had written it or something. 03:17:06 register += 0 is not representable in Polynomial? 03:19:16 Sure it is. Multiply the polynomial by 4. 04:06:25 -!- elliott has joined. 04:06:42 Friendship: So did your interview get published? 04:08:04 -!- deadlocked has joined. 04:10:12 `welcome deadlocked 04:10:20 deadlocked: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page 04:21:33 I don't think deadlocked feels welcome enough. 04:23:37 There should be a `WELCOME which welcomes someone IN CAPS. 04:24:01 elliott: Thannks for the welcome. 04:27:05 OK 04:28:43 `run echo '#!/bin/sh' >bin/WELCOME; echo "welcome \"\$@\" | perl -ne 'print lc(\$_)'" >>bin/WELCOME 04:28:46 No output. 04:28:48 `run chmod +x bin/WELCOME 04:28:51 No output. 04:28:52 `WELCOME ION 04:28:56 ion: welcome to the international hub for esoteric programming language design and deployment! for more information, check out our wiki: http://esolangs.org/wiki/main_page 04:29:01 Oops. 04:29:06 That was quite a spectacular failure. 04:29:15 `run echo '#!/bin/sh' >bin/WELCOME; echo "welcome \"\$@\" | perl -ne 'print uc(\$_)'" >>bin/WELCOME; chmod +x `which WELCOME` 04:29:18 No output. 04:29:22 `WELCOME ION 04:29:25 ION: WELCOME TO THE INTERNATIONAL HUB FOR ESOTERIC PROGRAMMING LANGUAGE DESIGN AND DEPLOYMENT! FOR MORE INFORMATION, CHECK OUT OUR WIKI: HTTP://ESOLANGS.ORG/WIKI/MAIN_PAGE 04:29:30 \O/ 04:29:33 :D 04:29:41 `WELCOME lowerelliott 04:29:44 LOWERELLIOTT: WELCOME TO THE INTERNATIONAL HUB FOR ESOTERIC PROGRAMMING LANGUAGE DESIGN AND DEPLOYMENT! FOR MORE INFORMATION, CHECK OUT OUR WIKI: HTTP://ESOLANGS.ORG/WIKI/MAIN_PAGE 04:29:46 I think this more appropriately conveys the sinister hostility which underlies our initially seemingly-benign welcomings. 04:31:43 Too bad. 04:31:53 The URL are case sensitive 04:33:11 Well, the wiki part is 04:33:21 Actually, both parts are. 04:33:31 And by both, I am excluding esolangs.org 04:33:31 I COULD MAKE /WIKI/ BE A MIRROR OF THE WIKI WITH ALL THE TEXT TRANSLATED TO UPPERCASE. 04:33:35 The URI scheme and domain name is case insensitive, but the rest is case sensitive. 04:33:40 THAT WOULD BE COOL. 04:33:44 IN FACT, I AM NOW SORELY TEMPTED TO DO THAT. 04:34:01 ELLIOTT, THAT WIKI WILL BE A FALSE WIKI, FOR THOSE LANGUAGE WHICH ARE CASE SENSITIVE 04:34:09 IF ANY 04:34:28 FALSE, PERHAPS, BUT WHO WILL QUESTION A WIKI THAT SHOUTS THAT LOUD 04:35:22 esolangs.org will still show up as lowercase in most browsers' address bars? 04:35:29 ? 04:35:35 OKAY, THE MAIN PROBLEM I CAN SEE IS THAT IT'S FIDDLY TO DETERMINE WHICH PARTS TO UPPERCASE, HTML-WISE. 04:36:01 THE RELIABLE THING WOULD BE TO MAKE A NEW LANGUAGE IN THE MEDIAWIKI INSTALLATION IDENTICAL TO THE ENGLISH ONE BUT WITH ALL THE TEXT UPPERCASED, AND WRITE AN EXTENSION TO FILTER THE TITLE AND PAGE TEXT BEFORE OUTPUTTING, BUT FUCK THAT NOISE. 04:36:14 FUCK IT, I'LL DO IT SOME OTHER TIME. 04:38:21 -!- madbr has joined. 04:39:14 OKAY :-( 04:39:49 wonder if it's possible to make a language out of nothing but threads and mutexes 04:39:52 That's so bold I can't read. 04:40:01 madbr: Makes me think of the pi calculus. 04:42:24 why? 04:42:44 madbr: Well, because that just has concurrent communicating processes (~ threads). 04:42:52 And you can do the lambda calculus with it. 04:43:38 oh right 04:44:00 You want the pthreads to pi calculus' Erlang. :p 04:48:30 yeah... was thinking of making a language with only the bad parts of c++ :D 04:50:21 `run welcome foo | perl -CS -Mutf8 -Mlocale -pwe 'y/!-~/!-~/; y/ / /' 04:50:25 ​foo: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.or 04:51:30 Whoops, i meant to drop -Mlocale, it isn’t needed. 04:53:23 I don't have those fonts. :( 04:53:25 What fonts do I need? 04:53:55 Dunno, whatever Ubuntu has by default. :-P 04:54:58 Something for Japanese. 04:55:02 Didn't peg you as an Ubuntu user. 04:55:08 Look for Mincho and Gothic. 04:55:09 Ah, I'll install whatever they were called. 04:55:28 Oh - not takao? 04:57:07 Mincho and Gothic are *types* of font. 04:57:12 Takao should do you fine. 04:57:51 Yes - now why doesn't Arch have it. 04:58:04 Sigh - AUR. 04:58:08 Lots of dashes today, I'm. 04:58:36 pikhq_: If not Takao, what would be a good choice of (non-bitmap) Japanese fonts? 04:59:28 $ apt-cache depends ubuntu-desktop | grep ttf | cut -d' ' -f4 | xargsttf-dejavu-core ttf-freefont ttf-indic-fonts-core ttf-kacst-one ttf-khmeros-core ttf-lao ttf-liberation ttf-punjabi-fonts ttf-takao-pgothic ttf-thai-tlwg ttf-ubuntu-font-family ttf-unfonts-core ttf-wqy-microhei 04:59:40 Yeah, Ubuntu does Takao. 05:00:21 Kochi Mincho? 05:02:31 pikhq_: Nunavut in the repositories, either. 05:02:35 Guess I'll AUR me some Takao. 05:02:58 (Canadian territories are my new phonetic slang source.) 05:03:08 This was explanatory. http://static.lukew.com/japantype_mincho_gothic.gif 05:03:11 * pikhq_ is using Meiryo, but that's certainly not in the repos, in part due to being illegal without a license for Microsoft Windows 05:03:36 ion: Yup, all you need to know right there. 05:03:42 Is ilari a regular here? 05:03:46 Where is ilari a regular? 05:03:56 ilari was a regular here... 05:04:11 He seems to have been in #x264 regularly, though. 05:04:19 Ilari was a regular here but stopped being here ~two years ago. 05:04:33 Thought it was more recent than that. 05:04:39 Might have been one year. 05:04:51 You can tell by the lack of IP attrition updates. 05:05:02 He has NetHack open on termcast.org for some reason 05:05:03 It's like the ticking of a clock, you only notice it's gone minutes too late. 05:05:10 Lots of people termcast NetHack. 05:05:12 IP attrition updates? 05:05:47 Y'know, IPv4 run out and all that. 05:05:52 And IPv6 sort of had tiny little nibbles taken out of it. 05:06:08 Incidentally, RIPE depletion estimated at 2013-03-16. APNIC depleted nearly a year ago. 05:06:26 -!- MDude has changed nick to MSleep. 05:06:39 Is that causing problems in AP? 05:06:47 I guess there's enough layers that it hasn't really hurt anyone yet. 05:07:23 It's probably not hurting in Asia quite as hard as it would anywhere else. 05:07:33 Some of their ISPs have offered home IPv6 since 2000. 05:07:35 -!- deadlocked has left ("Me fui..."). 05:07:38 Oh, misparsed IP as intellectual property 05:07:47 We're running out of intellectual property! 05:07:50 Soon there'll be no more ideas. 05:07:53 “imaginary property”, FTFY. 05:07:59 ion: Thanks, Stallman. 05:08:13 * ion eats some foot dirt 05:08:21 Lord knows all we have to do is to get people to stop saying IP and copyright will DISAPPEAR OVERNIGHT. 05:09:12 Intellectual Protocol. Internet Property. 05:09:30 * elliott saw someone expand PIPA as "Protect Internet Privacy Act". 05:09:35 And we're still going through 1.34 /8s per month. 05:09:51 Which, you know... "Act" is right. 05:09:56 So they're not *completely* wrong. 05:10:15 And the first letter of each word is also correct. 05:10:32 That's true! 05:10:38 That's very true. 05:10:41 They were actually quite right indeed. 05:10:52 No, they are still wrong in general. 05:10:54 Unfortunately, the large amount of wrong they also were drowned out recognition of this. 05:11:11 * Sgeo_ wikipedias 05:11:25 Preventing Intellectual Property Act? 05:11:28 Preventing Real Online Threats to Economic Creativity and Theft of Intellectual Property Act. 05:11:29 HTH. 05:11:34 P stands for PROTECT. 05:11:41 Which stands for the first n words of that expansion. 05:11:54 I wonder who gets paid to come up with backronyms for bills. 05:11:59 PATRIOT Act and all that. 05:12:04 Bills? Is it a bill? I don't know "law". 05:12:13 I hate it when my intellectual property is stolen. I wish they’d just copy it. 05:12:51 ion, I think you're going to kill me. 05:13:15 ion: Someone broke into my stereo the other day and stole my music with that "mp3" thing. 05:13:19 Fuck Linux. :( 05:13:19 https://marketplace.secondlife.com/p/Antiposeball-5-SAVE-PRIMS-ON-FURNITURE/219014 05:13:41 elliott: It's a bill until it gets signed into law. So, yes, "bills" would be right. 05:13:50 -!- calamari has quit (Quit: Leaving). 05:14:00 When does it become Ballmer? 05:14:11 PIРA Is a Рecursive Acronym 05:14:27 :D 05:14:43 When someone throws a chair across Congress. 05:15:11 Especially when that someone says "Developers developers developers developers" 05:15:46 -!- asiekierka_ has joined. 05:15:57 The word Ballmer looks a bit like pallomeri, which is Finnish for a ball pit, and which translates literally to a sea of balls. 05:17:06 ion: For certain values of a bit. 05:17:17 Well. I suppose it has at least 1 bit in common. 05:18:01 elliott: Does it also have 0 bit in common? 05:18:10 If those are both true then it has both bits in common. 05:19:15 Whoa. 05:21:36 -!- cswords_ has joined. 05:24:46 -!- cswords has quit (Ping timeout: 246 seconds). 05:41:39 -!- Sgeo_ has changed nick to Sgeo. 05:54:35 -!- augur has joined. 06:23:44 -!- oerjan has joined. 06:24:09 -!- madbr has quit (Quit: Radiateur). 06:24:52 morning 06:29:58 hi 06:29:59 also we use the partitive because you cut them into pieces if they lose 06:30:35 oklofok: more disturbing than usual 06:31:28 s/:/ is/ 06:35:19 hi oerjan! im tired oerjan! 06:35:30 hi elliott! go to bed elliott! 06:35:42 hi oerjan! what 06:35:50 GO. TO. BED. 06:36:13 i cant hear you 06:36:51 ____ ___ _____ ___ ____ _____ ____ 06:36:51 / ___|/ _ \ |_ _/ _ \ | __ )| ____| _ \ 06:36:51 | | _| | | | | || | | | | _ \| _| | | | | 06:36:51 | |_| | |_| | | || |_| | | |_) | |___| |_| | 06:36:51 \____|\___/ |_| \___/ |____/|_____|____/ 06:37:26 oh. 06:37:31 well that's just ridiculous. 06:37:36 it is only 6:37. 06:37:57 well it's ridiculous if you _haven't_ been up all night. 06:38:33 well, i have that. 06:38:56 ok maybe i will. WE'LL SEE. 06:39:17 excellent maybe 06:45:31 "It is recommended that a report message be a complete sentences, in the proper case and correctly punctuated." 06:45:57 http://www.lispworks.com/documentation/HyperSpec/Body/09_acaa.htm 06:45:58 Rokostaa mutaa mi elejästyty jo rammastulo ei ava luonen. 06:46:27 All Google Translate got out of that was "not already opened" 06:46:41 -!- MoALTz_ has quit (Ping timeout: 240 seconds). 06:47:52 Huh, "ava" is a Finnish word. I didn't know that. 06:48:11 oerjan: asdfl;;gskhh;g;j'fd'h 06:48:24 elliott: ewoufhwrqølbre 06:48:38 oerjan: ;_; 06:48:56 im cry. 06:49:03 how dare you cry at the mighty ølbre 06:49:14 (that would mean beer glacier) 06:49:35 im crey. 06:49:43 -!- MoALTz has joined. 06:50:55 oerjan: grey crey teyrs. 06:51:08 o my sads. 06:51:11 elliott is a grey? that would so explain things. 06:51:33 what seems to be problem, actually? except that you should GO TO BED? 06:51:38 no the teyrs are grey. 06:51:44 im not sure what the problem is 06:51:47 oh right i remember now 06:51:54 (a) i don't want to sleep 06:52:00 (a) i don't want to stay awake 06:52:02 (c) oops 06:52:09 (4) i can't number lists 06:52:19 a seems a bit ambivalent there 06:52:54 elliott, you can't lucid dream if you don't sleep. 06:53:00 (ü) these things hit the unicode singularity too fast 06:53:20 i cant lucid dream if i do sleep take that science 06:53:24 `":(" -science 06:53:28 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ":(": not found 06:53:42 lucida sans sleep 06:53:58 my favourite font 06:54:00 lucida sans souci 06:54:07 *favr'ort 06:54:53 at that point i realised the swamming pool was a pool... for the dead 06:55:12 pool in the dead 06:55:52 idgi 06:56:16 AAAAAAAAAAIIIIIIIRRRRRRRRR 06:56:18 i vaguely suspect the idiom actually has "pull" 06:56:25 or does it. 06:57:19 [Tomt] Chocolatey hazelnut spread? (self.tipofmytongue) 06:57:19 from the title i thought i would finally be able to answer one of these. 06:57:21 elliott, if you don't go to sleep, I'll be forced to force you to learn Falcon 06:59:08 elliott: does the text say "its definitely not nutella"? 06:59:42 it gives enough details to rule out nutella 06:59:48 hm or is it "pour on" dammit i cannot find it 06:59:53 poop on the dead 07:04:16 how the FUCK do you spell tennessee 07:09:48 oerjan: i think the problem with sleep is that you can revise a decision to stay awake on a minute-to-minute basis, which isn't possible with a decision to go to sleep. thus the decision to stay awake seems to be less risky. 07:10:08 qed 07:10:09 as they say 07:10:11 in the busienss 07:10:22 i agree with the logic but sleep isn't logical. 07:10:58 well, i was using sleep as a shorthand for "the decision-making process when tired at a bad time" 07:11:13 not the most intuitive abbreviation i have ever made. 07:11:39 you'd say 07:13:19 bleh. 07:13:26 if i sleep now, i'll just wake up at 4 pm again. 07:16:00 -!- pikhq has joined. 07:16:12 -!- pikhq_ has quit (Ping timeout: 244 seconds). 07:22:05 elliott: If you don't sleep now, you'll just wake up at 16 again, but feeling grumpy. 07:32:46 -!- elliott has quit (Ping timeout: 265 seconds). 07:35:53 -!- pikhq_ has joined. 07:36:00 -!- pikhq has quit (Ping timeout: 252 seconds). 08:05:13 -!- monqy has quit (Read error: Connection reset by peer). 08:05:40 -!- monqy has joined. 08:26:11 -!- pikhq_ has quit (Ping timeout: 240 seconds). 08:26:15 -!- pikhq has joined. 08:56:17 -!- pikhq_ has joined. 08:57:03 -!- pikhq has quit (Ping timeout: 272 seconds). 09:04:39 -!- azaq23 has joined. 09:09:39 -!- monqy has quit (Quit: hello). 09:11:06 -!- pikhq has joined. 09:11:27 -!- pikhq_ has quit (Ping timeout: 260 seconds). 09:40:54 -!- Jafet has joined. 09:46:02 -!- pikhq has quit (Ping timeout: 244 seconds). 09:46:09 -!- pikhq has joined. 09:52:07 -!- oerjan has quit (Quit: Lather). 10:35:28 -!- clog has quit (Ping timeout: 265 seconds). 10:35:35 -!- clog has joined. 10:40:16 -!- nortti has joined. 10:41:38 -!- pikhq_ has joined. 10:41:42 -!- pikhq has quit (Ping timeout: 240 seconds). 11:00:44 Can you make "where is my keys soup"? 11:03:22 -!- zzo38 has quit (Remote host closed the connection). 11:04:26 -!- Jafet has quit (Quit: Leaving.). 11:41:29 -!- Phantom_Hoover has joined. 11:46:38 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds). 11:47:09 -!- Phantom_Hoover has joined. 11:47:13 a 11:47:13 Phantom_Hoover: You have 2 new messages. '/msg lambdabot @messages' to read them. 11:49:13 -!- Phantom_Hoover has quit (Client Quit). 11:52:13 -!- Jafet has joined. 11:56:26 -!- pikhq has joined. 11:56:38 -!- pikhq_ has quit (Ping timeout: 244 seconds). 12:22:43 -!- Frooxius has quit (Ping timeout: 252 seconds). 12:28:25 " Has the Bible ever been translated into Egyptian hieroglyphics?" <<< did you know egyptians were giant aliens who invented electricity and disproved evolution _by their mere existence_? 12:29:14 i was blind but now i have youtube 12:36:08 -!- cheater has joined. 12:56:06 The bible has probably been translated in hieroglyphics. 12:56:14 I have an egyptian translation of Peter Rabbit 13:01:34 -!- augur has quit (Remote host closed the connection). 13:21:04 -!- hagb4rd has joined. 13:30:53 -!- augur has joined. 13:40:02 -!- hagb4rd has quit (Ping timeout: 246 seconds). 13:41:07 -!- Phantom_Hoover has joined. 13:44:09 -!- Jafet has quit (Quit: Leaving.). 14:01:52 -!- hagb4rd has joined. 14:05:46 -!- Deewiant has joined. 14:10:42 -!- nortti has quit (Quit: ChatZilla 0.9.88.1 [Firefox 10.0.2/20120216213642]). 14:36:39 -!- boily has joined. 14:39:27 -!- oklopol has joined. 14:41:35 -!- oklofok has quit (Ping timeout: 244 seconds). 14:58:35 -!- asiekierka_ has changed nick to asiekierka. 15:16:08 -!- augur has quit (Ping timeout: 245 seconds). 15:16:12 -!- oerjan has joined. 15:39:17 Are there math symbols for if/while? 15:47:09 if can be a large { with alternatives written behind 15:47:50 while is an imperative thing, so not likely in math 15:48:09 well except as a synonym for if 15:49:12 -!- jix has quit (Ping timeout: 240 seconds). 15:49:43 If in maths isn't like the imperative thing either; it's a case statement. 15:49:56 A Haskell-style case statement, that is. 15:50:03 Yeah. 15:50:15 The Haskell guys shouldn't have implemented if :( 15:50:18 more like guards, i think 15:50:53 -!- jix has joined. 16:12:02 mroman: Iverson bracket? 16:12:29 P ? a : b is translated to [P] a + [not P] b 16:41:19 -!- tzxn3 has joined. 16:53:42 -!- Frooxius has joined. 16:56:10 * oerjan curiously discovers that Google seems to have missed the english wikipedia's article on Nam June Paik entirely 16:57:48 i suppose it must somehow have returned an error when they crawled... 17:00:27 either that or it's an evil north korean scheme. take your pick. 17:11:13 -!- pikhq_ has joined. 17:11:39 -!- pikhq has quit (Ping timeout: 260 seconds). 17:11:57 Or they censored it. 17:12:02 Like they sometimes do. 17:12:21 but only on the _english_ wikipedia. 17:12:23 They censored the google trends once. 17:48:25 -!- augur has joined. 17:52:43 -!- elliott has joined. 17:53:08 ooh, eff got static types 17:53:57 hi oerjan 17:53:59 "Oh eff, got static types" 17:54:08 hi elliott 17:54:19 Friendship: Keep talkin', JavaScripter 17:54:24 ^^ 17:54:34 * Friendship puts on his fez. 17:54:53 DID YER INTERVIEW GET PUBLICATED 17:55:51 Not yet. 17:55:58 Nor have I received a response. 18:13:53 what interview? 18:14:45 Friendship is interviewing for a job. 18:14:48 At the FBI. 18:18:50 -!- Jafet has joined. 18:19:27 oklopol: http://codu.org/tmp/answers.txt <-- here are the questions the FBI asked me, and my answers. 18:20:28 It's Interviews 3.0. 18:20:39 2.0 was those stupid fucking puzzle questions, 3.0 is asking you about hats. 18:23:25 -!- MSleep has changed nick to MDude. 18:27:55 -!- augur has quit (Remote host closed the connection). 18:31:31 -!- Canadarm has joined. 19:06:41 -!- pikhq has joined. 19:07:36 -!- pikhq_ has quit (Ping timeout: 272 seconds). 19:11:42 -!- pikhq_ has joined. 19:12:23 -!- pikhq has quit (Ping timeout: 248 seconds). 19:18:38 Why would they ask questions about batman? 19:19:09 mroman: Security. 19:19:13 Psychological examination. 19:19:43 Well 19:20:04 Most of my answers would have been: "That information is private. It's non of your business" :) 19:20:16 That's why you don't have a job at the FBI. 19:23:45 Around here employees are actually not allowed to ask non-related questions. 19:24:05 ITYM "employers" 19:24:43 Oh, yeh. 19:24:48 Of course :) 19:24:58 I feel compelled to point out that Friendship did not actually interview with the FBI. 19:25:24 That makes the interview only weirder. 19:25:42 Unless the interview itself is not real. 19:25:48 Which would make Friendship only weirder. 19:25:53 It's real. 19:27:22 elliott: does the formatting of http://esolangs.org/wiki/Qdeql#Computational_capability look good? i'm not sure if i did something too hairy to be portable. 19:28:16 (it's a little wider than i like, but i think that's necessary to show it properly.) 19:28:36 oerjan: assuming that's what it's meant to look like, it looks what it's meant to look like 19:28:45 YAY 19:28:47 the code with fewer lines would be better if it was at the top of the cells 19:28:49 IMO 19:28:55 or hm 19:28:58 no, since you have a rowspan 19:29:26 all the rows in a column are related 19:29:37 is that "Factory" heading meant to be a table heading? iirc mediawiki has special syntax for htat 19:29:38 *that 19:29:56 oh right i wondered if i should use |+ 19:30:23 it was scaled down from an even larger table where factory was a subcolumn 19:30:33 heh 19:32:03 also, a lot of the qdeql commands are supposed to line up with the cell contents they affect 19:32:31 right, they do. 19:32:39 good. 19:32:40 assuming it's meant to line up like that. 19:32:45 (a screenshot would be helpful :P) 19:32:51 oh hm 19:33:31 how did i do that again 19:33:47 ...alt+print scr? 19:33:55 paint -> ctrl+v -> ctrl+s 19:34:06 i think XP paint can save as png. 19:35:33 and i've also forgotten where i uploaded last time 19:36:39 erm that was meant as a question 19:39:56 -!- nortti has joined. 19:40:53 oerjan: i was doing other things :P 19:40:55 imgur.com? 19:40:55 http://ompldr.org/vY3pndA 19:41:01 ompldr works to 19:41:02 o 19:41:25 oerjan: yep, looks right 19:41:30 except not off the edge of the page :P 19:41:52 i like my browser not to cover all of my irc session 19:42:06 so i keep it a little unmaximal 19:42:10 *ized 19:42:59 The programming language [[Clojure]] uses a [[Persistent data structure|persistent]] variant of hash array mapped tries for its native hash map type.[http://github.com/richhickey/clojure/blob/14316ae2110a779ffc8ac9c3da3f1c41852c4289/src/jvm/clojure/lang/PersistentHashMap.java Java source file of Clojure's hash map type.] 19:43:08 is that... an acceptable citation? 19:43:14 * elliott thinketh not 19:43:21 unthinkethable 19:46:32 http://en.wikipedia.org/wiki/Category:Articles_with_unsourced_statements 19:46:33 "Administrators: Please do not delete this category even if it is empty! 19:46:33 This category may be empty occasionally or even most of the time." 19:46:35 Yeah... sure. 19:46:52 optimists 19:48:24 SO GUYS 19:48:30 http://stabyourself.net/mari0/ 19:52:54 Oh, I was going to play that. 19:53:01 Yay, it has Linux. 19:53:44 It's F/OSS too, as is the engine that runs it. 19:54:08 Err, that statement was only half as silly as it sounds. 19:54:26 Anyway, it comes with two map packs, and I recommend you play the non-Mario one. 19:54:36 Yeah, I know of L\"OVE. 19:55:11 LOEVE 19:55:25 Yes. 19:55:30 Other things it comes with include: RAINBOW DASH 19:55:44 * Friendship is Mari0 20:20:05 -!- hagb4rd has quit (Ping timeout: 246 seconds). 20:23:18 -!- augur has joined. 20:24:19 augur: Why are you claiming that you have a bijection between a countable set and an uncountable set? 20:29:54 where 20:30:42 http://www.reddit.com/r/haskell/comments/qn7nk/whats_the_most_clever_piece_of_haskell_code_you/ 20:32:22 > type Cantor = Natural -> Bit 20:32:23 : parse error on input `type' 20:32:35 Purely offhand, isn't that non-equivalent to R? 20:33:12 the cantor set has the same cardinality as R. 20:33:15 No, it's equivalent. 20:33:20 Consider the function "binary digit at position N". 20:33:28 It's an infinite stream of bits. 20:33:35 Yeahyeahyeah, I get that, but something something something computability. 20:33:51 Well, Haskell can't prove that all functions are computable. 20:34:01 That's a property of the source encoding we use for Haskell programs. 20:34:17 ...what do you mean "Haskell can't prove". 20:34:19 We can prove there are a countable number of Haskell programs, but not that there are a countable number of Haskell functions. 20:34:37 What is a Haskell function if not a Haskell program? 20:34:38 Phantom_Hoover: As in, from inside Haskell, not all functions are necessarily computable. 20:34:58 Phantom_Hoover: For example, you can use Cantor's diagonal argument in Coq. 20:35:06 elliott, yeah, but where is "inside Haskell"? (I'm not trying to be obtuse here.) 20:35:08 Even though the sets in question are "countable" from the outside. 20:35:27 "In Haskell" makes more sense if you think of like "In Coq"; "inside" the system. 20:35:45 Phantom_Hoover: Like, e.g. Godel's theorem says you can't prove consistency and completeness "inside" a system. 20:35:54 But I can read "in Coq" as "in the C-H logic corresponding to Coq". 20:36:08 The logic corresponding to Haskell isn't a very interesting thing to be inside. 20:36:57 You might not be being deliberately obtuse, but you are being kinda dense. 20:37:08 I never claimed Haskell's type system is a consistent logic. 20:37:47 The fact is, (Nat -> Bool) has a greater cardinality than Nat, even if you can prove otherwise based on external factors like program encoding. 20:37:57 Obviously a Haskell function is not a Haskell program. 20:38:00 I didn't say you did; I said why I was having trouble going from Coq to Haskell. 20:38:01 Primitives, for instance, aren't Haskell prorgams. 20:38:31 Haskell is the reason I study :) 20:38:55 Phantom_Hoover: diagonalise :: ((Nat -> Bool) -> Nat) -> (Nat -> Bool); diagonalise counter = counter (\n -> not (counter n n)) 20:39:13 But my study does not start until in three years. 20:39:18 Phantom_Hoover: Give this function a proof that (Nat -> Bool) is countable, and it'll give you a (Nat -> Bool) it can't count. 20:39:30 Phantom_Hoover: Yes, the "proof" could easily be _|_ or whatever, but in that case diagonalise just returns _|_. 20:39:52 The point is, you can prove that function, given an appropriate input, defeats the counter; and so |Nat -> Bool| > |Nat|. 20:39:58 Because to study what you actually want to study, you have to study a lot of bullshit. 20:40:20 This reminds me of the thing whereby you can diagonalise the computable reals, but the diagonalisation is itself not computable so you can't use it to construct a new CR. 20:41:08 Which, yeah, is the proof being _|_. 20:41:36 Phantom_Hoover: Backtracking to Coq again (hopefully you understand what I mean by "inside" now): Consider that Coq's axioms are a *subset* of classical logic. 20:41:51 So, obviously, you *couldn't* prove that (nat -> bool) is countable, Coq-wise. 20:42:13 Phantom_Hoover: Similarly, if you construct the computable reals in Coq, you won't be able to prove that all functions on them are continuous. 20:42:57 Phantom_Hoover: See also: http://r6research.livejournal.com/19619.html 20:47:20 Phantom_Hoover has now abandoned his career in mathematics and is going to become a farmer. 20:47:56 No; I'm just even more convinced not to talk to logicians. 20:48:58 Phantom_Hoover: You just can't handle the truth. 20:49:15 What's the current version of GHC. 20:49:33 elliott, I can, it's just not as interesting as actual maths. 20:51:05 -!- asiekierka has quit (Remote host closed the connection). 20:51:30 -!- ais523 has joined. 20:54:10 Phantom_Hoover: 7.4.1. 20:54:13 hi ais523 20:54:27 hi Phantom_Hoover 20:54:35 * Phantom_Hoover remembers that period where he thought ais523 was a mathematician. 20:54:43 Phantom_Hoover: I was! 20:54:45 I just amn't any more 20:55:04 I mean a REAL mathematician. 20:55:24 is there such a concept? 20:56:32 -!- MoALTz_ has joined. 20:56:58 * elliott notes that Phantom_Hoover thinks going from doing a degree in electrical engineering to a Ph.D. in computer science makes you less of a mathematician. 20:57:19 Nonono, but it doesn't make you a REAL mathematician. 20:57:26 Wait, I think you mispinged there. 20:57:44 Anyway dude, at least EE involves calculus. 20:57:48 -!- MoALTz has quit (Ping timeout: 245 seconds). 20:59:11 -!- MoALTz has joined. 21:01:13 -!- MoALTz_ has quit (Ping timeout: 252 seconds). 21:02:17 Phantom_Hoover: No, I didn't misping. 21:02:37 Nonono, I mean I thought he was an actual, academic mathematician. 21:02:43 *pure mathematician 21:02:57 -!- MoALTz_ has joined. 21:03:29 Phantom_Hoover: So calculus is more pure-mathematics than logic? 21:03:47 Yes. 21:04:00 Phantom_Hoover: Your definition sucks. 21:04:02 Logic is a foundational thing. 21:04:40 And doesn't ais523 research formally-verified compilers? 21:04:42 ...yes, which is *very* pure, as far as matheamtics goes. 21:04:45 And no. 21:04:48 *mathematics 21:05:02 Phantom_Hoover: not really; I do prove that the algorithms behind the compilers are correct 21:05:13 but I don't prove that the compilers that are intended to follow those algorithms actually do 21:05:18 ais523, yes, which is hardly more "pure" than proving $theorem is correct. 21:05:36 -!- oklofok has joined. 21:05:52 -!- MoALTz has quit (Ping timeout: 252 seconds). 21:07:05 Phantom_Hoover: would you call this a pure maths result?: given a set of equalities/inequalities, each of which is of one of the forms (a = b, a <= b, a <= b+c, a <= b*c), and all the unknowns are known to be nonnegative integers, it is decidable whether a given set has a solution or not 21:07:56 ais523, well, TbH, pure maths is a pretty useless concept; I was joking before. 21:08:25 you didn't answer my question 21:08:43 -!- oklopol has quit (Ping timeout: 255 seconds). 21:09:38 It's definitely maths, yes; as I just said, pure maths is just an arbitrary line drawn for largely historical reasons. 21:09:57 * elliott can't understand why someone wouldn't find foundations interesting. 21:10:02 Especially someone interested in esolangs. 21:10:27 I find them interesting, but not as interesting as the things built upon them. 21:10:40 elliott: "foundations" = ? 21:10:52 ais523, logic. 21:11:09 well, I'm pretty happy that linear and affine logic were invented 21:11:17 or Verity probably wouldn't exist 21:11:18 ais523: logic, set theory, type theory, etc. 21:11:29 literally, the foundations of mathematics 21:11:31 yep 21:11:41 I'm not convinced that they're useless at all 21:12:15 to me, finding them uninteresting compared to other concepts in mathematics is like the people who say that every programming language is the same because they all have libraries :) 21:12:53 -!- oerjan has quit (Quit: leaving). 21:15:10 ais523, they're obviously very useful, because you can't build without foundations, and they're interesting in their own right; I (personally) don't enjoy studying them as much as other things, but elliott seems to be veering towards declaring that they're the One True Path. 21:15:40 No, I just think it's weird to exclude them. 21:15:56 What would you think of a programmer completely uninterested in the programming languages they use? 21:16:02 I don't think I excluded them once this turned serious? 21:16:28 FWIW, you can build without foundations, as evidenced by the fact that mathematics existed before logic and set theory. 21:16:33 It's just sloppy. 21:16:44 You can't build solidly, then. 21:16:46 Then the house falls down and you remember to build foundations first this time. 21:18:38 I said that they're distinct from maths, because the general experience is different. 21:19:40 There are a lot less *words*, for one thing. 21:31:35 -!- pikhq has joined. 21:31:49 -!- pikhq_ has quit (Ping timeout: 244 seconds). 21:32:11 -!- boily has quit (Quit: WeeChat 0.3.7). 21:35:31 Aren't people using languages ONLY because of the library? 21:36:27 Often. 21:58:06 one of the best reasons to use Perl 21:58:14 because it has libraries that nothing else has 22:08:14 * Phantom_Hoover -> "sleep" 22:08:15 -!- Phantom_Hoover has quit (Quit: Leaving). 22:22:03 "Transmission WebTV is a port of the well-known Transmission BitTorrent and aMule programs to the WebTV Set-Top-Box." 22:22:32 * Sgeo suddenly nostalgias for WebTV 22:23:00 *sigh* 22:23:32 when was it produced? Didn't it use early version of IE? 22:44:31 -!- augur has quit (Remote host closed the connection). 22:48:54 -!- Phantom_Hoover has joined. 22:49:29 -!- tzxn3 has quit (Quit: Leaving). 22:50:21 hi Phantom_Hoover 22:50:22 nice "sleep" 22:51:12 When I said sleep I meant game of thrones 22:51:42 game of "sleep" 22:53:51 -!- Zuu has joined. 22:58:31 -!- monqy has joined. 23:11:37 -!- zzo38 has joined. 23:13:12 -!- Phantom_Hoover has quit (Remote host closed the connection). 23:13:56 zzo38: how is your computret project going 23:14:16 *computer 23:14:23 -!- MDude has quit (Ping timeout: 276 seconds). 23:14:50 nortti: I have not done much at this time. When I have resources to do so, I will be able to do more. But for now they are mostly just ideas and plans and stuff, all of which is liable to be changed. 23:15:17 (I do have a few drawings which are publicly available, if you want to see it) 23:15:41 Friendship: you are pretty optimistic about the future of human civilization 23:16:35 zzo38: what kind of cpu are you going to use in it? x86-16? x86-32? x86-64? ARM? MIPS32? MIPS64? m68k? 23:17:10 nortti: I don't know yet; probably ARM. Whatever is used, there should be free C compilers and free specifications (even if not the official ones). 23:17:18 today's morning lecture was about how you can program your own DNA strains and buy them online, and how easy it is to write programs that destroy cells. 23:18:12 (i asked the guy if i could actually do this stuff in my backyard (even though i naturally couldn't observe what's going on), and he said sure, although you do need some salt.) 23:18:27 (in addition to the DNA strains you can buy) 23:19:29 they have basically cured cancer in petri dishes with these, and the program is sort of trivial 23:20:00 a basic toeholding argument 23:20:03 zzo38: I'd like to see the drawings 23:21:04 nortti: http://zzo38computer.cjb.net/powerxy/images/Game_Control.png http://zzo38computer.cjb.net/powerxy/images/Remote_Control.png (USB keyboard will also be supported) 23:21:33 also it's basically trivial to do things like wang tiles, and they have sofar made boolean functions and a stackmachine with the small caveat that you need to have exactly one copy of the stack strain 23:21:57 the guy told that they wrote this program, and they did some simulations 23:22:04 and on the 50th run, they had a race condition 23:22:10 which grew a tumor. 23:22:42 so awesome :D 23:22:49 but we're all dead in a decade 23:23:35 also why haven't you people told me DNA computing is something you can ACTUALLY do 23:23:44 i'm not supposed to be the one that BRINGS something here 23:24:15 oh, I've known about it for a while 23:24:24 well duh 23:24:39 that's my point 23:24:53 i thought this was all still theoretical 23:25:27 but you can just start programming right away by putting straings of catg in a test tube 23:25:48 and they do exactly what you'd expect 23:25:51 and it's magic 23:27:14 (computation happens by pairing two strains up with the natural involution, and you can easily do tilings like that. to have dynamic behavior, i just know the toehold technique, and that's probably much harder. but building is easy.) 23:27:26 you can buy strains of length 70 online 23:27:45 hmm 23:27:52 i probably mean strand now that i think about it 23:28:11 although DNA strain also sounds great. 23:36:07 -!- kallisti_ has joined. 23:36:25 -!- kallisti_ has left. 23:37:04 Friendship: you are pretty optimistic about the future of human civilization // what can I say, I'm an optimist *shrugs* 23:37:17 Where'd Friendship optimise 23:38:29 I implied that humanity will exist in three hundred thousand years. 23:39:58 yeah at thirty years i was like what is this guy smoking 23:40:24 -!- Canadarm has changed nick to Canadarm2. 23:40:43 Friendship: Whencewards 23:40:49 (This incredibly literate phrase means: Where) 23:41:17 elliott: Last question. 23:44:14 Depends how you interpret "us" I suppose 23:44:40 Hence "implied" rather than "said" 23:44:41 well the solar system itself might survive a couple of years 23:45:06 humanity maybe like 5 and the earth at most 20 23:46:24 the universe will go on for hundreds of years ofc, but it gets bored eventually, and nothingness replaces somethingness. and me and my buddy jesus deem this unfortunate but understandable and recreate it. 23:47:03 don't forget the mothingness 23:47:05 and god is like STOP CREATING WORLDS I HAVEN'T SLEPT IN LIKE 14 BILLION YEARS OR WHATEVER'S THE CONJECTURE THESE DAYS 23:47:07 I conclude that lightspeed in oklofok's reality is at most 200 miles per hour. 23:47:54 i don't think there are distances strictly longer than a kilometer 23:48:14 -!- Friendship has set topic: i don't think there are distances strictly longer than a kilometer | http://codu.org/logs/_esoteric/ | http://esolangs.org/ has moved servers!. 23:55:35 ethical brain teaser: would you kill everyone and destroy everything if you could have EVERY cake 23:56:05 It's a trick question: If I destroyed everything, there would be no cake! 23:56:31 i'm trying to start a serious philosophical debate here 23:56:49 you think you know everything about cake do you 23:57:49 oh god there was this lecture on the physical church-turing thesis 23:57:52 did i tell you about it 23:58:16 WHY DO PEOPLE WANT TO MENTALLY MASTURBATE TO THIS KIND OF TRIVIALITIES 23:58:35 DON'T THEY EVER GET LIKE MENTAL PENIS CANCER FROM ALL THE RUBBING?? 23:58:37 -!- zzo38 has left. 23:58:47 ...PENIS CANCER... 23:59:09 i have a new thing 23:59:19 i say something crude and someone leaves in tears 23:59:29 i should probably find religion or something