gpm

40 ms·

841.
by gpm 1y ago
As long as Apple requires they make use of those services for me to install software on the computer I bought, and they prevent others from producing equivalent competing devices via patents (i.e. government granted monopolies), zero. It&#x
842.
by gpm 1y ago
It... doesn't though: https://uutils.github.io/coreutils/docs/test_coverage.html Neither this issue, which doesn't appear to be a bug at all but merely an unimplemented feature, nor the fact that uutils
843.
by gpm 1y ago
The US had the might to make such a world as demonstrated by... their loss to the Taliban in Afghanistan? Killing an individual is easy. Killing an ideology next to impossible, and trying tends to make the proponents more violently against
844.
by gpm 1y ago
More likely to do the opposite as economies of scale decrease for lithium - though rapidly advancing battery technology and scale in general means I'd be shocked if it ever managed to do the opposite enough to increase prices and not j
845.
by gpm 1y ago
There are plenty of modern ebikes that are just bikes with a motor. I have one of these for instance (well, the previous generation): https://ride1up.com/product/roadster-v3/ The best description I've seen of
846.
by gpm 1y ago
> Ada has had memory safety for decades Only with spark (i.e. formal verification). Which similar to other projects of this age (e.g. Rocq/How the compcert C compiler was implemented and proved correct) seems not to be low enough fr
847.
by gpm 1y ago
Yes :)
848.
by gpm 1y ago
"Needs" is a strong word, would benefit from a bit, but in practice I think the number of vulnerabilities rust code typically has is not large enough to justify the expense of compromising the performance of every CPU ever sold (t
849.
by gpm 1y ago
I concur, and as you say it comes from a video frame and thus a video. The fact that the video frame contains only a single one seems to change nothing.
850.
by gpm 1y ago
It seems very strange to me to finally get around to this right as we are finally getting low level software that no longer needs it (and we've had high level software that doesn't need it for ages). At this point I think I'd
851.
by gpm 1y ago
> Unless we're severely distorting the definition of a "video frame" to also include "one image in a series of images What is your definition of "video frame" if not this? > that can be as small as one
852.
by gpm 1y ago
It's pretty clear he had a computer repeat the experiment that many times in reasonably rapid succession rather than doing it "himself", but yes...
853.
by gpm 1y ago
Nah, it's definitely 2B fps, the frames are just 1x1 wide and a lot of the interesting output comes from the careful synchronization, camera pointing, and compositing of nearly a million 1x1 videos of effectively identical events. And
854.
by gpm 1y ago
Interesting that there's been a bird strike at that altitude before (per the comments in avherald). I didn't know birds flew that high.
855.
by gpm 1y ago
The kernel doesn't use any C++, so no more than incidentally. There is some C++/rust interop in the past that I've worked on that would have enjoyed the arbitrary self types feature, but not particularly because of the C++ pa
856.
by gpm 1y ago
FPV missiles have little interest in keeping the area around them a pleasant environment to live in, and are disposable one time use items. I suspect drone delivery places a higher premium on lowering noise pollution.
857.
by gpm 1y ago
The thing is you aren't really asking about a "feature" of rust (as the word is used in the title of the thread), unless that feature is "the absence of data races" or "memory safety" which I think are bot
858.
by gpm 1y ago
> First, Rust did not come from nowhere, there were memory safe C variants before it that stayed closer to C. Can you give an example? One that remained a low level language, and remained ergonomic enough for practical use? > Second,
859.
by gpm 1y ago
I'm entirely unconvinced that a low-level† memory safe C that is meaningfully simpler than rust is even possible, let alone desirable. IMHO Basically all of rust's complexity comes from implementing the structure necessary to make
860.
by gpm 1y ago
There's non-LLM research towards doing this which has a few success stories: https://github.com/immunant/c2rust LLMs seem generally unsuited for the task, because they're fundamentally approximators that won&
861.
by gpm 1y ago
I'm not sure I understand the point of your comment at all. Rust does, successfully, guarantee the lack of data races. It also guarantees the lack of memory-unsafety resulting from race conditions in general (which to be fair largely j
862.
by gpm 1y ago
> rustlang mutability is also a type system construct? Yes > I.e. it assumes that all other code is Rust for the purpose of those checks? Not exactly, it merely assumes that you upheld the documented invariants when you wrote code to
863.
by gpm 1y ago
Are we talking house cats here, or full grown lions, or gozilla-cats? Godzilla cats really seems like it needs a movie.
864.
by gpm 1y ago
> they can get very clear signals. No they can't. People write fiction, a lot of it. I'm willing to bet that the number of fiction related "incriminating" questions to chatgpt greatly numbers the number of "I&#x2
865.
by gpm 1y ago
I highly recommend watching the notjustbike video on autonomous vehicles. It outlines a disturbingly plausible path to a dystopia simply by following the lobbying incentives to logical conclusions. This feels like step 0. I'd strongly
866.
by gpm 1y ago
I believed the EU specifically ruled that Apple's rules which include this are NOT ok. And they're currently fighting Apple about it. Unless I missed something.
867.
by gpm 1y ago
Not really: https://tangled.org/@tangled.org/core/issues/60
868.
by gpm 1y ago
China cut fossil fuel use 2% in H1 2025 (compared to H1 2024). It cut coal use 2% in H1 2025 (compared to H1 2024) [1]. The majority of new energy production is wind and solar, not nuclear, and certainly not coal. [1] Both numbers on pa
869.
by gpm 1y ago
One thing I've never understood is why phone companies push these UI updates to existing devices. It seems like it a) Annoys users when their devices change out from under them. b) Reduces the incentive to buy the new thing with the ne
870.
by gpm 1y ago
It's be surprising if they were first at that point, but otherwise yes. Like the article says, lots of manufacturers are experimenting with solid state batteries and we've already seen prototypes.

More ›