galoisenne VS asciinema

During a recent programming detour, I discovered that finite elementary cellular automata with circular boundary conditions can be simulated using power iteration using matrix-vector multiplication with a circulant matrix and a strange kind of algebra, which I call a kernel algebra. [1] I wonder if this same idea could be generalized to higher dimensional automata on other topological surfaces.

[1]: https://github.com/breandan/galoisenne/blob/8f0f1e9e4e02062c...

Well, I've been trying for about three years, but to be fair I'm a pretty slow programmer so you may have better luck.

> a language being too obscure to have seen much academic study

Doesn't seem too obscure to me.

https://scholar.google.com/scholar?hl=en&as_sdt=0%2C5&q=kotl...

> T isn't generic in that code, it's just a class.

I think it needs to be a generic type in Kotlin for this to work, because otherwise it will dispatch to a single method. It's tricky to get Kotlin to do much compile time computation. Not saying that it's impossible, but LMK when you've actually tried it. Here's some sample code if you want to try encoding a Boolean logic:

https://github.com/breandan/galoisenne/blob/2e465e7a753f6341...

https://asciinema.org/

We use this for really nice terminal only demos. Highly recommend even though there are some minor rendering issues if you are using special fonts.

Incorrect link. Just goes to the list of open requests.

Here is a ticket which mentor the rust rewrite, perhaps this was what was intended: https://github.com/asciinema/asciinema/pull/579

Location: Europe

Remote: Yes

Willing to relocate: No

Technologies: Rust, Elixir, Nix(OS), WASM, AWS

Résumé/CV: Available upon request

Github: https://github.com/ku1ik

Open-source: creator of https://asciinema.org, contributor and maintainer of many other projects (see Github profile)

Email: hnhire /at/ defn /dot/ 33mail /dot/ com

20 years of professional experience. I enjoy anything backend related, e.g APIs, profiling and solving performance problems, building high performance, low-latency network solutions, among many other things.

This might be a good usecase for https://asciinema.org/

I do quite a lot of this kind of stuff for my job. Some context that may be useful.

Often the full IDE is needed. I record a lot of gifs of VSCode, where part of the gif is typing code, part is interacting with the rest of the IDE / terminal - perhaps to run the code and view the output.

For me the killer app would be one which could pre-record keystrokes (and maybe mouse actions) so that I could do them error free. I often attempt a gif 10 times before I'm happy with the outcome.

I don't personally love the transition animation. I would want the option for something that seems like it's being typed.

The closest tools I've found are:

Typewriter VSCode extesion: Allows you to copy text and then "types" it out for you. https://marketplace.visualstudio.com/items?itemName=dansilve...

Ascii Cinema: https://asciinema.org/