In fact 5g and all previous standards have a provision for lawful intercept. So your domestic intelligence service and police can always turn it into a listening device.
Curious how this relates to what lean4 is doing, I guess in lean's case some of the data structures are special cased (Array) and there is no easy way to implement such data structures yourself
At some point we will be so tired of distinguishing between AI generated content and human content that we will stop using the Internet and it will be left to bots.
It took cerebras less than a billion to get to where they are now, CPUs are not that hard. You would probably be able to reverse engineer them for ~100 million
I mean in a normal math curriculum you would define only the multiplicative inverse and then there is a separate way to define fraction, if you start out with certain rings. It is kind of surprising to me that they did a lazy definition of division.
One other thing I've observed is that Claude fares much better in a well engineered pre-existing codebase. It adopts to most of the style and has plenty of "positive" examples to follow. It also benefits from the existing test infrastructure. It will still tend to go in infinite loops or introduce bugs and then oscillate between them, but I've found it to be scarily efficient at implement medium sized features in complicated codebases.
Yes, that too, but this particular project was an ancient C++ codebase with extremely tight coupling, manual memory management and very little abstraction.
It will all make sense once you realize who works at the UN, basically nepo babies of all colors and variety, including second cousins of Saudi royalty etc.
One of my family members was a research director at the UN and came from a middle class American family. It has its problems (he certainly has his share of complaints) but the idea that they are all nepo babies is incorrect and they do have serious researchers. Also, are we sure that the $10.5 trillion is a UN generated number? Other people in the comments seem to think it was made up by some other organization.
A relative of mine worked for the UN and interfaced with the UN after they left for a non-profit. Anyone that knows anything about them and also just simply observing what and how they are doing things should have no doubt that it is filled with people that got there by using their connections. And you absolutely constantly run into people that have no business being there other than through nepotism. Btw. I am sure that US staff is less likely to be a total nepo baby, but because the UN "has" to hire from all over the world, most roles are not filled like that.
what is striking to me is how far reasoning by analogy and generalization can get you. some of the deepest theorems are about relating disparate things by analogy.
reply