<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"
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]