Readit News logoReadit News
jamienicol commented on Code formatting comes to uv experimentally   pydevtools.com/blog/uv-fo... · Posted by u/tanelpoder
wasabi991011 · 15 days ago
Not really. If you know about uv, you know how to use "uv tool run", so you know how to use any formatter of your choice (which you can find easily on Google, arguably easier than reading the documentation and learning about uv format).
jamienicol · 14 days ago
But I don’t know what the formatter of choice is. Nor do I care what it is. I just want to format my code
jamienicol commented on Zed for Windows: What's Taking So Long?   zed.dev/blog/windows-prog... · Posted by u/janjones
maxbrunsfeld · 16 days ago
The Zed spirit is definitely to prefer a platform native solution.

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.

jamienicol · 16 days ago
Did you consider using wgpu instead of writing a new dx11 renderer? It has metal, vulkan and dx12 backends so could have been used for a single renderer for macOS windows and Linux. (And webgpu in the future)
jamienicol commented on Mozilla to shut down Pocket and Fakespot   support.mozilla.org/en-US... · Posted by u/phantomathkg
thrdbndndn · 3 months ago
His point is about data portability, not service uptime.

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.

jamienicol · 3 months ago
It does include tags
jamienicol commented on Mozilla Firefox – Official GitHub repo   github.com/mozilla-firefo... · Posted by u/thefilmore
chme · 4 months ago
Not a firefox dev, but pretty sure its 'main'

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.

jamienicol · 4 months ago
I am a Firefox developer, and you're spot on. Previously there were separate hg repos for central, beta, release. I think ESRs too. And autoland. Now they're all branches in the same repo, and central is renamed main.

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

jamienicol commented on Mozilla Firefox – Official GitHub repo   github.com/mozilla-firefo... · Posted by u/thefilmore
spookie · 4 months ago
To be fair, most of the its difficulty is realized when you're stuck with a teammate rewriting history. Who, much like anyone anyone doing the same, hasn't bothered reading a book explaining things.
jamienicol · 4 months ago
That problem is solved by preventing forced pushes. Rewriting history locally is encouraged.
jamienicol commented on Zed: High-performance AI Code Editor   zed.dev/blog/fastest-ai-c... · Posted by u/vquemener
andrepd · 4 months ago
Honestly, miss me withy the AI shit. I just want an open-source Sublime Text that has first-class support for LSP.
jamienicol · 4 months ago
You can not use it. I rarely do, but I love zed, it's fast and the LSP (rust and clangd in my case) just work
jamienicol commented on Retro Boy: simple Game Boy emulator written in Rust, can be played on the web   github.com/smparsons/retr... · Posted by u/ingve
ajsnigrutin · 6 months ago
Why does almost every project written in rust have "written in rust" advertised in the title/description?
jamienicol · 6 months ago
Because people are interested in how technology is built, and if they’re interested in rust they might be interested in seeing how it’s used in other projects
jamienicol commented on I kind of killed Mercurial at Mozilla   glandium.org/blog/?p=4346... · Posted by u/sylvestre
grey_earthling · 2 years ago
Switching to Git makes sense, but choosing GitHub is diametrically opposed to what Mozilla claim their principles are — specifically principle 6 of the Mozilla Manifesto: “The effectiveness of the internet as a public resource depends upon interoperability (protocols, data formats, content), innovation and decentralised participation worldwide.”

=> 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.

jamienicol · 2 years ago
> In future it won't be possible to contribute to Firefox without a Microsoft account

What makes you think that?

jamienicol commented on Firefox desktop extensions coming soon for the upcoming Android release   blog.mozilla.org/addons/2... · Posted by u/rc00
donkeybeer · 2 years ago
And their constant user hostile redesigns. Suddenly tabs are floating separately from their pages. And now if a page is playing audio you can no longer see its favicon, etc

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

jamienicol · 2 years ago
you can save as PDF from the "share" menu
jamienicol commented on Save web pages as PDF in Firefox for Android   support.mozilla.org/en-US... · Posted by u/inxode
tmdh · 3 years ago
I am using Firefox in Android, these are some of the issues i am facing:

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

jamienicol · 3 years ago
> 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

Go to settings -> add ons and install "Google search fixer"

u/jamienicol

KarmaCake day364July 20, 2016View Original