co founder of @metamask . Making computers behave for us.

"I want to improve this software with one feature but not inherit the whole codebase or have to hard fork its community" is the major social challenge that a good monetized plugin system solves. Commoditize plugin systems. Hoot 0.5.0 is an exciting step forward. https://spritely.institute/news/guile-hoot-v050-released.html

Guile Hoot 0.5.0 is probably the most performant, meterable, safest to write language to ever become trivially executable in the browser. It deserves to spark a modularity renaissance.

It is a strong answer to "how to give an AI agent limited permissions that are also dynamic?" People have no idea.

Guile Hoot 0.5.0 is probably the most performant, meterable, safest to write language to ever become trivially executable in the browser. It deserves to spark a modularity renaissance.

It is a strong answer to "how to give an AI agent limited permissions that are also dynamic?" People have no idea.

https://spritely.institute/news/guile-hoot-v050-released.html

That all said, the dx is still going to terrorize a tradmac dev today. I'm setting up a debian vm with guix on parallels to use it in its more native environment.

This should be a short lived awkward phase as more of the execution environment becomes web-native (the macro expander).

Good enough for motivated play.

In browser REPL is an ideal proof of the current state:

In browser REPL is an ideal proof of the current state: https://spritely.institute/news/guile-hoot-v050-released.html

Just over 1MB currently, but as it stabilizes & caches on CDN, that can be shared across any apps that need it. 1MB for a secure confinement system. No hypervisor. No ISOs.

If you want to learn more about why it's easy to write safe confinement in LISP, this is the talk. It's really beautiful:

If you want to learn more about why it's easy to write safe confinement in LISP, this is the talk. It's really beautiful: https://www.youtube.com/watch?v=OyfBQmvr2Hc

With a proud grant from the MetaMask Grants DAO, btw.

How easy it is to make a metacircular evaluator. https://warpcast.com/danfinlay/0x9e3dece2

I was able to add metering in like 8 lines. Running untrusted code with granular permissions has never been so safe.

Add Spritely’s Goblins, and you get distributed capabilities too.

🐵 ← 🙈🙉🙊 → /phil →  phil.cockfield.net, db.team →  
ƒ(🌳) →  🧫 /sys  ←  @cell <T>

Holy heck…”scheme” to WASM. 
I’ve been keepimg an eye out for a compilation toolchain for that. Is this gonna become widely used (if not already) do you think Dan?

  What are the security properties of the scheme implementation that Guile Hoot is surfacing that are most interesting to you?

Hi Dan, Metamask Firefox extension is not updated to the latest version in the Mozilla store. 12.0.6 in Mozilla, 12.1.3 is the latest.