I think TypeScript can feel like there's too many gaps because not enough people take it seriously enough to truly learn it. Hardly anyone reads a book about best practices/design the way many do about C/Java/Rust.
It's actually a very powerful tool when used thoughtfully. Although it wasn't the first structurally typed language I tried, it's the one that made me fall in love with structural type systems
You use Zod if you want runtime features. I'd say it's pretty industry standard. On the type level there's no reason it couldn't account for any of the examples you pointed out. And since Zod supports all the expressiveness of the actual language, you can certainly have those as runtime checks
I would also just like to point out that the "It Misses" your robot pointed out aren't actually flaws with TypeScript but flaws with JavaScript.
There is no actual regulation in EO 14319. It only covers federal government purchasing and vendor management. No one is required to change the "ideology" of an LLM, although they might not be able to sell it to the government.
That's not accurate. The EO explicitly lays out the implementation
> Sec. 4. Implementation. (a) Within 120 days of the date of this order, the Director of the Office of Management and Budget (OMB), in consultation with the Administrator for Federal Procurement Policy, the Administrator of General Services, and the Director of the Office of Science and Technology Policy, shall issue guidance to agencies to implement section 3 of this order.
A major LLM that did not submit to this would be labeled a "supply chain risk". It's unquestionable that every major LLM would go through this process
It even then goes on to say that existing contracts will be reviewed to ensure they are in compliance (reviewed by OMB)
> (b) Each agency head shall, to the maximum extent consistent with applicable law:
> (i) include in each Federal contract for an LLM entered into following the date of the OMB guidance issued under subsection (a) of this section terms requiring that the procured LLM comply with the Unbiased AI Principles and providing that decommissioning costs shall be charged to the vendor in the event of termination by the agency for the vendor’s noncompliance with the contract following a reasonable period to cure;
> (ii) to the extent practicable and consistent with contract terms, revise existing contracts for LLMs to include the terms specified in subsection (b)(i) of this section; and
> (iii) within 90 days of the OMB guidance issued under subsection (a) of this section, adopt procedures to ensure that LLMs procured by the agency comply with the Unbiased AI Principles.
You seem to be trying to win a technical argument while ignoring the practical implications of the order. But even technically I think you are wrong. Just because it's not passed by Congress doesn't mean it's not "regulation". OMB Memorandum M-26-04[0] is absolutely regulation and was created exactly because of this order.
Other agencies like the NIST (lookup NIST AI Risk Management Framework), the NAIAC (which was created in 2020) are the ones like in charge of:
> Agencies’ development of metrics, methods, and standards to test and measure AI, where such metrics, methods, and standards are for use by the general public or the Government as a whole, rather than to test AI for a particular agency application
Not technically but practically. The decrees are effectively considered law by the executive. Yes, you'll likely win in court later on, but you'll lose your job, get sent to prison, have your bank accounts and vehicle seized, etc., in the meantime.
Legality isn't really of much practical concern anymore. It's about what gets/can be enforced immediately.
What a weird comment. How many private business managers have ever been sent to prison for violating an EO? This particular EO doesn't even mention any criminal penalties.
Does the First Amendment actually let the US government dictate the types of speech you're allowed to put in your LLM? I mean, a US government that's bound by the Constitution, obviously.
While that issue hasn't been specifically tested in court yet, the current interpretation of the First Amendment probably wouldn't allow the US government to dictate the types of speech you're allowed to put in your LLM. But federal government purchasing decisions aren't generally bound by the First Amendment. In other words, government officials can generally refuse to purchase your LLM services if they don't like the speech it outputs. So there's no real constitutional concern with this EO.
I'm not claiming that this EO is sensible or enforceable, just that it's not prima facie unconstitutional.
Might be fair to say it’s setting the tone, though, that if you use “woke” (subjectively defined) ideology in any of your company’s marketing, documentation, or other communications you won’t be considered for government contracts. That’s a major blow for any company given the naked corruption and grift coming from the current admin.
It's not "setting the tone" it says that explicitly and even goes into detail into the implementation of how that is going to be enforced
> Implementation. (a) Within 120 days of the date of this order, the Director of the Office of Management and Budget (OMB), in consultation with the Administrator for Federal Procurement Policy, the Administrator of General Services, and the Director of the Office of Science and Technology Policy, shall issue guidance to agencies to implement section 3 of this order.
They even say they will review existing contracts
> (ii) to the extent practicable and consistent with contract terms, revise existing contracts for LLMs to include the terms specified in subsection (b)(i) of this section; and
> (iii) within 90 days of the OMB guidance issued under subsection (a) of this section, adopt procedures to ensure that LLMs procured by the agency comply with the Unbiased AI Principles.
The specific text reads like a favor to Elon Musk's xAI, since "Truth-seeking" is the buzzword Elon Musk frequently used to talk about Grok:
Sec. 3
Unbiased AI Principles.
It is the policy of the United States to promote the innovation and use of trustworthy AI. To advance that policy, agency heads shall, consistent with applicable law and in consideration
of guidance issued pursuant to section 4 of this order, procure only those LLMs developed in accordance with the following two principles (Unbiased AI Principles):
(a) Truth-seeking. LLMs shall be truthful in responding to user prompts seeking factual information or analysis. LLMs shall prioritize historical accuracy, scientific inquiry, and objectivity, and shall acknowledge uncertainty where reliable information is incomplete or contradictory.
(b) Ideological Neutrality. LLMs shall be neutral, nonpartisan tools that do not manipulate responses in favor of ideological dogmas such as DEI. Developers shall not intentionally encode partisan or ideological judgments into an LLM's outputs unless those judgments are prompted by or otherwise readily accessible to the end user.
> No one is required to change the "ideology" of an LLM, although they might not be able to sell it to the government.
It takes hundreds of millions of dollars to train a model. If a large customers, the government, says they won't buy it if it doesn't adhere to a set of standards, no one is "required" to change, but it's a pretty heavy hand on the lever. It's like having a job. No one is "required" to have a job, but having one gets you money, and having money is pretty important to modern life.
So what? No business has a legal right to sell their products to the government. The LLM vendors should probably find cheaper, more efficient ways to train their models rather than depending on government contracts. If your business lives or dies based on a single large customer then you don't have a viable business in the first place.
Yeah, the order itself seems like a fairly reasonable response to Mythos level capabilities. It does solve one problem of the frontier labs, which is safely coordinating releases without hitting antitrust regulations. It also makes a bigger moat for incumbents.
That 1967 documentary highlights lichen and clumps of grass growing there. I imagine the soil ecology has been devastated and failed to regenerate which is why larger plants like trees haven't been able to return
I don't know how deeply you read into it, but people pointed out that Claude rewrote the entire testing stack in Python. Worse than that but it rolled its own unique framework. Every test file will randomly redefine its own `_run_and_capture` function
How could we even check if either human or robot code is working properly if we're not even sure the test suite works?
Also, another user[1] compiled a nonexhaustive list of 7 issues they found introduced because of the changes.
If the 7 issues three are the same underlying issue. Another two at least relate to the same commit and probably the same underlying code. One is not related to a Claude assisted commit. That leaves three that are.
Adding that to the two in the issues further up, that makes a total of five bugs in AI assisted commits.
I'm not sure how partisan it is but it's certainly politicized. Regular people also weren't the ones that politicized it. These AI companies knew the risks they were taking on when they donated to Trump, bought out local city boards, heavily invested in lobbying campaigns, etc. They are betting that the federal government will protect them from the consequences of their meddling by positioning themselves as a geopolitical priority. Claude has already been used to plan and prioritize targets in Iran
> As planning for a potential strike in Iran was underway, Maven, powered by Claude, suggested hundreds of targets, issued precise location coordinates, and prioritized those targets according to importance, said two of the people. The pairing of Maven and Claude has created a tool that is speeding the pace of the campaign, reducing Iran’s ability to counterstrike and turning weeks-long battle planning into real-time operations, said one of the people. The AI tools also evaluate a strike after it is initiated, the person said.
> The Pentagon began to integrate Anthropic’s Claude chatbot into Maven in late 2024, according to public announcements. The system has been used to generate proposed targets, to track logistics and provide summaries of intelligence coming in from the field. The Trump administration has vastly expanded the use of Maven into many other parts of the military, with over 20,000 military personnel using it as of last May.
reply