Plutus, Haskell, Nix, Purescript, Swift/Kotlin. laser-focused on FP: formality, purity, and totality; repulsed by pragmatic, unsafe, “move fast and break things” approaches
AC24 1DE5 AE92 3B37 E584 02BA AAF9 795E 393B 4DA0
7 Posts
180 Comments
Joined 1 year ago
Cake day: June 17th, 2023
You are not logged in. If you use a Fediverse account that is able to follow users, you can follow this user.
Honestly, it’s more likely that they want to ban it because it allows China to manipulate the narrative in the US in ways that only Facebook, etc were able to in years past.
I love it when free market capitalists get a taste of their own “let people vote with their wallets, regulation be damned” medicine. The young generations are being radicalized against the US’s propaganda system and there’s not a goddamned thing our piece of shit Patriot Act-signing, civil-rights-eroding propagandistic demagogues can do about it (short of an outright ban).
I’m betting we could use and alter that flake file to achieve something to that effect. It would be a game-changer for me. I currently do the whole eval thing to test my changes and it takes FOREVER to know if I’ve done something dumb.
A California tech entrepreneur is paying more than half a million dollars for Super Bowl ads criticizing Tesla for not disabling its Autopilot technology outside the conditions for which it was designed, a problem highlighted by a Washington Post investigation this past fall and later cited in a recall of virtually every U.S. Tesla equipped with Autopilot, around 2 million vehicles.
It’s the second consecutive year Tesla critic Dan O’Dowd has run an ad campaign on television’s biggest night. He leads the Dawn Project, a group that has sought a ban on Tesla’s driver-assistance technology. The latest campaign is unequivocal: “Boycott Tesla,” it says, following footage of deadly and severe crashes involving its vehicles. One ad features footage of Teslas running over child-size mannequins, depictions that have previously led Tesla to issue a cease-and-desist letter.
O’Dowd said he was compelled to bring awareness to the latest issue with what he calls “the most incompetent software I’ve ever seen” in part by The Post’s investigation. O’Dowd founded Green Hills Software, which makes operating systems for cars and airplanes.
“What possible reason is there that they don’t disable Autopilot on roads that they say are not safe?” he asked of Tesla.
Tesla and its chief executive, Elon Musk, did not respond to a request for comment. Musk’s followers have accused O’Dowd of a conflict of interest because one of Green Hills Software’s customers is Mobileye, which develops driver-assistance software. O’Dowd says his motivation stems purely from concerns over Tesla’s tech.
Tesla maintains that its software is intended to be used by a fully attentive driver and argues that it is “morally indefensible not to make these systems available to a wider set of consumers,” citing figures it says show a lower prevalence of crashes when its software is activated.
“The people would have it banned if they only knew the truth, if they only understood what it would do,” O’Dowd said. “Well, that’s our job. The politicians aren’t going to move until the public moves.”
The two ads highlight three significant crashes alleged to have involved Autopilot. In one, a 17-year-old was severely injured when a Tesla struck him at 45 mph as he disembarked a school bus in North Carolina that had its stop sign out and warning lights flashing. “Still Tesla does nothing,” the ad concludes. “Boycott Tesla to keep your kids safe.”
The ad makes reference to prior Dawn Project videos depicting the alleged failure of Teslas to react to child-size mannequins in the road — including last year’s Super Bowl commercial, which aired weeks before the North Carolina crash.
The other ad set to air during this year’s game shows the crash that killed a 50-year-old father in 2019 when his Tesla drove under a semi-truck trailer and the moment a Tesla blew through a stop sign and blinking lights on a rural Florida road as it barreled toward a parked vehicle and flung a young couple into the air, killing one of them and leaving the other severely injured — footage first published by The Post. In both cases, Autopilot was operating in locations where it was not intended to be used.
“Tesla dances away from liability in Autopilot crashes by pointing to a note buried deep in the owner’s manual that says Autopilot is only safe on freeways,” the commercial opens, pointing to federal pleas to restrict it.
“Shockingly, Tesla refused,” the commercial continues, leading into footage of the semi-truck crash and the crash involving the young couple. “This caused many tragic accidents when Autopilot was enabled on roads where Tesla knows it isn’t safe. Tesla must be held accountable. Boycott Tesla to keep your family safe.”
O’Dowd’s group said the ads are airing in D.C., California, Delaware and Michigan.
Musk took last year’s Super Bowl attention in stride. “This will greatly increase public awareness that a Tesla can drive itself (supervised for now)” he tweeted about last year’s ad.
The company is facing concerns over stagnating revenue, mounting worries about its capacity to deliver long-promised “Full Self-Driving” technology, and Wall Street hand-wringing over the persistent distraction of its mercurial CEO. It has shed billions in value, down around 15 percent just in the past month.
Musk has asked for a larger stake in the company as a condition for “growing Tesla to be a leader in AI & robotics,” saying that without 25 percent control he “would prefer to build products outside of Tesla.” But some investors have not given the idea a warm reception. In January, a Delaware judge ruled that an unprecedented $56 billion pay package awarded to him in 2018 was unfair.
Iran (1953) - The CIA, in a covert operation known as Operation Ajax, played a key role in the overthrow of Prime Minister Mohammad Mossadegh and the consolidation of power by Shah Mohammad Reza Pahlavi. This was motivated by concerns over Mossadegh’s nationalization of the oil industry and potential Soviet influence.
Iraq (1963) - The U.S. is reported to have supported the Ba’ath Party’s coup against the government of General Abdul Karim Qasim, who had earlier taken power in a 1958 coup. The U.S. had concerns over Qasim’s communist ties and his stance on oil concessions.
Iraq (2003) - The U.S. led an invasion of Iraq under the pretext of eliminating weapons of mass destruction (WMDs) and ending Saddam Hussein’s rule. This resulted in the overthrow of Saddam Hussein’s government and a long period of military occupation and instability.
Afghanistan (2001) - Though not traditionally considered part of the Middle East but rather South Asia or Central Asia, the U.S. led an invasion to overthrow the Taliban regime in response to the September 11 attacks. The aim was to eliminate al-Qaeda’s base of operations and bring the Taliban’s rule to an end. We then held a sham election and installed our puppet.
Libya (2011) - While not a direct regime change, the U.S. participated in NATO-led military intervention in Libya during the civil war, which ultimately led to the overthrow of Muammar Gaddafi’s government. We then held a sham election and installed our puppet.
Syria (Support to opposition groups since 2011) - The U.S. has provided various forms of support to opposition groups in Syria during the Syrian Civil War, aiming to pressure President Bashar al-Assad’s regime. However, this has not resulted in a direct regime change….yet!
Wikipedia has even more information…and that’s not even all of it.
If you’ve ever read “Confessions of an Economic Hitman” you’d know that this is the MO of our CIA which is nothing more than the bullies behind the World Bank. We are in the business of capturing countries in debt with the World Bank…and if they refuse to deal, we send in our CIA and install someone who will. We have puppet governments ALL OVER THE WORLD. In fact, there are probably fewer governments that aren’t under our control than are…as evidenced by how few nations came forward to call out the GENOCIDE happening in Palestine.
As far as npm and Purescript goes: I don’t interact with npm when I use it. I use nix and nixpkgs to build it which pulls packages from a predefined, fixed package set inside of Pursuit (Purescript’s package manager that feels a whole lot like Stackage). I suppose if I wanted to use it in the real world, I’d probably have to expose myself to some npm. But, from my cursory understanding and experience, it is probably less tainted by the safety issues in the npm than straight up JavaScript. Packages in Pursuit (particularly the ones exposed in the standard package set I use) tend to be super high quality code like the modules you’d find in GHC.
I’m confused why everyone sleeps on Purescript. I mean, it is currently QUITE obscure… I could be wrong but I feel like Purescript has all of the same goals as Elm but better.
AFAIK, Halogen for Purescript is about as FP as it gets in the front-end world. It’s pretty complicated but Halogen takes advantage of “free monads”. Perhaps you are looking for something even more rigorous since you mentioned Idris but I figured I’d mention that one.
I’m learning it now and it has not been easy.
I tried to port a simple vanilla JavaScript dynamic draggable table over to Halogen and it has not been fun at all. I got 80% of the way there then started to have to reach for FFI, unsafeCoerce, or build my own Purescript module to capture mousevents.
Speak of the devil, here’s Netanyahu channeling the villain from Captain America: Winter Soldier in a now deleted tweet.
The weak crumble, are slaughtered and are erased from history while the strong, for good or for ill, survive. The strong are respected, and alliances are made with the strong, and in the end peace is made with the strong.
Our CIA is to blame for sabotaging Iran’s government (by installing a dictator) which threatened our oil monopoly. Then a few decades later, we get to pretend that Iran did it to themselves.
The Middle East was an incredibly advanced and educated part of the world before our CIA and NATO allies intentionally installed dictators everywhere.
292·9 months ago
1·9 months ago
Honestly, it’s more likely that they want to ban it because it allows China to manipulate the narrative in the US in ways that only Facebook, etc were able to in years past.
I love it when free market capitalists get a taste of their own “let people vote with their wallets, regulation be damned” medicine. The young generations are being radicalized against the US’s propaganda system and there’s not a goddamned thing our piece of shit Patriot Act-signing, civil-rights-eroding propagandistic demagogues can do about it (short of an outright ban).