re: linux shell thoughts
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.
linux shell thoughts
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)
re: Rayman 2
Also: one of the things I love in the Rayman series is that literally every single entry is a reboot, but doesn't care about being one?
Who Rayman is, where he's from, and what the world is like and so on is so different from game to game
I just went for a walk and found something very strange. Do any of you know what these are? Maybe a slime mold, maye a jelly fungus but I really don't know.
#SlimeMolds #Mushtodon #Sporespondence #Mushrooms #Fungi #Tasmania #TasmanianForest #MysteryOrganism
I made some aperiodic tiling coloring book pages (hat/t-shirt, turtle, polygonal spectre, and curved spectre). I put them on my blog with links to the 3D-printable files as well. https://divisbyzero.com/2023/06/04/3d-printable-aperiodic-monotiles-and-aperiodic-monotile-coloring-book-pages/
hi I'm avery, a cute lizardsquid with 3 hearts full of love!
nonbinary ░ they/she ░ australia ░ 29yo
I post: silly lizardy nonsense, world building, conlangs, doctor who
polyam, demi, open. I love affection!
hugs and cuddles and such are ok, but everything else please ask first
languages: English • Welsh (very basic)
I have a private account, ask for access!
(some old accounts:
@gwyfyndraig
@liquid_lizsquid
)