HackerTrans
トップ新着トレンドコメント過去質問紹介求人

icsa

no profile record

コメント

icsa
·4 か月前·議論
What is the quality of software that gets shipped? What is the rate of defects and security issues?

What are the support costs once the software is shipped?
icsa
·5 か月前·議論
Sample output for a significant github repository?
icsa
·6 か月前·議論
> With this design, it’s possible to run native SQL selects on tables with hundreds of thousands to millions of columns, with predictable (sub-second) latency when accessing a subset of columns.

What is the design?
icsa
·7 か月前·議論
How well does this approach work with C++ source code - which is notoriously difficult to parse, given context-dependent semantics?
icsa
·7 か月前·議論
Tieredsort seems like a good balance between performance and complexity. Enough complexity (yet still relatively simple) to get very good performance.
icsa
·7 か月前·議論
No one had the motivation to fix it, including management. Many of the developers saw the problem as job security.
icsa
·7 か月前·議論
Anecdote:

I consulted for a large manufacturing firm building an application to track the logical design of a very complex product.

They modeled the parts as objects. No problem.

I was stunned to see the following pattern throughout the code base:

  Class of the object

  Instance #1 of the class

  Instances 2,,n of the class
I politely asked why this pattern existed. The answer was "it's always been that way."

I tracked down the Mechanical Engineer (PhD) who designed the logical parts model. He desk was, in fact, 100 feet away from mine.

I asked him what he intended, regarding the model. He responded "Blueprint, casting mold, and manufactured parts." - which I understood immediately, having studied engineering myself.

After telling him about the misunderstanding of his model by the software team, I asked him what he was going to do about it. He responded "Nothing."

I went back to the software team to explain the misunderstanding and the solution (i.e. blueprint => metaclass, casting mold => class, and manufactured parts => instances). The uniform response was "It is too late to change it now."

The result is a broken model that was wrong for more than a decade and may still be deployed. The cost of the associated technical debt is a function of 50+ team members having to delineate instance #1 from instances 2,,n for over a decade.

N.B. Most of the software team has a BS (or higher) in computer science.

P.S. Years later, I won't go anywhere near the manufactured product.
icsa
·8 か月前·議論
In the United States, we all used to take a required course called Civics.

We learned how government and justice worked.
icsa
·8 か月前·議論
45% slower to run everywhere from a single binary...

I'll take that deal any day!
icsa
·9 か月前·議論
I think that there are a few critical issues that are not being considered:

* LLMs don't understand the syntax of q (or any other programming language).

* LLMs don't understand the semantics of q (or any other programming language).

* Limited training data, as compared to kanguages like Python or javascript.

All of the above contribute to the failure modes when applying LLMs to the generation or "understanding" of source code in any programming language.
icsa
·9 か月前·議論
"English as a programming language" has neither well-defined syntax nor well-defined semantics.

There should be no expectation of a "correct" translation to any programming language.

N.B. Formal languages for specifying requirements and specifications have been in existence for decades and are rarely used.

From what I've observed, people creating software are reluctant to or incapable of producing [natural language] requirements and specifications that are rigorous & precise enough to be translated into correctly working software.