davexunit

15 ms·

61.
Wastrel, a Profligate Implementation of WebAssembly(wingolog.org)
3 points by davexunit 11mo ago|0 comments
62.
by davexunit 1y ago
Despite call/cc being generally understood as not good it's still something you would expect to work in a Scheme implementation. In the Scheme-on-Wasm implementation I work on we emulate call/cc in terms of delimited continua
63.
by davexunit 1y ago
Thanks! Goblins is actually our main project and Hoot is the side project so we can deploy it on the web. Scheme is a really nice language and when you add in some modern features you can do some pretty neat things!
64.
by davexunit 1y ago
Thankfully, Safari and iOS now have the necessary bug fixes to run wasm binaries generated by hoot without issue.
65.
by davexunit 1y ago
Not sure what you mean by "tracing dependencies". Can you elaborate?
66.
by davexunit 1y ago
What's so magical about it?
67.
by davexunit 1y ago
This has some similarities and significant differences from OCapN [0]. Capability transfer and promise pipelining are part of both, and both are schemaless. Cap'n web lacks out-of-band capabilities, which OCapN has in the form of URIs
68.
by davexunit 1y ago
Having used and implemented stringref and having seen the built-ins proposal I really think stringref is a much better developer experience and the CG is wrong. The built-ins are better than nothing but it's a terrible hack.
69.
by davexunit 1y ago
Scheme doesn't have restarts as a core concept like Common Lisp, but it does have continuations. For the Scheme implementation I worked on [0], the exception system is built on top of the continuation system. In other words, Scheme exc
70.
by davexunit 1y ago
That's a different thing. There is still no string type. JS string built-ins are a kludge for web targets only.
71.
by davexunit 1y ago
Wasm could have had a concept of a string. I frequently mourn the rejection of the imo excellent stringref proposal. https://github.com/WebAssembly/stringref
72.
by davexunit 1y ago
The tail call instructions (return_call and friends) were crucial for compiling Scheme. Safari had a bug in their validator for these instructions but the fix shipped in their most recent release so now you can use Wasm tail calls to their
73.
by davexunit 1y ago
Wasm doesn't specify any I/O facilities at all. DOM is no different. There's a strict host/guest boundary and anything interacting with the outside world enters Wasm through an import granted by the host. On the web, t
74.
by davexunit 1y ago
The article answers your question, there are at least 6 languages: Java, OCaml, Scala, Kotlin, Scheme, and Dart.
75.
by davexunit 1y ago
Just to be clear, sandboxing is possible with Guix, with least-authority-wrapper as a built-in option. Regarding the long term vision of capability security, you can read the Spritely (the nonprofit I work for) whitepaper about capabilities
76.
by davexunit 1y ago
It's easy to use proprietary software with Guix and nearly all users do this.
77.
by davexunit 1y ago
Shepherd doesn't include this as it is quite lean and extensible (service start/stop hooks are functions that can do anything) but Guix includes a Linux container implementation and an abstraction built on top for use by services.
78.
by davexunit 1y ago
For what it's worth the association with GNU is basically historical at this point. RMS has never accepted the original vision of the project (to be the official GNU OS) and the project outgrew GNU's dilapidated infrastructure a l
79.
by davexunit 1y ago
Regular updates do not take anywhere near a half hour.
80.
by davexunit 1y ago
Very cute little game. The controls feel good. The papercraft art is beautiful. Performance on Steam Deck isn't great, though, averaging 40ish fps when it should easily be a consistent 60.
81.
by davexunit 1y ago
Here's to hoping that Andy Byford can make through running happen at NY Penn.
82.
by davexunit 1y ago
I'm glad you felt inspired! This Dynamicland implementation looks awesome. I look forward to this being shared to a wider audience. :) Regarding your question, as of Hoot 0.6.1 we now have a psyntax-based macro expander integrated with
83.
by davexunit 1y ago
Wow this might be the coolest use of Hoot I've seen! I need to run this for myself soon.
84.
by davexunit 2y ago
And WebKit finally shipped it recently! Love return_call and friends.
85.
by davexunit 2y ago
Assuming you're talking about reading binary data like (array i8), the GC MVP doesn't have a great answer right now. Have to call back into wasm to read the bytes. Something for the group to address in future proposals. Sharing be
86.
by davexunit 2y ago
Use the GC instructions and you can freely share heap references amongst other modules and the host.
87.
by davexunit 2y ago
This was a fun read! I wrote a Wasm interpreter in Scheme awhile back so it makes me happy to see more people writing their own. It is less difficult than you might think. I encourage others to give the spec a look and give it a try. No nee
88.
by davexunit 2y ago
My takeaway from this article is that the proposed solution for distributed app coordination is a shared, centralized log. What did I miss?
89.
by davexunit 2y ago
You can absolutely do graphics rendering with GC'd languages. The trick is the same as with manual memory management: Minimize allocation. You mention C# which is a language that has been used very successfully in the games industry.
90.
by davexunit 2y ago
GC'd languages are used all the time for this. C# is a huge language in game development, for example.

More ›