Erich Ocean

This is being held up by a bug in Firefox (https://bugzilla.mozilla.org/show_bug.cgi?id=756203), which Mozilla is intending to have addressed sometime this fall. Feel free to jump in and help out if...

Specifically, the private function `qkey` requires two parameters, and the implementation of `queue-names` only provides one. I also noticed that `queue-names` is not exercised in any tests AFAICT. Bug location:...

full TLA+ parsing

2

Just an FYI (from your talk here: https://www.youtube.com/watch?v=trm9Lp0yt6Y), you can parse TLA+ with either Apalache (it outputs JSON which you can then walk in whatever language you want), or there's...

https://drive.google.com/file/d/1FYju8IYGpbpadEFQGTVKhY3THCULrUnr/view?usp=sharing (also, post it somewhere more permanent, perhaps in this git repository as a PDF)

OpenImageIO?

1

That's the industry-standard C++ library used to do this kind of stuff in the visual effects world. It supports a ton of image formats and a lot of different operations....

Electric Clojure demo has no link back to GitHub

1

This URL: https://electric.hyperfiddle.net/ Has no link to this URL: https://github.com/hyperfiddle/electric So when I send people to the former, so they can see how it's the Raptor 3 of frontend/backend frameworks,...

Inline Editor stopped working—now every double-click gives a full pane editor

1

### Description This happens regardless of column type—numbers, text, dates, etc. (only booleans don't do this). What happens is this: the text is initially selected inline (when pressing return or...