00:00:54 -!- yurichev has quit (Ping timeout: 258 seconds). 00:03:34 oerjan: Why did you censor that wisdom entry? <-- i'm pretty sure the explanation was right in your `howg output, twice. 00:04:29 11:53:03 shachaf: anyway, good question... it was accurate in a good way. 00:05:19 Last I heard being correct wasn't grounds for wisdom removal. 00:05:58 but to make it clear, i started feeling bad about it after several people here (myself included) had actual mental problems. 00:08:21

Before oerjan *murdered* it. <-- it was an accident, i swear ... oh wait, you _aren't_ talking about the hydra. 00:08:51 -!- augur has joined. 00:09:34 Ah. 00:09:42 How do I tell whether I have actual mental problems? 00:10:24 well if you tell people you have actual mental problems, then you obviously don't 00:10:55 manao ahoerjana e. 00:11:11 uhm... persian? 00:11:35 not intended to be persian 00:12:17 google says that was malagasy 00:12:31 oerjan: what? 00:13:15 wob_jonas: boily's porthello hth 00:14:07 oerjan: no, I mean the one before that, "if you tell people you have actual mental problems, then you obviously don't". I don't think that's true 00:14:27 wob_jonas: you seem to have missed the 00:14:38 yeah, it works there 00:14:43 but that's the army 00:15:02 context, wob_jonas, context 00:15:13 oerjan: *ding* e! 00:15:16 ok, whatever 00:15:29 * boily is still trying to parse the merheboily... 00:15:34 oerjan: but i'm not in the army hth 00:16:56 boily: let's say that your intuition about the language is good, just off. 00:17:34 (there' nothing resembling it in the list of persian phrases i'm looking at, so it cannot be that you've seen it before, i think?) 00:18:16 I haven't seen anything like that. I'm guesstimating what it is from memoresemblance... 00:18:26 pashto or dari, mayhaps? 00:18:30 nope. 00:18:51 * oerjan should look those up 00:20:02 azerbaïjani? 00:20:04 wob_jonas: it's not pretty, more theory would probably help... see http://sprunge.us/XBYi for a sketch 00:20:43 hm dari isn't on that site 00:20:46 boily: nope 00:22:01 azerbaijani is the wrong family 00:22:35 -!- MDude has joined. 00:23:03 coily 00:24:32 Inuugujaquintopia! 00:25:32 int-e: anyway, my hydra did not die in the prescribed way, but due to a stupid erroneous keypress tdnh 00:25:38 -!- augur has quit (Remote host closed the connection). 00:25:42 boily: not going to try identify the language, but a random guess would be inuit hth 00:25:53 quintopia: close enough. Greenlandic. 00:25:59 oerjan: aaaaaaaaaaaaaaaaaaaargh. 00:26:22 farsi is a very pretty language fo sho 00:26:30 i mean orthography 00:26:32 oerjan: kurdish? 00:26:36 i don't know how it sounds 00:26:37 *DING* 00:27:00 quintopia: https://www.youtube.com/watch?v=KsMEBEcxzYA 00:27:04 woohoo! 00:27:37 boily: are you watching thee esa marathon at all 00:27:57 kurmanji to be precise. 00:29:20 inspired by (1) being the language of the owners of my local restaurant (2) being featured in a recent langfocus video on youtube (where i learned there's more than one kurdish language) 00:30:09 -!- bb010g has quit (Quit: Connection closed for inactivity). 00:30:28 * oerjan finds langfocus both interesting and annoyingly shallow at the same time 00:34:23 also, it's both funny and tragic that he's had to explicitly disavow _ever_ making a video on balkan languages 00:35:22 (he got burned too much by his slavic video) 00:38:32 wob_jonas: and of course, while accessible to elementary means, the whole rational approximations business is closer to advanced territory. 00:41:32

