Spin 2.0 – open-source tool for building and running WASM apps
1–10 of 38 posts
Re: Spin 2.0 – open-source tool for building and running WASM apps
#2Hi, everyone, I'm one of the Spin maintainers.
We're really excited about the new release, happy to answer questions about it!
Re: Spin 2.0 – open-source tool for building and running WASM apps
#3Hi, everyone, I'm one of the Spin maintainers. We're really excited about the new release, happy to answer questions about it!
How to use Spin with Zig?
Re: Spin 2.0 – open-source tool for building and running WASM apps
#4Hi, everyone, I'm one of the Spin maintainers. We're really excited about the new release, happy to answer questions about it!
Congrats on the release! Any example sites where Spin is in active use?
Re: Spin 2.0 – open-source tool for building and running WASM apps
#5Very intriguing, great work and thanks for sharing!
Re: Spin 2.0 – open-source tool for building and running WASM apps
#6Ahem? "Spin is a widely used open-source software verification tool"
and it's been around a long time
"The tool was developed at Bell Labs in the Unix group of the Computing Sciences Research Center, starting in 1980, and has been available freely since 1991"
Re: Spin 2.0 – open-source tool for building and running WASM apps
#7Ahem? "Spin is a widely used open-source software verification tool" and it's been around a long time "The tool was developed at Bell Labs in the Unix group of the Computing Sciences Research Center, starting in 1980, and has been available freely since 1991" http://spinroot.com/
Ha, naming is tough! At least it's not named Atlas :)
Re: Spin 2.0 – open-source tool for building and running WASM apps
#8Ahem? "Spin is a widely used open-source software verification tool" and it's been around a long time "The tool was developed at Bell Labs in the Unix group of the Computing Sciences Research Center, starting in 1980, and has been available freely since 1991" http://spinroot.com/
I wonder if we’re at a point where it doesn’t really make sense anymore to insist on unique names. Most of the good ones have been used by now; and this likely won’t get better as more time passes.
Re: Spin 2.0 – open-source tool for building and running WASM apps
#9Hi, everyone, I'm one of the Spin maintainers. We're really excited about the new release, happy to answer questions about it!
Congrats on the release!
Question how did you come up with your the languages you support. Obviously how well the language compiles to Wasi is a factor, but how did you end up picking C# for instance?
Additionally how does Javascript support work? Are you embedding QuickJS?
Re: Spin 2.0 – open-source tool for building and running WASM apps
#10I still have to try wasm, but I see the main focus seems to be on cloud and edge deployments.
What I'd really like would be to program a game in C (or classic Turbo Pascal) and have a way to run it "hosted" in a iOS, Android or native app. Is that possible nowadays?