rf15
Joined 1,490 karma
_ A _
| / \ |- Isn't formal verification a "just write it twice" approach with different languages? (and different logical constraints on the way you write the languages)
- You should not have mercy on someone who repeatedly ignores all warnings without thinking and then hurts themselves in the way the warnings promised. At that point you are on your very own.
- It feels like LLMs are specifically laser targeting the "never learn" mindset, with a promise of leaving skill and knowledge to a machine. (people like that don't even pause to think why they would be needed in the loop at all if that were the case)
- Who has time for reading? Audio content at least allows you to absorb information while your hands and eyes can be busy with other things: cleaning, driving, etc.
Besides, teaching videos and also books often share a common weakness: low information density. Youtubers and Authors both like to talk so damn much without saying anything. Give me a good story or documentation catalogue any day, but stop mixing the two.
- Art is often its own reward.
- Depends on the country; US, probably not. Many european countries, probably yes. Asia? Your gov will ask you why you would bother them with a stupid and meaningless question like that in the first place.
- at least they are honest? Also "thanks for the tape backup idea anyway"
- Ad hominem right out of the gate? Really?
- This sounds like their medicine might be worse than what they're currently doing...
- A reminder: if the AI is doing all the work you demand of it correctly on this abstraction level, you are no longer needed in the loop.
- I've used AI assitance in coding for a year before I quit. The hardest part was a day when the services where unexpectedly down, and working felt like I was amputated in some way. Nothing works, my usual movement does not produce code. That day I realised these AI integrations take away my knowledge and skill of the matter and is just maximising the easiest and fastest part of software development: writing code.
- I don't understand this view (although I hear it often enough): isn't it commonly accepted that the brain and its resulting mind is extremy modular, with all components (trying to) play together?
- But it's an interpretation of what's happening with ZorinOS - isn't that original content?
- It's not gonna happen like that, because all the paths leading to it cannot be financially exploited.
Also what a shortsighted scifi book, yet techies readily invest in that particular fantasy because it's not your usual spaceship fare.
- You would still need to provide extra logic/data to do dispersion/refraction curves for materials, it's hardly "for free"
- > due to the mlibc code using the char value from the format string, the values above 127 passed by OpenJDK would be handled as negative integers
It's 2025 and I still don't get why Java needed signed chars and bytes. Why completely disregard the convenience of using them for array access/etc..
- Roblox is strung up in its own closed and exploited ecosystem, so hopefully no.
- Had to learn FreeCAD last week, and yes, what an embarrassment. For my current work (cnc) you can't really get anywhere without the third-party lib OCL, which they just... fully interface with, but you still have to integrate/install manually? I generally agree with the observation that the developers care too little for quality or usability, considering e.g. the logs constantly throw python errors in your face.
Edit: oh, it was even worse before? I hope they keep going in this direction then
For those not in the know: they're unreliable to the point of uselessness and the US Government is somehow really enamoured with the fantasy of mind-reading and lie-detection. But what can you do when the government agencies suffer from chuunibyou?