boo, "Our Market Research Shows That Players Like Really Long Card Names So We Made this Card to Have the Absolute Longest Card Name Ever Elemental" contains only 21 distinct letter (missing fjqxz) <-- sounds like a good start, anyway 00:44:21 int-e: if you were to read "-(-x)" out loud, what words would you use? 00:44:59 ? minus minus x 00:45:18 @ask myname you aren't supposed to asl about someone elses penis <-- why else would you asl them, anyway 00:45:18 Consider it noted. 00:46:23 int-e: would you always read "-x" as "minus x"? 00:46:27 ?list 00:46:27 What module? Try @listmodules for some ideas. 00:46:35 ?list ? 00:46:35 compose provides: @ ? . compose 00:46:55 quintopia: where is this line of inquiry headed? it could be an awkwardly shaped lollipop 00:47:10 * oerjan wonders if "? " is implemented as a special case or an actual command 00:48:14 int-e: nowhere. that's the last question. 00:48:52 * oerjan smacks int-e with candy ---x 00:48:55 it could be the negation of x if minus feels ambiguous or otherwise out of place. 00:48:57 also, I have never seen the phrase "awkwardly shaped lollipop" anywhere before 00:49:11 oerjan: OUCH 00:49:57 quintopia: neither has google, it seems 00:50:09 oerjan: i searched google before i said that 00:50:18 yay, I'm original! 00:50:45 int-e: what does the metaphor represent? 00:51:05 there's a metaphor? 00:51:12 sometimes a lollipop is just a lollipop 00:51:35 oerjan: when "it" is a line of inquiry, the lollipop is definitely a metaphor 00:51:43 what metaphor? 00:51:48 -!- tromp_ has joined. 00:52:09 int-e: oh did you mean -x could be an emoji of an awkwardly shaped lollipop? 00:52:19 sorry, there really wasn't one, it was all based on looking at -x 00:52:27 I don't do emojis. 00:52:34 there wasn't a metaphor, just an anaphor 00:52:39 emoticons, perhaps. 00:52:39 pronoun ambiguity is what there was 00:52:55 int-e: emoji would save you 3 characters hth 00:53:11 quintopia: those savings are not worth the pain. 00:53:42 (emojis are for people who lack the imagination to see a face in :-) ) 00:54:07 int-e: i use the word emoji to describe all things once called emoticons hth 00:54:23 quintopia: "it" is an anaphor hth 00:54:38 quintopia: fortunately for both of us, I'm not you. 00:55:07 (i really feel like the things we now call empji should be called emoticons, since they are, now, actually icons) 00:56:02 i feel like the term emoticons arose to replace "smileys" when AIM started replacing the strings with images 00:56:22 so really you should be calling :-D and such smileys 00:56:35 or else you're not really l33t h4x0r 00:57:17 oerjan: it sure is. 00:57:26 quintopia: >_>'... 00:57:55 boily: how would you read the mathematical string "-(-x)" out loud natively? 00:57:59 -!- adu has joined. 00:58:54 quintopia: "moins moins x" 00:59:20 boily: how is x pronounced frenchly? 00:59:59 /mwɛ̃.mwɛ̃.ɪks/ 01:01:16 `` ls bin/7z* 01:01:18 bin/7z \ bin/7za 01:01:27 `hoag bin/7za 01:01:38 `` tar xvf p7zip-16.02-linux-bin-only.tar.xz 01:02:00 oerjan: I installed 7z but it doesn't work: it's a x86_32 executable and needs an x86_32 shared libc which HackEgo doesn't have installed 01:02:07 hehe "ɪks" 01:02:09 -!- augur has joined. 01:02:15 x the cat 01:02:22 wob_jonas: figures. 01:03:09 wob_jonas: i was actually just testing if your failed perl -pie command had created 7ze by accident. 01:03:18 7ze ? 01:03:22 (it's happened with sed before.) 01:03:26 ah 01:03:28 right 01:03:30 because of -ie 01:03:47 yeah 01:05:35 perl works great with -pie 01:06:58 int-e: it didn't work when wob_jonas tried it. 01:08:29 perl works better without pie 01:08:47 pie works better without perl 01:08:48 I think sleep will be better for me than IRC 01:08:51 mmm pie 01:08:54 nainai 01:09:20 it's 2 am, an excellent time for having gone to bed 3 hours ago. 01:09:41 also an excellent time for watching esa marathon 01:09:49 yeah 01:09:53 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 01:11:09 -!- tromp_ has quit (Remote host closed the connection). 01:12:55 -!- Sgeo has joined. 01:21:07 `smlist 448 01:21:09 smlist 448: shachaf monqy elliott mnoqy 01:21:30 `smlist 449 01:21:31 smlist 449: shachaf monqy elliott mnoqy 01:25:18 <\oren\> `? smlist 01:25:19 Non-update notification for the webcomic Super Mega. 01:26:38 -!- boily has quit (Quit: SOME CHICKEN). 01:36:39 -!- jaboja has quit (Read error: Connection reset by peer). 01:38:53 <\oren\> `? pi 01:38:54 pi is a very round number. 01:39:01 <\oren\> `? pie 01:39:02 I like pie \ I like pie 01:39:18 <\oren\> `? real 01:39:19 The reals are an overt complete ordered Brazilian currency invented by Taneb in 1994. 01:39:41 <\oren\> `? egobot 01:39:42 EgoBot is my arch-nemesis. 01:39:54 <\oren\> `? 01:39:55 ? ¯\(°_o)/¯ 01:39:58 <\oren\> `? 01:39:59 ? ¯\(°_o)/¯ 01:40:09 <\oren\> `wisdom 01:40:11 europe//Europe is the national anthem of the Republic of Kosovo. 01:40:14 <\oren\> `wisdom 01:40:16 test//test failed. HackEgo-JUnit is not available. 01:40:26 <\oren\> `wisdom 01:40:28 algebraic number theory//Algebraic number theory was invented by Fermat to prove his theorem, but he didn't have room to write it down. 01:40:44 <\oren\> `wisdom 01:40:49 ascii//ascii is the plural of ascius 01:40:59 <\oren\> `wisdom 01:41:00 indonesia//Indonesia is a large island country in Asia and the world's most populous muslim country. Its major export is rayon textile from the Indonesian fnord. 01:41:14 <\oren\> `wisdom 01:41:15 tg//TG is short for Turing-Gödel, the highest possible level of difficulty for a multiplayer game. At this level, it's undecidable whether you can manage to halt before losing or not. 01:41:31 <\oren\> `wisdom 01:41:32 cube//Cubes come in all sizes, colors and materials, but only one shape. The companion cube does not speak, however. 01:41:42 <\oren\> `wisdom 01:41:43 yuy//yuy:yay::lulz:lol 01:41:52 <\oren\> `wisdom 01:41:54 hth//hth is help received from a hairy toe. It is not at all hambiguitous. 01:41:58 -!- Phantom_Hoover has quit (Remote host closed the connection). 01:41:58 <\oren\> `wisdom 01:41:59 lmt//lmt is insufficiently mad for this channel. 01:43:04 @tell int-e Well the axiom of choice very much seems necessary. (Though I have no proof of that.) <-- maybe you can prove it's non-measurable 01:43:04 Consider it noted. 01:43:54 `howg pie 01:43:58 revert \ revert 1 \ revert \ for x in wisdom/*; do rev "$x" > "$x"a; mv "$x"a "$x"; done \ revert 87c64ef250a0 \ revert 3 \ revert 1492 \ revert 4 \ revert 999 \ revert 0 \ run echo "I like pie" >> wisdom/pie \ run echo "I like p 01:44:17 `rm wisdom/pie 01:44:24 No output. 01:44:55 Y U NO LIKE PIE 01:46:46 I like pie. 01:46:55 I just don't like the liking of pie. 01:47:12 > pi * exp 1 01:47:14 8.539734222673566 01:48:00 I shouldn't have reversed all those wisdoms back then 01:48:08 Now I keep coming up in those revision messages 01:48:26 > exp pi 01:48:28 23.140692632779267 01:49:40 -!- tromp_ has joined. 01:51:05 `howg algebraic number theory 01:51:11 le/rn algebraic number theory/Algebraic number theory was invented by Fermat to prove his theorem, but he didn\'t have room to write it down. 01:51:38 `slwd algebraic number theory//s#Algebraic number theory#The theory of algebraic numbers# 01:51:40 wisdom/algebraic number theory//The theory of algebraic numbers was invented by Fermat to prove his theorem, but he didn't have room to write it down. 01:52:09 `howg cube 01:52:12 learn_append cube The companion cube does not speak, however. \ revert accbc9c5c7ec \ echo wisdom/* | shuf | head -n 10 | xargs rm \ learn Cubes come in all sizes, colors and materials, but only one shape. 01:52:26 int-e: i don't get it hth 01:52:51 I like oerjan's wisdom entry. 01:53:07 But the extra sentence is, what? Just a Portal reference? Is there anything to it that I'm missing? 01:59:11 -!- adu has quit (Quit: adu). 02:05:10 My brain melted https://scontent-lga3-1.xx.fbcdn.net/v/t1.0-9/13876555_10204880436330398_6866559669432638812_n.jpg?oh=9c6d8f7fd2c021c94dcb9862b4721bd9&oe=5829E339 02:05:59 Maybe I'm taking it too literally, but the remaining Bernie-or-Busters seem about as good at math as [insert negative opinion about politician here] 02:06:05 02:09:31 -!- adu has joined. 02:09:52 -!- tromp_ has quit (Remote host closed the connection). 02:15:02 -!- centrinia has quit (Quit: Leaving). 02:17:17 -!- moon-moon has quit (Ping timeout: 260 seconds). 02:18:51 sgello 02:24:42 hi 02:25:38 -!- moon-moon has joined. 02:29:41 -!- augur has quit (Quit: Leaving...). 02:30:48 Magikarp has a use??? (to evolve into Gyarados) 02:31:28 Yes, Magikarp evolves into Gyarados, which is awesome. 02:32:54 can humans evolve 02:35:36 Sgeo: It's a reference to a Chinese legend about how carp that can leap over the Dragon Gate will become dragons. 02:35:45 Hence Gyarados looking like a Chinese dragon. 02:35:52 shachaf: Not in the Pokemon sense. 02:39:37 -!- augur has joined. 02:42:15 <\oren\> `wisdom 02:42:16 userweps//boily has the mapole, oerjan has the swatter, moon has the snail cannon, hppavilion[1] is a motherfucking walrus 02:42:28 `wisdom 02:42:29 macron//Ā macron is what you put ōver ā long vowel in order to mark it as ā long vowel. Macrons will bēcome mandatory in English on Octōber 14, 2016. 02:42:38 I thought it was a kind of cookie? 02:42:41 <\oren\> SOON 02:43:13 `howg macron 02:43:17 le/rn macron/\xc4\x80 macron is what you put \xc5\x8dver \xc4\x81 long vowel in order to mark it as \xc4\x81 long vowel. Macrons will b\xc4\x93come mandatory in English on Oct\xc5\x8dber 14, 2016. 02:43:24 That's why we need a timestamped version of howg. 02:43:41 -!- tromp_ has joined. 02:44:10 <\oren\> SŌN macrons wil bē hēr 02:44:20 Does the TCG snowball? Like, when you knock out an opponent Pokemon, you take a card from your Prize card into your hand, which might help you knock out more Pokemon more quickly 02:45:30 <\oren\> `whyg 02:45:32 /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: whyg: not found 02:45:46 <\oren\> `wheng 02:45:47 /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: wheng: not found 02:46:01 that's now how howg is pronounced hth 02:46:33 <\oren\> `hthg 02:46:35 /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: hthg: not found 02:46:56 Your jokes would work just as well without the HackEgo response line. 02:47:00 Even better, really. 02:47:36 <\oren\> hwy hwud i hwant htat? 02:49:04 `? human 02:49:06 Humans are significantly more complicated, even up to homeomorphism. 02:49:20 `rm wisdom/human 02:49:38 <\oren\> `wisdom 02:49:39 hthmonoid//hthmonoids hthmonoids hthmonoids hthmonoids hthmonoids hthmonoids ... 02:49:54 <\oren\> `wisdom 02:49:55 snap//Snap is a simple web development framework for unix systems, written in the Haskell programming language. Snap has a high level of test coverage and is well-documented. 02:50:05 <\oren\> `wisdom 02:50:07 racoonspirator//A racoonspirator is a collaborator wrapped in fur 02:50:27 i need moral support, i'm fighting against segfaults and losing 02:50:44 that's now how howg is pronounced hth <-- says who 02:50:57 someone please lend me a shoulder to cry upon 02:51:08 oops 02:51:09 s/now/not/ 02:51:20 shachaf: great, now i can add the one i was thinking of 02:51:42 `learn Humans are constantly evolving, although not as fast as pokémons. 02:51:46 Relearned 'human': Humans are constantly evolving, although not as fast as pokémons. 02:52:05 oh you didn't actually delete it. 02:52:14 WHATEV 02:52:39 <\oren\> `? pokemon 02:52:40 A pokemon is a monster that you keep in your pocket. 02:53:14 * oerjan gives izabera a cold shoulder 02:53:23 i want a hot one 02:53:45 shachaf: i read it as "not" anyway. 02:54:14 <\oren\> `? arabic 02:54:16 arabic? ¯\(°_o)/¯ 02:54:19 oerjan: This thing where you live 10 minutes in the past is pretty confusing. 02:55:56 <\oren\> `le/rn Arabic/Arabic is a central semitic language that is very hard to make fonts support, though not as hard as Hieroglyphics. 02:56:00 Learned «arabic» 02:56:09 shachaf: 's ok i'm almost present now. 02:56:25 \oren\: hey, what happened to `learn 02:56:40 Well, even oerjan abandoned starting a wisdom entry with the entry name already. 02:57:10 <\oren\> `? font 02:57:12 #esoteric bitmap fonts include: \oren\'s font http://www.orenwatson.be/fontdemo.htm , lifthrasiir's font https://github.com/lifthrasiir/unison/ https://lifthrasiir.github.io/unison/sample.png , b_jonas's font http://www.math.bme.hu/~ambrus/pu/fecupboard20-c.pcf.gz 02:57:45 `` rev tmp/arabic; mv {tmp,wisdom}/arabic 02:57:48 No output. 02:57:52 `? arabic 02:57:54 .scihpylgoreiH sa drah sa ton hguoht ,troppus stnof ekam ot drah yrev si taht egaugnal citimes lartnec a si cibarA 02:59:33 <\oren\> lol 02:59:38 <\oren\> that's grear 03:12:15 -!- zgrep has changed nick to shikhout. 03:12:17 -!- shikhin has changed nick to zgrep. 03:12:21 -!- shikhout has changed nick to shikhin. 03:12:50 -!- shikhin has changed nick to Guest52752. 03:13:12 -!- zgrep has changed nick to shikhout. 03:13:43 -!- Guest52752 has changed nick to zgrep. 03:14:54 -!- shikhout has changed nick to shikhin. 03:15:27 i won my fight o.o 03:15:37 the result is super cool 03:26:30 -!- adu has quit (Quit: adu). 03:33:38 -!- tromp_ has quit (Remote host closed the connection). 03:37:52 -!- carado has quit (Ping timeout: 258 seconds). 03:39:59 -!- carado has joined. 03:41:53 -!- centrinia has joined. 03:48:04 -!- byteflame has joined. 03:54:46 -!- tromp_ has joined. 04:01:34 -!- adu has joined. 04:06:29 <\oren\> izabera: what did you make?! 04:06:43 a cake 04:06:50 it's so gooooood 04:07:23 `wisdom 04:07:26 blank// 04:07:31 `wisdom 04:07:32 united states//See America. 04:07:33 `wisdom 04:07:35 lie bracket//Politicians try to stay within the lie bracket: Not so many lies that voters cannot stand it, but not so few that they think you have nothing to give them. 04:08:03 `wisdom 04:08:05 nobody//Nobody killed the cyclops Polyphemos after he tried to eat a shipful of sailors, and this perceived injustice made Poseidon so mad he swore vengeance at him and the gods couldn't calm him down for ten years. 04:08:07 `wisdom 04:08:13 gene ray//Dr Gene Ray is the Greatest Philosopher, and is the Greatest Mathematician. Cubic Harmonics. Only Cubic Harmonics can save humanity. Cubic Harmonics will pacify all religions. 96-hour Cubic Day debunks 1-day unnatural god. 96-hour day willdisprove disunity god. Academians are teaching - pseudocience. Worshipping a Word God will destroy th 04:08:20 `howg blank 04:08:24 le/rn blank/ 04:08:30 `howg united states 04:08:33 revert \ revert 1 \ revert 87c64ef250a0 \ revert 3 \ echo "See America." | tee wisdom/usa >wisdom/\'united states\' 04:08:44 tough call 04:08:49 Where has elliott been? 04:08:52 `rm wisdom/blank 04:08:54 No output. 04:09:05 HackEgo: exactly 04:11:38 <\oren\> `? america 04:11:40 This wisdom entry had to be removed due to a DMCA takedown notice. 04:11:46 <\oren\> lol 04:12:43 -!- bb010g has joined. 04:13:12 -!- centrinia has quit (Ping timeout: 250 seconds). 04:31:36 -!- tromp_ has quit (Remote host closed the connection). 04:35:23 -!- tromp_ has joined. 04:39:39 `? \oren\ 04:39:40 \oren\ is an attempt to improve upon oren. The only thing it actually improved was name recognizability, and it made everything else... well, there isn't much else in a nick, is there? 04:39:53 <\oren\> `? oren 04:39:53 oren is a Canadian esolanger who would like to obliterate time zones so that he can talk to his father who lives in the same house. He'll orobablu get the hang of toycj tuping soon. He also has a rabid hatred of the two-storey lowercase a and other shady characters. 04:40:01 `? orin 04:40:02 orin is oren's evil twin, stalking him from the other side of the international date line. 04:40:05 I preferred "orin". 04:40:24 -!- \oren\ has changed nick to orin. 04:41:02 ``learn \oren\ "If he knew he was a tree, he wouldn't be, a \oren\" 04:41:04 /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: `learn: not found 04:41:09 `` learn \oren\ "If he knew he was a tree, he wouldn't be, a \oren\" 04:41:10 /hackenv/bin/`: eval: line 4: unexpected EOF while looking for matching `"' \ /hackenv/bin/`: eval: line 5: syntax error: unexpected end of file 04:41:16 `` learn \oren\ "If he knew he was a tree, he wouldn't be, a \\oren\\" 04:41:19 Relearned 'oren': oren If he knew he was a tree, he wouldn't be, a \oren\ 04:41:36 I spelled it orin from time to time on my homework until a teacher had trouble understanding that it was the same person. 04:41:51 Some people also call me warren 04:42:55 `revert 04:43:13 rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done. 04:43:14 `? oren 04:43:18 oren is a Canadian esolanger who would like to obliterate time zones so that he can talk to his father who lives in the same house. He'll orobablu get the hang of toycj tuping soon. He also has a rabid hatred of the two-storey lowercase a and other shady characters. 04:43:31 Elronnd: your wisdom privileges are revoked hth 04:45:04 `? \oren\ 04:45:08 \oren\ is an attempt to improve upon oren. The only thing it actually improved was name recognizability, and it made everything else... well, there isn't much else in a nick, is there? 04:45:41 Elronnd: both your syntax errors and what you actually tried to do were painful to watch. 04:47:36 oerjan: I haven't been here in a while, okay? 04:49:16 * oerjan gets a sudden attack of tiredness 05:04:05 -!- lemar has joined. 05:06:55 -!- lemar has quit. 05:28:33 -!- tromp_ has quit (Remote host closed the connection). 05:29:36 https://www.reddit.com/r/pkmntcg/comments/24s2cs/retreat_costdouble_colorless/ 05:30:03 -!- Kaynato has quit (Ping timeout: 244 seconds). 05:31:30 http://xkcd.com/1629/ - this reminds me of that computer language I'm trying to create. 05:32:16 I think the name of it was Tokiber. 05:32:38 -!- adu has quit (Quit: adu). 05:32:51 The language is all about maximum generality. 05:33:23 As in, when you write code, you're not merely writing code for the category of sets. 05:33:35 It generalizes to all other categories you can generalize it to. 05:45:53 Lemme go ahead and define some stuff about natural transformations. 06:29:04 -!- tromp_ has joined. 06:33:33 -!- tromp_ has quit (Ping timeout: 240 seconds). 06:52:46 -!- augur has quit (Remote host closed the connection). 06:53:36 -!- augur has joined. 06:56:22 -!- augur has quit (Read error: Connection reset by peer). 06:58:03 -!- augur has joined. 07:30:32 -!- tromp_ has joined. 07:34:58 -!- tromp_ has quit (Ping timeout: 250 seconds). 07:39:01 -!- hppavilion[1] has joined. 07:39:14 Wow, I just checked http://xkcd.com/1043/, and it's fairly accurate it appears 07:39:31 Yet somehow, I'm more interested in a spike in searches for Wordpress in June 2014 07:39:42 (peaking in July) 07:39:53 Wikipedia doesn't mention any vulnerabilities in that year at all 07:40:12 Oh, and it appears people are taking up Livejournal again 07:40:36 there's no facebook 07:56:13 `` echo $((0xAdc0 - 0xAc00)) 07:56:25 448 07:56:29 hmm 07:58:17 -!- Sprocklem has quit (Quit: brb). 07:59:00 orin: hangul? 07:59:30 yeah I've decided on a semi-automated approach 07:59:51 -!- \oren\ is now known as orin 07:59:51 heh 07:59:54 I'm generating them using a script 08:00:07 and then adjusting them manually 08:00:16 when they don't look good 08:00:47 I was busy recently, so I haven't had a look at Unison for some months 08:00:58 * lifthrasiir should complete ancient Hangul.. :S 08:04:02 so I'll still be drawing some manually, but only when the simple "overlay parts" approach doesn't produce a nice result 08:10:10 -!- bb010g has quit (Quit: Connection closed for inactivity). 08:29:38 -!- tromp_ has joined. 08:30:13 -!- MoALTz has joined. 08:31:03 -!- Hoolootwo has quit (Ping timeout: 264 seconds). 08:34:05 -!- oerjan has quit (Quit: Nite). 08:34:39 -!- tromp_ has quit (Ping timeout: 264 seconds). 08:35:15 -!- Hoolootwo has joined. 08:42:11 -!- augur has quit (Remote host closed the connection). 08:45:19 -!- augur has joined. 08:54:44 -!- augur has quit (Remote host closed the connection). 09:01:25 There is a serious problem here: https://www.google.com/trends/explore#q=%2Fm%2F01yrx%2C%20%2Fm%2F0bt9lr&cmpt=q&tz=Etc%2FGMT%2B8 09:02:45 this is hppavilion[1] sister speaking. hello and welcome to cat world 09:08:11 What's the problem? 09:10:14 shachaf: Dogs are less popular than cats 09:10:16 *more 09:10:23 I meant more 09:10:29 Please forgive me cat overlords 09:13:34 shachaf: that did help, you must not have played the Portal game. 09:13:56 I did play it. 09:14:07 But is it anything other than a reference? 09:14:20 My sister is now incredibly interested in IRC 09:14:28 I'm going to show her fungot 09:14:28 hppavilion[1]: with a few warts here there? ( under linux...) 09:14:43 That's our fungot. 09:14:44 shachaf: are you still working on it now 09:14:45 fungot is fun 09:14:45 hppavilion[1]: whats a library? i'd like to get 09:15:01 ^style 09:15:01 Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp youtube 09:15:07 shachaf: a reference, a twisted mind, an evocative image perhaps... 09:15:11 ^style agora 09:15:12 Selected style: agora (a large selection of Agora rules, both current and historical) 09:15:14 `? cube 09:15:19 She decided she wants to see agora 09:15:23 Cubes come in all sizes, colors and materials, but only one shape. The companion cube does not speak, however. 09:15:40 fungot: How about those jetstreams? 09:15:41 hppavilion[1]: such a directive to award the boon of prodigy. how the regulations may not be limited to) any remaining units of 09:15:41 int-e: What does speaking have to do with it? What's the "however" about? 09:16:44 shachaf: I think your questions mean it was a very valuable addition to the wisom entry :-P 09:16:57 I don't think so. 09:17:02 What was valuable? 09:17:06 (Usually the way it happens is that I want to make a wisdom entry and it already exists.) 09:17:11 shachaf: confusion 09:17:16 `? wisdom 09:17:19 wisdom is always factually accurate, except for this entry, and uh that other one? it started with like, an ø? 09:17:22 entertainment 09:17:27 also I'm easily amused. 09:21:06 (there is also the fact that in the game, there is a variant level where the companion cube is a sphere. that may be relevant.) 09:23:16 int-e: Here's another puzzle for you: How many "8"-shapes can you fit on a plane? 09:23:55 -!- gamemanj has joined. 09:24:12 I suspect it depends on the number of seats 09:24:35 if it's a mathematical question I'll need a definition. 09:24:41 Well, you already saw the probability puzzle with people seated randomly on a plane. 09:25:42 An "8" is, let's say, two circles tangent to each other. 09:26:02 Actually you can stretch them too. Let's say two ellipses. 09:26:17 Oh, I forgot to mention that they can't overlap. 09:26:19 Important detail. 09:27:37 Anyway the question is whether you can fit uncountably many. 09:27:50 are they curves or do they have an area? 09:27:57 int-e, \oren\: ok, so in the morning with a clearer head, the sum of two periodics is much easier. no, you don't need well-ordering, nor a vector-space basis, nor any other form of transfinite induction. 09:28:18 You mean, are they filled in? 09:28:37 anyway, I think I've seen this with circles... fiting a continuum of them on a plane by transfinite induction. 09:28:42 *fitting 09:28:49 Well, fitting circles is pretty easy. 09:28:59 Say the periods of the two functions will be 1 and P = sqrt(2). Factor the reals to equivalence classes modulo addition of m+n*P where m and n are integers. 09:29:05 For any real r you can put a circle with radius r around (0,0). 09:30:49 Note that you can write a real as m+n*P in only at most one way. Use choice to take a representative of each equivalence class. Every real can be written in the form of x+m+n*P where m, n are integers and x is the representative of the class of that real. 09:31:35 So define f(x+m+n*P) = x+n*P, and g(x+m+n*P) = m. Then f is periodic by 1, g is periodic by P, and f+g is the identity. 09:32:49 Oh, I think I mentioned that puzzle here before. 09:33:08 I remember talking to someone (oklopol?) about it. 09:33:31 b_jonas: okay, now you can easily do x^2 with three periodic functions. 09:44:44 shachaf: which puzzle? 09:44:51 the sum of two periodic functions? 09:44:58 The other one. 09:45:08 shachaf: which other one? 09:45:29 oh, THOSE sets of puzzles 09:45:34 The one just before you joined. 09:45:38 have you mentioned the tee one yet? 09:45:53 hm, there's more than one tee 09:45:58 let me search, there was a hard one 09:47:38 "Here's another puzzle for you: How many "8"-shapes can you fit on a plane?" / "An "8" is, let's say, two circles tangent to each other." / "Oh, I forgot to mention that they can't overlap." 09:48:58 -!- Sprocklem has joined. 09:51:27 shachaf: there was some disucssion about similar stuff near http://www.komal.hu/forum/forum.cgi?a=to&tid=7&st=25&dr=0&sp=1842 09:53:23 shachaf: one such problem was: can you fit more than countable non-overlapping tee-shapes growing from the x axis in the plane, where a tee-shape is the union of a vertical segment starting from the x axis and a horizontal segment that contains the top of the vertical segment in its middle 09:54:42 the harder problem was: how many pairwise non-overlapping nails can you fit in 3-space, where a nail is the union of a circular disk and a segment such that the endpoint of the segment is the center of the disk and the two aren't coplanar. 09:55:03 the latter problme is posed in entry [1842] in that thread 09:56:06