←2016-06-23 2016-06-24 2016-06-25→ ↑2016 ↑all
00:01:42 <Phantom_Hoover> i have a backup plan but i can't put it into action for another two weeks
00:01:58 <Phantom_Hoover> which is a problem because by then everyone will be doing the same and the passport offices will be swamped
00:02:10 <Taneb> Phantom_Hoover, you have Irish family, right?
00:02:33 <Phantom_Hoover> i am literally the only non-irish person in my family
00:03:13 <shachaf> A family of vacuum cleaners?
00:03:37 <oerjan> <boily> Dutch Nationality Exam: [ ] Do you speak Dutch [ ] Can you bike [ ] Black licorice tastes good <-- ooh, i've got two of three!
00:03:56 <shachaf> oerjan: You speak Dutch?
00:04:01 <boily> Phantom Hoover, son of Ghost Hoover, son of Spirit Hoover.
00:04:13 <shachaf> Since one of those three is an objective fact, which is objectively false.
00:05:23 <oerjan> shachaf: that's the missing one hth
00:06:22 <shachaf> as a finishing touch, god created Taneb
00:06:26 <shachaf> invented
00:06:27 -!- jaboja has quit (Ping timeout: 264 seconds).
00:06:28 <shachaf> nitia
00:06:52 <boily> Nitia is God?
00:08:57 <shachaf> `? tanebvention
00:09:09 <HackEgo> 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 <shachaf> `? tanebventions: math
00:09:54 <HackEgo> 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 <shachaf> `le/rn curry's paradox/If this sentence is true, then Taneb invented Curry's paradox.
00:10:43 <HackEgo> Learned «curry's paradox»
00:10:50 <moon__> my virtualbox is apparently missing
00:10:54 <boily> tanebventions were split?
00:11:01 <boily> he\\oren\, mhelloon__!
00:11:21 <moon__> and the installer wont work, so im running malware bytes
00:11:41 <moon__> 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 <moon__> Boily, thats WHY i have virtualbox
00:14:02 <moon__> because i cant install on this laptop
00:14:07 <oerjan> 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 <oerjan> `? cis
00:15:16 <HackEgo> 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 <Phantom_Hoover> oerjan, sure but there'd be a run on EU passports as soon as a brexit result came in
00:16:06 <moon__> Nothing so far
00:16:11 <oerjan> <boily> tanebventions were split? <-- it was inevitable.
00:16:12 <\oren\> moon__: why can't you? no CD drive?
00:16:12 <moon__> hopefully i get a perfect 0
00:16:26 <moon__> Yea, my diskdrive decided to fall out (=
00:16:28 <moon__> *)=
00:16:30 <boily> oerjan: itym inevitaneble hth
00:16:57 <moon__> `wisdom boily
00:17:01 <HackEgo> 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 <oerjan> Phantom_Hoover: well as long as they don't run out permanently...
00:17:24 <moon__> `? boily
00:17:31 <moon__> boily has the best one lol
00:17:31 <HackEgo> ​"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 <boily> moon__: note that "trigotillectomic" uniquely identifies me in google searches :D
00:18:22 <moon__> time to add 'overmoonification' to all my profiles lol
00:18:59 -!- jaboja has joined.
00:19:12 <moon__> how do i append to wisdom entrys?
00:19:40 <oerjan> with `learn_append
00:19:53 -!- Phantom_Hoover has quit (Quit: Leaving).
00:20:11 <oerjan> if the key is a single word
00:20:43 <moon__> `learn_append moon . He sometimes causes overmoonification
00:20:48 <HackEgo> Learned 'moon': Moon is a murderous lunatic, not an unretroreflectorey object. . He sometimes causes overmoonification
00:20:50 <oerjan> oh no
00:20:56 <shachaf> oerjan: it's ok, you're retired
00:21:06 <oerjan> `revert
00:21:23 <HackEgo> rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done.
00:21:27 <oerjan> moon__: your `learn_append privileges are revoked hth
00:21:34 <moon__> )=
00:21:46 <shachaf> `? oerjan
00:21:57 <HackEgo> 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 <oerjan> (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 <moon__> i will fix it lol
00:23:18 <moon__> `learn_append moon He sometimes causes overmoonification.
00:23:22 <HackEgo> Learned 'moon': Moon is a murderous lunatic, not an unretroreflectorey object. He sometimes causes overmoonification.
00:25:24 <oerjan> @tell hppavilion[1] <hppavilion[1]> Are there any problems that are /literally/ unsolvable on CCs but not on QCs? <-- no hth
00:25:24 <lambdabot> Consider it noted.
00:27:42 <moon__> what does hth even mean?
00:27:54 <fizzie> `? hth
00:27:57 <HackEgo> hth is help received from a hairy toe. It is not at all hambiguitous.
00:28:17 <moon__> lol
00:28:24 <shachaf> hizzie
00:28:52 <moon__> Hairy Toe Hambiguitous
00:29:16 <moon__> Makes (no) sense
00:30:15 <moon__> Time to get a aflac ad on a page about a phobia about having a duck watching you
00:32:47 <boily> a Duck is Always Watching You. it Guards You from Evil. Fungot Knows.
00:33:45 <fizzie> I don't know, ducks have always seemed a bit suspicious to me. Like they're plotting something.
00:33:56 <oerjan> http://www.mezzacotta.net/garfield/?comic=2590
00:34:00 <oerjan> argh
00:34:08 <oerjan> wrong link
00:34:18 <oerjan> http://25.media.tumblr.com/tumblr_m90zefhKFP1rbs5emo1_500.gif
00:35:09 <oerjan> (if you're old enough, you can probably guess what it is)
00:35:23 <oerjan> (of course, only i am that old)
00:36:30 <oerjan> (this is the original btw. i see it has been memeified.)
00:36:56 <moon__> the phobia about long words... is a long word: hippopotomonstrosesquippedaliophobia
00:37:05 <moon__> idk if i even spelled it right
00:38:09 <Koen_> sounds like someone made that one up on purpose
00:38:17 <oerjan> moon__: of course almost half of that is fake
00:38:21 <moon__> yea, i copyed that
00:38:24 <moon__> i didnt know
00:38:51 * moon__ notes the fact 'your guillible' is written on the ceiling
00:39:01 <oerjan> the part from sesqui on is more reasonable. but still mixing latin and greek ugh
00:39:47 <moon__> oh, its from a comic
00:39:49 <oerjan> `learn A guillible person is someone who can be fooled with a Scheme script.
00:39:56 <HackEgo> Learned 'guillible': A guillible person is someone who can be fooled with a Scheme script.
00:39:57 -!- adu has joined.
00:41:26 <oerjan> . o O ( what's the longest word that hasn't been invented just to be long )
00:43:11 <moon__> . o O ( I want to point out to oerjan that its the name of a protein )
00:43:46 <Koen_> 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 <Koen_> now I can take bets on the number of games needed for the network to become good
00:45:10 <moon__> lol
00:45:55 <moon__> next up: train a neural network to make bets and win them
00:46:15 * oerjan is doubtful
00:46:36 <oerjan> oh
00:46:42 <oerjan> misread
00:46:52 <oerjan> yeah probably
00:47:15 <moon__> by name i mean the moleculear (or is it chemical) name
00:47:35 <oerjan> IUPAC
00:48:48 <moon__> https://en.wiktionary.org/wiki/Appendix:List_of_protologisms/Long_words/Titin
00:50:20 <oerjan> <Destructible> P̸̱͕͕̮̜̹̮̜͍͉͝ͅU̵͏҉̴͈̖͓͔̹̼̞̬̳̬͔͖͓͇͔D̢͓̭͈̀̀̀͝D̶͓̲͉̜͉̣̲̝͉̤͍̥͙̞͇̮̠͔͝Ì̡̡̲͉̥̩̘͟Ṉ̢̺͈̟̳̳͙͈͔̰̺̼̲̝͚͉̙̗̲͟G͎͓̥̼̰͎̝̫͕̪̺̥͎͎͇̱͎̕͘ ̶̛̲͍͙͇̦͇̯̰̫̹̱͞P̶҉͡҉͚͓̫̹̮͍̘Ǫ̶̶̭͔̰̩̺̯̮̣͓̼̟̯͡P̨͉̭̪̗̼͖̮͉͕̮͖ͅͅS̴͟͜҉̨̖̟͖͈͇̪̲͇͚̱̱͍̭̳͎͙.̴̛͙͞͞
00:50:26 <oerjan> ̞̞̩̩̬͖͓ ̡̩͍̪̙͝͡Ţ̢� <-- ...
00:50:29 <oerjan> ... the garfield is strong in this one.
00:50:41 <moon__> nuu
00:50:47 <moon__> not hangdown characters
00:51:06 <Koen_> my irc client doesn't know how to react to this
00:51:36 <moon__> lol
00:53:47 <boily> garfield? hangdown?
00:54:08 <moon__> wait...
00:54:18 -!- MoALTz has quit (Quit: Leaving).
00:55:15 <moon__> *Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì©Ì
00:55:22 <oerjan> moon__: it's appropriate. also i think e was alluding to http://www.mezzacotta.net/garfield/?comic=1928
00:56:09 <oerjan> although there are other more direct zalgo references
00:56:10 <moon__> Oh, THAT comic, i kinda enjoy that one
00:56:37 <moon__> Enjoy the line
00:57:32 <oerjan> moon__: btw your fancy line above is not correct utf-8, so it shows up as ...Ì©Ì©Ì©Ì©Ì©... for me.
00:57:42 <moon__> )=
00:57:48 <moon__> but its valid unicode :P
00:58:01 <oerjan> i think a byte got cut off
00:58:22 <oerjan> that it is, it's too long, and a utf-8 char got cut in the middle.
00:58:23 <moon__> oh
00:58:25 <Koen_> is this an accentuated capital i followed by a copyright sign, over and over again?
00:58:27 <moon__> l̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞v
00:58:34 <moon__> Nope
00:58:37 <moon__> its ment to be a line
00:59:00 <Koen_> okay, I'm switching back to latin-1 then
00:59:28 <moon__> unless you are talking about oerjan's post
00:59:29 <oerjan> 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 <moon__> *̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞̞Ì
01:00:27 <oerjan> moon__: same problem.
01:00:29 <Koen_> now it's just the accentuated I
01:00:35 <Koen_> and a star at the beginning
01:00:59 <oerjan> `len Ìž
01:01:03 <HackEgo> 2 codepoints \ 4 UTF-8 bytes
01:01:30 <oerjan> `ord Ìž
01:01:31 <HackEgo> 204 382
01:01:56 <oerjan> hm that's not even latin-1
01:02:35 <oerjan> it looks like you converted it to a different charset, and then encoded that as utf-8
01:03:25 <b_jonas> `perl -eprint "o".pack"V*",(2915861196)x29
01:03:27 <HackEgo> ô̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂
01:03:37 <b_jonas> `perl -eprint "o".pack"V*",(2915861196)x79
01:03:38 <HackEgo> ô̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂
01:04:10 -!- hppavilion[1] has joined.
01:04:51 <moon__> my stuff is rendering wrong?
01:04:56 -!- adu has joined.
01:05:10 <hppavilion[1]> hadu
01:08:13 <oerjan> @tell Etaoin <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 <lambdabot> Consider it noted.
01:10:38 <moon__> lol
01:11:00 <\oren\> ARGH
01:11:06 <tswett> `unidecode ž
01:11:09 <\oren\> all my spaceplanes explode
01:11:15 <HackEgo> U+009E <control> \ UTF-8: c2 9e UTF-16BE: 009e Decimal: &#158; \ ž \ Category: Cc (Other, Control) \ Bidi: BN (Boundary Neutral)
01:11:30 <\oren\> mostly on the runway
01:11:32 <oerjan> 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 <tswett> `unidecode Ì
01:11:40 <HackEgo> ​[U+00CC LATIN CAPITAL LETTER I WITH GRAVE]
01:11:53 <tswett> `unicode U+9ECC U+CC9E
01:11:56 <HackEgo> No output.
01:12:10 * tswett raises an eyebrow.
01:12:13 <oerjan> (well, it's an optional setting, that i was recommended back when i got utf-8 working in it)
01:12:13 <tswett> `unicode U+9ECC
01:12:14 <HackEgo> ​黌
01:12:20 <tswett> `unicode U+CC9E
01:12:22 <HackEgo> ​첞
01:12:31 <tswett> I like the second one better.
01:13:16 <b_jonas> um, the first one looks like a kanji, the second one looks like a hangul
01:13:25 <tswett> `unidecode 첞
01:13:27 <HackEgo> ​[U+CC9E HANGUL SYLLABLE CEONH]
01:13:36 <tswett> So it is.
01:15:17 <tswett> 0xCC 0x9E is valid UTF-8 for something, right?
01:16:02 <shachaf> > printf "%08b %08b" 0xcc 0x9e :: String
01:16:03 <tswett> Those bytes are 11001100 10011110, which binarizes as 1100011110, or 31E?
01:16:04 <lambdabot> "11001100 10011110"
01:16:12 <tswett> `unicode U+031E
01:16:12 <b_jonas> `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 <HackEgo> ​̞
01:16:22 <HackEgo> Wide character in print at -e line 1. \ 쑝꠺鸥煾긴홊뒂숙 ⥸豙嚌�蘺囑⠥軁㫸㐯씁 콪貟ᓇ謆進難Ἂ臍﨏ᅶ៱ 岍诺鵙⼠Ṹ䐃�䑈 꼍䗹婊޴䆷쀙᧰ ᡥ晎죋怒쓔渫팦 │㊒뜄倓ḛ뽽�⎳旬鹁 濋⾯餦㘥랬뎻
01:16:33 <pikhq> tswett: Yep, totally legal UTF-8.
01:16:47 <shachaf> > "1100011110" ^? binary
01:16:48 <lambdabot> Just 798
01:17:16 <shachaf> > text $ "1100011110" ^.. binary . to chr
01:17:18 <lambdabot> ̞
01:17:32 <oerjan> <Etaoin> always thought it was a neat similarity <-- surely you can pronounce it as rofly one syllable anyway
01:17:35 <oerjan> argh
01:17:40 <b_jonas> `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 <HackEgo> ​㘍䃮浄ᦃ鼈퓔 ᢃ⻲簵⢰䌃ʗ 灌�듈⼡ 뼓껳膁봾匾蟲璡⥦ 祳ὕ̜촂䲾ਉᒣ䋫严ս 쮜ힱ篡꯫ 愍 껭𐁬ꆜ뭯橫晰㙃
01:17:43 * oerjan needs to remember to press ^C
01:17:51 <b_jonas> `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 <HackEgo> ​ᚺ૩셠ꔞ 毀ﴟ曓뎵ꭊ茔䩙ᥔ䁉⟉ኰ 給▒肩ȓ鉝틻 ��⤐辨줳碧 䞅鷽⡰뼼ꚁ㍣ꯦ 鲬孋첲鯹튬ଷ 枽岊贀⒕ꌯ ﴘ爸쿤㶽Ó͜
01:18:07 <oerjan> <\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 <b_jonas> `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 <HackEgo> ​袐ᇹ膍ﻤ暴 沇䦶뽀쯳㰖샭퉂箲 䩡랜虾抡꼏᱌慌⁂ 끄炶뱶릌쟡恌洺୫淓 撒㝩큿欘ܴ᳐䞗쭵댻 鯙䇢˫ 솔갱㣹Ʋ㿽뺷 ꍽ븿ࣻቘ騚ᲈྭ
01:23:20 <hppavilion[1]> @massages-lud
01:23:20 <lambdabot> oerjan said 57m 55s ago: <hppavilion[1]> Are there any problems that are /literally/ unsolvable on CCs but not on QCs? <-- no hth
01:23:38 <hppavilion[1]> oerjan: What about random number generation?
01:24:09 <oerjan> well you can consider that part of classical
01:24:43 <oerjan> of course this might depend on how you define "problem".
01:24:59 <izabera> 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 <oerjan> wouldn't that like totally ruin all browser caching
01:25:54 <izabera> indeed
01:26:37 <oerjan> looks like it's time to send a NUKE request, then.
01:26:50 <izabera> 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 <b_jonas> `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 <HackEgo> Wide character in print at -e line 1. \ �梔翪纞싩텎蹱塞픒ਅ 枾䚋樂ᄕ꨻娅♰ 䞆胚遰ꩥ㩶 픮쵌ⵔ卣퐲팊陋弖흘 僯㷠鞰쌵쩶薭 䆈좆蘷欐᜽䅗䏩懪恟 巴⛝境蜈प൨僼ᡖ 唑民桫斬�泲賈�뙦
01:28:59 <b_jonas> `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 <HackEgo> ​䊈䴞꺁⸂₣ 業ҡଁ喆Ꮵ㏉袐誝薫蛇 뙥ꯞﱮ⣃ຏ︷䡨䛱 㹃ᄋ눃椑䠳 ꢟ秳찋쭀𐀛桞㎐ 졸䞇紂殠듭䘇﴿썂 蓲엶䃍ꭶ韓첫ꧧ䟙 䇾㑌騇︿
01:29:43 <moon__> oh noes, unicode!
01:30:06 * moon__ runs back off to square root of minus garfield
01:33:24 <boily> 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 <boily> what the fungot is going on here...
01:34:24 <fungot> boily: it was on tv. 3
01:34:32 <boily> fungot: I missed it, was on the phone.
01:34:32 <fungot> boily: _they_ are after him.
01:34:36 <boily> fungot: I know!
01:34:36 <fungot> boily: hmm.... i can't both read and scroll that page simultaneously.
01:34:50 <boily> fungot: me neither. my client's spewing nonsense on the screen.
01:35:25 -!- lambda-11235 has joined.
01:36:18 <boily> hellambda-11235. Do Not Logread. Ignore any Eldritch Nonsense that may have Happened. Preserve your Brain. Your Sanity is Valuable.
01:36:44 <shachaf> Feel free to spam a bit, though.
01:36:58 <boily> lovely spam ♪
01:36:59 <shachaf> All that nonsense is messing up my terminal.
01:37:05 <boily> you don't say.
01:37:11 <shachaf> So I hope to have it scroll off the screen soon.
01:37:29 <boily> I'll write random ramblings in French. French Promotes Sanity.
01:37:47 <boily> bon, espérant que t'es capable d'afficher des lettres dans latin-1.
01:38:01 <boily> pas mal tout le monde aujourd'hui sont capable de se communiquer de même.
01:38:14 <shachaf> tout le monade?
01:38:36 <boily> 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 <boily> shachaf: French is Functional hth
01:39:17 <boily> ç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 <boily> y manquait un peu trop de voyelles.
01:39:28 <boily> shachaf: how many lines in your client?
01:39:51 <boily> j'aime bien les voyelles. ça fait une bonne source de mangulation pour être phonétiquement créatif.
01:40:05 <boily> plein de langues dans le monde sont débalancées. c'est pas très feng shui.
01:40:11 <shachaf> ~50 right now.
01:40:33 <quintopia> helloily
01:40:39 <boily> 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 <boily> aUI que ça s'appelait?
01:40:46 <quintopia> care package is away. cross your fingers.
01:41:14 <boily> quinthellopia! care package will be sent quelque part this weekend. cross any crossable extremities you may currently possess!
01:41:26 <boily> shachaf: good.
01:41:36 <boily> m'a continuer debord à raconter n'importe quoi.
01:41:49 <quintopia> i would love to know what all that french crap says!
01:41:58 <boily> quintopia: not important :P
01:42:08 <boily> it's only there for shachafscrolling :D
01:42:19 <boily> also, not sure Google Translate likes me...
01:42:45 <boily> 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 <boily> je pense que dans les langues sérieuses, le support du japonais est le plus nul à chier.
01:43:15 <quintopia> i still want to know. it seems interesting.
01:43:18 <boily> tsé veut dire, t'as des particules pour tagguer les bouttes de phrases! tu peux pas te tromper!
01:43:33 <boily> quintopia: ok, let's translate!
01:44:04 <boily> “good, hoping that you're able to display letters in latin-1”
01:44:20 <quintopia> i'm guessing "tse veut dire" means roughly "y'know"?
01:44:22 <boily> “just about everybody today can communicate this way”
01:44:27 <boily> quintopia: yup.
01:45:16 <hppavilion[1]> Is there a parody of Creative Commons? e.g. Annihilative Commons?
01:45:20 <boily> “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 <boily> “that reminds me of that time I was stuck pronouncing unpossible words. was it Georgian that time?”
01:46:11 <boily> “lots of world languages are imbalanced. that's not really feng shui.”
01:46:54 <boily> “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 <boily> “aUI it was called?”
01:47:21 <quintopia> it's called lojban
01:47:29 <boily> “[untranslatable] to tell ramblings.”
01:48:09 <boily> “that's like the times where oerjan starts writing in unusual Norwegian dialect. GT [untranslatable] every time...”
01:48:09 <b_jonas> boily: wait, you left out the part about too few vowels (in georgian I think)
01:48:23 <boily> 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 <quintopia> boily: are you just copypastaing? i feel like a human should never have [untranslatable]
01:49:11 <boily> “I thing that in [GT's] serious languages, Japanese support is the absolute worst” (exact wording is colloquial and vulgar)
01:49:38 <boily> ”y'know, you've got particles for tagging sentence fragments! you can't get lost!”
01:49:55 <b_jonas> yes
01:50:07 <quintopia> what is GT
01:50:09 <quintopia> oh google
01:50:14 <b_jonas> quintopia: google trans
01:50:15 <b_jonas> yes that
01:50:40 <quintopia> what might en arrache une shot be?
01:51:20 <quintopia> `? steam sale
01:51:22 <HackEgo> steam sale? ¯\(°​_o)/¯
01:51:40 <boily> to experience trouble? to hardly manage by? to get it done by the seat of your pants, but not even that?
01:53:11 <quintopia> `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 <HackEgo> Learned «steam sale»
01:53:30 <quintopia> to get it done with some difficulty? to struggle through?
01:54:46 <shachaf> oerjan: Can you believe we used to not have le/rn?
01:54:57 <b_jonas> `? le/rn
01:54:58 <HackEgo> le/rn makes creating wisdom entries manually a thing of the past.
01:55:01 <b_jonas> `? learn
01:55:03 <HackEgo> ​`learn creates a wisdom entry and tries to guess which word is the key. Syntax (case insensitive): `learn [a|an|the] <keyword>[s][punctuation] [...]
01:55:09 <b_jonas> `? le//rn
01:55:11 <HackEgo> le/rn makes creating wisdom entries manually a thing of the past.
01:55:20 <b_jonas> `? thanks
01:55:22 <HackEgo> thanks? ¯\(°​_o)/¯
01:56:01 <boily> quintopia: something like that.
01:56:57 <oerjan> <quintopia> 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 <boily> again, I'm not a squirrel!
01:58:35 <oerjan> <shachaf> 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 <quintopia> 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 <shachaf> oerjan: Well, that wouldn't have worked for steam sale anyway.
01:59:45 <oerjan> `slwd steam sale//s/./A steam sale is w/
01:59:48 <HackEgo> 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 <oerjan> WATCH ME
02:00:05 <shachaf> 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 <boily> \oren\: KSP?
02:01:44 * boily WATCHES OERJAN OKAY
02:02:11 <quintopia> boily: what is the relationship between auberges and aubergines?
02:02:17 <\oren\> yup
02:03:03 <oerjan> 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 <boily> 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 <oerjan> boily: YOU CAN STOP WATCHING NOW
02:04:24 <boily> OKAY
02:04:33 <b_jonas> `? oily
02:04:34 <HackEgo> oily? ¯\(°​_o)/¯
02:04:39 <b_jonas> `? _jonas
02:04:40 <HackEgo> _jonas? ¯\(°​_o)/¯
02:06:35 -!- augur has quit (Remote host closed the connection).
02:07:13 <quintopia> boily: huh. i thought maybe eggplants only grew at inns
02:07:40 <boily> 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 <boily> 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 <quintopia> 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 <boily> quintopia: seems that the two concepts are orthogonal. one's germanic, the other sanskrit.
02:09:39 <quintopia> i feel like they'd figure out a way to reconcile any differences; they have the technology!
02:11:43 <boily> I'm growing a plant this year. there's already one! still small, but it's going to be tasty! :D
02:12:10 <quintopia> you're living in an inn????
02:14:02 <boily> ...
02:14:05 <quintopia> i wonder if steam will mail me if an already discounted game goes on a daily sale
02:15:20 <b_jonas> `recipe
02:15:21 <HackEgo> ​ 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 <b_jonas> `recipe
02:15:53 <HackEgo> ​ 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 <quintopia> 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 <boily> b_jonas: is that some kind of fungot recipe generator?
02:17:31 <b_jonas> `? recipe
02:17:33 <HackEgo> Random food recipes at https://gist.github.com/nylki/1efbaa36635956d35bcc
02:17:38 <b_jonas> boily: ^
02:19:33 <boily> fungot recpie generator it is ^^
02:29:17 <quintopia> so...bon soily?
02:29:39 <boily> yup, time to hit the sack.
02:29:43 <boily> bonnnuitopia!
02:29:44 <quintopia> 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 <pikhq> So... Is now the time to short GBP hard?
04:11:40 <shachaf> Do you have nonpublic information?
04:12:18 <pikhq> No.
04:12:39 <pikhq> Hence my odds of doing better than the markets as a whole are... negligible.
04:13:12 -!- hppavilion[1] has joined.
04:15:01 <hppavilion[1]> Wait, there used to be a forum!?
04:15:11 <hppavilion[1]> https://esolangs.org/forum/
04:18:38 <oerjan> yes.
04:19:47 <oerjan> it was pretty much 99% spam at the end.
04:20:14 <oerjan> (not just because there was so much spam but because there was so little real posting)
04:20:44 <oerjan> there also, before that, used to be a mailing list.
04:24:58 <tswett> oerjan: when was the forum put online?
04:25:33 <tswett> `recipe
04:25:38 <HackEgo> 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 <oerjan> tswett: i dunno
04:54:23 <hppavilion[1]> 55 out of 100 on privledge.
04:54:35 <hppavilion[1]> 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 <Sgeo_> 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 <Cale> `recipe
05:20:26 <HackEgo> 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 <b_jonas> :-( :-(
05:27:36 -!- lambda-11235 has joined.
05:32:38 <Cale> http://www.bloomberg.com/quote/GBPUSD:CUR
05:32:47 <oerjan> . o O ( some people in scotland are going to regret their previous vote )
05:33:07 <pikhq> We can bet on a new referendum in Scotland soon.
05:33:40 <pikhq> Freude, schöner Götterfunken, Tochter aus Elysium...
05:40:51 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
05:40:59 <Cale> https://www.dailyfx.com/gbp-usd -- better graph
05:41:26 -!- hppavilion[1] has joined.
06:04:54 <b_jonas> :-( :-( :-(
06:07:00 <hppavilion[1]> b_jonas appears to be sad
06:07:49 <b_jonas> 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 <HackEgo> 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 <hppavilion[1]> Gah, now I'm stuck on the Calculus of Variations
06:52:11 <hppavilion[1]> b_jonas: Did brexit britain?
06:56:00 <hppavilion[1]> In a 4D universe, would we have 2D roads?
06:56:14 -!- lambda-11235 has quit (Quit: Bye).
06:58:03 <zzo38> I have read about Brexit in newspaper recently and now found an article about Brexit also in Wikipedia
06:59:58 <zzo38> (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 <shachaf> "brexit" is a scowmanteau
07:55:12 <int-e> if brexit were a Posix function, what would it do?
07:58:23 <shachaf> Combination brk/exit?
07:58:29 <shachaf> Doesn't seem very useful.
08:01:00 <lifthrasiir> int-e: badass really exit, more severe version of _exit
08:01:10 <lifthrasiir> probably wired to syscall(SYS_exit, 1)
08:02:29 <shachaf> exits the parent process as well
08:03:09 -!- Destructible has joined.
08:03:17 <Destructible> hoi
08:09:52 <shachaf> saying hi every time you join is not mandatory
08:10:14 <shachaf> especially when you join many times every day
08:12:47 <Destructible> ok.
08:12:49 <Destructible> noted
08:20:40 <int-e> 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 <shachaf> int-e: Is that amendment relevant to you?
08:37:15 -!- AnotherTest has joined.
08:43:28 <shachaf> `cat bin/recipe
08:43:35 <HackEgo> ​#!/bin/sh \ exec perl -e 'local$/=\999;seek STDIN,rand((-s STDIN)-299),0 or die;print<STDIN>=~y/ \t/ /sr;' < share/recipe/recipes.txt
08:43:36 <shachaf> Oops, was scrolled up.
08:52:53 <b_jonas> `? brexit
08:52:54 <b_jonas> int-e: ^
08:52:55 <HackEgo> brexit is like a break, except when there's no surrounding loop, in which case it's like an exit.
09:13:36 <shachaf> Taneb: hugs are available in california hth
09:15:02 <fizzie> I'm feeling unwelcome due to that 'xit.
09:15:24 <fizzie> 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 <shachaf> fizzie: but it ain't broken
09:21:32 <fizzie> 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 <asie> fizzie: Fixit? I heard Finish
10:22:52 <asie> gamemanj: Huh.
10:23:28 <hppavilion[1]> Whoa, the UK has a thing called "The Shadow Cabinet"
10:24:40 <int-e> shachaf: the amendment doesn't affect me directly... but such ideas are easily spread and adapted to other legal frameworks.
10:25:09 <hppavilion[1]> int-e: What ammendment?
10:25:36 <int-e> 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 <int-e> ^v-- # abuse of "literally"
10:43:07 <gamemanj> brexit's driving the world insane
10:43:36 <gamemanj> someone get a microwave,
10:43:39 <gamemanj> a CRT, and a phone
10:46:23 <zzo38> 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 <int-e> https://www.reddit.com/r/steinsgate/comments/3h2prn/can_someone_explain_to_me_how_the_microwave_o/ seems relevant
10:48:59 <hppavilion[1]> "Obama Administration Orders Apple to Ignore the Laws of Math"
10:49:26 <int-e> @google microwave crt phone
10:49:28 <lambdabot> http://anime.stackexchange.com/questions/21064/how-does-the-steinsgate-phone-microwave-work
10:49:28 <lambdabot> 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 <gamemanj> ...
10:50:57 <gamemanj> actually that is very surprising
10:54:55 <Melvar> 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 <Melvar> I wish I knew the reasoning there.
10:55:32 <gamemanj> `unidecode U+A7AE
10:55:48 <HackEgo> ​[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 <gamemanj> `unidecode U+026A
10:55:55 <gamemanj> ...
10:55:55 <HackEgo> ​[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 <gamemanj> `unicode U+026A
10:56:04 <HackEgo> ​ɪ
10:56:09 <gamemanj> `unicode U+A7AE
10:56:09 <HackEgo> ​Ɪ
10:56:23 <gamemanj> `unidecode ɪꞮ
10:56:27 <HackEgo> U+026A LATIN LETTER SMALL CAPITAL I \ UTF-8: c9 aa UTF-16BE: 026a Decimal: &#618; \ ɪ \ 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: &#42926; \ Ɪ (Ɪ) \ Uppercase: U+A7AE \ Category: Cn (Other, Not Assigned)
10:58:50 <Melvar> 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 <Melvar> 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 <Melvar> Hm. Apparently only the 1978 version had that, while the 1982 revision replaced it with Latin Iota (Ɩ, ɩ).
11:03:53 <HackEgo> [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 <Melvar> That’s not a typo, that’s commonwealth spelling, I’m pretty sure. <ω<
11:04:38 <gamemanj> what's wrong with "centred"...?
11:05:18 <gamemanj> ok, compromise
11:05:24 <gamemanj> centreed
11:11:00 <fizzie> 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 <b_jonas> `? fixit
11:23:35 <HackEgo> fixit? ¯\(°​_o)/¯
11:34:58 -!- rntz has quit (Ping timeout: 244 seconds).
11:37:37 <FireFly> Some tweet suggested "Finish"
11:41:15 <izabera> i'm playing with fuse, how do i keep a fd open to a real file outside my fs?
11:41:54 <izabera> from my open i'm assigning the fd to fuse_file_info->fh
11:42:03 <izabera> 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 <izabera> oh i had to set the size apparently
11:59:07 <izabera> ah this makes sense
12:01:49 <izabera> yay it works
12:06:11 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
12:13:53 <izabera> 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 <izabera> if i create a fifo, write is never performed and all i get is the same data i wrote on it
12:15:14 <izabera> block/character devices, i can't open them with a simple redirection in bash with a non root user
12:15:28 <izabera> and i can never open a socket with a redirection in bash
12:16:51 <izabera> is there a way to simulate something like /dev/urandom with fuse? generating data when read is performed
12:18:19 <izabera> mmh, i can't even open block/character devices with root...
12:18:23 <izabera> must be doing something wrong
12:23:20 -!- hppavilion[1] has joined.
12:24:02 <hppavilion[1]> Hah! A company banning their employees from sending encrypted email!
12:24:04 <izabera> 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 <izabera> hppavilion[1]: what company?
12:24:15 <hppavilion[1]> Sounds like Donald Knuth's new place of employment
12:24:29 <hppavilion[1]> London's Southwark Council, it looks like? http://www.theregister.co.uk/2001/05/18/the_2001_daftas_most_pc/
12:27:01 <gamemanj> izabera: for block devices, try "abuse", though it doesn't seem to be a commonly compiled module...
12:28:18 <gamemanj> (this: https://lwn.net/Articles/343514/ , if it's even in the kernel...)
12:28:32 <izabera> thanks
12:29:05 <gamemanj> there's also this solution which apparently just uses a network-block-device loopback: https://github.com/acozzette/BUSE
12:29:22 <hppavilion[1]> 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 <gamemanj> don't count on it
12:31:05 <hppavilion[1]> gamemanj: Can I at least be a massive pain in the ass?
12:31:12 <izabera> they all require moar modules :(
12:31:38 <gamemanj> Well, yes, but NBD is one you're likely to have
12:31:46 <hppavilion[1]> izabera: moar modules are a rather interesting area of abstract algebra
12:31:46 <gamemanj> while abuse is not
12:31:54 <hppavilion[1]> They were invented by Taneb, iirc
12:32:30 <Melvar> hppavilion[1]: Is everything random invented by Taneb?
12:32:41 <gamemanj> `? tanebventions
12:32:44 <hppavilion[1]> Melvar: No; Taneb invented determinism
12:33:01 <hppavilion[1]> Melvar: He invented the /lack/ of randomness
12:33:11 <HackEgo> 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 <hppavilion[1]> `? tanebventions: math
12:33:34 <HackEgo> 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 <hppavilion[1]> `quote tori
12:34:24 <HackEgo> 367) <Phantom_Hoover> oerjan, little do you realise that everything you say and do is part of that great monad tutorial we call life. \ 628) <oklopol> i don't lie, i tell stories <oklopol> there's no difference <oklopol> *a \ 866) <elliott> Phantom_Hoover: I like how the Victorians hadn't quite figured out you were meant to name books something s
12:34:25 <gamemanj> ...wait, Taneb invented the BBC? That explains why the news is always full of sad events with the occasional puppy...
12:34:42 <hppavilion[1]> gamemanj: It gets worse
12:34:50 <hppavilion[1]> `? necessity
12:34:54 <HackEgo> If necessity did not exist, it would be necessary for Taneb to invent it.
12:35:01 <hppavilion[1]> Wait, where is it again?
12:35:21 <gamemanj> error ERR_SUCCESS : contradiction! error
12:35:55 <hppavilion[1]> `` grep Taneb wisdom/*
12:36:09 <HackEgo> 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 <hppavilion[1]> `? bbc
12:36:24 <HackEgo> The BBC is the BreadBox Corporation. Its inventions include, without limitation, Muppets and tiny elfs. Taneb invented it.
12:36:41 <hppavilion[1]> `` grep BBC wisdom/*
12:36:43 <gamemanj> 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 <HackEgo> 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 <gamemanj> oh, I thought Å was the point of origin
12:37:18 <hppavilion[1]> `` grep "did not invent" wisdom/*
12:37:21 <HackEgo> 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 <hppavilion[1]> *sigh*
12:37:52 <gamemanj> given the usual reliability of wisdom, that means Taneb did invent it
12:38:25 <Melvar> `? fundamental theorem of taneb
12:38:28 <HackEgo> 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 <gamemanj> now that's contradictory
12:39:19 <gamemanj> (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 <gamemanj> (unless "provable" != "true")
12:40:16 <hppavilion[1]> `` grep -l Taneb wisdom/*
12:40:25 <HackEgo> 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 <hppavilion[1]> `` grep -l Taneb wisdom/* > share/tanebgrep
12:42:11 <HackEgo> grep: wisdom/le: Is a directory \ grep: wisdom/¯\(°_o): Is a directory \ grep: wisdom/¯\(°​_o): Is a directory
12:42:21 <hppavilion[1]> `url share/tanebgrep
12:42:27 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/share/tanebgrep
12:42:35 <hppavilion[1]> `` grep Taneb wisdom/* > share/tanebgrep
12:42:56 <HackEgo> grep: wisdom/le: Is a directory \ grep: wisdom/¯\(°_o): Is a directory \ grep: wisdom/¯\(°​_o): Is a directory
12:43:15 <hppavilion[1]> `? progress
12:43:17 <HackEgo> Progress has been made today. It was invented by Taneb.
12:44:10 <hppavilion[1]> `` grep BBC wisdom/* >> share/tanebgrep
12:44:14 <HackEgo> grep: wisdom/le: Is a directory \ grep: wisdom/¯\(°_o): Is a directory \ grep: wisdom/¯\(°​_o): Is a directory
12:44:29 <hppavilion[1]> gamemanj: Found it
12:44:34 <hppavilion[1]> gamemanj: Taneb invented the BBC
12:45:11 <hppavilion[1]> `? nitia
12:45:15 <HackEgo> nitia is the inventor of all things. The BBC invented her.
12:46:04 <hppavilion[1]> If the universe is divided into planck lengths
12:46:20 <hppavilion[1]> Which, I assume, are discrete, tiled, and minecrafty- almost certainly wrong, but I assume it
12:46:56 <hppavilion[1]> 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 <hppavilion[1]> `? a brazillian
12:47:58 <HackEgo> a brazillian? ¯\(°​_o)/¯
12:48:03 <hppavilion[1]> `? brazillian
12:48:05 <HackEgo> brazillian? ¯\(°​_o)/¯
12:48:08 <gamemanj> Only if you're able to move in single adjacent steps.
12:48:11 <hppavilion[1]> `? brazilion
12:48:14 <HackEgo> brazilion? ¯\(°​_o)/¯
12:48:18 <hppavilion[1]> `? brazillion
12:48:20 <HackEgo> brazillion? ¯\(°​_o)/¯
12:48:50 <Melvar> 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 <gamemanj> 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 <hppavilion[1]> Literally Just Porn (GONE SEXUAL)
13:15:05 <hppavilion[1]> CHALLENGE: Find the most racist/sexist/homophobic/biphobic/transphobic/egalitarian/ableist/ageist/islamaphobic/anything else single proper sentence possible
13:16:18 <gamemanj> ANSWER: hppavilion[1] is secretly Donald Trump, judging by the question this sentence answers.
13:16:48 <b_jonas> hppavilion[1]: http://www.smbc-comics.com/index.php?id=4146
13:17:12 <hppavilion[1]> b_jonas: Affirmative?
13:27:37 -!- Oliver__ has joined.
13:27:50 <Koen__> "egalitatian"
13:27:51 -!- Oliver__ has left ("Leaving").
13:27:57 <Koen__> "egalitarian"*
13:28:25 <Koen__> 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 <izabera> \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 <b_jonas> `wisdom
13:46:14 <HackEgo> ham//Ham is a kind of meat. It is popular in Hexham, among other places.
13:51:22 -!- Destructible has joined.
13:51:24 <Taneb> I can confirm, I had a ham sandwich in Hexham today
13:53:44 <gamemanj> hexhexhexhex/hex/hexhamhexhex/hexhamhexhex/hamhamham
13:54:25 <Destructible> ???
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 <b_jonas> `wisdom
14:36:21 <b_jonas> `random-card
14:36:32 <HackEgo> imperative language//Imperative languages tell you what to do.
14:36:33 <HackEgo> 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 <gamemanj> so, the gist of it is, imperative languages are mean
14:39:10 <gamemanj> 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 <myname> that would actually be a nice card for hearthstone
14:49:27 <Melvar> So, it gets stronger the closer to death you are? Neat!
14:51:41 <b_jonas> 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 <myname> the nice thing about it in hearthstone would be that you actually don't want to get it silenced
16:21:54 <boily> mynamello. silenced as in people not talking, or like no sound effects?
16:30:56 <Melvar> 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 <myname> silencing in hearthstone removes any special effect of a minion
16:39:14 -!- Kaynato has joined.
16:55:16 <Melvar> So in this case, wouldn’t you *want* it silenced, because that’d remove the debuff?
16:55:59 <myname> well, your opponent won't silence it, yes
16:56:21 <myname> usually you silence enemy minions to get rid of annoying effect
16:57:05 <Melvar> 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 <gamemanj> "major clothing store leaving EU"
17:08:37 <gamemanj> "thousands of buy-happy shoppers infuriated"
17:08:52 <gamemanj> 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 <int-e> 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 <int-e> oh xkcd, I think Randall overestimates the impact of tinyurl... since twitter has its own URL shortener.
17:21:49 <tswett> `? brexit
17:21:59 <HackEgo> 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 <moon__> anyone know a free VM (not virtualbox)?
17:35:41 <gamemanj> 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 <int-e> kvm xen dosemu
17:43:27 <int-e> (kvm borrows from qemu but the hypervisor should be its own? I don't know)
17:44:13 <int-e> 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 <moon__> 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 <fizzie> \oren\: Oh no! What sort of resin did he turn into?
18:29:09 -!- puckipedia has quit (Ping timeout: 260 seconds).
18:29:10 <fizzie> There's a brand of headache medication sold in Finland called "Dexit".
18:29:36 <fizzie> I guess that'd be the Danish one.
18:29:45 <moon__> hbot is being recovered
18:30:20 <fizzie> They have a very annoying ad jingle that goes approximately "dexit, dexit, headache's exit".
18:30:54 <fizzie> 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 <fizzie> 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 <gamemanj> 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 <gamemanj> 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 <gamemanj> you have got to be kidding me, it doesn't check for the "__"
18:51:20 <moon__> Hmm, ill fix that
18:51:23 <moon__> And turn it of
18:51:25 <gamemanj> I propose "that lunar object"
18:51:25 <moon__> Lol
18:52:16 <gamemanj> or "mluni"
18:52:33 <boily> I suggest "mhelloon"
18:52:36 <moon__> Dont make me add that to the catch
18:52:42 <moon__> lol
18:53:09 <moon__> eh, i wont
18:53:24 <gamemanj> (meanwhile, looking at a dictionary: ..."moon", in the sense of "space station"... what.)
18:53:58 <gamemanj> (oh, apparently the correct word was lunra)
18:54:15 <gamemanj> (mluni is just satellite)
18:55:47 <moon__> mention me and the moon again
18:55:54 <gamemanj> moon__
18:55:56 * moon__ uses magic! *Poof!* moon_ will now say this when someone mentions him after a random interval
18:56:00 <gamemanj> moon
18:56:01 * moon__ uses magic! *Poof!* moon_ will now say this when someone mentions him after a random interval
18:56:03 <moon__> Damn
18:56:19 <boily> _moon_
18:56:19 <moon__> >_>
18:56:21 -!- myndzi\ has joined.
18:56:25 <moon__> *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 <boily> 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 <Etaoin> memes
19:58:19 <oren> Hmm it would be nice (horrible) if there was a bot that scanned for memetic phrases and memeified them
19:58:37 <oren> Memeified all the things!
19:59:06 * boily looks at oren
19:59:28 <oren> < memebot> http://www.9gag.com/djasdhajkshdjkh
20:00:06 <Etaoin> Hmm it would be nice (horrible) if there was a bot that scanned for cancer and spammed it
20:00:10 <Etaoin> ^fixed it^
20:00:21 <oren> I heard you like memes so we put a meme in your meme so you can meme while you meme
20:02:57 <Etaoin> 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 <shachaf> `wisdom
21:32:40 <shachaf> `wisdom
21:32:41 <shachaf> `wisdom
21:32:41 <shachaf> `wisdom
21:32:42 <shachaf> `wisdom
21:33:21 <HackEgo> 1337//1337 15 50 905
21:33:21 <HackEgo> pipe//This is not a pipe.
21:33:21 <HackEgo> oic//OIC, OIC means Oh I see.
21:33:21 <HackEgo> footnote 8//Isn't it fun reading through all the footnotes?
21:33:21 <HackEgo> post-turing machine//A post-Turing machine is a machine from the post-Turing era.
21:33:40 <shachaf> hppavilion[1]: What's share/tanebgrep for?
21:36:19 <boily> 905?
21:36:27 <hppavilion[1]> shachaf: For grepping for taneb
21:36:37 <shachaf> But anyone can grep for taneb anyway.
21:36:47 <shachaf> Why do you need it in the hg history?
21:36:50 <hppavilion[1]> shachaf: I outputted a grep there then opened it on codu so I could see the full file
21:37:00 <Taneb> I'd rather you didn't grep for me, it's a bit of an invasion of privacy
21:37:11 <shachaf> OK, so it was a pseudo-paste.
21:37:13 * hppavilion[1] is not the nsa
21:37:18 <hppavilion[1]> shachaf: Yes?
21:37:22 <shachaf> I don't think share/ is a good place for that.
21:37:23 <hppavilion[1]> Oh, right, there's a paste command, isn't there?
21:37:26 <shachaf> `cat bin/paste
21:37:27 <HackEgo> ​#!/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 <shachaf> Better to put it in paste/.
21:38:33 <shachaf> Taneb: Is that actually true?
21:39:15 <Taneb> 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 <shachaf> Ah.
21:40:26 <shachaf> I guess all the Tanebventions ping you.
21:40:54 <shachaf> Of course I was actually addressing you yesterday.
21:44:52 <coppro> was Taneb invented by Taneb?
21:45:02 <shachaf> `? cis
21:45:04 <HackEgo> 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 <coppro> oh
21:45:26 <coppro> is Taneb a CI?
21:45:34 <Taneb> No
21:46:13 <shachaf> Taneb: Are you in York?
21:46:19 <Taneb> No
21:46:27 <shachaf> Northumberland?
21:48:50 <boily> Hexham?
21:53:01 <Taneb> Yes
21:59:28 -!- gamemanj has quit (Ping timeout: 258 seconds).
21:59:52 <shachaf> Weren't you in London at one point?
22:00:45 <Taneb> For one night, in December
22:01:11 <Taneb> 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 <int-e> 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 <Taneb> int-e, I've been meaning to learn Isabelle
22:42:18 <int-e> 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 <int-e> 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 <oerjan> @tell hppavilion[1] <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 <lambdabot> 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 <oerjan> 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 <boily> ...
23:41:00 <boily> ...
23:41:04 <boily> yoruba?
23:41:05 <oerjan> \oren\: but those are tiny dimensions. see string theory.
23:41:11 <oerjan> boily: nope.
23:41:27 <boily> I'm stumped.
23:42:13 <oerjan> well if you've so far _not_ googled things, i'm still impressed :P
23:42:52 <boily> it's more fun to guess without any tools :D
23:43:09 <oerjan> (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 <oerjan> anyway, wrong continent.
23:44:37 <oerjan> i think my ability to guess languages like that is pretty small for anything non-european.
23:45:17 <boily> yolŋu? (that one I'm googling for sources...)
23:45:17 <oerjan> perhaps except a few asian ones.
23:45:33 -!- FreeFull has quit (Ping timeout: 240 seconds).
23:47:35 <oerjan> "The concept of 'Hello' does not exist in Yolngu,"
23:47:37 <oerjan> hence most use the English 'hello,' or 'hey'
23:47:50 <oerjan> stupid half-pastes
23:48:17 <boily> a language without helloes. nice find!
23:51:44 <oerjan> however, no, but right family!
23:52:05 <shachaf> did you know that the english have over 200 words for hello
23:55:24 <oerjan> yo shachaf, that's silly, obviously it's just a handful of roots that are being portmanteaued into the rest.
23:55:41 <quintopia> helloily
23:55:49 <shachaf> yowly
23:55:59 <shachaf> scowly
23:56:15 <shachaf> `? oerjan
23:56:26 <HackEgo> 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 <quintopia> `learn helloily is hella oily hth
23:57:05 <HackEgo> Learned 'helloily': helloily is hella oily hth
23:57:18 <shachaf> `? betty crocker
23:57:20 <HackEgo> betty crocker? ¯\(°​_o)/¯
23:58:08 <shachaf> `le/rn Betty Crocker/Betty Crocker is a notorious gambler.
23:58:11 <HackEgo> Learned «betty crocker»
23:59:38 <boily> quinthellopia!
←2016-06-23 2016-06-24 2016-06-25→ ↑2016 ↑all