gspr

17 ms·

301.
by gspr 8mo ago
People are indeed not deterministic. But they are accountable. In the legal sense, of course, but more importantly, in an interpersonal sense. Perhaps outsourcing is a good analogy. But in that case I'd call it outsourcing without acco
302.
by gspr 8mo ago
This is my fear too. People will say "oh, it's the same as when the printing press came, people were afraid we'd get lazy from not copying text by hand", or any of a myriad of other innovations that made our lives easier
303.
by gspr 8mo ago
I hear you. And maybe you're right. Maybe I'm deluding myself, but: when I look at my skilled colleagues who vibecode, I can't understand how this is sustainable. They're smart people, but they've clearly turned o
304.
by gspr 8mo ago
I don't think anyone minds if you use an LLM to try to track down information like this. But the LLM's output is not what we want. That's merely a clue for you on your quest to find a proper source. Even school children in th
305.
by gspr 8mo ago
You are presented with a factual, verifiable, statement that starship has been promised for years and that all that's been delivered is something capable of sending a banana to LEO. Wayyyy overdue too. You meet this with "well, on
306.
by gspr 9mo ago
You mean unlike Hyperloops, Cybertrucks, Teslabots, Neuralinks, and all the other insane stuff that moron cooks up?
307.
by gspr 9mo ago
Musk's involvement for one.
308.
by gspr 9mo ago
Indeed. But it's also a hilariously Musky idea! Some moderate technical competence paired with sociopathy and an ego orders of magnitude too big, and voila, you get Cybertrucks, Hyperloops, Neuralinks, Teslabots, datacenters in space,
309.
by gspr 9mo ago
I'd love something similarly scoped centered around nftables. Does anyone have a suggestion? I see No Starch has a Linux Firewall book, but it's from 2008 and is thus iptables-based.
310.
by gspr 9mo ago
The regulation is quite clear: in any EU country, inspection must happen at least every 2 years for vehicles older than 4 years. I understand that Finland allows a 4 year gap after first registration. After that, the max period is still 2 y
311.
by gspr 9mo ago
Thanks for pointing out the possibility (but, as someone else pointed out, it's just a possibility - the EU regulation obviously does not set a minimum) of a double gap for new vehicles. On the other hand, don't new vehicles typic
312.
by gspr 9mo ago
> This is the problem with this report. It doesn't mean that the cars break down more often, it means that they are so rarely at the shop that the drivers don't notice the used brake pads, tires etc. The average European drives
313.
by gspr 9mo ago
I think you're right about certain apps refusing to run in an emulated environment. I'm beginning to think we need to consider such apps, and the hardware they run on, as the outsiders. Keep a cheap "normal" Android phon
314.
by gspr 9mo ago
> And if they weren't wearing masks, you, and people like you, would be the first ones running to publicize their names and ruin or outright end their lives. So you want the police to be secret. A sort of… secret police? Got it! &gt
315.
by gspr 9mo ago
You seem to want a world in which gangs of untrained, unvetted thugs wearing facemasks and no identification can exit unmarked vehicles with guns drawn and demand that you do certain things or answer their questions on pain of being shot in
316.
by gspr 9mo ago
No. Because the inspiration does not pass through the human, only through his machine.
317.
by gspr 9mo ago
Suppose you're right and the "majority of code" is fully specified by unit testing (I doubt it). The remaining body of code is vast, and the comments in this thread seem to overlook that.
318.
by gspr 9mo ago
> And you create music without ever having heard music before? Or are you also extracting other artist’s work and using it as inspiration for what you do? But the parent poster is, presumably, human! Humans have the right to take inspira
319.
by gspr 9mo ago
Algorithmic correctness? Unit tests are great for quickly poking holes in obviously algorithmically incorrect code, but far from good enough to ensure correctness. Passing unit tests is necessary, not sufficient. Syntactic correctness is mo
320.
by gspr 9mo ago
> It's not like testing code is a new thing. Junit is almost 30 years old today. Unit tests check whether code behaves in specific ways. They certainly are useful to weed out bugs and to ensure that changes don't have unintende
321.
by gspr 9mo ago
> Besides, your comment goes by the assumption that we no longer know (intimately) how to program - is that true? I don't know C or assembly or whatever very well, but I'm still a valuable worker because I know other things. Th
322.
by gspr 9mo ago
> Unit tests. Not proof. > Lean. Fantastic. But what proportion of developers are ready to formalize their requirements in Lean? > Typed languages. Even more broadly, compilers. For sufficiently strong type systems, sure! But then
323.
by gspr 9mo ago
> We have automated validation and automated proofs. Example? > Proof is necessary. Do you validate the theorem prover, or trust that it works? Do you prove the compiler is correctly compiling the program (when it matters, you should,
324.
by gspr 9mo ago
And how do you know it did it right?
325.
by gspr 9mo ago
> We also have machines that can perfectly and deterministically check written code for correctness. Please do provide a single example of this preposterous claim.
326.
by gspr 9mo ago
Tutoring – whether AI or human – does not provide the in-depth understanding necessary for validation and long-term maintenance. It can be a very useful step on the way there, but only a step.
327.
by gspr 9mo ago
> Fair question but haven't we been doing this for decades? Very few people know how to write assembly and yet software has proliferated. This is just another abstraction. Not at all. Given any "layperson input", the exper
328.
by gspr 9mo ago
> > how humans are going to maintain and validate the programs written by LLMs if we no longer know (intimately) how to program > Short answer: we wouldn’t be able to. That's a huge problem! A showstopper for many kinds of pro
329.
by gspr 9mo ago
I still really, really, really struggle to see how humans are going to maintain and validate the programs written by LLMs if we no longer know (intimately) how to program. Any thoughts?
330.
by gspr 9mo ago
> I think there is a section of programmer who actually do like the actual typing of letters, numbers and special characters into a computer, and for them, I understand LLMs remove the fun part. I know you didn't mean to, but I thin

More ›