Christopher Augustus

"never upgrade, never upgrade, never upgrade". I rolled the dice and paid the price. Generally once I have a stable setup I don't touch it. But all the tech companies...

@hannesa2 I am on Windows, but I do have a second Windows computer with the previous version of Android Studio. I am now replacing my new installation with the old...

Under Windows if you undock the emulator into a separate window, as it used to work, it is frozen to the middle of the screen. It cannot be moved or...

Standalone window for the emulator is still locked to the center of the screen.

Note that installing gmp via MacPorts puts it in a different location than what is assumed for homebrew. I made a branch commit in my own fork of Idris2 to...

> export CPATH=/opt/homebrew/include:/opt/homebrew/lib > export IDRIS2_LIBS=/opt/homebrew/lib Thanks a bunch for that effort. The IDRIS2_LIBS has just now fixed my issues with compiling to C. I tried LIB but that didn't...

Actually, your example does work properly from the command line: But Jelly Balls is doing its own thing to decide what is a string when entered from the JS console,...

Okay, I found the problem. It's the jelly program itself when called from a shell command-line, or through python subprocess.run as jello is doing. I noticed that in what I...

I figured out why it's not working and I have made a screen recording to explain it here: https://www.youtube.com/watch?v=rvUssFi9qQU

> @c4augustus this is awesome! I am going to do a live stream focusing on strings and simplifying / fixing them in Jellyfish : ) I will attend if I...