as seen on HN

[Raoul Duke]

https://github.com/SafeScript/Safescript

"Actually safe subset of Javascript, that can be embedded in many environments." 

[Mark S. Miller]

Any comments before I repost this to HN?

On Sun, Nov 8, 2026 at 10:59 AM Raoul Duke <rao...@gmail.com> wrote:
>
> https://github.com/SafeScript/Safescript
>
> "Actually safe subset of Javascript, that can be embedded in many environments."
>

> --
> You received this message because you are subscribed to the Google Groups "cap-talk" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to cap-talk+u...@googlegroups.com.
> To view this discussion visit https://groups.google.com/d/msgid/cap-talk/CAJ7XQb40D2AVH5AeAB6Fk4myMcNwMpwfUxpGfR%3DfiTn0zy%3D1mA%40mail.gmail.com.



--
Cheers,
--MarkM

[Raoul Duke]

It was on HN originally :-) https://hn.algolia.com/?q=safescript

> To view this discussion visit https://groups.google.com/d/msgid/cap-talk/CAK5yZYiAPC0p821%3DXTHDfSP%2B4NW7wsqtU3hRB6d%2BfKmb-w4Gdg%40mail.gmail.com.

[William ML Leslie]

Nice overview Mark, and not too wordy either.

William ML Leslie

https://mail.cyberneticforests.com/the-computer-science-fetish/

To view this discussion visit https://groups.google.com/d/msgid/cap-talk/CAK5yZYiAPC0p821%3DXTHDfSP%2B4NW7wsqtU3hRB6d%2BfKmb-w4Gdg%40mail.gmail.com.

[Matt Rice]

On Sun, Nov 8, 2026 at 2:01 PM Mark S. Miller <eri...@gmail.com> wrote:
>

> Any comments before I repost this to HN?
>

Really minor quibble, and the sentence is fine as-is, but I feel like
it would read slightly easier with a small change...

"every program the smaller language accepts is accepted by the larger
with the same meaning."

Instead I would suggest
"every program accepted by the smaller language is also accepted by
the larger language with the same meaning".

In the next bullet point I wonder if it would help summarize if you
mention that this is a equivalence relation, akin to "runtime
equivalence"

> To view this discussion visit https://groups.google.com/d/msgid/cap-talk/CAK5yZYiAPC0p821%3DXTHDfSP%2B4NW7wsqtU3hRB6d%2BfKmb-w4Gdg%40mail.gmail.com.