This account is a replica from Hacker News. Its author can't see your replies. If you find this service useful, please consider supporting us via our Patreon.
| Official | https:// |
| Support this service | https://www.patreon.com/birddotmakeup |
wk_end
- 0 Followers
- 0 Following
- 4 Posts
This account is a replica from Hacker News. Its author can't see your replies. If you find this service useful, please consider supporting us via our Patreon.
Lean doesn’t have any kind of substructural typing, does it? At a glance it looks like you need to manually (lexically) rebind the socket at each step in the operation, and there’s nothing stopping you from holding onto a socket in a now-invalid state and making mess of things, right?
Also, boo AI slop. If you’re going to use AI to help write your technical blog posts please please please edit out all the “No X. No Y. Just pure Z.” marketing-speak.
"Liability" isn't really how we try to see things in aviation. While it's true that it's ultimately considered the responsibility of the truck/plane to visually confirm that crossing the runway is safe, refuse unsafe commands from ATC, and comply to the best of their ability when ATC says "stop" at the last second, we can't stop our analysis there if we want to prevent this from happening in the future, because unless things change someone will make this mistake again in the future. Telling people not to make mistakes isn't going to help at all; it's obvious, and no one wants to cause an accident. The error is just the last step in the process that led to the collision.
The NTSB - and aviation in general - as much as possible tries to avoid "pinning" issues on individuals. The purpose of an investigation isn't to ascribe blame, it's to try to understand what happened and how to prevent it from happening again, and prescribing "don't make mistakes" is not a realistic or useful method for preventing accidents from recurring.
Managers everywhere love the idea of AI because it means they can replace expensive and inefficient human workers with cheap automation.
Among actual people (i.e. not managers) there seems to be a bit of a generation gap - my younger friends (Gen Z) are almost disturbingly enthusiastic about entrusting their every thought and action to ChatGPT; my older friends (young millennials and up) find it odious.