jonahx

6 ms·

61.
by jonahx 3mo ago
It makes sense. People generally want at least one of: money or decision-making power. If they have to negotiate, constantly settle, and get no money, that's a hard sell.
62.
by jonahx 3mo ago
I think the better solution for a web page login form specifically is to disable the button "onPressDown", so this error path is impossible. For users with JS disabled, your solution seems good.
63.
by jonahx 3mo ago
My first thought when reading the article was: "The generous interpretation here is that whoever is fielding reports gets so many false positives that they miss true positives (like this report), especially if there's any gray are
64.
by jonahx 3mo ago
I strongly recommend against auto-squashing. It creates large commits without the semantic intent of the author. In a large PR, you want clean, small, semantic commits, which makes it much easier to review and understand.
65.
by jonahx 3mo ago
Becoming very comfortable with "rebase --interactive" and other cmds for editing your (local!) history before merging helps a lot. Once you are, it only adds 5m or so of extra work to most PRs. And while acquiring this knowledge
66.
by jonahx 3mo ago
Ofc you're correct in that sense. I would add that (related to your "maintainability" point) ensuring the code is as simple as possible, and thus much more likely to be "debuggable by review", is a goal of review.
67.
by jonahx 3mo ago
It's a good practice. Worth mentioning also: the same can be done with ordinary git log, assuming everyone is using git well. A proper git log of yesterday's work can be like your work newspaper with coffee.
68.
by jonahx 3mo ago
> The concept of cheating is largely unique to academia and a few uptight professions What? The concept of cheating exists in marriages, sports, relationships, business agreements, accounting, and nearly every facet of human life.
69.
by jonahx 3mo ago
Very cool site, but I had to leave when my mac laptop started burning my thighs...
70.
by jonahx 4mo ago
Yes, at the prodding of the reviewer (from wikipedia): > After the announcement, Nick Katz was appointed as one of the referees to review Wiles's manuscript. In the course of his review, he asked Wiles a series of clarifying questio
71.
by jonahx 4mo ago
> It would be great if someone could explain to me how AI improves this situation. It's main utility is in the search step, not the verification step. The search is the bulk of the work and creativity. Separately, as the sibling c
72.
by jonahx 4mo ago
Many programmers program for fun outside of work.
73.
by jonahx 4mo ago
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.
74.
by jonahx 4mo ago
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
75.
by jonahx 4mo ago
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
76.
by jonahx 4mo ago
> 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
77.
by jonahx 4mo ago
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 v
78.
by jonahx 4mo ago
Without land ownership, how is it decided who gets to develop what where?
79.
by jonahx 4mo ago
You can improve the land, build more units, replace an small old house with a 4 story apartment building, etc.
80.
by jonahx 4mo ago
> 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
81.
by jonahx 4mo ago
It's not. Different spelling: Nic Pizzolatto.
82.
by jonahx 4mo ago
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 pref
83.
by jonahx 4mo ago
Working now.
84.
by jonahx 4mo ago
This doesn't do anything, just scrolls like a normal page. Mac on latest chrome.
85.
by jonahx 4mo ago
Or even linked to one!
86.
by jonahx 4mo ago
> 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
87.
by jonahx 5mo ago
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 l
88.
by jonahx 5mo ago
> 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.
89.
by jonahx 5mo ago
Later Wittgenstein held the same view of mathematics, and wrote about it extensively. He was firmly in the "invention, not discovery" camp.
90.
by jonahx 5mo ago
Prediction markets, by any reasonable definition, existed long before 2002.

More ›