gpm

48 ms·

901.
by gpm 1y ago
There's a formally verified C compiler, IIRC the frontend isn't, but if you define the language to the structs that are in the inputs to whatever is formally verified I guess whatever C like dialect of a language it implements mus
902.
by gpm 1y ago
> Never fly underneath anything? This honestly seems like the obvious approach. Even if we suppose you have perfect sensors flying underneath something still means something might be dropped on you... why risk it when you can just fly ab
903.
by gpm 1y ago
Yeah, but the previous "investors" ate up that cost and left pure profit for us "founders" (professors).
904.
by gpm 1y ago
I claim that the M1 (macbook air) is fast. I also claim it's about half the speed of my similarly priced desktop of the same vintage for slow tasks that I care about. So I guess we've caught up with the desktop now. Actually I ass
905.
by gpm 1y ago
Both of those would be features if you were, say, Iran immediately after the US bombed your nuclear facilities. Neither of those would be much of a deterrent to a country like China (though the loss of their own orbital assets in similar or
906.
by gpm 1y ago
> And who could punish Starlink? Any country with anti satellite weapons where SpaceX is illegally broadcasting into the country... Shoot down a few satellites and the entire constellation will go down with them. SpaceX is playing with f
907.
by gpm 1y ago
The international treaties state that SpaceX, the company not the users, shall not broadcast into countries without permission. When SpaceX, the company not the users, does that they are trampling all over the law.
908.
by gpm 1y ago
Depending on the backup mechanism they use it might be protected with cryptography and a private key or strong password.
909.
by gpm 1y ago
I recommend the clay based brick market. I'm not certain how I'd find statistics but I'm pretty sure they've sold more than 3 billion units.
910.
by gpm 1y ago
And even then, my M1 air is still fast under sustained load. As fast as it would be with a fan? Surely not. But fast enough that unless I'm racing compilers or something I really don't care. It helps that for heavier work I tend t
911.
by gpm 1y ago
If this sticks around I hope (and mostly trust) that they'll make it configurable across different image search tools. Other than that this seems... fine. Good even. It's a nice to have feature that isn't in the way and presu
912.
by gpm 1y ago
When I stop and think about it writing access times for everything seems extremely wasteful... does anything actually use this field? Any reason I shouldn't change all my file systems to mount with noatime? It's hard for me to ima
913.
by gpm 1y ago
As a Canadian I really can't imagine why we would be a better country for Greenland to be part of then Denmark. Unlike Denmark (and the other nordic countries) we don't have any historical connection to it... nor is it part of our
914.
by gpm 1y ago
Greenland, as part of Denmark, is part of and protected by NATO. As its in the Atlantic it benefits fully from that treaty. It is also protected by Denmark's membership in the EU and the CSDP by virtue of the EU's collective self
915.
by gpm 1y ago
I imagine they're talking more about missiles, which have had "autonomous" (for some definitions of autonomous) guidance systems for decades. "Drones" aren't really a new thing apart from how cheap they are. We
916.
by gpm 1y ago
To be fair that video game was released (in early access) during Rust 0.8 - the language was already popular on HN I think, but not as a "you should use this in prod" type of thing.
917.
by gpm 1y ago
"Improving the efficiency" sounds fine to me (a native English speaker), what's wrong with it in your opinion?
918.
by gpm 1y ago
Mildly related: "Evan and Katelyn" is the name of a youtube channel where (amongst other less mature things) they make a bunch of small things with concrete and epoxy, like a concrete keyboard. Both materials (especially concrete)
919.
by gpm 1y ago
I think the Bureau of Ocean Energy Management issuing a stop work agency over bogus national security concerns when their actual desire was to gift Trump the lack of windmills is well within the definition of corruption.
920.
by gpm 1y ago
Complaint for anyone else looking for it: https://storage.courtlistener.com/recap/gov.uscourts.flmd.44...
921.
by gpm 1y ago
The US is adding significantly more solar, and slightly more wind, than natural gas every year. This doesn't have to be placed where people already are, but can be placed where energy is the cheapest, which favours solar and wind subst
922.
by gpm 1y ago
60% tariffs on solar components from China, an executive that is actively hostile to renewable energy, and you still are massively scaling it to some extent. 67% of new grid capacity in the US was solar in 2024 (a further 18% was batteries,
923.
by gpm 1y ago
Right, but is the race to the pot of gold, or the stoplight (in which case by "losing" they save on gas)?
924.
by gpm 1y ago
If you're heating with non-fossil-fuels you're doing it with heat pumps, just like AC, just with the hot side inside and the cool side outside.
925.
by gpm 1y ago
Gas phase change systems in practice are up to about 60% efficiency (relative to an idealized carnot cycle), magnetocaloric systems in labs have been something like 70%, and elastocaloric 80%. Edit: And just for reference peltier devices ar
926.
by gpm 1y ago
In principle peltier elements should be very robust over time, as a solid state system where the only moving parts are fans (versus traditional refrigeration which includes a high pressure pump...). In practice I strongly suspect most pelti
927.
by gpm 1y ago
Yes you can! Not with peltier elements, but with elastocaloric (phase changes in solid metal induced by stress) and maybe magnetocaloric (phase change induced by magnetic fields) heat pumps. There's engineering challenges here, but I b
928.
by gpm 1y ago
That's not my understanding, or wikipedia's [1] understanding, of the term. Phishing is the general category of tricking people into telling you things they shouldn't. Email phishing, voice phishing (vishing), sms phising, an
929.
by gpm 1y ago
Eh, it's pretty clear this price point isn't driven by manufacturing. It's driven by being a bespoke item with tons of R&D costs that need to be recouped. If this turns into a significant market, I'm sure the cost wi
930.
by gpm 1y ago
Are you sure it doesn't*? * When we treat different versions of say, the MIT license, with different names and copyright years inserted, as different licenses. I have to imagine the file would compress extremely well though... I&#x27

More ›