knowknow

no profile record

·6个月前·讨论

Not only that but compiler optimizations are generally based on rigorous mathematical proofs, so that even without testing them you can be pretty sure it will generate equivalent assembly. From the little I know of LLM's, I'm pretty sure no one has figured out what mathematical principles LLM's are generating code from so you cant be sure its going to right aside from testing it.

knowknow

·7个月前·讨论

Keep in mind that Linux doesn’t use the GPL3 and stuck with the GPL2 since the maintainers and Linus Torvalds thought that it was overly restrictive [1]. So at some point the license friction becomes too large to be practical for organizations to use or contribute to.

[1] https://youtu.be/PaKIZ7gJlRU

knowknow

·7个月前·讨论

It seems FreeBSD is becoming more talked about in enthusiast communities simply because Linux is a lot more mainstream now and there’s a joy in contrarianism rather than any real changes with either of the two operating systems.

knowknow

·去年·讨论

You do realize that there are ways to avoid nuclear proliferation without war? The US had a deal with Iran and multiple other countries that made them limit their nuclear capabilities, but the US withdrew from it in 2018.

knowknow

·去年·讨论

Is it considered part of it? From my understanding, the culture has changed significantly and post get auto deleted eventually, so it’s not a good archive either. The only thing old about it is it’s web design

knowknow

·去年·讨论

Speak for yourself, I routinely look at the cdc for health guidelines because it's orders of magnitude better than whatever SEO garbage normally shows up. Also the National Hurricane Center website for updates.

评论