That doesn't mean you can hit it too. The only case which I remember was well documented was for a turret gun "controlled by satellite" hit the passenger of a standing vehicle from the back of a truck in front of it (nuclear scientist Mohsen Fakhrizadeh, killed in Tehran in 2020 while his wife, sitting immediately beside him, was unharmed). Also those reports were pretty questionable at the time, there were multiple competing narratives, and I'm not sure the satellite gun story was ever independently verified.
I'm pretty sure that is a mis-characterization of what actually happened: a 3rd party app collected user profile data from FB _through somebody's friend connection_ [1].
The Zuck then apologized for this undocumented API access leak and FB subsequently patched it out of their platform. It had nothing to do with running ads. We shouldn't let time paper over the details here.
I know someone at FB who worked on a project whose entire goal was to use compiler/type checker technology to prevent intentional and unintentional leaking of personal data in FB back-end code. If you can believe that. The project had a fair amount of resources and high-level support.
I don't know if it was a psy-op or deception campaign or what.
I think you're thinking of something else, but they also added "capabilities" to Hack (their main frontend language; it's a PHP fork) to make leaking data between requests or in logs painful.
> But when reflecting on the biggest mistakes of his career, Zuckerberg said his largest one was a “political miscalculation” that he described as a “20-year mistake.” Specifically, he said, he’d taken too much ownership for problems allegedly out of Facebook’s control. “Some of the things they were asserting that we were doing or were responsible for, I don’t actually think we were,” said Zuckerberg. “When it’s a political problem… there are people operating in good faith who are identifying a problem and want something to be fixed, and there are people who are just looking for someone to blame.”
TechCrunch then goes on to blame Zuckerberg by insinuation. As someone who dislikes Facebook and Zuckerberg, I think Big Tech is a rather convenient boogeyman for fallout from the 2016 election & beyond.
There's also the fact that all parties involved benefits from overstating the story. Facebook doesn't hate the reputation that their impact is so powerful as to sway elections. Cambridge Analytica and whatever they turned into has a reference customer like any other. Those who lost the election has an explanation that doesn't involve having to change.
Zuckerberg sounds a bit entitled in that interview. Yes, it was a chore having to appear in the senate and all, but he would probably not hesitate to take that same chance again if he could. As they say, all attention is good attention, and that probably goes double if you personally control the biggest social network on the planet.
Worthless is a pretty good description IMO in the context of what Lean is trying to achieve: "enable correct, maintainable, and formally verified code". Tens of millions of lines of LLM vomit may be many things, but it often turns out to not be correct and certainly not maintainable. Formally verified remains as a thin fig leaf covering the uncomfortable truth that formal methods only provide assurances under assumptions (your toolchain, libraries, compiler, OS, and hardware are "correct" and don't expose some exploitable flaw).
It doesn't mean that it cannot improve over time, maybe the proof can be "minified" to a state where human reviewers are able to comprehend it; but as it stands there isn't really much insight or confidence to be gained from the artifact itself.
I mean they're right, rising oceans will be a drop in the bucket for the majority of us. Unless we act together, human civilization will end through the combination of breakdown of global trade, mass migration due to heat and resource wars, and collapse of our food chain. Ocean levels are just one of the side effects that goes along with rising global temperatures.
Beef production in the US is already down from 30 years ago. At some point you won't be able to raise cows anywhere, less alone feed them. Corn and wheat have seen tremendous fluctuations in the past and will likely continue to fall. Imagine corn yields dropping by more than 80% in the US [1]. Of course MAGA people will probably only notice once the shelves aren't being restocked.
US beef production is actually slightly higher than 30 years ago. What has fallen is the cattle headcount (now the smallest since 1951) but heavier animals have kept total output up. The recent herd shrinkage owes more to drought economics and the normal boom and bust cycle of ranching than to cattle becoming unraisable.
18 months is, by precedent, the limit on contempt for refusal to decrypt[0], but this administration is happy to disregard any precedent that does not agree with them.
Actually no, they are required to allow you to enter the country, but they will make it a hassle, to the point of dehydrating you and/or refusing bathroom access, and confiscate the device in the end and access is through other technical means.
While I tend to agree on the overall sentiment, I think this rebuke is inaccurate. Some of these "reasoning" models are trained using "Chain-of-Thought" where the model is presented explicit, intermediate reasoning steps (either by a human or some automation) that supposedly get it closer to the correct answer. These intermediate steps are what was originally called "thinking traces" - not what the model produces to mimic them.
But yes, anthropomorphizing model outputs leads to worse outcomes.
I've ported it to the browser and connected a squash functionality behind an ethical guardrail (you have to lift a cover to engage this functionality). need to iterate on the ui but will share it soon. you can squash the bug and cause it real pain. it also sees you if you turn your camera on and reacts to your movements. this is all wired up and I'll post it shortly.
Honestly though, framing this as a "tech issue" doesn't help IMHO, it just muddies the water. Ever since RSA was invented privacy has been about educating people on how to use it effectively and _why they should care_. If voters now are choosing authoritarianism over democracy and individual freedom, I think we have to face the reality that after almost 50 years of fighting battle after battle on the technology front, we've largely lost the war on the home front in this regard.
reply