daveFeb 25

RE: https://social.coop/@spritely/116132867771534636

Worked pretty hard on this one and I'm proud of the milestone! Lots more to do for a truly ergonomic dev experience but finally having the REPL in the browser is a huge deal.

Show threadArneBabFeb 25

@dthompson That’s all I needed to finally add a REPL to Naming & Logic¹ so people can test what they read right away!

Thank you very much! 🦉 ❤️

If you like to, I’ll keep you posted once I added it!

¹ https://www.draketo.de/software/programming-scheme

Naming and Logic

Verstreute Werke von ((λ()'Dr.ArneBab))

Show threaddaveFeb 25
@ArneBab let us know how it goes! still some rough edges and missing features but 🤞 you don't hit any blockers.
Show threadArneBabFeb 25

@dthompson Is the source for https://files.spritely.institute/embeds/hoot-0.8.0-repl/ available on codeberg?

(most files I know where to find, but what’s the source for https://files.spritely.institute/embeds/hoot-0.8.0-repl/repl.wasm ?)

Show threaddaveFeb 25
@ArneBab source is https://codeberg.org/spritely/hoot-repl
hoot-repl

Hoot REPL with web UI demo.

Codeberg.org
Show threadArneBabFeb 25

@dthompson so that didn’t actually have to change for hoot 0.8.0, just had to be rebuilt?

EDIT: it works! NICE! ❤️

Show threaddaveFeb 25
@ArneBab sigh... No I did update it. I just forgot to push the commit! I updated it to use the new procedural REPL API.
Show threadArneBab

@dthompson happily waiting for the new version to be there -- the 0.7.0 already seems to solve my problem (but I didn’t realize see it back then), but will try the 0.8.0.

I’ll try to add the parallel load optimization I already use for https://www.draketo.de/software/hoot.html to make the REPL appear more quickly -- will try to file a PR if I get it working.

But the first improvement for the spritely site would be to enable compression in nginx via
gzip_types … application/wasm;

⇒ https://docs.nginx.com/nginx/admin-guide/web-server/compression/

Hello Hoot

Feb 25 at 11:56pmWeb
Show threadArneBabFeb 25
@dthompson can you ping me when you pushed the commit?
Show threaddaveFeb 26
@ArneBab pushed!
Show threadArneBabFeb 26
@dthompson thank you! Now I just need to update my guix so get 0.8.0 … in the meantime trying guix shell --with-version=guile-hoot=0.8.0 guile-hoot guile-next
Show threaddaveFeb 26
@ArneBab yeah enabling gzip is on my todo list. I've known about this for a long time but haven't gotten around to it since it's not blocking anything.