mkleczek

10 ms·

91.
by mkleczek 2y ago
> The answer seems obvious: because it's better. Define "better". The point really is that "better" in this context means "made by a human" - not "faked to look like made by a human". People n
92.
by mkleczek 2y ago
"Concepts, Techniques, and Models of Computer Programming" by Peter Van Roy and Seif Haridi is my favourite.
93.
by mkleczek 2y ago
Well, increasing temperature (ie. adding some more randomness) for sure is going to magically generate a solution the customer wants. Right? /s
94.
by mkleczek 2y ago
And what do you do with the generated code? Do you package it in a reusable library so that you don't have to do the same prompting again? Or rather - just because it is so easy to do - you don't bother? If that's the later -
95.
by mkleczek 2y ago
It is a self-reinforcing pattern: the easier it is to generate code, the more code is generated. The more code is generated, the bigger the cost of maintenance is (and the relationship is super-linear). So every time we generate the same bo
96.
by mkleczek 2y ago
> The total IQ on the planet remains constant even as the number of people increase IQ, (from “intelligence quotient”), is a number used to express the relative intelligence of a person. So for the whole population it is constant by defi
97.
by mkleczek 2y ago
This is as long as you don't take _risk_ into account. RedHat providing OSS licensed software is _less_ risk than RedHat providing proprietary closed source operating system.
98.
by mkleczek 2y ago
I agree. See also my comment in a sibling thread about using LLMs to write tests: https://news.ycombinator.com/item?id=41961214
99.
by mkleczek 2y ago
> I'm hopeful that LLMs can provide guidance in removing useless tests or simplifying things. In an ideal future they may even help in formulating requirements or design documentation I am very sceptical here as well. The biggest pr
100.
by mkleczek 2y ago
How can people (either individuals or groups) assess (or even define) achieving goals without SOME metric?
101.
by mkleczek 2y ago
That's exactly my point :)
102.
by mkleczek 2y ago
I am very sceptical of LLM (or any AI) code generation usefulness and it does not really have anything to do with AI itself. In the past I've been involved in several projects deeply using MDA (Model Driven Architecture) techniques whi
103.
by mkleczek 2y ago
Not disputing anything you said but... The issue I see is that without notion of time it is difficult to talk about causality (I guess you could only talk about "entanglement"). It is actually difficult to talk about "events&
104.
by mkleczek 2y ago
The older I am (and I am at my 50s) the more I have this intuition that entropy is a fundamental force driving not only physical phenomena but also social interactions, economy etc. Formalising this intuition is another story though...
105.
by mkleczek 2y ago
> Honestly? Because many things are too small to be worth paying a lawyer to write a letter to license violators That’s a false alternative. You can chose copyleft license and not sue. This is _especially_ useful for things I don’t plan
106.
by mkleczek 2y ago
Isn't it just a matter of choosing the license properly? To be honest, I find it contradictory: On one hand OSS authors select permissive license exactly because they want big corps to use their software. On the other hand - OSS author
107.
by mkleczek 2y ago
> You're not the best at everything, and you don't have to be. As a 50 years old person that some time ago was one of these brightest in class I can say that for most of us, people, it is: You're not the best at anything
108.
by mkleczek 2y ago
This single comment is the best illustration of why I should finally move to Nix. Thanks!
109.
by mkleczek 2y ago
> However, that's strictly better than the natural PK situation, where you would need to not only add new columns to the key, but also add those columns to all referencing tables. Foreign keys referencing surrogate key has different
110.
by mkleczek 2y ago
The question is: if you have two restaurants having different scores but distinguishable only by their surrogate keys, how do you know which one to go to? In other words - using surrogate key is an attempt (and the wrong one!) to fix the pr
111.
by mkleczek 2y ago
> The surrogate key uniquely identifies a row in your database, which is an entity just as real and significant as the car or the employee or what-have-you. Don't confuse the two! But the DBMS already maintains a row identifier (cal
112.
by mkleczek 2y ago
> Exposing the database itself is really just an example of a leaking implementation details. This is a mistake that a lot of people make - treating database as an implementation detail. Relational model and relational calculus/alge
113.
by mkleczek 2y ago
It incurs huge costs though: 1. Costs of API maintenance - rigid APIs need constant change. To mitigate that people create APIs like GraphQL which is a reimplementation of SQL (ie. a query language). 2. Costs of data integration - (micro)sy
114.
by mkleczek 2y ago
Ahh... MalformedURLException is checked in Java and is a source of constant backlash from developers - for over 20 years :)
115.
by mkleczek 2y ago
> In order for free will to exist there would need to be some force outside of normal physics that influences the physical world. I guess this could be something analogous to dark matter... It is as much physics as any other unexplainabl
116.
by mkleczek 3y ago
That's why I always raise concerns about JEP 411 - removal of SecurityManager from Java without any replacement.
117.
by mkleczek 3y ago
> I don't think your reply is particularly effective when you are replying to a comment that exhibits a formally verified microkernel. I would say that one small piece of software (Sel4 is only 9,400 SLOC!) always cited as an exampl
118.
by mkleczek 3y ago
1. Unfortunately the set of "some" programs is unknown and most probably really small. 2. Even proving anything about finite state machines is NP hard so the problem is harder than just using weaker model of computation. 3. Proofs
119.
by mkleczek 3y ago
This subject requires mandatory link to the excellent and eye opening talk by Ron Pressler: https://pron.github.io/posts/correctness-and-complexity
120.
by mkleczek 3y ago
That won't cut it as I need a multi-language build. And don't get me wrong - I know it _can_ be done in Nix (as it is a programming language) - the question is _how easy_ it is to create/maintain it. Let's say my solutio

More ›