Lizardsquid, maker of noises @lizardsquid@computerfairi.es

I remember having a mood ring as a kid, and being obsessed with it for however long i had it

@darkwitchclaire *squawks, but whispered*

@werefox good morning, Alice of sunshine!

@softgoat@chitter.xyz if I'm remembering correctly, the Toei Spider-Man TV show almost does this - it's not Rural™ rural, but it's certainly not a big city and there aren't any "swinging-from-a-rope-of-web" scenes that I can remember.

Of course, there is a giant mech instead, so that kinda balances it out.

Like, a shell script that reads files gets a "ReadsFiles" type tag. And one that writes files gets a "WritesFiles" type tag.

And then a script can only be run within a specific context - like, if you're writing a script that only reads files, you can't use any commands or other scripts that might write to files.

I have on several occasions dreamt of making an alternate command line shell for linux.

Most of my initial thoughts are making something functional (so you get even more expressivity and ability to manipulate commands).

But I also just saw something that made me think: what if it had safety systems as well?

Inspired by complex effect systems in dependently typed languages: what if shell scripts were given a type that indicated what kind of access it has?
(Cont)

@Tattooed_mummy I do, because I find it useful for working out timezones with the people I follow - like, I know vaguely what time it is in other parts of the world, which means I know whether someone is posting just as they're waking up, in the middle of their day, or just before bed.

@BatElite oh no!

@pup_hime cute!

@softgoat@chitter.xyz XD

@BatElite *the LOUDEST chittering you have ever heard*

@codl wonderful sounds, 11/10

@codl yeehaw for that!

*chitters quietly*

@werefox I had an ok day 💜

@werefox good morning Alice!

@eri good morning erika!

@YoteDragon aaaaaaawake!!!

@Nine look Gordon, ropes!