User avatar
mio @mio@shrimp.mio19.uk
Admin
I leave these toots, I do not know for whom. I no longer know what they are about.
Pronouns she/her ()
User avatar
mio @mio@shrimp.mio19.uk
1mo
@ah immich
1
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
1mo
@ah github.com/NixOS/nix
1
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
1mo
@RanaldClouston just thinking about being told to have a kid. will i become a mother and nothing else if i have a kid. i wouldn't want this
1
0
1
0
User avatar
mio @mio@shrimp.mio19.uk
1mo
@wilbowma they need to be more sorry
0
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
1mo
@liamoc The person next to me last year had difficulties with typing isabelle syntaxes on her computer. It did not help when her input method decided to enter symbols used in Chinese instead of ascii symbols. I guess we could teach people Holbert-ng next time when Holbert-ng is more mature
0
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
1mo
@liamoc I saw a new simple high order term. Is string term related implementation making high order term difficult to debug? Or is it something else?
1
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
1mo
@ah let's host our own filter lists
0
0
1
0
User avatar
mio @mio@shrimp.mio19.uk
1mo
Open Slopware

codeberg.org/ethical-foss/open-slopware

Free/Open Source Software choosing to use and/or support LLM usage/AI, as well as alternatives and tips to requesting better policies or forking.
0
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
1mo
@jonmsterling I am going to update my forester
0
0
1
0
User avatar
mio @mio@shrimp.mio19.uk
1mo
@MartinEscardo Were they mistaken mistakes or real mistakes?
0
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
1mo
@jonmsterling I thought this was about keyboard (musical instruments). I just ordered a keyboard (musical instrument) that has multiple configurable knobs
0
0
1
0
User avatar
mio @mio@shrimp.mio19.uk
1mo
@jonmsterling This is the same way as text editors and operating systems -- a very personal thing, and you often want to make it work “just so”
0
0
1
0
User avatar
mio @mio@shrimp.mio19.uk
1mo
@kramo i like and hate it at the same time for different reasons
0
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
1mo
@jonmsterling i cannot tell the difference between very old ipad pro and m series ipad pro -- my friends and i only use them for light tasks anyway
0
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
1mo
@RanaldClouston cute
0
0
1
0
User avatar
mio @mio@shrimp.mio19.uk
1mo
@craftygardennz @jeremy_list we need more jobs in Aotearoa
0
0
2
0
User avatar
mio @mio@shrimp.mio19.uk
2mo
@liamoc Unfortunately ReScript changed API again. I am trying to port holbert-ng to resceipt 13 and we will see how many changes are needed
0
0
1
0
User avatar
mio @mio@shrimp.mio19.uk
2mo
@ah search.nixos.org/packages?channel=unstable&query=grub#show=grub2
0
0
1
0
User avatar
mio @mio@shrimp.mio19.uk
2mo
@ah The similar thing is happening on the core components of the distribution I am using too
1
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
2mo
@BobLefridge this is not good
0
0
0
0