Viewing profile — yathaid

>> There are also performance characteristics that are part of an informal spec. They are not informal AFAIK - https://github.com/PGPerfFarm . A lot of these heavy duty OS projects…

I am not saying anything about the viability of that particular project; just that one argument that was repeatedly made in that thread which I think is frankly nuts.

>> Decades of intrinsic knowledge. Which a rewrite lacks. You mean the ones encoded in the regression suite? I think your argument is valid in many medium-to-faang firms where the …

I like your fair-mindedness but for folks who are anti-LLM-anything, your argument is not the point. Evidence: see the amount of nonsense in the postgres rewritten in Rust story - …

You cannot access Fable because Anthropic can't reliably tell whether you are a US citizen. The govt order is based on export controls to non-US citizens. You can already imagine A…

Corey Quinn's PR for making Route53 a backend for this - https://github.com/ExtendDB/extenddb/pull/54 Please do read the full PR, it is informative and funny!

Slightly off topic but: >> My workflows involve opening and closing up to hundreds of terminal or tmux tabs a day. What?!?

>> No matter how well “AI” works, it has some deeply fundamental problems, that won’t go away with technical progress. Without an explanation of what they author is calling out as …

Nobody performs as the CEO until they are given the CEO title. If the Peter principle was true 100% of the time, we wouldn't have any successful CEOs ever. Which is clearly not the…

A part of the job is only enabled when you get the Principal label. Unlike almost all other transitions, you only prove that you can do the role when given the opportunities. The h…

>> Those are choices. If you want to do that, you need a process that can support it. __need__ is doing a lot of work here. There is no forcing function to get OEMs to do this ASAP…

This is a feature, not a bug.

>> a good design good is doing a lot of heavy lifting here. The point of TLA+/Pluscal is to have a proof of the soundness of the design.

There is a long tradition in India, which started with oral transmission of the Vedas, of parallel cognition. It is almost an art form or a mental sport - https://en.wikipedia.org/…

> Obsidian charges $8 a month to access the same notes across multiple devices. While not a huge amount for such a useful app, it adds up to an eye-watering amount - almost $1,000 …

This is super cool! The GIFs showing the object being built are just yummy; I have no other way to describe it. If anyone else was searching for the dataset, it is at https://huggi…

>> Stealing deprives someone of something Yes. In this case, it is the artist's sole right to reproduce said images, based on their creative output. >> decreases scarcity, it doesn…

The Trump admin has shown the same attitude as the Biden admin when it comes to mergers. So why do they think the merger will go through this time?

Federal agencies pay over $65 billion to consultants each year. 98% of Booz Allen's revenues (~$11 billion) is from government consulting. I don't know what the threshold for "extr…

Painful to read. I have had similar conversations with my own father, though nothing quite extreme. There is no moving them from their warped reality. I have theorized some root ca…

Thanks for replying, hope it wasn't too critical. >> But in the limit of tokens generated, the chance that they generate the correct answer still decays to zero. I don't understand…

>> But the limiting behavior remains the same: eventually, if we continue generating from a language model, the probability that we get the answer we want still goes to zero In the…

Does his accuracy take a sudden precipitous fall when going from multiplying two three-digit numbers to two four-digit numbers?

As a software engineer, this post resonates with me. But, you can find this attitude pervading the whole linux desktop ecosystem. This post may as well be titled "Why it will never…

Neural networks can encode any computable function. KANs have no advantage in terms of computability. Why are they a promising pathway? Also, the splines in KANs are no more "expla…