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
5mo
@liamoc this is a difficult situation
0
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
5mo
@jonmsterling is it agda?
0
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
5mo
@jonmsterling @ohad I want this too
0
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
5mo
@liamoc I am using nix for what can actually make my life easier; and I use homebrew or apt or language specific packaging manager when they are faster to get jobs done. I am never spending time to make everything confine to one tool
0
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
5mo
@liamoc There might be two groups: one group uses those tools; the other group spending so many time on tools themselves. Maybe only the second group is observed to use Nix
1
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
5mo
@liamoc Is it maybe partly because of its black colour? For myself, I want light coloured device
0
0
1
0
User avatar
mio @mio@shrimp.mio19.uk
5mo
@maddy My enclosure is also doing this
0
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
5mo
@liamoc It would be great if there were a general translator between utf-8 and utf-16 for this use case
0
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
5mo
@jonmsterling @liamoc This is true😿Their brand new motherboard with no ram no ssd costs similarly to a whole laptop from other manufacturers with the same motherboard in second hand market
0
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
5mo
@liamoc Oh no utf-16. I remember converting back and forth between utf-8 and utf-16 when implementing a lsp server. It was not pleasant
1
0
1
0
User avatar
mio @mio@shrimp.mio19.uk
5mo
@liamoc @jonmsterling I saw that a manufacturer called framework just released their new product that they want to be the macbook pro for linux. It looks comparable to macbook pro on their slides. It could be an option to avoid liquid glass on laptops frame.work/au/en
1
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
5mo
@liamoc Where can I read the proposed agda contributors policy? I am unable to find it by using search engines
1
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
5mo
@liamoc What are the dreaded bots? Are they something powered by generative models?
1
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
5mo
@pepperqi.bsky.social this is not good
0
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
5mo
@RanaldClouston Congratulations!
0
0
1
0
User avatar
mio @mio@shrimp.mio19.uk
6mo
@liamoc Rescript just started developing next major versions and deprecating things. I am trying to get some software from 2022 unrelated to rescript to run. It cannot compile anymore. Rescript feels similar. It seems that many software just like to shift constantly😿I don't like them
0
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
6mo
@liamoc I am looking for such a device too. I borrowed a laptop with similar physical feel but my operating system on it breaks once per 4 hours. Sometimes the face recognition led keeps flashing and does not stop. Sometimes zotero crashes
0
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
6mo
@liamoc Every time I visited the two big cities I quickly miss the peace and quiet of ngunnawal/ngambri country in 5 minitues
0
0
1
0
User avatar
mio @mio@shrimp.mio19.uk
6mo
@liamoc @jonmsterling I have been updating to new Sequoia patch releases. Sequoia is still supported
0
0
1
0
User avatar
mio @mio@shrimp.mio19.uk
6mo
@maddy how do I understand ​:SimsVeryNeg:​ ?
1
0
0
0