You're right that we may be able to get rid of our WGSL implementation, and instead use the HLSL one via SPIR-V. But also, at some point we plan to port Zed to run in a web browser, and will likely build on WebGPU, where WGSL is the native shading language. Honestly, we don't change our graphics primitives that frequently, so the cost of having the three implementations going forward isn't that terrible. We definitely would not use MoltenVK on macOS, vs just using Metal directly.
Good point that we should publish a symbol server.
This export feature is outright bad, worse than the industry standard by a mile. Why wouldn't it include something as basic as tags? It just forces users to write their own scripts, wasting time for everyone involved.
The "new" git default branch name is 'main' and 'autoland' existed before next to 'mozilla-central' and is the one where commits usually appear first.
Commits land in autoland and get backed out if they cause test failures. That's merged to main ~twice per day when CI is happy
=> https://www.mozilla.org/en-GB/about/manifesto/
In future it won't be possible to contribute to Firefox without a Microsoft account. If Microsoft decide to close your account (which they're entitled to do — they own the website), you can't participate.
Mozilla were one of the few hold-outs against this particular attempted monopoly. Again, Mozilla makes a short-termist decision that makes sense for a Silicon Valley lifestyle brand, but makes no sense for an independent mission-driven public-service community project.
They're an untrustworthy upstream.
What makes you think that?
Speaking of mobile firefox where did Save as PDF vanish and why? and so on
edit: I have been told in a reply the save pdf feature still exists but has been changed for no reason to a different location in the menu
- Scrolling is slow on multiple sites like raycast.com
- The UI doesn't feel home for me, at least it has dark mode on Android 9 (my phone doesnt get updates)
- Tapping new tab doesn't actually create a new tab, instead asks for a URL
- Searching for World cup matches in google only shows the goal score, I guess it's a google search issue, but in chrome I get detailed scorecards
- Tab list view feels janky, why does it automatically switch to another tab, even though I am not closing the current tab? (this happens sometimes)
I will keep using Firefox because Chrome bad.
Go to settings -> add ons and install "Google search fixer"