Hacker News: md224

New comment by md224 in "Git commands I run before reading any code"

md224 — Wed, 08 Apr 2026 16:04:42 +0000

The last sentence of the article is "Here’s what the rest of the week looks like." and then it just stops. Am I missing something?

New comment by md224 in "Artemis II crew see first glimpse of far side of Moon [video]"

md224 — Sun, 05 Apr 2026 18:33:37 +0000

A fun way to track the mission is via NASA's Eyes on the Solar System visualizer:

https://eyes.nasa.gov/apps/solar-system/#/sc_artemis_2

CSLib: A Focused Effort on Formalizing Computer Science in Lean

md224 — Sat, 21 Feb 2026 01:43:41 +0000

Article URL: https://www.cslib.io/

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

Points: 4

# Comments: 0

New comment by md224 in "Life on Peptides Feels Amazing"

md224 — Wed, 28 Jan 2026 01:04:45 +0000

https://archive.is/pTTQK

Life on Peptides Feels Amazing

md224 — Wed, 28 Jan 2026 01:03:26 +0000

Article URL: https://nymag.com/intelligencer/article/peptides-from-instagram-china-wellness-cure.html

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

Points: 5

# Comments: 2

Mothers Against Decapentaplegic

md224 — Fri, 16 Jan 2026 23:15:46 +0000

Article URL: https://en.wikipedia.org/wiki/Mothers_against_decapentaplegic

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

Points: 4

# Comments: 0

New comment by md224 in "JSDoc is TypeScript"

md224 — Sun, 14 Dec 2025 22:21:38 +0000

Sure, but if the caller is Javascript then you're running Javascript, not Typescript*, so it makes sense that you're not going to get type safety.

I'm also not sure we're actually disagreeing on anything, so perhaps my reply was pointless. I agree that if you mix JS and TS in the way you describe, you'll have problems. My reply was just to say "yes, and that's not really Typescript's fault", but perhaps you weren't implying that to begin with.

* I'm aware that you can't run Typescript directly, but I hope my point here is clear... you're running a program that wasn't type-checked by TS.

New comment by md224 in "JSDoc is TypeScript"

md224 — Sun, 14 Dec 2025 21:44:06 +0000

Writing a Typescript program that takes external input but has no runtime error checking is already a mistake, though. Dealing with external input requires type assertions (since Typescript doesn't know what the program is getting at compile-time) and if you write type assertions without ensuring that the assertions are accurate, then that's on you, not Typescript.

However, if your point is that Typescript can lull people into a false sense of safety, then sure, I take your point. You have to understand where type assertions are coming into play, and if that's obscured then the type safety can be illusory. The benefits of Typescript require you to make sure that the runtime inputs to your program are sufficiently validated.

New comment by md224 in "A new bridge links the math of infinity to computer science"

md224 — Wed, 26 Nov 2025 03:16:31 +0000

This might be a dumb question but are there any current or foreseeable practical applications of this kind of result (like in the realm of distributed computing) or is this just pure mathematics for its own sake?

New comment by md224 in "Secret diplomatic message deciphered after 350 years"

md224 — Sun, 19 Oct 2025 07:14:01 +0000

> The solution was reached by using codebreaking software the team had developed along with extensive manual work, in part required because Perwich had mistakenly omitted a couple of letters in his ciphertext.

That explains how the team of 3 codebreakers got it, but what about the other codebreaker, Matthew Brown, who figured it out by himself? The article doesn't say anything about his approach. Seems impressive if he can match the effort of three cryptographers using their own custom software. I want to read more about him!

New comment by md224 in "Working pipe operator today in pure JavaScript"

md224 — Wed, 08 Oct 2025 15:59:22 +0000

I suspect this was written with an LLM and the author didn't actually verify that the examples in the README worked.

New comment by md224 in "Low Earth Orbit Visualization"

md224 — Thu, 25 Sep 2025 02:00:08 +0000

If you're looking for something real-time, I'd recommend checking out NASA's "Eyes on the Solar System" visualizer (not as comprehensive but still pretty cool):

https://eyes.nasa.gov/apps/solar-system/#/earth

New comment by md224 in "Terence Tao: The role of small organizations in society has shrunk significantly"

md224 — Wed, 24 Sep 2025 20:13:16 +0000

Tanner Greer has a good piece on how the American tradition of bottom-up self-organization has been supplanted by top-down bureaucracy: https://palladiummag.com/2023/03/30/a-school-of-strength-and...

A School of Strength and Character (2023)

md224 — Wed, 24 Sep 2025 18:44:49 +0000

Article URL: https://www.palladiummag.com/2023/03/30/a-school-of-strength-and-character/

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

Points: 2

# Comments: 0

Proofs that there are infinitely many primes

md224 — Thu, 04 Sep 2025 23:52:29 +0000

Article URL: https://t5k.org/notes/proofs/infinite/index.html

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

Points: 5

# Comments: 0

New comment by md224 in "Stripe Launches L1 Blockchain: Tempo"

md224 — Thu, 04 Sep 2025 22:26:47 +0000

> technologies aren't themselves disruptive; customer choices are

Technologies are themselves disruptive, as their introduction can shape human behavior. Choice doesn't happen in a vacuum.

New comment by md224 in "Cloudflare incident on August 21, 2025"

md224 — Sun, 24 Aug 2025 22:21:18 +0000

I'm having trouble understanding the second diagram in the article. I can make sense of a directed graph, but this one has thin horizontal lines with arrows leaving them in both directions. These lines look like dividers, not nodes, so I'm not sure how to interpret it.

The Monty Hall Problem: Why the nature of the host's choice matters

md224 — Thu, 26 Jun 2025 23:45:23 +0000

Article URL: https://observablehq.com/@mattdiamond/monty-hall-problem

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

Points: 2

# Comments: 3

New comment by md224 in "Unsupervised Elicitation of Language Models"

md224 — Sat, 14 Jun 2025 19:42:50 +0000

I was intrigued that one of the researchers was listed as "independent", so I checked her out:

https://lindapetrini.com

It looks like she's a science communicator rather than a scientist herself. That's interesting... I'm not used to seeing academic papers that include an author devoted entirely to the writing aspect. (Then again, maybe I just haven't noticed?)

Formal Conjectures

md224 — Fri, 30 May 2025 00:14:15 +0000

Article URL: https://github.com/google-deepmind/formal-conjectures

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

Points: 4

# Comments: 0