layer8

25 ms·

931.
by layer8 5mo ago
I suspect that the reason AI chatbots are not very good at developing such specifications is that they don’t build a domain model in their “head” — the only models they have are already hardcoded in their weights. A human learning a domai
932.
by layer8 5mo ago
> realizes that the fix is incorrect because of sloppy thinking If the domain expert doesn’t understand the generated code, they can only discover incorrect logic by specific examples (specific inputs), which is usually impossible to do
933.
by layer8 5mo ago
Interpolating between the examples still requires understanding of the domain for the interpolation to be a sensible one. And it’s an iterative feedback process: thinking about possible interpolations leads you to cases that need clarificat
934.
by layer8 5mo ago
While interesting, I rarely found knowing grammar rules beyond some very basic ones to help all that much for learning to speak a language, compared to language exposure and speaking practice.
935.
by layer8 5mo ago
I largely agree, but want to note that there’s the counterpoint “Those who can, do; those who can’t, teach” (from George Bernard Shaw’s 1903 play Man and Superman ), which also has some nugget of truth in it.
936.
Polanyi's Paradox(en.wikipedia.org)
5 points by layer8 5mo ago|0 comments
937.
by layer8 5mo ago
The correctness of tests is as important as the correctness of the main code. Changing test code isn’t somehow less critical than changing the main code.
938.
by layer8 5mo ago
If issues with the program are caused by behavior of the maintainer, it doesn’t seem inappropriate.
939.
by layer8 5mo ago
The point is that you have to implement it in the specific ways you describe in order to prevent a race condition. The actor model doesn’t eliminate race conditions by itself. This is true in all programming models. A database also doesn’t
940.
by layer8 5mo ago
Also: How "How Star Wars was saved in the edit" was saved in the edit: https://www.youtube.com/watch?v=olqVGz6mOVE
941.
by layer8 5mo ago
If the read and the write are separate messages, i.e. the computation of the modified value happens sender-side, as in the parent example, then I don’t see how a serializing queue prevents the race condition, for two concurrent senders (cli
942.
Oscar-winning Star Wars editor Marcia Lucas dies aged 80(bbc.com)
21 points by layer8 5mo ago|7 comments
943.
by layer8 5mo ago
You wrote “I would be surprised to find that any consumer chooses a device because of its marketing spend”. But advertising does skew consumer choice by its presentation, and the success correlates with marketing spend. It’s far from merely
944.
by layer8 5mo ago
Depending on screen and font size, it can even wrap to three or more lines. The more lines, the more vertical screen space it takes up.
945.
by layer8 5mo ago
On mobile, shorter menu bars save screen space.
946.
by layer8 5mo ago
Check the FAQ link at the bottom.
947.
by layer8 5mo ago
I’m pretty sure a lot of Apple devices are sold due to the image projected by Apple’s marketing.
948.
by layer8 5mo ago
The $599 model is also at risk: https://www.theverge.com/gadgets/925997/apple-macbook-neo-pr...
949.
by layer8 5mo ago
The issue is that non-unique encodings are an attack vector, because parsers may in practice behave differently for noncanonical (or nominally invalid) encodings.
950.
by layer8 5mo ago
Vernor Vinge’s “bobble” series provides a variation of that scenario: https://www.goodreads.com/series/57273-across-realtime
951.
by layer8 5mo ago
I agree with you. It’s actually similar to the frustration of using ill-documented, ill-behaved libraries or tools that are either closed-source or otherwise inscrutable. They may even be deterministic, but what’s frustrating is when you ca
952.
by layer8 5mo ago
I think the point is that when you get into the habit of asking the AI because it’s always immediately available, you inevitably miss the opportunities that asking other people provides, or even the serendipities that happen when looking up
953.
by layer8 5mo ago
As an aside, “impactful” doesn’t necessarily imply that the impact is strictly positive.
954.
by layer8 5mo ago
The term applies to the skills required from workers, not to how the skills of an individual evolve over time. The argument is that AI lowers the skill requirements for software development, and therefore less skilled workers will displace
955.
by layer8 5mo ago
You need a certain understanding to be able to judge whether the output is adequate. I think the argument is against people who lack that understanding.
956.
by layer8 5mo ago
That’s not what accidental complexity means. Accidental complexity comes from design errors that could have in hindsight been avoided, meaning that if those errors hadn’t been made (made by accident, literally), there wouldn’t be any accide
957.
by layer8 5mo ago
He returned from paternity leave in early 2024, so over two years ago.
958.
by layer8 5mo ago
Text is a medium.
959.
by layer8 5mo ago
At least with OLED, the light output can be auto-adjusted to match the reflecting light of the environment. This can be quite convincing, looking like a purely reflective surface. And a dedicated app doesn’t need to use any distracting anim
960.
by layer8 5mo ago
I’m not an advocate of using tablets in class, I was just curious where the parent is seeing unavoidable distractions, compared to traditional tools like for example textbooks and calculators.

More ›