2016-06-24 - freenode:#esoteric

←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̶͓̲͉̜͉̣̲̝͉̤͍̥͙̞͇̮̠͔͝Ì̡̡̲͉̥̩̘͟Ṉ̢̺͈̟̳̳͙͈͔̰̺̼̲̝͚͉̙̗̲͟G͎͓̥̼̰͎̝̫͕̪̺̥͎͎͇̱͎̕͘ ̶̛̲͍͙͇̦͇̯̰̫̹̱͞P̶҉͡҉͚͓̫̹̮͍̘Ǫ̶̶̭͔̰̩̺̯̮̣͓̼̟̯͡P̨͉̭̪̗̼͖̮͉͕̮͖ͅͅS̴͟͜҉̨̖̟͖͈͇̪̲͇͚̱̱͍̭̳͎͙.̴̛͙͞͞

00:50:26 <oerjan> ̞̞̩̩̬͖͓ ̡̩͍̪̙͝͡Ţ̢� <-- ...

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: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> ô̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂

01:03:37 <b_jonas> `perl -eprint "o".pack"V*",(2915861196)x79

01:03:38 <HackEgo> ô̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̭̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂̂

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:  \ \ 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: ɪ \ ɪ \ 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 <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: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