This isn't difficult. H1B was designed by the Reagan-Bush Era @NSF specifically to tamper with the functioning of the free market on behalf of employers of STEM labor. @myles_boylan is its unknown father, theorist and defacto designer. Let's simply shut it down wholesale and pay the damages to our own brilliant people. Long-term Labor Shortages do not exist in market economies like ours. It's a myth. Fake. That's it. It's not more complicated. If we don't know that, we should admit capitalists don't know basic economic theory. And they do. Let's help @JDVance and @PalmerLuckey find the courage to address this evil indvidious abomination of a welfare program with extreme prejudice.

Seeing a lot of growing raw hatred against India, Indians, Hindus, Indian-Americans, etc. for no reason. Would be happy to have anyone who feels that hatred quietly unfollow me. Simple. Clean. Thanks in advance.

I knew cyclists were weak but these mountain bikers are on a a whole other level The moment he shoved its game on

Seeing a lot of growing raw hatred against India, Indians, Hindus, Indian-Americans, etc. for no reason. Would be happy to have anyone who feels that hatred quietly unfollow me. Simple. Clean. Thanks in advance.

This is what awaits the Haitian gangs. Nayib Bukele isn’t playing around.

As a Marine and dad, I’m voting Yes on 9 to keep assault weapons off our streets.

JUST IN: UK police arrest 15 y/o boy, seize his devices, & collect his DNA after he posted photo of a local politician edited to look like a rabbit.

Immigration policy must be driven by the present, not the past, and business leaders are too terrified of the left AND the right to acknowledge this. Recent H1B discourse revolves around a longstanding immigration sleight-of-hand. H1B proponents point to exceptional people who came here decades ago as if they represent the current state of the program in the same way that advocates for low-skill/illegal immigration point to very favorable immigrant crime/welfare/education/etc statistics that do, in truth, have them beating native-born Americans on many fronts. It is all a sham. The world that created those statistics, people, and businesses no longer exists. Brilliant but desperate Vietnamese fathers who fled communism have nothing in common with young men from Honduras, and the crime rates/economic acccomplishments/integration of the former should not be used to justify mass migration of the latter. Nor should the accomplishments of people who managed to get an H1B visa in the 90s (when the program was capped to just 65,000 visas) be used to justify staffing agencies and tech companies using the program to replace American jobs for less money. The obvious abuse going on is politically suicidal and something that even the most ardent supporters of the visa should want to crack down on, no immigration program can possibly survive the obvious and widely known reality of what is going on. I am a longtime outspoken advocate for stealing the best people from other countries to make our own better, runaway abuse of existing programs robs the government of the worker trust required to do so. Lots of people in the tech space know this. Even the dumb people are smart enough to see it. Nobody actually believes these are all incredible people with unique talents performing jobs no American can. Everyone knows the guy in Cubicle Bay 7 doing mediocre but functional web design for half the salary of his American peers is no savant and doesn't meet the statutory requirements for his H-1B visa. Unfortunately, most people with power or profile are terrified that any public statement or acknowledgement will get them attacked by the right (You guys have been screwing over American workers for years with visa abuse, you damn hypocrite!) or the left (You are racist, sexist, misogynist, and sucking up to this fascist administration!). Or, more likely, both. I know too many tech execs in particular who feel trapped, like the only winning move is to stay silent. JD is blowing the whole thing wide open by putting facts and stats front and center that nobody wants to engage with. Critics will talk about anything and everything else but these damning facts and this obvious truth, that H1B visas serve neither their original purpose, legal purpose, invented purpose, or the American people.

New on our Frontier Red Team blog: using Claude to formally verify software at large scale. Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time). With AI models, however, this is beginning to change. In collaboration with @theoremlabs, we used Claude to prove security properties in over one hundred real-world open-source libraries over the span of a few weeks. Read our research in full here: anthropic.com/research/forma…