Viewing profile — throwway262515

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 …

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?

[flagged]

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 "Ente…

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

[dead]

[dead]

[dead]

[dead]

[dead]

[dead]

> 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 re…

"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 compe…

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…

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?