[-] gnus_migrate@programming.dev 5 points 1 year ago

There can be a universal language in theory, but it's borderline impossible to achieve. Every domain has a different set of problems that it needs to solve, and language design involves tradeoffs that may make sense for one domain but not another. That's why I think language wars are silly, without context it's impossible to say which language is "better", because you could have different answers depending on what you're trying to do.

In the end you shouldn't be too concerned with it. There are lots of languages, but all of them fall under two or three paradigms where if you learn one language from that paradigm, your skills are mostly transferable.

[-] gnus_migrate@programming.dev 6 points 1 year ago* (last edited 1 year ago)

DMD is the reference implementation as far as I know, so I don't think they have the same issue that C and C++ have with regards to needing to have a standard that pleases everyone. I agree that it has an issue positioning itself relative to other languages, but to me D is the good kind of boring. It has most of what you need, there is very little that is surprising in it, if you find yourself needing to do something, probably D has an easy-ish way of doing it.

[-] gnus_migrate@programming.dev 3 points 1 year ago

A good language matters. A good type system matters. A good use of a good language with its type system, patterns, abstractions, ecosystem, and all it got to offer matters.

Eh research shows otherwise. Rust eliminates defects for a very particular set of problems, but when it comes to logical correctness it isn't better or worse than other languages. If those problems are prominent in your domain(such as you have to write a ton of concurrent code), Rust makes sense. Otherwise being well rested will have a bigger impact on the quality of your code than the best type system in the world.

In terms of dev practices, the only practice demonstrated to have a consistent positive impact on code quality is code reviews. Testing as well, but whether it's TDD or other kinds of testing doesn't really matter.

[-] gnus_migrate@programming.dev 6 points 1 year ago

I can think of four aspects needed to emulate human response: basic knowledge on various topics, logical reasoning, contextual memory, and ability to communicate; and ChatGPT seems to possess all four to a certain degree.

LLM's cannot reason, nor can they communicate. They can give the illusion of doing so, and that's if they have enough data in the domain you're prompting them with. Try to go into topics that aren't as popular on the internet, the illusion breaks down pretty quickly. This isn't "we're not there yet", it's a fundamental limitation of the technology. LLM's are designed to mimick the style of a human response, they don't have any logical capabilities.

Regardless of what you think is or isn’t intelligent, for programming help you just need something to go through tons of text and present the information most likely to help you, maybe modify it a little to fit your context. That doesn’t sound too far fetched considering what we have today and how much information are available on the internet.

You're the one who brought up general intelligence not me, but to respond to your point: The problem is that people had an incentive to contribute that text, and it wasn't necessarily monetary. Whether it was for internet points or just building a reputation, people got something in return for their time. With LLM's, that incentive is gone, because no matter what they contribute it's going to be fed to a model that won't attribute those contributions back to them.

Today LLM's are impressive because they use information that was contributed by millions of people. The more people rely on ChatGPT, the less information will be available to train it on, and the less impressive these models are going to be over time.

[-] gnus_migrate@programming.dev 8 points 1 year ago

Hey, if people are going to go back to reading manuals like we're in the 1980's again is it such a bad thing? /s

It's insane how a single tool managed to completely destroy the value collectively created by people in over a decade.

[-] gnus_migrate@programming.dev 26 points 1 year ago

We're not able to properly define general intelligence, let alone build something that qualifies as intelligent.

[-] gnus_migrate@programming.dev 32 points 1 year ago

Also being able to prove the relationship between different parts of the code enables a lot of productivity tooling like IDEs. Simple things like renaming a class or a struct become chores at best in a statically typed language, whereas in dynamic languages there is an element of risk in refactorings like that.

[-] gnus_migrate@programming.dev 3 points 1 year ago

Sorry about that, it seems I unintentionally created a bit of controversy and am being a bit defensive.

[-] gnus_migrate@programming.dev 12 points 1 year ago

I don't know, SQLite it's something that makes sense in theory, but I think its easier for ops people to just use a proper database. If you need to move the database to a separate machine, limit permissions, etc. its just easier to do.

SQLite is great for local apps that need a structured way to store their data, but I'm not really comfortable using it for more than that.

[-] gnus_migrate@programming.dev 3 points 1 year ago

This works great, assuming you're using Linux. On Windows this kind of a setup is a nightmare to maintain, since if something goes wrong you have to troubleshoot through several layers of virtualization and weird OS integrations to understand what's happening. Venv is a much better solution for that.

[-] gnus_migrate@programming.dev 3 points 1 year ago

It's really a question you should be asking someone in your company. There is no general answer to this question, and every company has it's own reasons for doing something like this. It could be that the CTO is a moron and wasting engineering time chasing a fad, it could be that staying on Java presents some sort of risk to the company, it could be that Java simply isn't a good fit for the problems the company is solving, there are a million reasons for doing something like this. It doesn't necessarily mean that Java is bad, just that Java isn't really fit for the company's purpose.

[-] gnus_migrate@programming.dev 31 points 1 year ago

Proofs of concept are a very common thing everywhere. Sometimes it's easier just to show code instead of explaining everything, which was the case here.

1

For those who haven't seen it before and are interested in writing concurrent algorithms or data structures in Java, this is an excellent read on the potential pitfalls you can fall into reasoning about memory ordering in Java.

Goes without saying that you need a really good reason to actually write such code, but for those who are curious or, God forbid, have to maintain code like this it's a really useful read.

view more: next ›

gnus_migrate

joined 1 year ago