02:43 <whitequark[cis]> https://whitequark.github.io/amaranth-playground/

02:55 <tpw_rules> neat! i really need to dig into wasm

03:52 <zyp[m]> oh, I like that, pretty much compiler explorer for amaranth

03:56 <zyp[m]> would be nice if it had an easy way to specify grabbing a custom branch or a PR or something, could e.g. attach a live demo to a RFC

05:33 <cr1901> Or attach a live demo to a bug report

08:49 <galibert[m]> Ok, that playground is just excellent

14:58 <whitequark[cis]> <zyp[m]> "oh, I like that, pretty much..." <- yep!

14:59 <whitequark[cis]> <zyp[m]> "would be nice if it had an..." <- it requires a python package... i could make it possible to specify an URL maybe?

14:59 <whitequark[cis]> <galibert[m]> "Ok, that playground is just..." <- thanks!!

17:55 <adamgreig[m]> playground is amazing, great work! i've wanted something like this for ages. do you think it could gain the ability to do yosys synth (or even npnr) for ice40/ecp5/... and display the resource usage? it'd be nice to get a rough idea of how many luts something ends up using

17:59 <whitequark[cis]> theoretically yes, practically i feel like yowasp toolchain for vscode is a better fit for that

17:59 <whitequark[cis]> since then you can actually flash

18:00 <whitequark[cis]> i guess i already ship full yosys, i could run synth_ice40... but it complicates the tool a *lot* conceptually

18:06 <adamgreig[m]> yea, I'm not sure what the nicest way to wrap it up is. maybe amaranth_playground.show_ice40_synth(rtlil...), but it raises a lot of questions about platforms and resources and such that don't exist otherwise

18:08 <adamgreig[m]> really I think it comes from a different want, to easily synth a small out-of-context blob of logic and see how tweaking it can affect resource usage, but with more experience I've somewhat stopped thinking this would be as useful as I first hoped anyway

18:23 <whitequark[cis]> yeah.

18:24 <zyp[m]> if it shipped amaranth-boards, you'd probably have enough platforms for common stuff, but I'm also not sure how useful that'd be

18:26 <tpw_rules> the lack then would be programming

18:27 <tpw_rules> i set up a friend with amaranth recently and i could get everything through pip except a programmer

18:28 <tpw_rules> which is pretty neat

18:37 <whitequark[cis]> yep! as designed

22:39 <Degi> Nice playground! I guess WebUSB could work, although getting OpenOCD or so to run in a web browser sounds potentially complicated

22:41 <whitequark[cis]> done that already https://twitter.com/whitequark/status/1738722422646292688