WJW

29 ms·

451.
by WJW 2y ago
No? For similar reasons that fossil fuel consumers don't need to be near an oil well.
452.
by WJW 2y ago
An agent writing its own library to interface with a good solver like Z3 (or even writing some basic planning algorithms itself) seems like the epitome of a "costly long term investment that does nothing for the short term". The o
453.
by WJW 2y ago
They're not the hardest problems we have, they are just very nice benchmark tools because by definition they already run on a computer and you can fairly easily interface an AI with them. There's probably also a distorting factor
454.
by WJW 2y ago
Very cool and also pretty expected results tbh. Some thoughts: Factorio is a game that requires SIGNIFICANT amounts of thinking ahead, often requiring investments into things that won't pay off until much later and which might even sig
455.
by WJW 2y ago
Then in the next step, it would see that the result of the increment is never used and thus the increment instruction is dead code and can also be removed.
456.
by WJW 2y ago
C might be low level from the perspective of other systems languages, but that is like calling Apollo 11 simple from the perspective of modern spacecraft. C as written is not all that close to what actually gets executed. For a small exampl
457.
by WJW 2y ago
I'd think that the pressure in these forming operations would be too great for the ultrasonics to really matter, but apparently not. If they can scale it up to things like extrusions it could be a big deal.
458.
by WJW 2y ago
The blank (typically just a flat disc) is wider than the finished product and so the metal that will eventually form the wall starts outside the perimeter of the finished product. When the punch moves downwards, it hits what will become the
459.
by WJW 2y ago
You can literally type in the url mate. Just go and check for yourself instead of having to ask HN.
460.
by WJW 2y ago
Even for the small subset of companies for which this is true, you need to have a successful exit at all. Technical debt is fine from that perspective, but only if the whole thing comes crashing down AFTER you sell. If it comes crashing dow
461.
by WJW 2y ago
Instead of using a more powerful computer to be the presentation proxy for a less powerful one, the more obvious solution would be to upgrade to a not-so-old computer directly? Alternatively, don't try to load heavy sites on hardware t
462.
by WJW 2y ago
The big mac index is quite literally PPP dumbed down to a single product that the general public can understand.
463.
by WJW 2y ago
Of course, but that rigid pinball has speeds in three directions, rotations along many axes, friction might change on different surfaces in the simulated machine, the ball can jump, bounce and slip depending on how it's rotating and if
464.
by WJW 2y ago
Sure, if there was an active war going on. But while NK and the USA are not exactly friendly, they're definitely not at war either. In basically any other field, the question of "what do we do when a nation state deploys hundreds
465.
by WJW 2y ago
The online security world is so wild. In pretty much any other field of engineering, foreign nation states explicitly targeting the thing you built is just kinda out of scope. There's no skyscraper in existence that is designed to with
466.
by WJW 2y ago
They address this in the article, and I'd say it's rather the opposite of being oblivious. Rather, they understand that you can get way better deals by choosing the times when investors come crawling to you as opposed to times whe
467.
by WJW 2y ago
First of all Tesla is hardly a competitor. Tesla makes consumer vehicles while Nikola was targeteting the trucking business. But in any case being associated with (at the time) a highly successful brand for whom the trees seemed to grow int
468.
by WJW 2y ago
The mindset that you can master any programming language in a month is exactly what I meant in my previous post. There's a veritable cottage industry of "golang pitfalls" blog posts out there that show there are absolutely a
469.
by WJW 2y ago
Of course. We all feel like that and that kind of thing doesn't cause any problems. Issues arise is when somebody comes in asking for new features or bugfixes in code that you haven't used for years and which you are no longer int
470.
by WJW 2y ago
It's not only that it's more fun, it's also usually the better path for self-promotion. Inside a company promotions often go towards those who have most visibly contributed to new projects. In open source projects that is of
471.
by WJW 2y ago
To me the implication is that the culture at this company won't allow this team to master Go either, and in a few years there will be a post describing how they moved from Go to another language. Many people like to write about how Gol
472.
by WJW 2y ago
My "favorite" postgres wart comes from a thing it should be good at: transactional ALTER TABLE. This works fabulously until you need to migrate a big (few hundred million rows, say) table in a way that requires a table rewrite. Va
473.
by WJW 2y ago
The bit with the implication that only offshore engineers would use LLMs to write blog posts, while the intellectually and morally superior engineers in the US would never stoop to such depths. (Especially hilarious given it's Uber, wh
474.
by WJW 2y ago
MySQL used to have some rather dodgy defaults way back and some people haven't touched it for decades and assume it's still like that. Also it got acquired by Oracle at some point and many people just hate Oracle. Finally it is no
475.
by WJW 2y ago
I always assumed it was due to (a lack of) scale for most companies? 1% improvement in container planning for Maersk is hundreds of millions of dollars per year, so they can have an entire team dedicated to that. Meanwhile at the other end
476.
by WJW 2y ago
How would a change in engine tech from jet to turboprop give more space to the passengers? Even if they are more efficient, that just means the airline can save on fuel but cram just as many paying passengers into the fuselage. I also don&#
477.
by WJW 2y ago
If you can put up new billboard ads ten times as fast as your competitors, that's still a competitive advantage. Whether you like Meta or not, two days to provide sufficient infra for a new service with 100m users is a technical achiev
478.
by WJW 2y ago
Form and no function is the essence of social media apps though, so they nailed that. 300 million monthly and 100m daily users is also pretty decent, so I don't think "nobody" cares. For comparison, that's approximately
479.
by WJW 2y ago
There's at least one group who doesn't find the ads annoying, and that's whoever is purchasing the ad space. That could be a business, a nonprofit, some government agency or even a charity. Advertising is a vital part of the
480.
by WJW 2y ago
Is that weird? LLMs will just repeat what is in their training corpus. If most of the internet is recommending something wrong (like this conditional move "optimization") then that is what they will recommend too.

More ›