evilturnip

This is interesting. He seems to imply that the AI will just provide the solution. He's concerned that the process of getting to that solution is the important bit. But I can see two versions of "process".

A.) The actual steps of the proof, which I assume the AI would provide. B.) People, while working toward a solution, finding novel properties/methods along the way that open new avenues of research + new open problems.

Does B.) actually happen? Would knowing the solution to a problem stymie the process of finding new open questions? I would assume finding a solution may unlock other problems too. So maybe on balance it's not really bad?

I guess in the end, I'm just making the obvious case "the future is uncertain in the face of AI".

Can you use postgres as a state store for a distributed application?

It seems this article is trending toward that view: If you can maintain transactional consistency along with application workflow state, then would this generalize to maintaining distributed application state in general?

The follow-up would be: Would this be preferable to Valkey/Redis?

Most people don't have an audience they would share it to if we're being honest.

If there's a article/site I'd be interested in sharing, it might be to a slack channel or a text message, in which case I just copy/paste the URL.

I do feel like for all their dogfooding of AI coding, their own software/APIs are quite buggy and work against their message.

Claude Code is especially buggy in windows terminal. The rendering is quite slow, choppy and lines frequently get garbled.

In contrast, using antigravity cli is the exact opposite: fast, smooth and very responsive.

I suspect being a "better programmer" cannot be said unequivocally at their level. At that percentile of achievement, it depends on the specific dimension you are talking about. It's true of the highest skill in any field.

It's obvious that those that write the tools/infrastructure are less visible than those that create the end product.

I don't know a single name behind the construction of the AI tensor core in Nvidia's chips but it is effectively what runs all of AI.

I work on the open-sourced Jedi Academy game engine, which is based on id tech 3. It has special logic to specifically adjust the gamma of the physical monitor during launch, then restore it upon exit.

This is why when these older games crashed on your PC, the monitor would look all washed out due to the manual gamma adjustments the game made that didn't get restored.

Ok, stupid question, but what applications is something like tailscale/iroh used for? I've never worked with this type of tech so curious where it is valuable.

Masters of Doom is a great book on the history of id software, which includes the origins of the development of smooth scrolling by Carmack and Romero, which was groundbreaking at the time on PC.

I feel like the very thing that EU is great at: more consumer friendly and anti-corporate legistation, also hamstrings it for innovation. Why would VCs invest in AI there instead of in the US where they don't have to worry about any of that.

Ray tracing is one of those problems that is conceptually so simple, yet continues to take so much mindshare because of all the challenges to implementation.

"Think of the children" used to shoehorn in the police state. Shudder to think where this will be in 100 years.

Yes, growing at average 15% a month will make you a billionaire in so many months. But somewhere along that trajectory you've tipped the balance from "eveyone is benefitting" to "in order to grow larger we need to exploit and extract."

Clearly nothing is universally the case, but this pattern repeats in enough freqeuncy that it's effectively the case.

On the other hand, the fact that exif is such a widespread standard has been a great tool for photo archaeology.

People who can track down the original exif can recreate when, where and with what equipment the photo was taken. It's been great to identify places and people for posterity.

I do find the BDFL approach much better for language design. You might disagree with the direction of the language, but there is usually a "philosophy" or "taste" driven by one person that tends to be consistent over time.

In fact, I think Guido himself resigned due to the experience he had trying to get a PEP through the committee.