zarathustreal

A charitable interpretation would be that they consider justice (consequences that fit the choices one makes) more important than ownership of material things

..and frankly they’re not wrong. No unjust system can maintain itself in the long term, the choice is “personal sacrifice” or “destroy everything” and it’s quite easy to make

Boggles the mind that people like this exist, it’s like everyone lives in an entirely separate reality.. how do we fix this?

You “asked it” a statement?

Since when is “do something on every file in my codebase” considered coding?

Don’t they all do this? Surely they’re not just doing naive text, n-gram, regex, embeddings, etc, right?

I’d upvote this a thousand times if I could, so many people holding opinions on purely selfish grounds

This sounds like a good thing! Sounds like “it’s professional sounding” is becoming less effective as a means of persuasion, which means we’ll have much less fallacious logic floating around and will ultimately get back to our human roots:

Prove it or fight me

Interesting.. wouldn’t that lead to an echo chamber?

Well I think it’s as simple as P vs NP. This is the primary difficulty with AI and always will be. Solutions are easy to get AI to construct. The difficulty is in verifying those solutions. This can be seen in industry even now, evals are the hardest part of non-trivial AI systems

Yep, same thing happened to us at AWS. Sometimes it’s actually random.

There is absolutely virtue in spending willpower to make your body do something it doesn’t want to do - maintaining and developing self control and autonomy. Imagine if there was no way to develop self-discipline, you’d be at the whims of your environment and the world would be nothing but chaos.

Right, and the associated cultural impact of increasing hedonism

> we don’t have a one-person one-vote system.

Correct, and that’s a good thing! Intelligence is not evenly distributed among individuals, and susceptibility to psyops and propaganda is a huge issue. The plain truth of the matter is that a majority of people simply aren’t qualified to weigh in on national issues. True democracy works when you’ve got a small group of like-minded individuals of roughly equal stature (13 original colonies) but not when you’ve got an entire empire (Roman republic)

All things in moderation, even, and especially, good things. Righteous fervor has killed more than disease and famine combined.

I think you’re misunderstanding the “fail fast!” advice. You want to fail fast in development not in production. In production you want maximum robustness. Users would rather see an error saying “whoopsie, maybe try that again later” than for the program to exit. That’s part of the reason why the functional error handling patterns are becoming so popular these days. They force you to handle errors and give you type-level info about how the program can fail.

> CouchDB / PocketDB aren’t really up to date anymore.

Source? I’ve been using CouchDB as my game world DB for years, works fine for me?

The return type of a function is an assertion. You’re saying that values of the type exist. The return value is an assertion about the arguments. You’re saying that they imply the result. The issue is that your code is incorrect, in a logic sense, if it states that for some given value the mathematical operation of division results in both an error and a number.

The issue is not one of usability or (direct) understandability, it’s an issue of correctness. Something like “well it works fine for me if I just remember to check if I receive both” or “everyone on my team understands that receiving both means an error occurred” just isn’t a valid response, it doesn’t address the problem.

My brother in Christ, releasing a tool for free does not exempt it from criticism

Correctness (of a given assertion) doesn’t need to be established to exist

At this point, calling it by its correct name (Sum Types) would leave them looking stupid for not using the correct name (Product Types) for their “records”

Any hints on why you’re adding so many newlines into your comment?

That sounds more like an OOP thing than a type system thing - functional languages make excellent use of type systems without mention of anything remotely sounding like a “Design Pattern (tm)”

> You absolutely do lol, or you’re just straight wrong.

This is false, an obvious counter-example is an explanation that happens to be coincidentally correct (without being derived from any science)

-

This seems like an attack on the notion of objective truth which while interesting in the abstract, is not particularly interesting to me personally.

Well that depends entirely on what you consider to be the goal - as a software engineer, your role is entirely concerned with engineering excellence. As a member of a team, especially a team of extremely highly paid and highly educated individuals, it is your duty to spend your time (and thus, the company’s resources) efficiently by doing what you’re educated, qualified, and hired to do.

You don’t need science to explain how dysfunctional society is. The problem with “soft sciences” is that they can’t produce provably correct information. Incorrect information is worse than no information.

I’m assuming by “wrong” you mean “false” and not “morally objectionable” therefore I must disagree.

It is an *unsustainable* position to hold that something is bad regardless of whether or not it is true. Basing your morality on potentially false information is a guarantee for conflict.

Likewise, if your morality never changes, especially when you learn and grow from experience, you’re stunting your growth as an individual and causing problems for society as a whole. Imagine a child refusing to update their understanding of morality as they age.

My response was about a person that is finishing up the final year for their degree

If you don’t have a degree you almost certainly don’t have years of (professional) software development experience.

The only exception in my experience (and this helped me get a job when I was a new grad) is having a large portfolio of tangible projects. Not just react tutorials, programs that solve a problem someone had or did something interesting. For example, I did a lot of programming in middle school and high school related to automating games like RuneScape. Also had a win at the international science and engineering fair in the computing division. It’s safe to claim years of experience when you’ve got something to show for it.

For a more thorough treatment of the subject, I suggest Baudrillard’s “Simulacra and Simulation”

Most companies ban giving feedback for the simple fact that the hiring process is not objective and it’s super easy to accidentally incriminate yourself.