Hacker News: throwway262515

New comment by throwway262515 in "Students Boo Commencement Speaker After She Calls AI Next Industrial Revolution"

throwway262515 — Mon, 11 May 2026 18:10:04 +0000

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

New comment by throwway262515 in "A Common Proof of the Riemann Hypothesis and the Collatz Conjecture"

throwway262515 — Sun, 03 May 2026 17:14:13 +0000

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

New comment by throwway262515 in "The Accursèd Alphabetical Clock"

throwway262515 — Thu, 16 Apr 2026 11:41:43 +0000

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

New comment by throwway262515 in "12k Tons of Dumped Orange Peel Grew into a Landscape Nobody Expected (2017)"

throwway262515 — Tue, 07 Apr 2026 16:28:28 +0000

> 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?

New comment by throwway262515 in "12k Tons of Dumped Orange Peel Grew into a Landscape Nobody Expected (2017)"

throwway262515 — Tue, 07 Apr 2026 16:25:16 +0000

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

New comment by throwway262515 in "Prefer do notation over Applicative operators when assembling records (2024)"

throwway262515 — Fri, 03 Apr 2026 17:41:12 +0000

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?

New comment by throwway262515 in "Prefer do notation over Applicative operators when assembling records (2024)"

throwway262515 — Fri, 03 Apr 2026 11:57:38 +0000

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).

New comment by throwway262515 in "Prefer do notation over Applicative operators when assembling records (2024)"

throwway262515 — Fri, 03 Apr 2026 11:55:28 +0000

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

New comment by throwway262515 in "Air Canada 8646 Reddit Megathread"

throwway262515 — Mon, 23 Mar 2026 12:46:25 +0000

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

Air Canada 8646 Reddit Megathread

throwway262515 — Mon, 23 Mar 2026 12:46:25 +0000

Article URL: https://old.reddit.com/r/aviation/comments/1s1bhva/air_canada_8646_megathread/

Comments URL: https://news.ycombinator.com/item?id=47488731

Points: 2

# Comments: 1

New comment by throwway262515 in "Lotus 1-2-3 on the PC with DOS"

throwway262515 — Tue, 10 Mar 2026 17:26:28 +0000

> 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.

New comment by throwway262515 in ""I can't do that, Dave" – No agent yet"

throwway262515 — Mon, 09 Mar 2026 00:13:51 +0000

Qwen, is that you?

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

New comment by throwway262515 in "Ask HN: How to be alone?"

throwway262515 — Sun, 08 Mar 2026 14:15:52 +0000

> 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.

New comment by throwway262515 in "The Misuses of the University"

throwway262515 — Thu, 26 Feb 2026 19:08:06 +0000

"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

New comment by throwway262515 in "Those who can, teach history"

throwway262515 — Thu, 26 Feb 2026 16:12:21 +0000

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?"

New comment by throwway262515 in "The future belongs to those who can refute AI, not just generate with AI"

throwway262515 — Thu, 19 Feb 2026 15:13:41 +0000

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

New comment by throwway262515 in "US repeals EPA endangerment finding for greenhouse gases"

throwway262515 — Fri, 13 Feb 2026 14:18:39 +0000

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

New comment by throwway262515 in "iPhone 5s Gets New Software Update 13 Years After Launch"

throwway262515 — Tue, 27 Jan 2026 09:26:43 +0000

> 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?

New comment by throwway262515 in "Letting Claude play text adventures"

throwway262515 — Thu, 22 Jan 2026 08:47:46 +0000

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

New comment by throwway262515 in "Show HN: Does Information Density Cause Time Dilation?"

throwway262515 — Wed, 24 Dec 2025 14:34:11 +0000

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