fidotron

23 ms·

601.
by fidotron 1y ago
What you mean is someone has redefined the word to suit their purpose, which is precisely what I pointed out at the top. Edit to add: this comment had a sibling, that was suggesting that given a specific proof assistant requires all input t
602.
by fidotron 1y ago
I love how you lot just redefine words to suit your purpose: https://www.etymonline.com/word/formal "late 14c., "pertaining to form or arrangement;" also, in philosophy and theology, "pertaining to
603.
by fidotron 1y ago
> because abstraction is the point. Formal reasoning is the point, which is not by itself abstraction. Someone else in this discussion is saying Euclid's Elements is abstract, which is near complete nonsense. If that is abstract our
604.
by fidotron 1y ago
Unlike Zeno's famous example the paradox which does better at explaining the problem is https://en.wikipedia.org/wiki/Coastline_paradox which Mandelbrot seemed particularly keen on. The tendency towards excessive
605.
by fidotron 1y ago
> Why do you think there was such a clash between departments? There's always some friction because different divisions have different interests, but EA seems to sound particularly bad at this. A distinct lack of an internal single
606.
by fidotron 1y ago
I spent time as a TD on both the dev and publishing sides - the perception all EA (the publisher) is doing is money and terms is very much mistaken. To take the case of Bioware, the SW:TOR launch was a notable disaster. There is no way in h
607.
by fidotron 1y ago
> EA has a reputation for buying companies and draining all of their reputation for money If you saw this from the other side you'd see just how much the reverse was true. This was one of the great mysteries of the place. It's
608.
by fidotron 1y ago
Yeah, I worked there too and share this sentiment: > I respect this company a lot, even though they always seem to do things that embitter the gaming community against them. What I saw, more often than not, was most of the company consis
609.
EA Announces Agreement to be Acquired by [private equity] for $55B(news.ea.com)
4 points by fidotron 1y ago|1 comments
610.
by fidotron 1y ago
nVidia had Quadro https://en.wikipedia.org/wiki/Quadro Generally the same GPUs, but with different memory configurations and firmwares. The ATi equivalent was FireGL.
611.
by fidotron 1y ago
> HP's HP-UX hardware being an exception since they just sloppily hacked in standard ATI cards / which means you wouldn't get the extra benefits of running a GXT6500 on AIX as you would with a FireGL X3 on HP-UX. HP probab
612.
by fidotron 1y ago
Indeed, Facebook bought WhatsApp for $19B in 2014. TikTok have a much more valuable audience than WhatsApp had, and we've had significant inflation since.
613.
by fidotron 1y ago
I think there's a case that Saxby himself was more responsible for ARM's success than the technical merits their early designs may or may not have had. What those early Archimedes systems demonstrated was that the whole thing did
614.
New Quasi-Moon Discovered Orbiting Earth, but It's Been Around for Decades(explorersweb.com)
50 points by fidotron 1y ago|24 comments
615.
by fidotron 1y ago
But the energy can be renewable, so it isn't a problem.
616.
RVV benchmark Tenstorrent Ascalon X(camel-cdr.github.io)
7 points by fidotron 1y ago|0 comments
617.
by fidotron 1y ago
So you want code added in 100 line sections behind one feature flag which we then suddenly turn on? Isn't that exactly how Google's latest big cloud outage happened? EDIT: referring to https://news.ycombinator.com/
618.
by fidotron 1y ago
> You can compose almost any feature out of many small simple changes. You can?
619.
by fidotron 1y ago
There is a difference between a code review and approval to merge/release. Part of the difference is the idea you can catch all problems with piecemeal code review is nonsense, so you should have at least some sweeping QA somewhere.
620.
by fidotron 1y ago
This will be accompanied by the sort of dev manager that thinks a KPI for "number of PRs merged" won't in any way be gamed or backfire. I don't know what they're doing where you can do code reviews in 5-10 minutes,
621.
by fidotron 1y ago
> True sustainability is public transit, or biking or walking. Surely it's whatever is most sustainable, which Waymo (or equivalent) very well could be.
622.
by fidotron 1y ago
I too not long ago went through the inheritance gunk with the UK. > These then need to be 'notarized' by a legal person - with seals and embossed stamps before they can be used to identify me. It's medieval. My experience
623.
by fidotron 1y ago
The important point is to distinguish between truth and the co-ordinated release of information in the NYT, BBC etc. The latter is very much intended to send a message, but it is not to be taken as literal truth.
624.
by fidotron 1y ago
They have all year to do that. The giveaway there is something odd about this is the timing.
625.
by fidotron 1y ago
It's actually a combination of warning and bait, and it's not the first story like that nor will it be the last. Picking at the details of it misses the point. The real question here is who and what it was intended to warn off, an
626.
by fidotron 1y ago
That's not completely unheard of. Cavium used to sell chips intended to go in switches and routers which had a sort of programmable hash function that could be applied to incoming packets, and then use the result of that hash to route
627.
by fidotron 1y ago
This reads like LLM noise, with headings missing articles. It also doesn't mentionn the most obvious solution to this problem: adding a random factor to retry timing during backoff, since a major cause of it is everyone coming back at
628.
by fidotron 1y ago
It's not at all clear why poor people should ever want to leave their allocated urban subdivision. We certainly don't want them clogging up tourist spots that should be kept for appreciation by sophisticated wealthy foreigners.
629.
by fidotron 1y ago
This isn't just a question of direct power management features or use of custom silicon, but there has been curious noise for years out of Apple over a major cause: memory management. In modern systems memory becomes a major source of
630.
by fidotron 1y ago
A networked multiplayer version of that seems like it could be quite entertaining.

More ›