Fr even some of the first few comments are totally unhinged

Post title is misleading as he’s not really the one causing the drama.

The mods gave him a 6-week suspension, and now it’s up, so he requested his access back. Nothing unusual

The drama comes from people who just hate the guy and are screaming about letting him back. His response to that was then very cordial and just calling out them for being to aggressive.

I’m not taking a stance on whether his suspension should become a ban or whether he’s gonna change or whatever; I’m just saying it’s simply false to say he’s continuing to cause the drama and problems when all he did was ask to get his commit access back and tell his haters they’re being assholes

Brave

I used to use Duck Duck Go, but it’s supposedly not as private as it claims to be, and my understanding is Brave is a bit better there.

I don’t use the Brave browser tho, just the search engine

I’m a relatively new hire and we just hired another person 2 weeks ago

It’s effort to switch, and we don’t benefit from having separate copies of the repo bc we’re so small. No one steps on eachother’s toes, so distributed version control isn’t necessary.

Now, the fact that most devs know git and SVN is dead is not lost on our CTO, but putting the effort to switch over doesn’t provide direct value to the customer, so I have to make the case that switching to git would do enough from a productivity and maintenance standard to effect customers.

Yes. We use SVN. I hate it. I’m trying to build a case to switch to git. We’re a small team, but a growing team

Epiphany is a neat little project, but my understanding is it has performance issues bc it can’t use the GPU or something, like YouTube videos load slow.

Eelco is also leftist so no

There’s a difference between a leftist and a left-wing extremist like the handful of people involved with the open letter

also the maintainers are what make nix be nix so yes, it’s has the potencial to affect a lot of people

Yes of course, but the maintainers aren’t really affect either.

What I’m saying is there are only a few maintainers upset right now, and if the tide turns (which it looks like it has) only a few maintainers on the other side will be upset.

My point is overall only a few maintainers will be upset, like 10-20 or so out of thousands, so the status quo will stay the same.

has very good arguments(with proofs)

Not really

that don’t have any correlation with left or right

Strong correlation with far-left extremist ideas, actually

you need to give a good argument if you want people to belive in you

Those writing the open letter didn’t give good arguments, so I don’t need to either

What I’m saying is that there will be no change in how well they are maintained.

It’s a hostile takeover by a handful of politically far-left individuals, stealing power away from Nix’s creator, Eelco, framed by them as “giving power to the community,” when they really just want to establish their own oligarchy and run moderation their way.

Just like Eelco’s way of governing, it will likely have 0 effect on 99% of people using NixOS, but a handful of maintainers will be mad. Nothing will change for those out of the loop.

Unnecessary

Haskell

Here’s how I think it works

In formal language, what it means to accept a verification means does the result fall into the list of acceptable values.

Consider adding two 2-bit numbers:

• Alphabet: { 0, 1}
• Language: x x consists of four binary digits representing two 2-bit binary numbers where the result of adding these two numbers is a valid 2-bit binary number (i.e. falls between 00 and 11)
• Then you have an automata that will:
  • Start from the rightmost bit
  • Add the corresponding bits (+ carry from any previous iterations)
  • Carry over to the left if needed
  • Repeat for both bits
  • Check for acceptance
• Machine as a whole simply checks did the inputs produce a valid 2-bit number, so it just accepts or rejects

The machine itself simply holds this automata and language, so all it does is take input and reject/accept end state. I think you’re just getting caught up in definitions

A sum of a list of numbers I think would be something like

• Alphabet: digits 0-9 and ‘,’
• Language: a single string of digits or a single string of digits followed by a comma and another valid string
• Automata:
  • Are we a single string of digits? If yes, accept
  • Sum the last number into the first and remove the comma
  • Repeat
• Machine: Does the some operation result in a valid string?

Machines accept a valid state or hit an error state (accept/reject). The computation happens between the input and accept/reject.

But maybe I don’t understand it either. It’s been a while since I poked around at this stuff.

I didn’t know Go had interfaces. Neat

In VR, you are able to place windows anywhere. You have infinite amounts of screen. Look at something like Simula

Bc they’re about to release a VR headset PC that allows just that. It will likely inspire other companies to do so as well

Move to VR and infinite screen space. We’re so close. No doubt once Apple joins the fray it’ll be time

Thankfully, we migrated to git entirely right before I joined the company

Return to the office. Forced to use Windows again

Ubuntu Mono.

I think it has support for most special characters, but some of the weirder symbols aren’t there like a handful of IPA characters or emojis.

But you can always get backup fonts on your system just in case