ArkScript lang developer, split keyboard fanatic

  • 11 Posts
  • 55 Comments
Joined 1 year ago
cake
Cake day: June 11th, 2023

help-circle















  • And they justified with

    I’m having a mental health crisis right now. What I said was wrong, I could not see that a few days ago. Take whatever you want from that. I am sorry. Please stop piling on now that I have removed everything. I am seriously ill and need to stop being involved in anything for several months.

    (Leaving the end out as it can be triggering, talking about death)

    I don’t know what to make of this.


  • I think I’m more fed up with people making those quotes “rust will change everything” when, in fact, it will rule out many if not most memory corruption as you said. Reading your comment, I see now it’s the mentality “everything need to be in rust” that bothers me the most, which in fact means “rust can bring memory safety” and not “rust will replace everything”. Alas I’m seeing it used times and times again as the latter instead of the former.



  • I mounted a disk of a server in rescue mode, since I needed to extract everything (the provider didn’t have the option to dump everything as a zip). Then installed an FTP server, added a user/pass, it worked.

    But I couldn’t access the files of the original disk, even though I could see them. So I just chgrp/chown the original files, since the disk was just “mounted” in the rescue disk /mnt, I thought it was alright (at the time I thought permissions were volatile, stored separately from the files). I could now download the entire disk, yay!

    Upon booting the original disk again, a bunch of errors: shell not starting, tools not running, because they were owned by user and not root…

    Well we reinstalled all the server from scratch that day.







  • I created a discord server for an open source project of mine, but grew to dislike it. It got spammed multiple times, people are off topic and talking about their lives in channels that aren’t for that, and so I started pushing the community toward GitHub discussions.

    Discord isn’t searchable, nor archivable, nor public, but GitHub is (I’m aware of another conflict with Microsoft for some people, but to me this is the easiest solution to get contributors and have an easy CI setup).

    I haven’t had much success yet, but I’m slowly shutting down all links to the discord and will let it die (for outside contributors at least). I might keep it to stay in touch with a few developers, to refine issues and prepare migrations that aren’t ready to be turned into public discussions/ issues / pull requests.