funnybeam
Joined 7 years ago
Joined 7 years ago
I know there is some kind of mathematical proof that can be done to show the correctness of some software, but is that universally applicable or only in certain situations?
Would love to hear opinions on this from some one more knowledgeable in this area, as the “finite number of bugs” is a statement I’ve heard a lot lately and I’m not sure if it’s actually justified or not
LLMs do not hallucinate sometimes, everything they produce is an hallucination, that’s how they work and what makes them useful
Quite an odd name choice by Apple
I tend to think that i don’t have time to do the things i want to do outside of work, but on the rare occasions when i managed to put my phone aside for a couple of weeks I find I have more time than i know what to do with.
Everyone’s situation is different obviously, but personally “I don’t have time” is completely untrue
You might as well publish the prompt you were going to give to the writer and have the ai reader consume that directly.
Assuming you think any of this is a good idea of course. Personally I wouldn’t trust ai to interpret release notes for anything that i cared about
Weekly longbow practice was even a legal requirement for most English men to ensure there were enough skilled archers.
The crossbow was the weapon that allowed an untrained peasant to kill an armoured knight and was widely illegal for that reason
I’ve been fighting this for the last couple of weeks but it just doesn’t stick