throwway262515

> Whether LLMs should replace human roles is both an economic and moral question.

It is also a political question, on which many techies have been maneuvered into abdicating. Stripped of agency, agents they are bamboozled to depend on.

> I keep hearing about people spending their entire career on a single problem. And I think that time has ended. I think in Mathematics will be like chess.

Is the Langlands Program a single problem? Much of it is still ill-defined. How will AI win at newfangled chess when they haven’t got the rules yet?

In vivo is already molecules in body. Do you mean in vitro?

No, there’s no tar or zip archive feature of storing multiple files with their individual names.

The proper rejoinder to which is "why not?"

> For instance, if n = 2^1000, the ratio of the leading expressions n lg n and n (lg n)^(11/12) is 1000^(1/12) ≈ 1.78, ignoring constants and lower-order terms. This is not a measured speedup.

Isn't it likely that the constant factor slowdown of an apparently more complicated algorithm will dominate 1.78?

> The constants in the formal construction are enormous, so this does not establish a practical speedup.

A pity the author stopped here.

Too bad the author had a sketchy PL professor. (Side note: The theory of programming languages is better developed across the atlantic.)

Case in point: The so-called order of a function is a well-defined natural number. Languages are called higher-order when it is as facile programming with functions of order greater than 1 as with first-order ones.

A pity if the author never gets a second chance at that knowledge.

On that note, calculus come from physics. AI should really hand back all those jacobians and hessians.

Have you also wondered how many of them owe their college degree to the colored worker that prepped their meals?

Where are your formalizations of your proofs using Lean? Go away and don’t come back until you have them.

Syntax is wildly continuous with semantics, what’s the problem?

> As for how the orange peels were able to regenerate the site so effectively in just 16 years of isolation, nobody's entirely sure.

Another data point to the thesis that it's not the earth that needs saving, it's human systems. If disruption becomes the order of the day, who's impacted the worst?

My guess is that Del Oro would have a competitive advantage in its waste disposal costs.

Do you have a concrete example using Concurrently where the effect semantics is harder to understand--possibly even misleading--with effect combinators than with do notation?

Applicative operators effect from left to right. So the order of effects in

  getPerson :: IO Person
  getPerson =
    Person
      <$> (putStrLn "Enter your first name:" *> getLine)
      <*> (putStrLn "Enter your last name:"  *> getLine)

is transparently clear (to a seasoned Haskeller).

Immature in what way? TFA advocates a certain coding style over a different one.

Pilot, co-pilot killed in runway collision at New York LaGuardia airport

> I'd like to stay a little bit unique for a year or so, if possible

You have six months, for that’s their release cycle.

Qwen, is that you?

My experience with it is that it tends to create such 3-word sentences when ask to write an article.

> write these things down in a journal

My added 2 cents is to write in a journal and also to read it.

If it helps, be meta and write about what you would want to look forward to read in your own journal, what kind of writing makes you keep going back reading it.

Certainly, an awesome evergreen entry is your reflection on a previous entry.

Just like material on how to blog, there are self-help books on how to journal well.

Solitude doesn't have to be a curse if we learn how to treat it as a blessing.

"It is said that the King of Siam used to make a present of a white elephant to courtiers he wanted to ruin." [0]

No King of Siam needed when the executives running the place competently wield their foot guns.

[0] https://en.wiktionary.org/wiki/white_elephant

Wanting to learn world history is like wanting to create one's own programming language.

A more feasible start would be to ask, "What is my world? What trends brought us here? When did they begin and how did they evolve?"

Examples of refutations would help. I agree with the thesis of learning epistemology but where does one begin? I hazard to suggest Montagovian semantics.

Would you take a moment to consider that the ostrich maneuver ended with the animal on the dinner table?

> Apple also released new versions of iOS 18 and iOS 16.

Has anyone gotten hold of a newer ios 18 for phones more recent than 5s?

Novelty. No textual extrapolation of a historical encyclopedia can predict new discoveries by actual people working with their five senses.

Surely there are more focused communities to post your request to? What about https://www.physicsforums.com/ ?

Expanded and unbleakified:

Corruption is not just the immoral acts of an elite few; it is a parasite that hollows out society from within.

When the mainstream realizes that sycophancy toward the autocrat is rewarded, some willingly sacrifice their principles for short-term benefits, burrowing into the system like worms in an apple.

Yet, parasites cannot survive without a compliant host. To kill the infestation, we must cut off the food source: our passiveness. This begins with everyday refusals—denying the petty bribe, rejecting the convenient lie, and defending the honest colleague. By maintaining high ethical standards in our own spheres of influence, we starve the corrupt hierarchy of the dead matter it needs to grow.

We must also make the terrain uninhabitable for them. These organisms thrive in the dark, protected by silence. Therefore, we must actively expose them: documenting abuses, funding media samaritans, and organizing locally to demand transparency. When integrity becomes the standard again, the host becomes hostile to the parasite, isolating the invaders rather than letting them multiply.

Without this resistance however, the society weakens until its greatest assets—its resources, minds, and institutions—are cannibalized by a regime of criminals. This is how nations collapse. We have seen this story in Africa, South America, and Russia. This plague is now upon us. But history is not destiny. We possess the power to stop it. We only need the will to use it.