On 06/03/2023 19:15, stefan.reich.maker.of.eye via AGI wrote:
On Sunday, March 05, 2023, at 7:43 AM, Ben Goertzel wrote:
We nearly chose C++ but went with Rust for reasons like greater
maintainability and greater ease of having the code more bug-free ...
Oh... Rust as a safe drop-in for C++.
On Sunday, March 05, 2023, at 7:43 AM, Ben Goertzel wrote:
> We nearly chose C++ but went with Rust for reasons like greater
maintainability and greater ease of having the code more bug-free ...
Oh... Rust as a safe drop-in for C++. I get it. Yeah you wouldn't want memory
errors to topple your
James,
If you look at what Greg has done w/ rho calculus
https://arxiv.org/search/cs?searchtype=author=Meredith%2C+L+G
and then these more recent elaborations of Native Type Theory that
provide a more elegant way of doing what Curry-Howard tries to do (and
does in limited cases),
When I was tasked by AT & Knight-Ridder to architect their nationwide
rollout of a mass market information utility starting with electronic
newspapers, it was before TCP/IP had been carved in stone so I went to
David P. Reed (Mr UDP) and talked with him about his PhD thesis regarding a
distributed
speed yip ..WebAssembly WASM ..using Rust in [an] existing web apps
https://developer.mozilla.org/en-US/docs/WebAssembly/Rust_to_wasm
porting [legacy] c/c++ to web apps.. https://github.com/nrc/r4cppp
[Hopefully,] Rust is a pretty intuitive language for C++ programmers.
On Sun, 05 Mar 2023,
> but the interpreter for core MeTTa has to be written in something else
> and that is Rust (which we chose over C++ or Haskell for this purpose
> for fairly familiar reasons...)
We nearly chose C++ but went with Rust for reasons like greater
maintainability and greater ease of having the code
On Sat, Mar 4, 2023 at 6:06 AM stefan.reich.maker.of.eye via AGI
wrote:
>
> I'd be very curious to hear what you see as the role of Rust in AGI if you'd
> be willing to expand on it a little bit. (Trade secret?! :)
>
> Stefan
It's not very secret, see e.g.
Probably strong typing and speed
On Sat, Mar 4, 2023, 6:07 AM stefan.reich.maker.of.eye via AGI <
agi@agi.topicbox.com> wrote:
> I'd be very curious to hear what you see as the role of Rust in AGI if
> you'd be willing to expand on it a little bit. (Trade secret?! :)
>
> Stefan
> *Artificial
I'd be very curious to hear what you see as the role of Rust in AGI if you'd be
willing to expand on it a little bit. (Trade secret?! :)
Stefan
--
Artificial General Intelligence List: AGI
Permalink: