staunton

59 ms·

721.
by staunton 3y ago
Indeed, AI reinforcement-learning to deal with formal verification is what I'm looking forward to the most. Unfortunately it seems a very niche endeavour at the moment.
722.
by staunton 3y ago
The reason it's done is to teach students how to think. By writing down their thoughts they are forced to think about a topic. It's the same reason small children are still taught arithmetic although we have calculators. That&#x27
723.
by staunton 3y ago
Writing a dissertation is a completely different kind of thing to graded homework assignments. A dissertation isn't graded, or even if it is, noone cares about the grade. The work in writing a good dissertation is done prior to writing
724.
by staunton 3y ago
Security teams focus on requirements and objectives which are set by far removed entities and at vastly different generality and abstraction levels, often with objectives other than "make sure we and our customers don't get hacked
725.
by staunton 3y ago
There is more to music than harmony and melody. Some styles of music even don't have harmony at all, like Indian classical music. Or have pitch at all, like some African styles of drum music. If modern pop doesn't seem to focus on
726.
by staunton 3y ago
> and if it's not, we can always go back to having governments and corporations I wouldn't be so sure about that...
727.
by staunton 3y ago
I think we can "trust" Putin to keep doing what he's doing. Who knows what GPT-X might do?
728.
by staunton 3y ago
Add every single big company in the world to that list.
729.
by staunton 3y ago
I honestly don't know what you mean. My question was about your view of how cybersecurity works in practice and what role security by obscurity plays in it.
730.
by staunton 3y ago
You're right that the current research system has problems. I would disagree with the claim that these problems are clearly getting worse when looking at it globally and at the scale of decades. On that scale, I would also disagree tha
731.
by staunton 3y ago
I don't think separating these is that relevant here. People get told that certain things are good and right, which they then mostly do, these things have changed over time, I would claim to the better, and this is the claim I'm d
732.
by staunton 3y ago
It used to be common knowledge that a great™ ruler is the one who conquers new lands and kills his enemies, and it used to be common practice to kill or enslave most civilians upon occupying a settlement. These things have changed, wouldn&#
733.
by staunton 3y ago
Who knows if people will get to try it twice. Such a thing might take over the first time and be able to sustain its power indefinitely (until human extinction). I have a lot of hope though that it won't be tried. "It would just f
734.
by staunton 3y ago
It's obviously possible in theory to centrally plan an economy in such a way that it's more efficient than a free market. In practice this is extremely hard and in the few cases where it was attempted it required a huge and extrem
735.
by staunton 4y ago
What's a better and non-naive view? Bonus points if you can explain why it's impossible to develop and sell a link encryptor running OS software.
736.
by staunton 4y ago
Security through obscurity is how pretty much all cybersecurity security works on practice. There are a few publicly known primitives but organizations trusted with implementing actual security systems will go to great lengths to prevent an
737.
by staunton 4y ago
The opposite view of what you criticize is the Stockholm syndromey "documentation is for losers" where you should "just read C-headers for how to interface, or the actual library code to figure out what the library does"
738.
by staunton 4y ago
I would go further and say that nowadays "people should not use C++ anymore". You need a very good reason to start a big new C or C++ project. Half of such projects should "just be Java" (or C#, maybe even Python, Julia
739.
by staunton 4y ago
Indeed, I've had good experiences using Chromium and VSCodium instead, which simply don't include the closed source parts.
740.
by staunton 4y ago
> seriously, how impractical is it for sub-arctic nuclear power plants to convert ocean water into icebergs and... Very impractical, to the point where I wonder if I'm missing some sarcasm in your comment. The amounts of water/
741.
by staunton 4y ago
It looks very simple. Public awareness and pressure will gradually change those incentives and emissions will be reduced significantly. At the same time people are going to adapt to the new environment as best they can and live on. If every
742.
by staunton 4y ago
Trading off security for user convenience is not objectively bad. In fact, it is always a must. The most secure product is no product. Of course, what you really mean is that this tradeoff must be made in such a way that the product is stil
743.
by staunton 4y ago
I really don't think that's necessary. So far there has never been a lack of people willing to commit atrocities when ordered to under the right conditions.
744.
by staunton 4y ago
> how many jobs did it just eliminate? Perhaps all, perhaps none. Tests (e.g. in school) are supposed to filter people. So a good test score in a well-designed test "correlates strongly with the human students' future perform
745.
by staunton 4y ago
Most corporations do not plot to kill or destroy their competition or adversaries using weapons, even if that might be in their economic interest. Only countries do this sometimes. I think this is because corporation don't have enough
746.
by staunton 4y ago
"Life in Life" is actually Conway's game of life... Directly comparable to this, arguably a lot cooler and not a new thing at all. "Incredible" should mean, at least to some extent, you didn't think the thing e
747.
by staunton 4y ago
Why is this incredible? (Do you know "life in life"?) Is it the way the website is built?
748.
by staunton 4y ago
Homeschooling doesn't exist in my country. I hope it works well for you. I know some teachers and strongly believe that they know a lot of things and have skills relevant to teaching children that I do not. So I would never homeschool
749.
by staunton 4y ago
Reading and proving a spec can though. LLMs are in principle capable of doing that. (If your objection is that the spec might have bugs then "bug free" is subjective and nothing at all can ever lead to definitive conclusions about
750.
by staunton 4y ago
It's not that many schools and they stopped the policy again... To my mind, the outrage is somewhat exaggerated. You could call it "outrage fetishism about culture war issues". Also an opportunity for "smart people"

More ›