00:01:42 i have a backup plan but i can't put it into action for another two weeks 00:01:58 which is a problem because by then everyone will be doing the same and the passport offices will be swamped 00:02:10 Phantom_Hoover, you have Irish family, right? 00:02:33 i am literally the only non-irish person in my family 00:03:13 A family of vacuum cleaners? 00:03:37 Dutch Nationality Exam: [ ] Do you speak Dutch [ ] Can you bike [ ] Black licorice tastes good <-- ooh, i've got two of three! 00:03:56 oerjan: You speak Dutch? 00:04:01 Phantom Hoover, son of Ghost Hoover, son of Spirit Hoover. 00:04:13 Since one of those three is an objective fact, which is objectively false. 00:05:23 shachaf: that's the missing one hth 00:06:22 as a finishing touch, god created Taneb 00:06:26 invented 00:06:27 -!- jaboja has quit (Ping timeout: 264 seconds). 00:06:28 nitia 00:06:52 Nitia is God? 00:08:57 `? tanebvention 00:09:09 Tanebventions include automatic squirrel feeders, necessity, Go, submarine jousting, the universe, weetoflakes, Tanebventions, persistence, the BBC, progress, and this sentence. See also tanebventions: math. He never invents anything involving sex. 00:09:23 -!- moon__ has joined. 00:09:49 `? tanebventions: math 00:09:54 Mathematical tanebventions include D-modules, Chu spaces, the torus, Stephen Wolfram, Klein bottles, the reals, Lambek's lemma, pointless topology, and histograms. 00:10:34 <\oren\> mhelloon! 00:10:35 `le/rn curry's paradox/If this sentence is true, then Taneb invented Curry's paradox. 00:10:43 Learned «curry's paradox» 00:10:50 my virtualbox is apparently missing 00:10:54 tanebventions were split? 00:11:01 he\\oren\, mhelloon__! 00:11:21 and the installer wont work, so im running malware bytes 00:11:41 i *think* i might have malware 00:13:00 -!- myndzi\ has joined. 00:13:08 * boily pokes moon__ in the direction of a linux distro 00:13:12 * boily *poke poke poke* 00:13:25 <\oren\> I know I have malware, on the basis that I wrote many bad programs 00:13:53 Boily, thats WHY i have virtualbox 00:14:02 because i cant install on this laptop 00:14:07 Phantom_Hoover> i have a backup plan but i can't put it into action for another two weeks <-- iirc wasn't there supposed to be something like 2 years before the ties get broken for real? 00:15:15 `? cis 00:15:16 The CIs are a secret society led by David Morgan-Mar, bent on conquering the world from Sydney with web comics and unsolvable puzzles. They invented Taneb. 00:15:17 * moon__ eats whatever broke his virtualbox 00:15:37 oerjan, sure but there'd be a run on EU passports as soon as a brexit result came in 00:16:06 Nothing so far 00:16:11 tanebventions were split? <-- it was inevitable. 00:16:12 <\oren\> moon__: why can't you? no CD drive? 00:16:12 hopefully i get a perfect 0 00:16:26 Yea, my diskdrive decided to fall out (= 00:16:28 *)= 00:16:30 oerjan: itym inevitaneble hth 00:16:57 `wisdom boily 00:17:01 boily//"Only sane man" boily is monetizing a broterhood scheme with the Guardian of Lachine, apparently involving cookie dealing. He's also a NaniDispenser, a Trigotillectomic Man Eating Chicken and a METARologist. He is seriously lacking in the f-word department. He is also a renowned Capitalist. 00:17:12 Phantom_Hoover: well as long as they don't run out permanently... 00:17:24 `? boily 00:17:31 boily has the best one lol 00:17:31 ​"Only sane man" boily is monetizing a broterhood scheme with the Guardian of Lachine, apparently involving cookie dealing. He's also a NaniDispenser, a Trigotillectomic Man Eating Chicken and a METARologist. He is seriously lacking in the f-word department. He is also a renowned Capitalist. 00:17:50 moon__: note that "trigotillectomic" uniquely identifies me in google searches :D 00:18:22 time to add 'overmoonification' to all my profiles lol 00:18:59 -!- jaboja has joined. 00:19:12 how do i append to wisdom entrys? 00:19:40 with `learn_append 00:19:53 -!- Phantom_Hoover has quit (Quit: Leaving). 00:20:11 if the key is a single word 00:20:43 `learn_append moon . He sometimes causes overmoonification 00:20:48 Learned 'moon': Moon is a murderous lunatic, not an unretroreflectorey object. . He sometimes causes overmoonification 00:20:50 oh no 00:20:56 oerjan: it's ok, you're retired 00:21:06 `revert 00:21:23 rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done. 00:21:27 moon__: your `learn_append privileges are revoked hth 00:21:34 )= 00:21:46 `? oerjan 00:21:57 Your mysterious articled cackling zombie overlord kommisjonær emeritus oerjan is a lazy expert in future computation. Also a Precambrian Norwegian who mildly dislikes Roald Dahl with a pasjon. Lately when he tries to remember a word, "amortized" pops up. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it. 00:22:14 * moon__ eats learn_append 00:22:30 (1) you cannot append punctuation to what's already there (2) because of 1, you must have punctuation at the end of what you add 00:23:10 i will fix it lol 00:23:18 `learn_append moon He sometimes causes overmoonification. 00:23:22 Learned 'moon': Moon is a murderous lunatic, not an unretroreflectorey object. He sometimes causes overmoonification. 00:25:24 @tell hppavilion[1] Are there any problems that are /literally/ unsolvable on CCs but not on QCs? <-- no hth 00:25:24 Consider it noted. 00:27:42 what does hth even mean? 00:27:54 `? hth 00:27:57 hth is help received from a hairy toe. It is not at all hambiguitous. 00:28:17 lol 00:28:24 hizzie 00:28:52 Hairy Toe Hambiguitous 00:29:16 Makes (no) sense 00:30:15 Time to get a aflac ad on a page about a phobia about having a duck watching you 00:32:47 a Duck is Always Watching You. it Guards You from Evil. Fungot Knows. 00:33:45 I don't know, ducks have always seemed a bit suspicious to me. Like they're plotting something. 00:33:56 http://www.mezzacotta.net/garfield/?comic=2590 00:34:00 argh 00:34:08 wrong link 00:34:18 http://25.media.tumblr.com/tumblr_m90zefhKFP1rbs5emo1_500.gif 00:35:09 (if you're old enough, you can probably guess what it is) 00:35:23 (of course, only i am that old) 00:36:30 (this is the original btw. i see it has been memeified.) 00:36:56 the phobia about long words... is a long word: hippopotomonstrosesquippedaliophobia 00:37:05 idk if i even spelled it right 00:38:09 sounds like someone made that one up on purpose 00:38:17 moon__: of course almost half of that is fake 00:38:21 yea, i copyed that 00:38:24 i didnt know 00:38:51 * moon__ notes the fact 'your guillible' is written on the ceiling 00:39:01 the part from sesqui on is more reasonable. but still mixing latin and greek ugh 00:39:47 oh, its from a comic 00:39:49 `learn A guillible person is someone who can be fooled with a Scheme script. 00:39:56 Learned 'guillible': A guillible person is someone who can be fooled with a Scheme script. 00:39:57 -!- adu has joined. 00:41:26 . o O ( what's the longest word that hasn't been invented just to be long ) 00:43:11 . o O ( I want to point out to oerjan that its the name of a protein ) 00:43:46 I just set up a policy neural network to play tictactoe against itself and train on the moves they played in games they won 00:44:09 now I can take bets on the number of games needed for the network to become good 00:45:10 lol 00:45:55 next up: train a neural network to make bets and win them 00:46:15 * oerjan is doubtful 00:46:36 oh 00:46:42 misread 00:46:52 yeah probably 00:47:15 by name i mean the moleculear (or is it chemical) name 00:47:35 IUPAC 00:48:48 https://en.wiktionary.org/wiki/Appendix:List_of_protologisms/Long_words/Titin 00:50:20 P̸̱͕͕̮̜̹̮̜͍͉͝ͅU̵͏҉̴͈̖͓͔̹̼̞̬̳̬͔͖͓͇͔D̢͓̭͈̀̀̀͝D̶͓̲͉̜͉̣̲̝͉̤͍̥͙̞͇̮̠͔͝Ì̡̡̲͉̥̩̘͟Ṉ̢̺͈̟̳̳͙͈͔̰̺̼̲̝͚͉̙̗̲͟G͎͓̥̼̰͎̝̫͕̪̺̥͎͎͇̱͎̕͘ ̶̛̲͍͙͇̦͇̯̰̫̹̱͞P̶҉͡҉͚͓̫̹̮͍̘Ǫ̶̶̭͔̰̩̺̯̮̣͓̼̟̯͡P̨͉̭̪̗̼͖̮͉͕̮͖ͅͅS̴͟͜҉̨̖̟͖͈͇̪̲͇͚̱̱͍̭̳͎͙.̴̛͙͞͞ 00:50:26 ̞̞̩̩̬͖͓ ̡̩͍̪̙͝͡Ţ̢� <-- ... 00:50:29 ... the garfield is strong in this one. 00:50:41 nuu 00:50:47 not hangdown characters 00:51:06 my irc client doesn't know how to react to this 00:51:36 lol 00:53:47 garfield? hangdown? 00:54:08 wait... 00:54:18 -!- MoALTz has quit (Quit: Leaving). 00:55:15 *Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì 00:55:22 moon__: it's appropriate. also i think e was alluding to http://www.mezzacotta.net/garfield/?comic=1928 00:56:09 although there are other more direct zalgo references 00:56:10 Oh, THAT comic, i kinda enjoy that one 00:56:37 Enjoy the line 00:57:32 moon__: btw your fancy line above is not correct utf-8, so it shows up as ...Ì©Ì©Ì©Ì©Ì©... for me. 00:57:42 )= 00:57:48 but its valid unicode :P 00:58:01 i think a byte got cut off 00:58:22 that it is, it's too long, and a utf-8 char got cut in the middle. 00:58:23 oh 00:58:25 is this an accentuated capital i followed by a copyright sign, over and over again? 00:58:27 l̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞v 00:58:34 Nope 00:58:37 its ment to be a line 00:59:00 okay, I'm switching back to latin-1 then 00:59:28 unless you are talking about oerjan's post 00:59:29 Koen_: it's meant to be utf-8, but the line contains one broken char 01:00:09 -!- adu has quit (Quit: adu). 01:00:18 *ÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌžÌ 01:00:27 moon__: same problem. 01:00:29 now it's just the accentuated I 01:00:35 and a star at the beginning 01:00:59 `len Ìž 01:01:03 2 codepoints \ 4 UTF-8 bytes 01:01:30 `ord Ìž 01:01:31 204 382 01:01:56 hm that's not even latin-1 01:02:35 it looks like you converted it to a different charset, and then encoded that as utf-8 01:03:25 `perl -eprint "o".pack"V*",(2915861196)x29 01:03:27 ô̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂ 01:03:37 `perl -eprint "o".pack"V*",(2915861196)x79 01:03:38 ô̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂ 01:04:10 -!- hppavilion[1] has joined. 01:04:51 my stuff is rendering wrong? 01:04:56 -!- adu has joined. 01:05:10 hadu 01:08:13 @tell Etaoin always thought it was a neat similarity <-- it's not just a similarity, in fact sin(x) = (e^(ix) - e^(-ix))/(2i) and then it becomes the _exact_ same thing. 01:08:13 Consider it noted. 01:10:38 lol 01:11:00 <\oren\> ARGH 01:11:06 `unidecode ž 01:11:09 <\oren\> all my spaceplanes explode 01:11:15 U+009E \ UTF-8: c2 9e UTF-16BE: 009e Decimal: ž \ ž \ Category: Cc (Other, Control) \ Bidi: BN (Boundary Neutral) 01:11:30 <\oren\> mostly on the runway 01:11:32 moon__: my client and many others have a fallback where if a line is not entirely correct utf-8, it gets interpreted as latin-1 (or rather the windows superset) instead. 01:11:36 `unidecode Ì 01:11:40 ​[U+00CC LATIN CAPITAL LETTER I WITH GRAVE] 01:11:53 `unicode U+9ECC U+CC9E 01:11:56 No output. 01:12:10 * tswett raises an eyebrow. 01:12:13 (well, it's an optional setting, that i was recommended back when i got utf-8 working in it) 01:12:13 `unicode U+9ECC 01:12:14 ​黌 01:12:20 `unicode U+CC9E 01:12:22 ​첞 01:12:31 I like the second one better. 01:13:16 um, the first one looks like a kanji, the second one looks like a hangul 01:13:25 `unidecode 첞 01:13:27 ​[U+CC9E HANGUL SYLLABLE CEONH] 01:13:36 So it is. 01:15:17 0xCC 0x9E is valid UTF-8 for something, right? 01:16:02 > printf "%08b %08b" 0xcc 0x9e :: String 01:16:03 Those bytes are 11001100 10011110, which binarizes as 1100011110, or 31E? 01:16:04 "11001100 10011110" 01:16:12 `unicode U+031E 01:16:12 `perl -euse List::Util"max"; print join" ",map{pack "U*",map{128+rand(1<<16-128)}0..max(rand(10),rand(11))}0..7; 01:16:17 ​̞ 01:16:22 Wide character in print at -e line 1. \ 쑝꠺鸥煾긴홊뒂숙 ⥸豙嚌�蘺囑⠥軁㫸㐯씁 콪貟ᓇ謆進難Ἂ臍﨏ᅶ៱ 岍诺鵙⼠Ṹ䐃�䑈 꼍䗹婊޴䆷쀙᧰ ᡥ晎죋怒쓔渫팦 │㊒뜄倓ḛ뽽�⎳旬鹁 濋⾯餦㘥랬뎻 01:16:33 tswett: Yep, totally legal UTF-8. 01:16:47 > "1100011110" ^? binary 01:16:48 Just 798 01:17:16 > text $ "1100011110" ^.. binary . to chr 01:17:18 ̞ 01:17:32 always thought it was a neat similarity <-- surely you can pronounce it as rofly one syllable anyway 01:17:35 argh 01:17:40 `perl -euse List::Util"max"; print join" ",map{pack "C0U*",map{128+rand(1<<16-128)}0..max(rand(10),rand(11))}0..7; 01:17:42 ​㘍䃮浄ᦃ鼈퓔 ᢃ⻲簵⢰䌃ʗ 灌�듈⼡ 뼓껳膁봾匾蟲璡⥦ 祳ὕ̜촂䲾ਉᒣ䋫严ս 쮜ힱ篡꯫ 愍 껭𐁬ꆜ뭯橫晰㙃 01:17:43 * oerjan needs to remember to press ^C 01:17:51 `perl -euse List::Util"max"; print join" ",map{pack "C0U*",map{128+rand(1<<16-128)}0..max(rand(10),rand(11))}0..7; 01:17:52 ​ᚺ૩셠ꔞ 毀ﴟ曓뎵ꭊ茔䩙ᥔ䁉⟉ኰ 給▒肩ȓ鉝틻 ��⤐辨줳碧 䞅鷽⡰뼼ꚁ㍣ꯦ 鲬孋첲鯹튬ଷ 枽岊贀⒕ꌯ ﴘ爸쿤㶽Ó͜ 01:18:07 <\oren\> I think they changed the order so you can pronounce it in one syllable <-- surely you can pronounce it as rofly one syllable anyway 01:20:22 `perl -euse List::Util"max"; print join" ",map{pack "C0U*",map{128+rand(1<<16-128)}0..max(rand(10),rand(11))}0..7; 01:20:23 ​袐ᇹ膍ﻤ暴 沇䦶뽀쯳㰖샭퉂箲 䩡랜虾抡꼏᱌慌⁂ 끄炶뱶릌쟡恌洺୫淓 撒㝩큿欘ܴ᳐䞗쭵댻 鯙䇢˫ 솔갱㣹Ʋ㿽뺷 ꍽ븿ࣻቘ騚ᲈྭ 01:23:20 @massages-lud 01:23:20 oerjan said 57m 55s ago: Are there any problems that are /literally/ unsolvable on CCs but not on QCs? <-- no hth 01:23:38 oerjan: What about random number generation? 01:24:09 well you can consider that part of classical 01:24:43 of course this might depend on how you define "problem". 01:24:59 how annoyed would you be if some http server replied with 403 to any HEAD request but a GET request for the same content returned 200 ? 01:25:45 wouldn't that like totally ruin all browser caching 01:25:54 indeed 01:26:37 looks like it's time to send a NUKE request, then. 01:26:50 yeah 01:28:29 * izabera just wanted to know the size of the windows installer for supertux but it's impossible to know 01:28:42 `perl -euse List::Util"max"; print join" ",map{pack "U*",map{128+rand(1<<16-128)}0..max(rand(10),rand(11))}0..7; 01:28:45 Wide character in print at -e line 1. \ �梔翪纞싩텎蹱塞픒ਅ 枾䚋樂ᄕ꨻娅♰ 䞆胚遰ꩥ㩶 픮쵌ⵔ卣퐲팊陋弖흘 僯㷠鞰쌵쩶薭 䆈좆蘷欐᜽䅗䏩懪恟 巴⛝境蜈प൨僼ᡖ 唑民桫斬�泲賈�뙦 01:28:59 `perl -euse List::Util"max"; print join" ",map{pack "C0U*",map{128+rand(1<<16-128)}0..max(rand(10),rand(11))}0..7; 01:29:00 ​䊈䴞꺁⸂₣ 業ҡଁ喆Ꮵ㏉袐誝薫蛇 뙥ꯞﱮ⣃ຏ︷䡨䛱 㹃ᄋ눃椑䠳 ꢟ秳찋쭀𐀛桞㎐ 졸䞇紂殠듭䘇﴿썂 蓲엶䃍ꭶ韓첫ꧧ䟙 䇾㑌騇︿ 01:29:43 oh noes, unicode! 01:30:06 * moon__ runs back off to square root of minus garfield 01:33:24 was on the phone and I get back to some kind of apocalyptic caractaclysm... 01:33:32 -!- spiette has quit (Quit: :qa!). 01:34:24 what the fungot is going on here... 01:34:24 boily: it was on tv. 3 01:34:32 fungot: I missed it, was on the phone. 01:34:32 boily: _they_ are after him. 01:34:36 fungot: I know! 01:34:36 boily: hmm.... i can't both read and scroll that page simultaneously. 01:34:50 fungot: me neither. my client's spewing nonsense on the screen. 01:35:25 -!- lambda-11235 has joined. 01:36:18 hellambda-11235. Do Not Logread. Ignore any Eldritch Nonsense that may have Happened. Preserve your Brain. Your Sanity is Valuable. 01:36:44 Feel free to spam a bit, though. 01:36:58 lovely spam ♪ 01:36:59 All that nonsense is messing up my terminal. 01:37:05 you don't say. 01:37:11 So I hope to have it scroll off the screen soon. 01:37:29 I'll write random ramblings in French. French Promotes Sanity. 01:37:47 bon, espérant que t'es capable d'afficher des lettres dans latin-1. 01:38:01 pas mal tout le monde aujourd'hui sont capable de se communiquer de même. 01:38:14 tout le monade? 01:38:36 tsé, pas trop difficile... quelques é pis des à à travers, pis un ç si t'es malchanceux. c'est vrai que tu peux voir des trémas aussi, mais ça arrive juste dans le maïs pis à Noël. 01:38:43 shachaf: French is Functional hth 01:39:17 ça me rappelle quand j'ai été pris pour prononcer des mos pas possibles. c'était tu du géorgien c'te fois-là? 01:39:22 y manquait un peu trop de voyelles. 01:39:28 shachaf: how many lines in your client? 01:39:51 j'aime bien les voyelles. ça fait une bonne source de mangulation pour être phonétiquement créatif. 01:40:05 plein de langues dans le monde sont débalancées. c'est pas très feng shui. 01:40:11 ~50 right now. 01:40:33 helloily 01:40:39 d'un bord t'as le croate, qui est juste aberrant à mon avis, pis de l'autre t'avais c't'affaire de genre de cossin vaguement pseudo-new-age. 01:40:46 aUI que ça s'appelait? 01:40:46 care package is away. cross your fingers. 01:41:14 quinthellopia! care package will be sent quelque part this weekend. cross any crossable extremities you may currently possess! 01:41:26 shachaf: good. 01:41:36 m'a continuer debord à raconter n'importe quoi. 01:41:49 i would love to know what all that french crap says! 01:41:58 quintopia: not important :P 01:42:08 it's only there for shachafscrolling :D 01:42:19 also, not sure Google Translate likes me... 01:42:45 c'est comme les fois où oerjan se met à écrire en dialecte norvégien inusité. GT en arrache une shot à chaque fois... 01:42:59 je pense que dans les langues sérieuses, le support du japonais est le plus nul à chier. 01:43:15 i still want to know. it seems interesting. 01:43:18 tsé veut dire, t'as des particules pour tagguer les bouttes de phrases! tu peux pas te tromper! 01:43:33 quintopia: ok, let's translate! 01:44:04 “good, hoping that you're able to display letters in latin-1” 01:44:20 i'm guessing "tse veut dire" means roughly "y'know"? 01:44:22 “just about everybody today can communicate this way” 01:44:27 quintopia: yup. 01:45:16 Is there a parody of Creative Commons? e.g. Annihilative Commons? 01:45:20 “y'know, not too difficult. a few é with some à mixed in, with a ç if you're unlucky. it's true you can see diæresises, but it only happens in corn (maïs) and during Christmas (Noël).” 01:45:52 “that reminds me of that time I was stuck pronouncing unpossible words. was it Georgian that time?” 01:46:11 “lots of world languages are imbalanced. that's not really feng shui.” 01:46:54 “on one hand you have Croatian, which is just abhorrent in my opinion, and on the other hand you had that gizmotic thingie vaguely pseudo-new-age.” 01:47:03 “aUI it was called?” 01:47:21 it's called lojban 01:47:29 “[untranslatable] to tell ramblings.” 01:48:09 “that's like the times where oerjan starts writing in unusual Norwegian dialect. GT [untranslatable] every time...” 01:48:09 boily: wait, you left out the part about too few vowels (in georgian I think) 01:48:23 b_jonas: I did? 01:48:23 -!- Koen_ has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”). 01:48:44 boily: are you just copypastaing? i feel like a human should never have [untranslatable] 01:49:11 “I thing that in [GT's] serious languages, Japanese support is the absolute worst” (exact wording is colloquial and vulgar) 01:49:38 ”y'know, you've got particles for tagging sentence fragments! you can't get lost!” 01:49:55 yes 01:50:07 what is GT 01:50:09 oh google 01:50:14 quintopia: google trans 01:50:15 yes that 01:50:40 what might en arrache une shot be? 01:51:20 `? steam sale 01:51:22 steam sale? ¯\(°​_o)/¯ 01:51:40 to experience trouble? to hardly manage by? to get it done by the seat of your pants, but not even that? 01:53:11 `le/rn steam sale/When money is heated to such high temperatures it evaporates and then condenses into games you will never play. 01:53:16 Learned «steam sale» 01:53:30 to get it done with some difficulty? to struggle through? 01:54:46 oerjan: Can you believe we used to not have le/rn? 01:54:57 `? le/rn 01:54:58 le/rn makes creating wisdom entries manually a thing of the past. 01:55:01 `? learn 01:55:03 ​`learn creates a wisdom entry and tries to guess which word is the key. Syntax (case insensitive): `learn [a|an|the] [s][punctuation] [...] 01:55:09 `? le//rn 01:55:11 le/rn makes creating wisdom entries manually a thing of the past. 01:55:20 `? thanks 01:55:22 thanks? ¯\(°​_o)/¯ 01:56:01 quintopia: something like that. 01:56:57 boily: are you just copypastaing? i feel like a human should never have [untranslatable] <-- perhaps boily is secretly a super-happy alien 01:57:57 again, I'm not a squirrel! 01:58:35 oerjan: Can you believe we used to not have le/rn? <-- you mean when people actually put the key in the wisdom? 01:58:55 oerjan: frankly, i always thought the super-happies had the superior society. Even though I'm not a huge fan of babykilling I always found the "bad ending" somehow more satisfying. 01:58:57 oerjan: Well, that wouldn't have worked for steam sale anyway. 01:59:45 `slwd steam sale//s/./A steam sale is w/ 01:59:48 wisdom/steam sale//A steam sale is when money is heated to such high temperatures it evaporates and then condenses into games you will never play. 01:59:49 WATCH ME 02:00:05 oerjan: I mean that `learn wouldn't have worked. 02:01:21 <\oren\> YAAAAAAY I sucessfully got into orbit and returned with my first SSTO 02:01:38 \oren\: KSP? 02:01:44 * boily WATCHES OERJAN OKAY 02:02:11 boily: what is the relationship between auberges and aubergines? 02:02:17 <\oren\> yup 02:03:03 quintopia: i'm just wondering what kind of mess would evolve as the super-happies keep meeting more and more alien societies... eventually some truly irreconcilable value systems seem inevitable. 02:03:20 <\oren\> I made a plane that can fly into orbit, return and land at the space center runway, thus only taking the cost of fuel. 02:03:40 quintopia: the first is an inn, the latter an auberginn. 02:04:01 * boily autmapoles himself in abject disgust. 0.25 shachafs. 02:04:17 boily: YOU CAN STOP WATCHING NOW 02:04:24 OKAY 02:04:33 `? oily 02:04:34 oily? ¯\(°​_o)/¯ 02:04:39 `? _jonas 02:04:40 _jonas? ¯\(°​_o)/¯ 02:06:35 -!- augur has quit (Remote host closed the connection). 02:07:13 boily: huh. i thought maybe eggplants only grew at inns 02:07:40 auberge: Du moyen français alberge, de l’ancien occitan alberga, altération de l’ancien bas vieux-francique *heriberga « loge des soldats, caserne » (cf. néerlandais herberg), apparenté à l'allemand Herberge, à l'anglais harbor « havre, darce ». 02:07:59 aubergine: Du catalan albergínia, de l’arabe andalou baḏinǧána, celui-ci de l’arabe باذنجان, bādiljān, originaire du persan بادنجان, bātingān, probablement du sanskrit वातिगगम, vātigagama. 02:08:00 -!- jaboja has quit (Remote host closed the connection). 02:08:25 oerjan: assuming there are more andf more alien societies...but how much more irreconcilable can you get than "the thing you consider the most good in the world is the thing we consider right up among the most appalling"? 02:09:32 quintopia: seems that the two concepts are orthogonal. one's germanic, the other sanskrit. 02:09:39 i feel like they'd figure out a way to reconcile any differences; they have the technology! 02:11:43 I'm growing a plant this year. there's already one! still small, but it's going to be tasty! :D 02:12:10 you're living in an inn???? 02:14:02 ... 02:14:05 i wonder if steam will mail me if an already discounted game goes on a daily sale 02:15:20 `recipe 02:15:21 ​ Cooked finely chopped \ 2 c Water \ 1/4 c Cooked chile \ 1 ds Salt \ 1/4 ts Ground cinnamon \ 1 ts Salt \ 2 ts Salt \ 1 1/2 ts Sugar \ 6 oz Bouillon shredded \ 4 Eggs, beaten \ 1 c Dark tomato sheets \ 1 c Granulateds sugar, sliced \ 1 ts Sugar \ \ MMMMM----------------------------CRUST------------------------------ \ 2 ts Worcest 02:15:53 `recipe 02:15:53 ​ pn Salt \ 1 ts Cayenne pepper \ Salt \ 2 tb Flour \ 1/2 c Sugar \ 2 ts Salt \ 2 pk Yeast \ 1 lg Onion, chopped \ Salt and pepper \ And seeded and drained \ 2 tb Lemon juice \ And chopped \ Freshly ground black pepper \ Salt and pepper \ Salt \ --freshly ground black pepper \ 1/4 ts Cayenne \ 1 dl Basil \ 4 tb Butter or margari 02:16:33 suddenly predictwise is heavily betting that the brexit will happen. looks like it could be one big bettor? http://predictwise.com/politics/uk-politics 02:16:54 b_jonas: is that some kind of fungot recipe generator? 02:17:31 `? recipe 02:17:33 Random food recipes at https://gist.github.com/nylki/1efbaa36635956d35bcc 02:17:38 boily: ^ 02:19:33 fungot recpie generator it is ^^ 02:29:17 so...bon soily? 02:29:39 yup, time to hit the sack. 02:29:43 bonnnuitopia! 02:29:44 nainai 02:29:57 -!- boily has quit (Quit: CRAWLER CHICKEN). 02:33:00 -!- moon__ has quit (Ping timeout: 250 seconds). 02:33:11 -!- iaglium has quit (Ping timeout: 240 seconds). 02:41:11 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 02:41:40 -!- bender__ has joined. 02:42:12 -!- myndzi\ has quit (Ping timeout: 276 seconds). 02:43:40 -!- bender__ has quit (Client Quit). 02:47:58 -!- augur has joined. 02:49:08 -!- zzo38 has joined. 03:55:57 <\oren\> GBP on track for nosedive! 04:09:14 So... Is now the time to short GBP hard? 04:11:40 Do you have nonpublic information? 04:12:18 No. 04:12:39 Hence my odds of doing better than the markets as a whole are... negligible. 04:13:12 -!- hppavilion[1] has joined. 04:15:01 Wait, there used to be a forum!? 04:15:11 https://esolangs.org/forum/ 04:18:38 yes. 04:19:47 it was pretty much 99% spam at the end. 04:20:14 (not just because there was so much spam but because there was so little real posting) 04:20:44 there also, before that, used to be a mailing list. 04:24:58 oerjan: when was the forum put online? 04:25:33 `recipe 04:25:38 oiling water and cherries and each of the heat as order \ cooking. Bake at 350 degrees for 5 to 5 minutes. Beat the peas, and chopped onions \ and the cheese chopped onions. Add the bay leaf, salt, and cinnamon \ color. Pour over medium-high heat. \ \ Serve with a cups buttered 1 inch cubes. remove from heat, and refrigerate. \ \ For a pie 04:27:44 <\oren\> Trying to land a refueling station on Minmus 04:29:26 tswett: i dunno 04:54:23 55 out of 100 on privledge. 04:54:35 Whoo! I got an F and can thus play the privilege card! 05:02:26 <\oren\> Sterling falls below 1.35 USD 05:02:41 <\oren\> hppavilion[1]: on wat? 05:07:30 -!- augur has quit (Remote host closed the connection). 05:12:43 If I understand correctly, this means tourism there should be cheap, right? 05:14:51 -!- Kaynato has quit (Ping timeout: 264 seconds). 05:16:00 <\oren\> Yes 05:16:12 <\oren\> hppavilion[1]: 92 05:16:15 <\oren\> I go 92 05:16:19 <\oren\> *got 05:16:44 <\oren\> i dunno which test you went with though 05:20:11 -!- lambda-11235 has quit (Ping timeout: 240 seconds). 05:20:25 `recipe 05:20:26 l, combine the baking soda \ and the flour to the mayo. \ \ Spread the filled steaks, cake container and paper over hot water, and place the spinach \ and the garlic are electric mixer until dough is a few \ soft. Cover the fruit before serving. In a medium saucepan, combine all the \ oil in a preheated oven for about 15 minutes. \ \ Add 05:21:43 :-( :-( 05:27:36 -!- lambda-11235 has joined. 05:32:38 http://www.bloomberg.com/quote/GBPUSD:CUR 05:32:47 . o O ( some people in scotland are going to regret their previous vote ) 05:33:07 We can bet on a new referendum in Scotland soon. 05:33:40 Freude, schöner Götterfunken, Tochter aus Elysium... 05:40:51 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 05:40:59 https://www.dailyfx.com/gbp-usd -- better graph 05:41:26 -!- hppavilion[1] has joined. 06:04:54 :-( :-( :-( 06:07:00 b_jonas appears to be sad 06:07:49 I guess we'll have to relearn wisdom/brexit 06:17:25 -!- augur has joined. 06:21:42 -!- adu has quit (Quit: adu). 06:38:23 <\oren\> `? brexit 06:38:26 brexit is like a break, except when there's no surrounding loop, in which case it's like an exit. 06:43:03 <\oren\> what happens if you . /dev/null? 06:43:41 <\oren\> nothing. aww... 06:50:25 -!- oerjan has quit (Quit: Nite). 06:51:47 Gah, now I'm stuck on the Calculus of Variations 06:52:11 b_jonas: Did brexit britain? 06:56:00 In a 4D universe, would we have 2D roads? 06:56:14 -!- lambda-11235 has quit (Quit: Bye). 06:58:03 I have read about Brexit in newspaper recently and now found an article about Brexit also in Wikipedia 06:59:58 (I just searched for "Brexit" on Wikipedia and it redirected to the correct article, so it was easy to find) 07:27:37 -!- augur has quit (Remote host closed the connection). 07:34:11 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 07:42:59 -!- impomatic has quit (Ping timeout: 244 seconds). 07:50:15 -!- Frooxius has quit (Quit: *bubbles away*). 07:50:42 -!- Frooxius has joined. 07:51:45 "brexit" is a scowmanteau 07:55:12 if brexit were a Posix function, what would it do? 07:58:23 Combination brk/exit? 07:58:29 Doesn't seem very useful. 08:01:00 int-e: badass really exit, more severe version of _exit 08:01:10 probably wired to syscall(SYS_exit, 1) 08:02:29 exits the parent process as well 08:03:09 -!- Destructible has joined. 08:03:17 hoi 08:09:52 saying hi every time you join is not mandatory 08:10:14 especially when you join many times every day 08:12:47 ok. 08:12:49 noted 08:20:40 oh, more wonderful news https://www.eff.org/deeplinks/2016/06/federal-court-fourth-amendment-does-not-protect-your-home-computer 08:25:44 -!- Destructible has quit (Ping timeout: 250 seconds). 08:26:43 int-e: Is that amendment relevant to you? 08:37:15 -!- AnotherTest has joined. 08:43:28 `cat bin/recipe 08:43:35 ​#!/bin/sh \ exec perl -e 'local$/=\999;seek STDIN,rand((-s STDIN)-299),0 or die;print=~y/ \t/ /sr;' < share/recipe/recipes.txt 08:43:36 Oops, was scrolled up. 08:52:53 `? brexit 08:52:54 int-e: ^ 08:52:55 brexit is like a break, except when there's no surrounding loop, in which case it's like an exit. 09:13:36 Taneb: hugs are available in california hth 09:15:02 I'm feeling unwelcome due to that 'xit. 09:15:24 Also I hear people in Finland are already calling for a Fixit. 09:20:14 <\oren\> ok now that shortening is just absurd 09:20:26 <\oren\> Finnxit 09:20:37 <\oren\> is much better 09:20:57 fizzie: but it ain't broken 09:21:32 That's not reason not to fixit. 10:00:33 -!- gamemanj has joined. 10:08:52 -!- hppavilion[1] has joined. 10:14:20 -!- MoALTz has joined. 10:19:53 -!- Koen_ has joined. 10:22:38 fizzie: Fixit? I heard Finish 10:22:52 gamemanj: Huh. 10:23:28 Whoa, the UK has a thing called "The Shadow Cabinet" 10:24:40 shachaf: the amendment doesn't affect me directly... but such ideas are easily spread and adapted to other legal frameworks. 10:25:09 int-e: What ammendment? 10:25:36 b_jonas: part of the reason I asked is that that wisdom entry doesn't really satisfy me 10:34:28 <^v> literally every channel is going crazy with brexxit 10:34:52 <^v> 51.9% 10:37:13 ^v-- # abuse of "literally" 10:43:07 brexit's driving the world insane 10:43:36 someone get a microwave, 10:43:39 a CRT, and a phone 10:46:23 What will you then do with those devices? 10:47:35 * gamemanj gets out a sheet marked "KNOWLEDGE INFORMATION SHEET ID 'zzo38'", goes to a particular row, and checks the box marked "Does not know" 10:48:06 * gamemanj then puts the sheet back 10:48:58 https://www.reddit.com/r/steinsgate/comments/3h2prn/can_someone_explain_to_me_how_the_microwave_o/ seems relevant 10:48:59 "Obama Administration Orders Apple to Ignore the Laws of Math" 10:49:26 @google microwave crt phone 10:49:28 http://anime.stackexchange.com/questions/21064/how-does-the-steinsgate-phone-microwave-work 10:49:28 Title: How does the Steins;Gate phone microwave work? - Anime & Manga Stack Exchange 10:50:38 * int-e is more surprised to learn that there is an anime stackexchange than about the fact that google made sense of this combination of keywords :P 10:50:52 ... 10:50:57 actually that is very surprising 10:54:55 Huh. From the unicode 9.0 update: “An uppercase Latin letter was added, U+A7AE LATIN CAPITAL LETTER SMALL CAPITAL I, forming a case pair with an existing lowercase letter, U+026A LATIN LETTER SMALL CAPITAL I, for which a different uppercase counterpart had been recommended, but not formally mapped, prior to Unicode 9.0.” 10:55:24 I wish I knew the reasoning there. 10:55:32 `unidecode U+A7AE 10:55:48 ​[U+0055 LATIN CAPITAL LETTER U] [U+002B PLUS SIGN] [U+0041 LATIN CAPITAL LETTER A] [U+0037 DIGIT SEVEN] [U+0041 LATIN CAPITAL LETTER A] [U+0045 LATIN CAPITAL LETTER E] 10:55:49 `unidecode U+026A 10:55:55 ... 10:55:55 ​[U+0055 LATIN CAPITAL LETTER U] [U+002B PLUS SIGN] [U+0030 DIGIT ZERO] [U+0032 DIGIT TWO] [U+0036 DIGIT SIX] [U+0041 LATIN CAPITAL LETTER A] 10:56:01 `unicode U+026A 10:56:04 ​ɪ 10:56:09 `unicode U+A7AE 10:56:09 ​Ɪ 10:56:23 `unidecode ɪꞮ 10:56:27 U+026A LATIN LETTER SMALL CAPITAL I \ UTF-8: c9 aa UTF-16BE: 026a Decimal: ɪ \ ɪ \ Category: Ll (Letter, Lowercase) \ Bidi: L (Left-to-Right) \ \ U+A7AE - No such unicode character name in database \ UTF-8: ea 9e ae UTF-16BE: a7ae Decimal: Ɪ \ Ɪ (Ɪ) \ Uppercase: U+A7AE \ Category: Cn (Other, Not Assigned) 10:58:50 Oh, here we go. The African Reference Alphabet uses ɪ as a separate letter, which needs an uppercase form (distinguished from I by always having crossbars). 10:59:46 Though the graphical distinction isn’t necessary, really; it suffices that it is semantically separate and that it needs to toLower to ɪ. 11:03:47 Hm. Apparently only the 1978 version had that, while the 1982 revision replaced it with Latin Iota (Ɩ, ɩ). 11:03:53 [wiki] [[Hexagony]] https://esolangs.org/w/index.php?diff=47245&oldid=47017 * 163.116.6.90 * (+3) Fixed typo : 3 occurences of "centred" instead of "centered" 11:04:38 That’s not a typo, that’s commonwealth spelling, I’m pretty sure. <ω< 11:04:38 what's wrong with "centred"...? 11:05:18 ok, compromise 11:05:24 centreed 11:11:00 asie: The "fixit" name was independently discovered by myself, but I afterwards learned people had been using it. I'm sure there's alternatives as well. 11:23:20 `? fixit 11:23:35 fixit? ¯\(°​_o)/¯ 11:34:58 -!- rntz has quit (Ping timeout: 244 seconds). 11:37:37 Some tweet suggested "Finish" 11:41:15 i'm playing with fuse, how do i keep a fd open to a real file outside my fs? 11:41:54 from my open i'm assigning the fd to fuse_file_info->fh 11:42:03 but then i can't read 11:46:10 -!- rntz has joined. 11:53:08 -!- Koen__ has joined. 11:56:12 -!- Koen_ has quit (Ping timeout: 260 seconds). 11:59:00 oh i had to set the size apparently 11:59:07 ah this makes sense 12:01:49 yay it works 12:06:11 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 12:13:53 ok so: if i create a regular file, i can't set 0 as its size and can't read past its size in any way 12:14:24 if i create a fifo, write is never performed and all i get is the same data i wrote on it 12:15:14 block/character devices, i can't open them with a simple redirection in bash with a non root user 12:15:28 and i can never open a socket with a redirection in bash 12:16:51 is there a way to simulate something like /dev/urandom with fuse? generating data when read is performed 12:18:19 mmh, i can't even open block/character devices with root... 12:18:23 must be doing something wrong 12:23:20 -!- hppavilion[1] has joined. 12:24:02 Hah! A company banning their employees from sending encrypted email! 12:24:04 ah i see, fuse won't let me create block devices at all, and i need special options to create character devices 12:24:11 hppavilion[1]: what company? 12:24:15 Sounds like Donald Knuth's new place of employment 12:24:29 London's Southwark Council, it looks like? http://www.theregister.co.uk/2001/05/18/the_2001_daftas_most_pc/ 12:27:01 izabera: for block devices, try "abuse", though it doesn't seem to be a commonly compiled module... 12:28:18 (this: https://lwn.net/Articles/343514/ , if it's even in the kernel...) 12:28:32 thanks 12:29:05 there's also this solution which apparently just uses a network-block-device loopback: https://github.com/acozzette/BUSE 12:29:22 If I find that a set of rules contains a contradiction, can I use the principle of asplosion to do anything I want? 12:29:42 don't count on it 12:31:05 gamemanj: Can I at least be a massive pain in the ass? 12:31:12 they all require moar modules :( 12:31:38 Well, yes, but NBD is one you're likely to have 12:31:46 izabera: moar modules are a rather interesting area of abstract algebra 12:31:46 while abuse is not 12:31:54 They were invented by Taneb, iirc 12:32:30 hppavilion[1]: Is everything random invented by Taneb? 12:32:41 `? tanebventions 12:32:44 Melvar: No; Taneb invented determinism 12:33:01 Melvar: He invented the /lack/ of randomness 12:33:11 Tanebventions include automatic squirrel feeders, necessity, Go, submarine jousting, the universe, weetoflakes, Tanebventions, persistence, the BBC, progress, and this sentence. See also tanebventions: math. He never invents anything involving sex. 12:33:30 `? tanebventions: math 12:33:34 Mathematical tanebventions include D-modules, Chu spaces, the torus, Stephen Wolfram, Klein bottles, the reals, Lambek's lemma, pointless topology, and histograms. 12:34:21 `quote tori 12:34:24 367) oerjan, little do you realise that everything you say and do is part of that great monad tutorial we call life. \ 628) i don't lie, i tell stories there's no difference *a \ 866) Phantom_Hoover: I like how the Victorians hadn't quite figured out you were meant to name books something s 12:34:25 ...wait, Taneb invented the BBC? That explains why the news is always full of sad events with the occasional puppy... 12:34:42 gamemanj: It gets worse 12:34:50 `? necessity 12:34:54 If necessity did not exist, it would be necessary for Taneb to invent it. 12:35:01 Wait, where is it again? 12:35:21 error ERR_SUCCESS : contradiction! error 12:35:55 `` grep Taneb wisdom/* 12:36:09 grep: wisdom/le: Is a directory \ grep: wisdom/¯\(°_o): Is a directory \ grep: wisdom/¯\(°​_o): Is a directory \ wisdom/automatic squirrel feeder:Automatic squirrel feeders are just feeders in the category of automatic squirrels. Taneb invented them. \ wisdom/bbc:The BBC is the BreadBox Corporation. Its inventions include, without limitation, 12:36:22 `? bbc 12:36:24 The BBC is the BreadBox Corporation. Its inventions include, without limitation, Muppets and tiny elfs. Taneb invented it. 12:36:41 `` grep BBC wisdom/* 12:36:43 one day the "print text for error code" routine should be rewritten to make the success code return "Calling code cannot tell difference between error and success. If this is a message box, use a debugger to hotpatch the code so this doesn't occur again." 12:36:44 grep: wisdom/le: Is a directory \ grep: wisdom/¯\(°_o): Is a directory \ grep: wisdom/¯\(°​_o): Is a directory \ wisdom/a:A is _not_ a village in Norway, unless you're the BBC and don't understand things on top of letters. \ wisdom/Å:Å _is_ a village in Norway, unless you're the BBC and don't understand things on top of letters. \ wisdom/b: 12:37:16 oh, I thought Å was the point of origin 12:37:18 `` grep "did not invent" wisdom/* 12:37:21 grep: wisdom/le: Is a directory \ grep: wisdom/¯\(°_o): Is a directory \ grep: wisdom/¯\(°​_o): Is a directory \ wisdom/bdsm:BDSM definitely isn't a kind of LARP and Taneb definitely did not invent it. \ wisdom/fundamental theorem of taneb:The Fundamental Theorem of Taneb states that for all strings S, if S describes a thing, then it is prova 12:37:36 *sigh* 12:37:52 given the usual reliability of wisdom, that means Taneb did invent it 12:38:25 `? fundamental theorem of taneb 12:38:28 The Fundamental Theorem of Taneb states that for all strings S, if S describes a thing, then it is provable that Taneb invented the thing described by S; and, furthermore, that it is provable that there exists a string T that describes a thing that Taneb did not invent. 12:38:57 now that's contradictory 12:39:19 (S covers all strings, T exists and covers all strings not in S, but S covers all strings, so thus T cannot exist) 12:39:36 (unless "provable" != "true") 12:40:16 `` grep -l Taneb wisdom/* 12:40:25 grep: wisdom/le: Is a directory \ grep: wisdom/¯\(°_o): Is a directory \ grep: wisdom/¯\(°​_o): Is a directory \ wisdom/automatic squirrel feeder \ wisdom/bbc \ wisdom/bdsm \ wisdom/bogosort \ wisdom/boxmodel \ wisdom/chu space \ wisdom/ci \ wisdom/costume \ wisdom/curry's paradox \ wisdom/deniability \ wisdom/d-module \ wisdom/ehird \ wisdom 12:41:59 `` grep -l Taneb wisdom/* > share/tanebgrep 12:42:11 grep: wisdom/le: Is a directory \ grep: wisdom/¯\(°_o): Is a directory \ grep: wisdom/¯\(°​_o): Is a directory 12:42:21 `url share/tanebgrep 12:42:27 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/share/tanebgrep 12:42:35 `` grep Taneb wisdom/* > share/tanebgrep 12:42:56 grep: wisdom/le: Is a directory \ grep: wisdom/¯\(°_o): Is a directory \ grep: wisdom/¯\(°​_o): Is a directory 12:43:15 `? progress 12:43:17 Progress has been made today. It was invented by Taneb. 12:44:10 `` grep BBC wisdom/* >> share/tanebgrep 12:44:14 grep: wisdom/le: Is a directory \ grep: wisdom/¯\(°_o): Is a directory \ grep: wisdom/¯\(°​_o): Is a directory 12:44:29 gamemanj: Found it 12:44:34 gamemanj: Taneb invented the BBC 12:45:11 `? nitia 12:45:15 nitia is the inventor of all things. The BBC invented her. 12:46:04 If the universe is divided into planck lengths 12:46:20 Which, I assume, are discrete, tiled, and minecrafty- almost certainly wrong, but I assume it 12:46:56 Then doesn't taxicab geometry say that going straight from point a to point b is always the same distance as going orthagonally to point b's x then to its y? 12:47:55 `? a brazillian 12:47:58 a brazillian? ¯\(°​_o)/¯ 12:48:03 `? brazillian 12:48:05 brazillian? ¯\(°​_o)/¯ 12:48:08 Only if you're able to move in single adjacent steps. 12:48:11 `? brazilion 12:48:14 brazilion? ¯\(°​_o)/¯ 12:48:18 `? brazillion 12:48:20 brazillion? ¯\(°​_o)/¯ 12:48:50 Well, that assumes specifically that the universe is anisotropic. It kinda looks like division into planck lengths would imply that, but it may not. Who knows how counterintuitive things get at small scales. 12:48:57 If working in something like the Moore neighborhood, it is quicker to take a step diagonally than west-then-north or north-then-west. 13:05:35 Literally Just Porn (GONE SEXUAL) 13:15:05 CHALLENGE: Find the most racist/sexist/homophobic/biphobic/transphobic/egalitarian/ableist/ageist/islamaphobic/anything else single proper sentence possible 13:16:18 ANSWER: hppavilion[1] is secretly Donald Trump, judging by the question this sentence answers. 13:16:48 hppavilion[1]: http://www.smbc-comics.com/index.php?id=4146 13:17:12 b_jonas: Affirmative? 13:27:37 -!- Oliver__ has joined. 13:27:50 "egalitatian" 13:27:51 -!- Oliver__ has left ("Leaving"). 13:27:57 "egalitarian"* 13:28:25 did I win? did I spot the intruder? 13:33:37 -!- FreeFull has quit (Quit: Reconnecting). 13:33:54 -!- FreeFull has joined. 13:41:39 \oren\: http://www.smbc-comics.com/index.php?id=2492 add these! 13:43:51 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 13:46:09 `wisdom 13:46:14 ham//Ham is a kind of meat. It is popular in Hexham, among other places. 13:51:22 -!- Destructible has joined. 13:51:24 I can confirm, I had a ham sandwich in Hexham today 13:53:44 hexhexhexhex/hex/hexhamhexhex/hexhamhexhex/hamhamham 13:54:25 ??? 13:58:11 -!- Sgeo_ has quit (Ping timeout: 240 seconds). 14:03:48 -!- Destructible has quit (Quit: Page closed). 14:31:44 -!- Sgeo_ has joined. 14:32:42 -!- bender__ has joined. 14:36:18 `wisdom 14:36:21 `random-card 14:36:32 imperative language//Imperative languages tell you what to do. 14:36:33 Death's Shadow \ B \ Creature -- Avatar \ 13/13 \ Death's Shadow gets -X/-X, where X is your life total. \ WWK-R 14:38:29 so, the gist of it is, imperative languages are mean 14:39:10 and Death's Shadow is not cuddly 14:41:25 -!- bender__ has quit (Changing host). 14:41:25 -!- bender__ has joined. 14:41:35 -!- bender__ has changed nick to bender. 14:43:58 that would actually be a nice card for hearthstone 14:49:27 So, it gets stronger the closer to death you are? Neat! 14:51:41 yes, and Diminish kills it 15:03:37 -!- boily has joined. 15:45:01 -!- Melvar has quit (Quit: WeeChat 1.4). 15:45:14 -!- Melvar has joined. 15:46:06 -!- idris-bot has quit (Ping timeout: 276 seconds). 15:50:31 -!- iaglium has joined. 15:56:13 the nice thing about it in hearthstone would be that you actually don't want to get it silenced 16:21:54 mynamello. silenced as in people not talking, or like no sound effects? 16:30:56 It’s funny how “silence(d)” in so many games refers to being unable to cast spells or certain spells, including some that do not show the spell having any verbal component. 16:35:32 silencing in hearthstone removes any special effect of a minion 16:39:14 -!- Kaynato has joined. 16:55:16 So in this case, wouldn’t you *want* it silenced, because that’d remove the debuff? 16:55:59 well, your opponent won't silence it, yes 16:56:21 usually you silence enemy minions to get rid of annoying effect 16:57:05 Ah, you meant you don’t want to silence your *enemy’s*. Yeah. 17:00:53 <\oren\> Uh-oh what if Nexit is next? 17:01:20 <\oren\> It sounds like a allergy medication 17:08:11 "major clothing store leaving EU" 17:08:37 "thousands of buy-happy shoppers infuriated" 17:08:52 s/thousands/millions/ 17:10:14 -!- augur has joined. 17:12:36 -!- trn has quit (Ping timeout: 246 seconds). 17:12:49 -!- jaboja has joined. 17:16:14 -!- gamemanj has quit (Ping timeout: 260 seconds). 17:16:24 gamemanj: the obvious solution is to found an EU subsidiary. Luxembourg is popular for tax reasons... 17:16:39 -!- gamemanj has joined. 17:18:12 <\oren\> David Cameron resined 17:18:16 oh xkcd, I think Randall overestimates the impact of tinyurl... since twitter has its own URL shortener. 17:21:49 `? brexit 17:21:59 brexit is like a break, except when there's no surrounding loop, in which case it's like an exit. 17:23:00 -!- trn has joined. 17:33:24 -!- moon__ has joined. 17:33:32 anyone know a free VM (not virtualbox)? 17:35:41 qemu, bochs, dosbox 17:41:56 -!- Koen__ has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”). 17:42:53 kvm xen dosemu 17:43:27 (kvm borrows from qemu but the hypervisor should be its own? I don't know) 17:44:13 https://en.wikipedia.org/wiki/Comparison_of_platform_virtualization_software lists licenses too 17:47:51 -!- jaboja has quit (Ping timeout: 264 seconds). 17:49:26 -!- augur has quit (Remote host closed the connection). 17:50:45 -!- jaboja has joined. 17:55:17 hbot will be booted again soon 18:00:45 -!- jaboja has quit (Read error: No route to host). 18:07:01 -!- bender has quit (Ping timeout: 250 seconds). 18:09:54 -!- jaboja has joined. 18:19:39 -!- jaboja has quit (Ping timeout: 264 seconds). 18:24:01 -!- boily has quit (Read error: Connection reset by peer). 18:25:12 -!- boily has joined. 18:27:45 -!- jaboja has joined. 18:28:09 \oren\: Oh no! What sort of resin did he turn into? 18:29:09 -!- puckipedia has quit (Ping timeout: 260 seconds). 18:29:10 There's a brand of headache medication sold in Finland called "Dexit". 18:29:36 I guess that'd be the Danish one. 18:29:45 hbot is being recovered 18:30:20 They have a very annoying ad jingle that goes approximately "dexit, dexit, headache's exit". 18:30:54 Except when they rebranded it to cover more aches and pains than just headaches, they just removed the word "head", but kept the timing and the rest in place. 18:31:24 So it turned into "Dexit, Dexit, ...ache's exit" (the possessive there works better in Finnish), with a really awkward prosody. 18:32:05 -!- puckipedia has joined. 18:37:54 -!- puckipedia has quit (Ping timeout: 260 seconds). 18:37:54 -!- HackEgo has quit (Ping timeout: 260 seconds). 18:39:59 -!- puckipedia has joined. 18:44:59 <\oren\> < int-e> kvm xen dosemu <-- I was so sure that was you speaking a foreign language... 18:46:32 * moon__ uses magic! *Poof!* moon_ will now say this when someone mentions him after a random interval 18:46:55 -!- Reece` has joined. 18:49:29 -!- HackEgo has joined. 18:50:08 * boily mentions moon__. mhelloon__. 18:50:14 * moon__ uses magic! *Poof!* moon_ will now say this when someone mentions him after a random interval 18:50:40 I think moon__'s idea may result in spammy results... 18:50:43 * moon__ uses magic! *Poof!* moon_ will now say this when someone mentions him after a random interval 18:50:51 Especially if people talk about moon. 18:50:54 * moon__ uses magic! *Poof!* moon_ will now say this when someone mentions him after a random interval 18:51:07 you have got to be kidding me, it doesn't check for the "__" 18:51:20 Hmm, ill fix that 18:51:23 And turn it of 18:51:25 I propose "that lunar object" 18:51:25 Lol 18:52:16 or "mluni" 18:52:33 I suggest "mhelloon" 18:52:36 Dont make me add that to the catch 18:52:42 lol 18:53:09 eh, i wont 18:53:24 (meanwhile, looking at a dictionary: ..."moon", in the sense of "space station"... what.) 18:53:58 (oh, apparently the correct word was lunra) 18:54:15 (mluni is just satellite) 18:55:47 mention me and the moon again 18:55:54 moon__ 18:55:56 * moon__ uses magic! *Poof!* moon_ will now say this when someone mentions him after a random interval 18:56:00 moon 18:56:01 * moon__ uses magic! *Poof!* moon_ will now say this when someone mentions him after a random interval 18:56:03 Damn 18:56:19 _moon_ 18:56:19 >_> 18:56:21 -!- myndzi\ has joined. 18:56:25 *slinks away* 18:56:36 * boily mapoles moon__ back into the chännel 18:56:47 * moon__ uses magic! *Poof!* moon_ will now say this when someone mentions him after a random interval 19:01:14 -!- myndzi\ has quit (Ping timeout: 260 seconds). 19:03:21 <\oren\> Uh.. If I was to add a script to my irssi, I would make it do something *useful* 19:03:43 <\oren\> (Or at least it would interpret an esolang) 19:04:29 -!- ybden has quit (Quit: Fing). 19:04:40 -!- ybden has joined. 19:06:28 -!- Reece` has quit (Read error: Connection reset by peer). 19:06:55 maybe moon__ should be like myndzi and have little dancing stick figures? 19:25:03 -!- jaboja has quit (Ping timeout: 264 seconds). 19:28:51 -!- Etaoin has joined. 19:37:34 -!- jaboja has joined. 19:41:43 -!- augur has joined. 19:46:22 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…). 19:49:22 -!- \oren\ has quit (Quit: leaving). 19:50:34 -!- oren has joined. 19:57:31 memes 19:58:19 Hmm it would be nice (horrible) if there was a bot that scanned for memetic phrases and memeified them 19:58:37 Memeified all the things! 19:59:06 * boily looks at oren 19:59:28 < memebot> http://www.9gag.com/djasdhajkshdjkh 20:00:06 Hmm it would be nice (horrible) if there was a bot that scanned for cancer and spammed it 20:00:10 ^fixed it^ 20:00:21 I heard you like memes so we put a meme in your meme so you can meme while you meme 20:02:57 oerjan, that's a really neat formula! I'll save that somewhere. I take it this comes from euler's identity as so many things do? 20:04:08 -!- oren has changed nick to \oren\. 20:07:39 -!- jaboja has quit (Ping timeout: 264 seconds). 20:20:18 -!- moon__ has quit (Ping timeout: 250 seconds). 20:24:19 -!- augur has quit (Quit: Leaving...). 20:35:12 -!- tswett has set topic: The intradisciplinary hub of solidarity matrices, esoteric programming language design, multichannel bot abuse (always safe, sane and consensual), and font forging | http://esolangs.org/ | logs: http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf. 20:48:58 -!- Etaoin has quit (Quit: Page closed). 20:49:10 -!- idris-bot has joined. 21:18:09 -!- hppavilion[1] has joined. 21:32:39 `wisdom 21:32:40 `wisdom 21:32:41 `wisdom 21:32:41 `wisdom 21:32:42 `wisdom 21:33:21 1337//1337 15 50 905 21:33:21 pipe//This is not a pipe. 21:33:21 oic//OIC, OIC means Oh I see. 21:33:21 footnote 8//Isn't it fun reading through all the footnotes? 21:33:21 post-turing machine//A post-Turing machine is a machine from the post-Turing era. 21:33:40 hppavilion[1]: What's share/tanebgrep for? 21:36:19 905? 21:36:27 shachaf: For grepping for taneb 21:36:37 But anyone can grep for taneb anyway. 21:36:47 Why do you need it in the hg history? 21:36:50 shachaf: I outputted a grep there then opened it on codu so I could see the full file 21:37:00 I'd rather you didn't grep for me, it's a bit of an invasion of privacy 21:37:11 OK, so it was a pseudo-paste. 21:37:13 * hppavilion[1] is not the nsa 21:37:18 shachaf: Yes? 21:37:22 I don't think share/ is a good place for that. 21:37:23 Oh, right, there's a paste command, isn't there? 21:37:26 `cat bin/paste 21:37:27 ​#!/bin/bash \ if [ "$1" ] && url "$1" 2>/dev/null # Save making a file when it already exists. \ then \ true \ else \ PASTENUM="$RANDOM" \ \ mkdir -p $HACKENV/paste \ \ url paste/paste."$PASTENUM" \ cat -- "${1--}" > $HACKENV/paste/paste."$PASTENUM" \ fi 21:37:33 Better to put it in paste/. 21:38:33 Taneb: Is that actually true? 21:39:15 It's more that every now and then I get pinged a few dozen times even though no-one particularly wants my input on anything 21:40:11 Ah. 21:40:26 I guess all the Tanebventions ping you. 21:40:54 Of course I was actually addressing you yesterday. 21:44:52 was Taneb invented by Taneb? 21:45:02 `? cis 21:45:04 The CIs are a secret society led by David Morgan-Mar, bent on conquering the world from Sydney with web comics and unsolvable puzzles. They invented Taneb. 21:45:14 oh 21:45:26 is Taneb a CI? 21:45:34 No 21:46:13 Taneb: Are you in York? 21:46:19 No 21:46:27 Northumberland? 21:48:50 Hexham? 21:53:01 Yes 21:59:28 -!- gamemanj has quit (Ping timeout: 258 seconds). 21:59:52 Weren't you in London at one point? 22:00:45 For one night, in December 22:01:11 I attended a workshop on software verification at ICL 22:01:51 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 22:02:47 -!- boily has quit (Quit: SIMILAR CHICKEN). 22:04:05 Yay, Isabelle believes me that CL (the SKI one) is confluent. 22:29:56 -!- AnotherTest has quit (Quit: ZNC - http://znc.in). 22:35:44 int-e, I've been meaning to learn Isabelle 22:42:18 Hmm. There's a lot of documentation at http://isabelle.in.tum.de/documentation.html and there's a (fairly inactive, but populated with a few helpful people) #isabelle on Freenode. 23:00:52 That said it's probably hard to pick up Isabelle all by oneself... at work I have a number of colleagues who are also using Isabelle, which is tremendously helpful. Workshops with Isabelle tutorials may also help. 23:15:25 -!- oerjan has joined. 23:16:59 @tell hppavilion[1] In a 4D universe, would we have 2D roads? <-- if you consider 4d to include relativistic spacetime, we already do hth 23:16:59 Consider it noted. 23:17:41 -!- jaboja has joined. 23:22:07 -!- bender has joined. 23:26:34 -!- boily has joined. 23:28:06 -!- bender has quit (Ping timeout: 250 seconds). 23:33:40 <\oren\> Roads are technically 3d actually 23:34:15 <\oren\> They have width and a maximum vertical clearance 23:36:00 ngurrju maboilyinpa 23:37:25 -!- PinealGlandOptic has joined. 23:37:52 -!- PinealGlandOptic has quit (Client Quit). 23:39:02 <\oren\> I found out ksp has a official irc channel 23:40:58 ... 23:41:00 ... 23:41:04 yoruba? 23:41:05 \oren\: but those are tiny dimensions. see string theory. 23:41:11 boily: nope. 23:41:27 I'm stumped. 23:42:13 well if you've so far _not_ googled things, i'm still impressed :P 23:42:52 it's more fun to guess without any tools :D 23:43:09 (hm i guess i should confess i did that with your mayan one yesterday. and i _still_ almost didn't find it.) 23:43:34 anyway, wrong continent. 23:44:37 i think my ability to guess languages like that is pretty small for anything non-european. 23:45:17 yolŋu? (that one I'm googling for sources...) 23:45:17 perhaps except a few asian ones. 23:45:33 -!- FreeFull has quit (Ping timeout: 240 seconds). 23:47:35 "The concept of 'Hello' does not exist in Yolngu," 23:47:37 hence most use the English 'hello,' or 'hey' 23:47:50 stupid half-pastes 23:48:17 a language without helloes. nice find! 23:51:44 however, no, but right family! 23:52:05 did you know that the english have over 200 words for hello 23:55:24 yo shachaf, that's silly, obviously it's just a handful of roots that are being portmanteaued into the rest. 23:55:41 helloily 23:55:49 yowly 23:55:59 scowly 23:56:15 `? oerjan 23:56:26 Your mysterious articled cackling zombie overlord kommisjonær emeritus oerjan is a lazy expert in future computation. Also a Precambrian Norwegian who mildly dislikes Roald Dahl with a pasjon. Lately when he tries to remember a word, "amortized" pops up. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it. 23:56:58 `learn helloily is hella oily hth 23:57:05 Learned 'helloily': helloily is hella oily hth 23:57:18 `? betty crocker 23:57:20 betty crocker? ¯\(°​_o)/¯ 23:58:08 `le/rn Betty Crocker/Betty Crocker is a notorious gambler. 23:58:11 Learned «betty crocker» 23:59:38 quinthellopia!