ArkScript lang developer, split keyboard fanatic

  • 6 Posts
  • 42 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 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.















  • Well that’s a bit of both: I need to be able to get on my server from work (with my phone… Yeah not great but that works), because I often break stuff haha ; also a nice thing to have when I’m on the bus and want to add more music or movies to listen to during the travel!

    Are there ISPs that don’t provide dynamic IPs? I had to setup a script and get some API keys for different services to ensure the IP is properly updated on my DNS servers.

    Speaking of brutality, I considered doing the same but then I would have banned myself from testing the APIs of my services 🤧