throwway262515

8 ms·

1.
by throwway262515 29d ago
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
2.
by throwway262515 4mo ago
On that note, calculus come from physics. AI should really hand back all those jacobians and hessians.
3.
by throwway262515 4mo ago
Have you also wondered how many of them owe their college degree to the colored worker that prepped their meals?
4.
by throwway262515 5mo ago
Where are your formalizations of your proofs using Lean? Go away and don’t come back until you have them.
5.
by throwway262515 5mo ago
Syntax is wildly continuous with semantics, what’s the problem?
6.
by throwway262515 5mo ago
> 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 sy
7.
by throwway262515 5mo ago
My guess is that Del Oro would have a competitive advantage in its waste disposal costs.
8.
by throwway262515 6mo ago
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?
9.
by throwway262515 6mo ago
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
10.
by throwway262515 6mo ago
Immature in what way? TFA advocates a certain coding style over a different one.
11.
Air Canada 8646 Reddit Megathread(old.reddit.com)
2 points by throwway262515 6mo ago|1 comments
12.
by throwway262515 6mo ago
Pilot, co-pilot killed in runway collision at New York LaGuardia airport
13.
by throwway262515 6mo ago
> 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.
14.
by throwway262515 6mo ago
Qwen, is that you? My experience with it is that it tends to create such 3-word sentences when ask to write an article.
15.
by throwway262515 6mo ago
> 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 ke
16.
by throwway262515 7mo ago
"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:/&#x
17.
by throwway262515 7mo ago
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?"
18.
by throwway262515 7mo ago
Examples of refutations would help. I agree with the thesis of learning epistemology but where does one begin? I hazard to suggest Montagovian semantics.
19.
by throwway262515 7mo ago
Would you take a moment to consider that the ostrich maneuver ended with the animal on the dinner table?
20.
by throwway262515 8mo ago
> 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?
21.
by throwway262515 8mo ago
Novelty. No textual extrapolation of a historical encyclopedia can predict new discoveries by actual people working with their five senses.
22.
by throwway262515 9mo ago
Surely there are more focused communities to post your request to? What about https://www.physicsforums.com/ ?
23.
by throwway262515 9mo ago
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 sacrific