jemc changed the topic of #ponylang to: Welcome! Please check out our Code of Conduct => https://github.com/ponylang/ponyc/blob/master/CODE_OF_CONDUCT.md | Public IRC logs are available => http://irclog.whitequark.org/ponylang | Please consider participating in our mailing lists => https://pony.groups.io/g/pony
jemc has quit [Ping timeout: 255 seconds]
<Sargun> SeanTAllen: Side-question: Pony provides many of the same guarantees as Rust. Have you ever thought of pushing these?
<SeanTAllen> what do you mean?
Candle has quit [Ping timeout: 245 seconds]
<Sargun> SeanTAllen: A lot of what rust talks about is how they don't experience memory and type safety issues
<Sargun> I haven't heard any of this rhetoric from Pony
Candle has joined #ponylang
<slfritchie> IIRC I ran across a "Pony's safety guarantees are the same as Rust's" (paraphrasing here), and I stole it for the Code BEAM talk that I gave last month about Erlang vs. Pony actor model implementations. But I don't recall where I'd read it/heard it.
jemc has joined #ponylang
<SeanTAllen> Well, it's part of the why use Pony on the website so I'm not sure why you haven't come across it and it's a major point of all the Pony talks. Perhaps you mean something different
aturley has quit [Quit: aturley]
jemc has quit [Ping timeout: 260 seconds]
jemc has joined #ponylang
jemc has quit [Ping timeout: 264 seconds]
jemc has joined #ponylang
<Sargun> SeanTAllen: The intro to the Rust website:
<Sargun> > Rust is a systems programming language that runs blazingly fast, prevents segfaults, and guarantees thread safety.
<Sargun> The Pony site says this in a lot more words, but it's not as straighforward
<doublec> Sargun: what would you use as a replacement wording on the pony site?
khan has quit [Quit: khan]
khan has joined #ponylang
khan has quit [Client Quit]
khan has joined #ponylang
<Sargun> doublec: Let me as
<Sargun> This came up because I was taling about Pony with friends
<doublec> "Pony is a capabilities-secure, actor-oriented, memory safe programming language that is high performance with compile time thread safety guarantees"
<doublec> still wordy
<Sargun> "Pony is an actor-oriented, memory and type safe language for getting things done whilst not compromising performance or correctness"
infinitary has joined #ponylang
jemc has quit [Ping timeout: 240 seconds]
vaninwagen has joined #ponylang
khan has quit [Quit: khan]
vaninwagen has quit [Ping timeout: 256 seconds]
vaninwagen has joined #ponylang
SenasOzys has quit [Ping timeout: 260 seconds]
SenasOzys has joined #ponylang
Praetonus has joined #ponylang
SenasOzys has quit [Ping timeout: 264 seconds]
SenasOzys has joined #ponylang
aturley has joined #ponylang
gokr has joined #ponylang
gokr has left #ponylang [#ponylang]
SenasOzys has quit [Ping timeout: 264 seconds]
infinitary has quit [Quit: Textual IRC Client: www.textualapp.com]
SenasOzys has joined #ponylang
SenasOzys has quit [Ping timeout: 256 seconds]
SenasOzys has joined #ponylang
bbhoss has quit [Quit: ~]
bbhoss has joined #ponylang
pcarrier has quit [Quit: ~]
pcarrier has joined #ponylang
omarkj has quit [Quit: ~]
omarkj has joined #ponylang
darach has quit [Quit: ~]
darach has joined #ponylang
gornikm has quit [Quit: ~]
gornikm has joined #ponylang
keathley has quit [Quit: ~]
keathley has joined #ponylang
cquinn has quit [Quit: ~]
cquinn has joined #ponylang
jemc has joined #ponylang
nisanharamati has joined #ponylang
vaninwagen has quit [Ping timeout: 240 seconds]
khan has joined #ponylang
nisanharamati has quit [Quit: Connection closed for inactivity]
gokr has joined #ponylang
gokr has left #ponylang [#ponylang]
<Sargun> SeanTAllen: Do you know if WSL could eliminate the need for a separate asio stack on windows?
<SeanTAllen> It wouldn't.
xllndr has joined #ponylang
endformationage has joined #ponylang
<strmpnk> Sargun: WSL is nice for using linux programs but it doesn't allow a single process to blend Win32 and linux APIs. So I wouldn't could WSL as Windows support by itself.
khan has quit [Read error: Connection reset by peer]
khan has joined #ponylang
<strmpnk> s/could/count/ *
endformationage has quit [Ping timeout: 240 seconds]
endformationage has joined #ponylang
tokenrove has quit [Quit: ZNC - http://znc.in]
endformationage has quit [Ping timeout: 255 seconds]
vaninwagen has joined #ponylang
endformationage has joined #ponylang
tokenrove has joined #ponylang
endformationage has quit [Quit: WeeChat 1.9.1]
xllndr has quit [Quit: Leaving]
acarrico has quit [Ping timeout: 260 seconds]
Praetonus has quit [Quit: Leaving]
vaninwagen has quit [Ping timeout: 264 seconds]
_andre has quit [Quit: leaving]
khan has quit [Quit: khan]
khan has joined #ponylang
khan has quit [Client Quit]
khan has joined #ponylang
khan has quit [Quit: khan]
khan has joined #ponylang
khan has quit [Client Quit]
khan has joined #ponylang
SenasOzys has quit [Remote host closed the connection]
SenasOzys has joined #ponylang