On the IRC side, the groups team received an email from a Void representative that was resolved, I’m unsure why they’ve included that they are still hoping to get access to their channels, because we believe the issue was sorted :(
If there’s anything we still need to do, you can catch me as kline on freenode, or email us at firstname.lastname@example.org
edit: we managed to reach out for them, it looks like the post was written ahead of time, before we had resolved the issue. The Void channels on freenode should be safe and sound and back with active Void contributors!
I don’t get what the problem is here - do a fork and move on? Call it VoidStar Linux or something? :)
We would like to keep the name, Void is still a small distribution and just started to get a bit more known.
I don’t think a fork would kill the project but it would be annoying and we would like to avoid (“Avoid Linux” would get my vote for a rename) it.
I really like Void. I use it on my Media PC and it has a lot of cool stuff in it. It feels so minimalist and that’s really great.
So long as you have control over the .com, losing the .eu would kinda suck but it feels more like an inconvenience than a killer issue. Thankfully there are lots of Github alternatives like BitBucket, Gitlab or even a self hosted solution like Gog or the self-host Gitlab.
Thanks for all your work. I’m glad Void is out there and hope it continues to grow as a distro. Currently I only use Void and Gentoo .. probably because I can’t do anything the easy way. :-P
We would like to keep the name
We would like to keep the name
Is this legal?
I don’t know. We just want to continue the project like we did for over a year now. But its becoming more challenging each month that goes by without any contact.
If he for some reason doesn’t agree with us continuing the project we can hard fork and rename.
But because there is no contact we don’t know.
I would personally be happy to hear from him again and I hope he is fine.
CentOS had the same problem almost 10 years ago now. They apparently managed to sort it out a couple of months after they went public, so hopefully Void manages to do the same.
I’m not sure using a self-hosted gitlab/gitea will solve any of these issues. The best option to me is still to create a small subset of core members so no (/less) SPOF is present.
Nonetheless, the lessons are important and I wish luck to the rest of the contributors.
I have friends over at GihHub. Something doesn’t ring true about this article. If you need help, send me a message. I’m pretty sure there’s an avenue to be able to help you folks regain control.
As an American, I was really confused by the date of this article. I kept thinking to myself, “Wow, this post is from January and it just now made it to lobste.rs?” Then I clicked on the News homepage to see what other news they had, and promptly realized they’re using the European format (01.05.2018) on the article, but a less ambiguous format (May 01, 2018) for the News homepage.
It’s not the “European” format. It’s the international format. The US, of course, needs to be a snowflake.
YYYY-MM-DD is the one true international date format! :-)
DMY is definitely more widespread than MDY, I’ll agree, but it isn’t used in most of East Asia, besides the US. People in countries that don’t use either of those often find it ambiguous whether a year-last date was intended as a “European-style” or “American-style” date (which in my limited experience is what Japanese and Chinese call those two formats), since both styles are foreign. You can even find examples of all three styles on Chinese universities’ English-language pages…
Going by user population size, by international standards, and by rationality (sort lexicographically!), YYYY-MM-DD is probably the only format that deserves to be called international. It’s also much less ambiguous than month-first and date-first, given that the US and Europe do the opposite thing but write it the same way. I suppose someone could write YYYY-DD-MM but I don’t remember having seen this, while I definitely am confused about whether someone is writing in the European/US style from time to time.
This is as an American, born and raised. :) I still prefer to write MM/DD, though, because we speak dates that way. Maybe it’s different in other languages.
EDIT: Actually, according to Wikipedia, DMY is used by the most people! https://en.m.wikipedia.org/wiki/Date_format_by_country
Other than ISO 8601, I prefer DMY with the month written as a three-letter abbreviation. ex: 01 May 2018. It prevents the confusion over whether 01 is the first day of the month or the first month of the year, and reads in the order one typically cares about while preserving the rank order of the components. When I need a checksum I put the day of the week in front: Tue 01 May 2018. That lets me be confident I didn’t make a transcription error and lets the person I’m communicating with check my work if they need to.
Good point, I definitely think the day of the week as checksum is underused. I always try to include it in scheduling emails in case I mistype a number.
MDY and DMY are equally unambiguous when the month is written as an abbreviation, but a numeric month papers over language differences: It doesn’t matter if you call it “Aug” or “八月”, it’s 8.
(That requires everyone to standardize on the Hindu-Arabic numerals, but, in practice, that seems like it’s happened, even in places which don’t use the Latin alphabet.)
In Hungary, though we are in Europe, we don’t use the “European format”. The hungarian standard format is “YYYY. MM. DD.”. I prefer the ISO format for anything international, as it is easy to recognize from the dashes, and avoids confusion. (In my heart I know that our format is the one true format, but I’m happy the ISO has also recognized it! 😉)
To me the D M Y format can be justified, though for me Y M D seems more logical. (specifying a time instance from the specific to the generic, or from the generic to the specific range can both be ok) What I cannot grasp is how the M D Y format appeared.
What I cannot grasp is how the M D Y format appeared.
What I cannot grasp is how the M D Y format appeared.
The tentative progression I pieced together last time I looked into it, though note that this is definitely not scientific grade historical research, is something like this:
When talking about a date without the year, English has for centuries used both “May 1st” and “1st May” (or “1st of May”), unlike some languages where one or the other order strongly predominates. Nowadays there’s a strong UK/US split on that one, but in 18th-19th century England they were both common;
it seems to have been common for authors to form a fully qualified date by just tacking on the year to however they normally wrote the month/day, so some wrote “May 5th, 1855” and others “5th May, 1855”;
fairly early on, the “May 5th” and “May 5th, 1755” forms seem to have become dominant in the US for whatever reason; and finally
much later, when writing dates in fully numerical format became a thing, Americans kept the same MDY order that they had gotten used to for the written-out dates.
In my mind if it’s not the American standard it must be the European standard. Even it encompasses more than Europe. I understand that’s probably not the best way to think of things.
As an Australian, I get pretty annoyed every time I read a US article and have to deal with the mental switch. Even worse because I work for a US company and people throw around “we’re doing this 6/5”, and that doesn’t even look like a date to my eyes — we never just do D/M, so “number/number” looks like a fraction. once I work out it’s a date, I realise it’s an American thing and realise it must be M/D.
I use YYYY-MM-DD for no other reason other than it’s sorts files nicely in a folder.
Did the developer disappear in real life? They seem to be using their real name, so it can’t be the case that they dropped off the face of the earth.
We don’t know anything, that’s why we kept the name out of the original blog post.
I don’t think there is a reason to associate the name with the issues that we are having right now, It doesn’t help anyone and could have negative impact.
What I’m referring to is if their name appeared in the news or if they went missing or anything like that. We should certainly respect their privacy and maintain a distance if that’s what they want.