Readit NewsAI is unreliable as it is. It might make formal verification a bit less work intensive but the last possible place anyone would want the AI hallucinations are in verification.
Sure, formal verification might give stronger guarantees about various levels of the stack, but I don’t think most of us care about having such strong guarantees now and I don’t think AI really introduces a need for new guarantees at that level.
Honestly that's what people watch the news for. What are external factors that they were previously unaware of that might impact their lives (or weekends)? Most (not all) people are aware of the dangers posed by heart disease. They're not watching the news to learn about something they're already aware of.
I might be beating this horse to a second death, but there's a section of road near where I live that's dangerous, and we all know it's dangerous. It's not newsworthy. If another section of road collapsed and introduced a new danger, then that's newsworthy. News is newsworthy because it's new and unfamiliar. If something is reported on that's old and unfamiliar, then that's a documentary. If it's new and familiar, then that's a paradox. Or maybe a fun anecdote at a party.
Clearly not enough people know it’s dangerous or how dangerous it is, or one of them would do something about it
Our current world is build on top of open source projects. This is possible because there are a lot of free resources to learn to code so anyone from anywhere in the world can learn and make a great piece of software.
I just hope the same will happen with the AI/LLM wave.
I also worry that as we rely on LLMs more and more, we will stop producing the kind of tutorials and other content aimed at beginners that makes it so easy to pick up programming the manual way.
[0] https://www.backupbatterypower.com/products/516-kwh-industri...
[1] https://www.ankersolix.com/products/535?variant=497024349310...
Right now all the imports are getting resolved at runtime example in a code like below
from file1 import function1
If lazy imports suddenly defer execution, those side effects won’t run until much later (or not at all, if the code path isn’t hit). That shift in timing could easily break existing code that depends on import-time behavior.
To avoid using lazy, this there is also a proposal of adding the modules you want to load lazily to a global `__lazy_modules__` variable.
But I don’t think I really agree, the extensible annotation syntaxes they mention always feel clunky and awkward to me. For a first-party language feature (especially used as often as this will be), I think dedicated syntax seems right.
The people worst off are Federal contractors. They are effectively unemployed during these periods. Many actual employees, like me in previous shutdowns, are essentially on irregular paid time off. In theory it is unpaid, but it is always retroactively paid in practice and everyone knows this. People that are “critical” kind of get a raw deal because they still have to work while people deemed less essential don’t have to work.
It is unfortunate that it happens but I wouldn’t get overly caught up in the theater of it all.
Point being, it's a commercial subverting the Internet from inside, reshaping it to better serve the interests of commerce. It is indeed protection, but it's accomplished by reducing variance. 99% of legitimate commerce on the Internet follows the same patterns, use a small subset of possibilities offered by the technology - so why not just block the remaining 1% that doesn't fit and call it a day? It will stop most of the threats to running businesses on the Internet. The 1% of legitimate commerce that doesn't fit the pattern? It's not being ignored per se, just pressured to adapt and conform to the majority.
What is being ignored is that the Internet is not just a place of commerce, and non-commercial use cases, ideas such as empowering people to better their lives, are gradually becoming impossible, as fundamental Internet infrastructure becomes inhospitable for them.
Some of us still remember the Internet being more than just a virtual mall, and are unhappy about it gradually becoming one. And it's not like CloudFlare, et al. are hostile to non-commercial interests as a matter of principle - it's just out of scope for them.
People don't verify those because it's hard, not for lack of value.