tjoff

40 ms·

601.
by tjoff 3y ago
You don't get those features because the OCaml LSP doesn't implement it. Works fine in other LSPs.
602.
by tjoff 3y ago
I get what you are saying, but it still sounds like a linter. And the linter (and syntax highlighting etc.) do need to understand the code - but the LSP is not necessarily the right tool for that. In many cases the right tool is something l
603.
by tjoff 3y ago
Cooling these CPUs silently is not a problem if you have room for a decent cooler. Which you typically do on a desktop.
604.
by tjoff 3y ago
It is part of USB C PD, using PPS. Which is kind of new.
605.
by tjoff 3y ago
I don't think I have ever met a beginner of git that hasn't fucked up their repo to a state where the effort to get back is more than just redo everything. In the beginning the fear is paralyzing and it is not without reason. For
606.
by tjoff 3y ago
> Even that isn’t guaranteed. If you don’t say “atomic”, the compiler might decide to split up a store to optimize for speed or code size! This isn’t hypothetical; Greg Parker ran into this with libobjc. Maybe I'm tired and lack i
607.
by tjoff 3y ago
> That they won't say means the parts were used in service. Or they don't know.
608.
by tjoff 3y ago
Sure, but that is one very small consolation.
609.
by tjoff 3y ago
... and the 10x price difference, the waste and crippled hardware, the pathetic pricing options you get. Soldered ram has no place nor reason to exist in sad reality we live in.
610.
by tjoff 3y ago
Doubt it. The problem is that you don't know the source of the audio. That is the key difference, and since streaming even if you pick the right album the "same" song might come from another because it "is the same"
611.
by tjoff 3y ago
The bigger question is why people uses AWS for sending bulk data. Gigabytes are cheap.
612.
by tjoff 3y ago
... of publishing the private keys ...
613.
by tjoff 3y ago
If this is not done, your emails are “non-repudiable”, meaning that if they are leaked, anyone (eg, journalists, haters) can verify that they are authentic, and prove that to others. This is not desirable (for you). Not convinced, the big
614.
by tjoff 3y ago
I don't know the details, but QT started in 1991, developed in C++ and is a good solid foundation even today, without the backing of something like Apple which would be a game-changer. So while I agree C++ has warts not sure to what ex
615.
by tjoff 3y ago
... which is not a mainstream device.
616.
by tjoff 3y ago
Of course it is, since it isn't offered.
617.
by tjoff 3y ago
I doubt there are good SD-cards for this use case. And finding a good flash drive can be really hard. Minority group? Given the target audience I'd say we are talking about the absolute majority.
618.
by tjoff 3y ago
If you treat it as read-only, then yes, sd-cards work fine. But setting that up can be a hassle depending on the project, and completely out of character for what the raspberry is. But that is what I do, because you can't use the Pi re
619.
by tjoff 3y ago
RPi zero2 just came out (I know, but you haven't been able to buy it until the summer of 2023). Though it is a massive improvement over the Zero.
620.
by tjoff 3y ago
For the Pi5 you could use the m2 hat and an m2. Which seems to come in at a total cost of, guessing, maybe $25 or something. If that works well (which it should?) that is an absolute nobrainer and game-changer for reability alone.
621.
by tjoff 3y ago
I don't care about bandwidth, everything you need should fit in ram anyway. Reliability is the only thing I care about. And you can't have that with sd-cards.
622.
by tjoff 3y ago
Since TVs are one of the primary use-cases for these that isn't ideal either. USB flash drives suck too. And high-quality ones are almost always bulky. But doesn't matter, they still mostly suck. And no, there is absolutely noth
623.
by tjoff 3y ago
I guess the choice is between single output big hdmi vs. two small. I'd prefer a single big one but don't care too much either way, you don't get new cables, you get an adapter. Much more concerned about the micro-sd slot. Bi
624.
by tjoff 3y ago
The time to write the patch is insignificant in this context.
625.
by tjoff 3y ago
Some at least don't even bother to send relative mouse movements, what matters is where you click. So they disable the guest mouse-pointer and rely on the host instead and then only send positions every now and then and when you are ac
626.
by tjoff 3y ago
Ok, so then don't buy series <X> from Lenovo then. But you ought to already have known that when you bought it because it probably wasn't exactly high-end was it? And when you get a bad batch "from Intel" you don&#
627.
by tjoff 3y ago
What do you mean there is no market for high end stuff from AMD? That's like saying "there is no market for high end PCs". I know people are confused, but they are not buying "an Intel", they are buying "a Dell
628.
by tjoff 3y ago
There was some implied context in my comment given the HN audience. Gmails spam filters are quite bad, but even worse than that is staggering amount of important emails they classify as spam. So gmails spam filter is only decent if you don&
629.
by tjoff 3y ago
Maybe, but at least don't do mail in the browser.
630.
by tjoff 3y ago
There is no reason to use gmail. Preferably pay for some other service. And if you haven't already, buy your own domain. Being tied to one service is never good, even if it isn't by google.

More ›