Viewing profile — 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…

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…

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 m…

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-…

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 li…

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 tastefu…

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 pro…

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 supp…

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…

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 l…

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…

"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 demo…

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 ev…

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 a…

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 trus…

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-u…

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 companie…

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 be…

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 earplug…

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 …

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 cle…