kettlecorn

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.

If you pair LLMs/AIs like Claude with a formal verification framework you essentially have a new sort of compiler.

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.

Yes it's only relatively recently that US politics has taken a turn towards being more defensive and protectionist.

The tech industry along with US foreign policy has become much more zero-sum in its ideology in recent years, and I think that's a tremendous mistake.

That's not accurate. I Googled for a recent performance benchmark and found this which indicates Wasm offers a notable performance gain: https://medium.com/@hashbyt/webassembly-vs-javascript-perfor...

WebAssembly is used in all sorts of ways.

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.

See the comment in the Rust source here: https://github.com/rust-lang/rust/blob/77a4fb62f70c6ea05e182...

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.

Also not a lawyer.

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.

What do you feel is immature in the WASM ecosystem right now?

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.

A problem is that most municipalities require excessively wide streets with on street parking for any new developments.

Japan-width streets, despite their increased safety & land-use efficiency, are prohibited most places.

I'm not sure they really feel significant guilt.

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.

It often seems like the contemporary American "conservative" feels that in order to oppose progressives they must become regressives.

Side note: OP's account is named "Philadelphia" and this appears to be the first Philly related thing they've posted since 2013.

I'm not a fan of this "us vs. them" framing.

Arguably the greatest threats to the US's future is ourselves. If we fundamentally corrupt who we are as a nation we've already lost before the competition with rivals has even begun.

Our significant tech advances could become tools of our own downfall if they violate our values or undermine the social mobility of the American dream.

Frankly I think the people pushing this competitive mindset (particularly against the EU) are trying to mislead otherwise intelligent builder-sorts to not pay attention to the looting & destruction of American values.

I developed tinnitus a year ago (I'm in my early 30s). I was living in an environment where it was noisy in the morning so I took to wearing sound cancelling headphones and earplugs to sleep.

A few weeks into it I noticed a persistent ringing and I thought it was some sort of electrical wine in an old house. A week later I realized it was permanent so I cut out my sound cancelling sleep routine, but the tinnitus has stayed.

Obviously it's a subjective discussion but it's still a meaningful subjective discussion.

I was deeply into Microsoft products for a while. I got my start coding an indie game for the Xbox, I spent years using Windows Phone and developing an app for the platform, I interned at Microsoft twice and then later worked there as a software engineer for a period.

While there I did my best to improve the product I worked on, and I went beyond what most engineers do when thinking about product quality. I would gently and politely email other product teams with bugs or minor product issues that I felt were low hanging fruit. On my own team I was often one of the stronger advocates for the user and for product quality, and sometimes I got pushback for it.

My opinion about Microsoft's product culture is not formed lightly.

I don't believe Apple is faultless, but I think they demonstrate far more awareness of how their product decisions accrue to a lasting brand. It's not just marketing spin, it's real actionable decisions over decades that accrue to brand perception.

Apple certainly puts out experiences that leave much to be improved but to be pedantic the word 'subpar' implies below the 'par'. If 'par' is set by Microsoft then Apple easily clears it.

Nowadays Chromebooks offer more design competition for Apple, and even historically Linux distros have had more ideas for Apple to learn from than Microsoft.

Apple's UX quality, design focus, and respect for its customers is higher quality and more consistent than Microsoft's.

Apple is also imperfect and I feel leaves tremendous room to do better, but they are still much better than Microsoft.

Take one topic: UI refactorings. Apple has rolled out disruptive UI refactorings but they've also rolled them out consistently across products and throughout their software.

Microsoft did not have the internal leadership discipline or commitment to design to ever get their products in alignment around a design language. It is common on Windows that the included software all uses different design toolkits and design paradigms. For years Windows was infamous for having multiple ways to configure even common settings, often requiring falling back to the old version, because they were not able to ship a unified UX.

Microsoft routinely has 'UX design scandals' of various sorts with dark patterns forcing Microsoft's preference on users. Apple has those as well, but far less often.

At this point I think few people really will care about that spec difference.

The accumulated brand trust of Apple, and the negative brand trust of Microsoft outweighs the numbers.

Even many technically savvy people believe Apple can deliver a higher quality computing experience with 8GB of RAM than Microsoft can with 16GB, and they're often correct.

Microsoft has for short periods in its history put out good UX and design, but fundamentally the company doesn't defend taste and design.

The company treats good design almost like a marketing expense only worth doing if it creates short term brand perception changes. Throughout its history it's had moments of great design when a particular leader creates a culture that promotes it, but inevitably someone higher up rotates out that leader and the culture resets.

That has been the pattern with Windows, Zune / Windows Phone, Xbox, Surface, and many other consumer facing products.

Canada is another option. Canada has significant AI research institutes going back decades ( https://en.wikipedia.org/wiki/Mila_(research_institute) ) that have produced much of the foundational research that backs today's AI models.

For Americans and international researchers it's easy to get visas there quickly. It's not far at all for Americans to relocate to or visit. Electricity is cheap and clean. Canada has the most college educated adults per capita. The country's commitment to liberalism, and free markets, is also seeming more steadfast than the US at this point in time.

Canada faces obstacles with its much smaller VC ecosystem, its smaller domestic market, and the threat of US economic aggression. Canada's recent trade deals are likely to help there.

I say this all as an American who is loyal to American values first and foremost. If the US wants to move away from its core values I hope other countries, like Canada or the EU, can carry on as successful examples for the US to eventually return to.

This is far too nihilist.

Obama and Biden both led to meaningful policy improvements and they were far more stable than the current admin.