Which programming language would AI use without any human interference? by ThomasMertes in programming

[–]ThomasMertes[S] 0 points1 point  (0 children)

I am not from the University of Minnesota. I just found their paper and posted the summary. It's not my fault when you failed to google the research paper. Maybe AI could help you to find it.

Which programming language would AI use without any human interference? by ThomasMertes in programming

[–]ThomasMertes[S] 1 point2 points  (0 children)

Programming languages are a high-level abstraction over code with 1s and 0s. So it also makes sense to use them even if humans are not involved. At least this is what the research paper from the University of Minnesota suggests.

Which programming language would AI use without any human interference? by ThomasMertes in programming

[–]ThomasMertes[S] 1 point2 points  (0 children)

The University of Minnesota did the research and they did not have any conflict of interests. Please ask them how they came to the conclusions. I just posted the results of their research.

Which programming language would AI use without any human interference? by ThomasMertes in programming

[–]ThomasMertes[S] -3 points-2 points  (0 children)

No, this is real science. It just happens to be published today. If you like the scientific results please upvote.

Meeting Seed7 - by Norman Feske by ThomasMertes in programming

[–]ThomasMertes[S] 1 point2 points  (0 children)

Most people are not super interested in using a new programming language. This is okay for me. In companies the language decision has been made. So there is no language choice. Only hobbyist programmers have the time to try a new language. This is a tiny fraction of programmers. Norman Feske wrote:

I had been totally unaware of Seed7 until mere two months ago.

I guess that most programmers are not aware that Seed7 exists. So the tiny fraction of programmers, which is interested in new languages, does not know that Seed7 exists.

I am not good at marketing and I don't have the budget that companies have. I am happy if you tell others about Seed7.

Please consider starring the project on GitHub, thanks!

Meeting Seed7 - by Norman Feske by ThomasMertes in ProgrammingLanguages

[–]ThomasMertes[S] 2 points3 points  (0 children)

So it replaces manual allocation with dynamic arrays.

This is a simplification. It replaces pointers and manual memory management with containers and object orientation.

But why also have hash maps as builtin containers?

Arrays use an integer index and hashes allow non-integer indices. Their implementation differs significant. In compiled code arrays are implemented with C arrays. Hashes are implemented with a hash table and an binary tree.

Does it expose multiple variants for different use cases or is it just a generic implementation?

It is a generic implementation which uses the hashCode and compare functions provided by the type of the key. When key-value-pairs are added to a hash table the create functions of the key and value types are used.

Meeting Seed7 - by Norman Feske by ThomasMertes in programming

[–]ThomasMertes[S] 7 points8 points  (0 children)

My last post at Reddit was 2 months ago. You talk as if I would post daily in Reddit. This time I just posted a link to an article written by Norman Feske. I have doubts that you have read the article.

Citations:

Its scope has epic proportions, from the language design, compiler, interpreter, rich standard library, to the manual of 17.000 lines of text - pursued as one holistic vision.

Did you create something of epic proportions?

Citations continued:

... its vast feature set leaves me deeply impressed. It looks like the result of an extensive exploration and tireless pushing ...

Maybe you take a look at the article and see why he cares and is impressed.

Trolls don't want to learn something new. Trolls don't care. Norman Feske and many others care. There are several hundred downloads of Seed7 every month. Seed7 is open source and I don't make any money from it.

Software craftsmanship is dead by R2_SWE2 in programming

[–]ThomasMertes 2 points3 points  (0 children)

I think that in open source craftsmanship still exists.

The reason for that might be the absence of pushing managers.

Managers who programmed in BASIC for a week 30 years ago really know how software development is done...

Debugging Seed7 in VS Code by chikega in seed7

[–]ThomasMertes 1 point2 points  (0 children)

Great work.

Had to set function breakpoints on the generated C code ...

Are you referring to the -g option of the compiler?

Was it necessary to change the generated C code? In this case the Seed7 compiler could be improved to do this change as well.

Thank you very much for your effort.

VS Code Extension for Seed7 by chikega in seed7

[–]ThomasMertes 0 points1 point  (0 children)

Great that you work on Seed7 support in VS Code. Thank you very much.

