jonahx

Many programmers program for fun outside of work.

There is something very wrong on chrome mac, for me at least.

I mouse over the horizontal section and everything starts blinking and jittering wildly, then disappears. Vertical section has same issue.

I found a lot of interesting, if speculative, thoughts in the article, but...

> Superhuman means unverifiable

is not true for at least large classes of problems. The recent solution of the "unit distance" problem comes to mind, or any future AI-solved math problem that was beyond the capabilities of humans. You can tell it's superhuman (it's doing things humans can't) and you can easily verify its results are correct.

For other classes of problems (eg, policy suggestions for large scale systems like the economy), the point is fair.

Yes, this is true. And is a bigger problem on large teams. One mitigation is a comment by the original author at both sites that there may be a coupling in the future.

But, again, the point is that you don't know yet whether you have a single source of truth or not. It's a question of the relative badness of duplication vs premature abstraction in cases where the code may diverge or converge in the future. There is no generic answer. But as a heuristic, based on my personal experience, I have always found premature abstractions to be more painful to work with. Even more so when someone else has authored them.

> I believe that "single source of truth" is a principle that should always be followed

Fundamentally, the article addresses cases where it's not clear yet how many sources of truth there will be. Are the two spots in the code using the same algorithm, or slightly different versions? More importantly, will they change for the same sorts of reasons?

The title adage (correctly, imo) argues that making two different things the same will cause you more pain than making two same things different via duplication. In the latter thing case, the "damage" is just having to make the same changes twice, or doing a refactor to introduce the abstraction. In the former case, you have to keep adding to your abstraction, or undo it. Most crucially, it breaks "locality", which is the only property you really care about when making changes. I just want to make this change and not worry about side effects to unrelated parts of the system.

Assuming this pans out, every other professional linguist in the world has had the option to use Claude or other LLMs, but has not solved this problem, despite the incentives for doing so. It stands to reason the human is adding crucial value.

Without land ownership, how is it decided who gets to develop what where?

You can improve the land, build more units, replace an small old house with a 4 story apartment building, etc.

> What possible use could there be for doing this?

Early detection of disease, as well as every kind of physical issue with the body you can imagine.

The incredulity of the question seems rooted in the medical culture of our current time. It's easy to imagine a science fiction future where scans happen not every 9 months, but daily, in your home, and the idea of not constantly checking your full body would be as strange as not brushing your teeth is to us...

It's not. Different spelling: Nic Pizzolatto.

Depends on how PRs function within teams. For some, the PR is a lightweight thing that is the preferred method of communication. It sounds like you are imagining a case where face to face communication, or communication over chat, is preferred for early stages, with the PR being a nearly final artifact. But it doesn't have to work like that.

Working now.

This doesn't do anything, just scrolls like a normal page.

Mac on latest chrome.

Or even linked to one!

> But there is this gap... it’s just not that good.... But your taste, the thing that got you into the game, is still killer.

That is, verifying a solution is much easier than finding it!

P != NP

Nice example.

I wonder though... it seems the tech behind electricity has no moat, broadly speaking, and so was commoditized. Whereas if one of the AI companies finds a proprietary breakthrough algorithm that won't be the case... at least until others catch up.

> held that mathematical truths don’t report new facts about the world

I'm not as familiar with the early work, but later Wittgenstein held this belief too.

Later Wittgenstein held the same view of mathematics, and wrote about it extensively. He was firmly in the "invention, not discovery" camp.

Prediction markets, by any reasonable definition, existed long before 2002.

I agree scolding generally isn't effective, especially when the scolding party has no power to enforce rules.

At the same time, I see no reason not to make the condemnation. It's not being made to effect change, but reaffirm our own norms which, in this specific case, I believe are better, and we shouldn't avoid saying so and call that enlightened. I think it's a form of cowardice.

And in this connected age, perhaps a Nigerian girl could take some hope, or energy, or solace knowing that much of the world does think the way she is treated is wrong, and not normal, and that her intuition to that effect has grounding, despite the powerful local norms she finds herself faced with.

See garciasn's sibling comment to yours.

Degree matters. A lot. Saying "it's universal" because there is some frequency everywhere is misleading. There are many country Xs that absolutely deserve to be called out as bad, because they are relatively so much worse than the best countries, or even the average ones.

What did you use for the UI widgets, graphs, etc? Looks like tailwind is being used but is the design bespoke or a CSS/dashboard lib?

Regardless of your expectations (I'm not criticizing them), that is just not how it works at most American companies. Especially not for your manager.

From your last paragraph, I am curious which languages / paradigms you advocate for. Sorry it wasn't clear to me except that you like SWANK, which I'm not familiar with.

The "some reason" isn't mysterious... it's redundancy and avoiding a single point of failure and ownership.

That's my experience as well. However, I suspect a lot of it is not really understanding the situation, and not wanting to be bothered learning about it. In other words, I think it's possible those preferences could be changed with the right kind cultural or legal shifts. Even in my lifetime, I look at how massively public attitudes have changed around smoking, wearing seatbelts, and recycling, to take 3 examples. Each of those seemed equally immovable at one time.

> Why wouldn't they? It's an additional income stream.

If customers cared, the additional income from being someone who didn't surveil could outstrip the income stream from surveilling.

Name seems fine. Catchy, and I knew what I did before opening link.

I share your hate of rent-seeking and subscription culture, but tbf disposable contact lenses are legitimately a nicer product to use. I've done it both ways.

That's not how it works.

First, you have inside traders. Then, among legitimate bettors, you have smart people using multiple data sources (not just the "news") and doing sophisticated analysis that most journalists cannot do, and are not motivated to do -- again, because their incentives are different.