I expect in the future it will become hybrid. Formal specs provide guardrails for LLMs / AI but within those guards LLMs will author traditional compiler programs and at times drop-down to manually compile / prove certain snippets.
Could we describe the first humans manually writing Assembly and their own higher level abstractions as "compilers"? Loosely I think we could, and LLMs fit the same mold.
I don't think this is accurate. AI is driving the cost of software towards 0 and these AI models themselves are software.
Releasing the models for free accelerates the trend but if you're a startup that needs leverage it's a good way to build brand and customer momentum that will be relevant in the more established future market.
I can see an American company taking on the same strategy, and in fact Thinking Machines based out of San Francisco did that just a few days ago by releasing their first model with open weights.
It's used heavily by major web apps like Figma, it's used to run non-Javascript languages on Cloudflare Workers, many compute-heavy web libraries rely on Wasm modules, many web games rely on Wasm, it's used for safe plugins in some native apps like Microsoft Flight Simulator, amongst other use cases.
I agree with that, but I don't think it's incompatible with my observation.
Apple has often in the past positioned itself as an aspirational product for those who aim to be tasteful, talented, beautiful and wealthy.
The risk of becoming too disconnected from reality is that the typical person may stop aspiring to the sort of rich-person reality Apple presents. Think of how many of the symbols of wealth of prior generations, like fine tableware, were rejected by younger generations.
In a time where people are increasingly disillusioned with the tech industry & billionaires the imagery Apple puts forward of a literally siloed utopian ultra wealthy landscape probably does rub people the wrong way, at least at a subconscious level.
In the past Apple has been pretty good at anticipating and responding to shifting cultural dynamics. I wonder if they'll recognize and adjust?
Yes that first sentence is correct and that's an unfortunate side effect. The Rust ecosystem eventually needs to evolve its multithreaded Wasm approach. Atomics are still only supported on Nightly Rust but it's been that way for 7+ years now.
And yes you're right again it's only in the allocator.
I am unfamiliar with this project and only skimmed this post but if this uses Rust for the main binary blob it should be possible to have the main thread blob shared with the other threads even with the blocking.
The blog post cites the concern that malloc could block, however when Rust's standard library is compiled with support for atomics enabled the Rust allocator's locking implementation busy loops instead of waiting on the main thread.
This means that if care is taken to avoid any other code that makes the main thread wait it should be possible to use a single shared binary instead of the more convoluted approach presented in the blog post.
The green card process can take 9 to 20 months and applying for a green card demonstrates an intent to immigrate so it's highly likely attempts to return on other temporary visas like a student visa will be denied.
So they likely have to wait out the green card process abroad unless they secure a dual-intent visa like an H-1B.
There's also 75 countries that the US has shut down consular processing for so those people may be locked out getting a green card entirely.
I believe the issue with what you're describing is that if you're on a temporary visa, like a student visa, applying for a green card shows intent of immigration so you cannot return to the US on a student visa.
If you have an H-1B already you may be able to do what you're describing. If you're a recent grad in the US this basically locks you out of trying to get a green card until you've already secured an H-1B.
"This is not something done to us by leadership. This is a democracy; we voted for this."
In many ways the current evils of the US are abusing the ways our government is least democratic.
The way the Senate and the electoral college weakens the power of some votes, the checks of Congress on the executive branch, and the appointment system of the Supreme Court all relied on political norms to confer stability. Those norms are being broken in favor of raw political power which is undermining the checks & balances fundamental to our country.
In few other stable democracies would such slim electoral victories result in such sweeping power. Our nation has relied on norms and civility for its stability as much as law, and discarding those makes our democracy substantially worse.
Trump received 49.8% of the vote, 1.5% more than Harris, and his power and ability to engage in corruption is virtually unchecked. In other countries with stronger democratic systems he would be forced to compromise to attain a stronger majority.
I have wondered if a pseudo-social / pseudo-technical solution of some sort of trust graph could help.
Like you would say who you think is credible and human. An algorithm would evaluate trust on your behalf and it would look to the people you trust, and then who they trust, and so on and assign scores to people. Distrust, or even other observations, could percolate in a similar way.
Then on social networks, or some sort of small-web, new users would need to find other people to vouch for them to establish trust. When viewing websites or social media posts the trust score of users could be shown alongside content, and used to filter feeds / visibility. A troll or bot could rather rapidly get picked up by a network of distrust so they could be filtered out quickly.
The algorithms and details of such a thing are fuzzy to me, and I think a lot of care and thought would be needed to try to ensure it doesn't collapse under subtle flaws with time.
I think your comment can be split into two questions:
1. Games derive some appeal from their intentionality and hand-crafted nature. Will these less-intentional experiences be as appealing?
2. Can these less-intentional tools still be used to create intentional designs?
On that first point I think it's important to remember that the lineage of video games comes from board & card games and sports. There's always been an ability to inject more complexity and less-intentionality into those things. Sports in some ways are like a simplified and altered role-play of war battles, and more realistic war roleplaying does exist but it has less appeal.
As humans we like solving things and noticing patterns and the intentionality of games taps into that appeal.
On the latter point I do think these world models will eventually be used to meaningfully contribute to building games. I think people will have to find new ways to design that balances intentionality against the freeform nature of these simulations, but it may take a while to have the capability to do so.
The US also profited an exceptional amount from selling arms & software to Europe, far more than the US was spending on military aid to Europe, which was largely contingent on trust and friendly terms.
Over a decade or so the US is on course to lose far more than it's saving with these changing politics.
I think they're reflexive people and for Andreessen the long period where he was massively invested in the shadiest crypto companies required pushing a culture of conformity.
A lot of Andreessen's investments were essentially pyramid schemes and the greatest threat to those investments was intellectual honesty & introspection.
Under that pressure from him and others a lot of the tech world shifted towards being more tribal. We saw a huge shift away from intellectual honesty and critiquing actions & ideas on their merits to instead a culture of fiercely defending founders and relentless hype.
I also believe that's why they shifted towards the political rightwing, because the more tribalist approach is presently rewarded on that side.
Could we describe the first humans manually writing Assembly and their own higher level abstractions as "compilers"? Loosely I think we could, and LLMs fit the same mold.