Good Thread. problem is the potential computational intractability of sandbox escapes outside of Dhall-equivalent subturing constraints :/


I have like ten different hot takes about language security that I need to get off my chest right now



The subturing language I shipped was a huge success because it was constrained but I've never met someone who hasn't slung haskell who saw the value of limited power.

· · Mastodon Twitter Crossposter · 2 · 2 · 1

@arrdem I have slung Haskell, is that why I prefer Ansible to Chef? 🙃

@arrdem I've never slung Haskell but does three weeks of OCaml and ten years of hanging out with Haskellers on IRC count?

(also my language of choice lets me construct an inescapable sandbox in five lines of code so ...)

Sign in to participate in the conversation

cybrespace: the social hub of the information superhighway jack in to the mastodon fediverse today and surf the dataflow through our cybrepunk, slightly glitchy web portal support us on patreon or liberapay!