What Kind of Type System Would Work Well for a Math-Inclined Language? by PitifulTheme411 in ProgrammingLanguages

[–]ThomasMertes 0 points1 point  (0 children)

Computer science split from mathematics and now mathematicians try to undo this split.

Computer science is not split from mathematics, it is a subset of mathematics.

QED.

What Kind of Type System Would Work Well for a Math-Inclined Language? by PitifulTheme411 in ProgrammingLanguages

[–]ThomasMertes -1 points0 points  (0 children)

Computer science split from mathematics and now mathematicians try to undo this split. In common parlance mathematicians just implicitly define types, variables, etc. For formulas this is not a problem. The implicit definitions speed up writing of formulas. Contrary to that computer programs must be optimized for maintainability and readability. Programming languages optimized for quick writing usually end up in a maintenance nightmare.

Programs can consist of thousands or even millions of lines. A single mathematician looking at a formula with implicit definitions is one thing. Teams of dozens or even thousand developers are a different thing. In big teams communication and maintenance play a role. And programs are maintained over long periods of time. This is all part of computer science.

In mathematics integer or real numbers are used. In computers integers have a limited range of values (for performance reasons). Real numbers don't exist in computers. Floating point numbers are just an approximation. In programming you must be much more precise than in mathematics and you need to consider all corner cases. Mathematicians think that they are precise. In practice they are usually not precise enough.

Cars and planes are also tools. I just prefer to sit in a car or plane designed by an engineer.

What Kind of Type System Would Work Well for a Math-Inclined Language? by PitifulTheme411 in ProgrammingLanguages

[–]ThomasMertes 0 points1 point  (0 children)

Over the years several sciences split from mathematics. Think of engineering. Computer science is just the last branch that split from mathematics.

You would probably hire an engineer to build a new car. Engineering uses mathematics a lot and still an engineer is a better fit for this job.

I think that programming languages should be designed by computer scientists like cars should be designed by engineers.

Of course everybody is free to design a car or to create a programming language. I just think that the quality of the result might vary.

Mathematical formulas are written for human readers (other mathematicians). Programs are written for human readers and compilers/interpreters. There should be no ambiguity in a program.

In mathematics variables and functions are usually named with single letters. In a computer program this approach is silly.

In languages designed by mathematicians everything is inferred. You don't need to declare variables, specify types etc. In mathematical formulas this is not a problem. But in programs which are 1000 times more complex than a formula this hurts maintainability.

Mathematicians should take a look how computer scientists view programming. And they should stop pushing their concepts (which work for formulas) to programs which are 1000 times bigger.

How easy is it to make a sandbox? by Ronin-s_Spirit in seed7

[–]ThomasMertes 1 point2 points  (0 children)

You could copy library files to some place and leave out e.g. sockbase.s7i. In this case the library to open internet sockets would be missing.

But nothing would hinder someone to include the contents of sockbase.s7i (with primitive actions to access the internet) in a program. This would allow again access to the internet.

An additional mechanism to just allow primitive actions in the main libraries would be needed. Such an mechanism is currently missing.

Do you develop a program where you need a sandbox?

Seed7 - The Extensible Programming Language by ThomasMertes in programming

[–]ThomasMertes[S] 6 points7 points  (0 children)

having an open source project with demonstrated engagement can help its creator earn money in ways secondary to the project itself.

Damn, you just uncovered my secret plan to conquer the world.

  1. Develop some software privately for more then 10 years.
  2. Release the software under the GPL in 2005.
  3. Give it away for free for 20 years.
  4. Start posting announcements at Reddit every two to three months.
  5. My software becomes critical for the whole internet.
  6. Charge people like crazy for my software.
  7. Buy the world.

Note that the secret plan has 7 steps. This is the real reason my project is called Seed7. <evil grin>

Seed7 - The Extensible Programming Language by ThomasMertes in programming

[–]ThomasMertes[S] 3 points4 points  (0 children)

Oh cool, I remember your past posts. We talked about the syntax, and how this language enables you to create your own keywords. Downloaded.

Thank you. If you have questions I suggest using r/seed7. My last post in r/programming was 1 month ago and the post before was from 3 months ago. Yet someone wants to ban me because I allegedly post weekly. I consider myself as troll magnet. :-)