03:03 <SeanTAllen> Hi all, ponylang.org hosting is being moved to ponylang.io. There might be some weirdness over the next couple weeks as things get transitioned, please see https://pony.groups.io/g/user/message/1763 for more details.

03:27 <tiwake> whats the deal with the pony stuff anyway? why the name?

03:32 <SeanTAllen> tiwake: the name is discussed at the end of Sylvan's Early History of Pony... https://www.ponylang.io/blog/2017/05/an-early-history-of-pony/

03:32 <SeanTAllen> its a saying in America when you want more than is reasonable. "And I want a Pony as well" or variations thereof.

03:34 <tiwake> hmm... evidently pony is a name for a unit of measure too

03:35 <tiwake> https://www.convertunits.com/from/fluid+ounces/to/pony

03:36 <tiwake> SeanTAllen: I tend to channel surf on freenode every once in a while to see what might look interesting... heh

03:36 <SeanTAllen> ah so, beyonad that tiwake, its a programming language

03:36 <SeanTAllen> i assumed you knew that part. probably not.

03:37 <tiwake> the lang part of the channel kind of implies it.. but yeah

03:37 <tiwake> honestly I kind of expected something MLP related... lol

03:38 <SeanTAllen> no MLP

03:38 <vaninwagen> heharkon the issue you ran into seems to be gpg which is used underneath by apt not recognizing the key ids, it is actually 2 keys, using just the first. Gonna fixup the install instructions soonish

03:38 <SeanTAllen> although i personally like how colorful MPL is even if I've never watched an episode

03:38 <SeanTAllen> vaninwagen: every time we fix it, it breaks on some other ubuntu version. because ¯\_(ツ)_/¯.

03:39 <vaninwagen> Yeah, ubuntu distros are the worst

03:39 <SeanTAllen> ¯\_(ツ)_/¯

03:39 <SeanTAllen> DNS is the worst

03:39 <tiwake> I really should give gentoo a proper chance

03:40 <vaninwagen> DNS over http via json is even worser

03:40 <SeanTAllen> my having to deal with it for reasons is even worse and i wouldnt mind taking that out on a certain person vaninwagen

03:40 <tiwake> drunk in a hotel room trying to install gentoo on crap laptop is not being given a proper chance

03:41 <SeanTAllen> you are right, that doesnt sound like a proper chance

03:42 <tiwake> it was a lot of fun though... lol

11:01 <Candle> https://playground.ponylang.org/?gist=e3ac10af6e7367cbb06b8265cdc41789 Do my assumptions hold about unreachability? I'd rather not have to alias to match on "d'" and not have the None in there.

11:09 <vaninwagen> I dont know if the compiler is safe to do this inference all the time

11:09 <vaninwagen> Why dont you do `consume d` in the match expression?

11:10 <vaninwagen> Then you dont need no destructive read

11:15 <Candle> Don't know, not sure why I didn't try `match consume d` in the first place. That's much neater. Thanks.

11:26 <vaninwagen> You're welcome