md224

it's possible that he was making a joke about exiting a startup

but I appreciate your comment regardless

I think you misread the person you replied to.

"decisions which they don't understand to be compliant" = "decisions which they don't believe to be compliant"

In other words, they understand that the decisions are not compliant. There's no contradiction with what you said.

If you like space visualizers, NASA has a cool one:

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

The most striking thing to me is that Ayer hopes there isn't life after death.

> My recent experiences have slightly weakened my conviction that my genuine death, which is due fairly soon, will be the end of me, though I continue to hope that it will be. (italics mine)

I do get the sense that many atheists not only reject God & the afterlife but actually don't want there to be a God or an afterlife. (I think Thomas Nagel wrote something along those lines.) I sort of get it but regardless I think it's very interesting.

I believe you can thank Verso for that:

https://github.com/leanprover/verso

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?

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

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.

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.

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?

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

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

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

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

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

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.

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

> set theory is the foundation of all of mathematics

I disagree. I would say set theory is a foundation, not the foundation.

Which system is the "correct" foundation of mathematics? Does it even make sense to talk about correctness in this context? These are open questions and they're very interesting! Don't prematurely close yourself off to them by assuming that set theory's role is some kind of scientific fact.

But what if it's only faking the alignment faking? What about meta-deception?

This is a serious question. If it's possible for an A.I. to be "dishonest", then how do you know when it's being honest? There's a deep epistemological problem here.

I wish the US would legalize coca leaves. Our nation's drug laws are so goddamn stupid.

Two different Popes drank Vin Mariani!

https://en.wikipedia.org/wiki/Vin_Mariani

Something that continues to puzzle me: how do molecular biologists manage to come up with such mindbogglingly complex diagrams of metabolic pathways in the midst of a replication crisis? Is our understanding of biology just a giant house of cards or is there something about the topic that allows for more robust investigation?

> Once, after injecting himself with a large dose of morphine, he found himself hovering over an enormous battlefield, watching the armies of England and France drawn up for battle, and then realized he was witnessing the 1415 Battle of Agincourt... The vision seemed to last only a few minutes, but later, he discovered he’d been tripping for 13 hours.

This doesn't make any sense... morphine is not a hallucinogen or a psychedelic. You don't "trip" on it. I have a feeling the journalist mixed something up here.

Aw man, yours is way cooler than mine: https://matt-diamond.com/zeta.html

Still, it's funny to see how many people have attempted this! It's a fun programming exercise with a nice result.

Why does HN automatically drop "This" in article titles?

> However, we also see that for only those combinations starting with a T (that is f(n - 1))...

Why is that f(n - 1)?

One of my favorite films! Agreed that it's not for everyone, but if you're on its wavelength it's really something special. Just incredibly well made with terrific performances. That ending sequence with La Mer...

It's not just about conscious action but also perception, being conscious of things. I don't know how that could be a trick.

> if you find just one experiment that goes against your model, you immediately invalidate the model

Pierre Duhem would like to have a word with you:

https://plato.stanford.edu/entries/scientific-underdetermina...

> Holist underdetermination ensures, Duhem argues, that there cannot be any such thing as a “crucial experiment”: a single experiment whose outcome is predicted differently by two competing theories and which therefore serves to definitively confirm one and refute the other.

Wouldn't this mean that the author of this article wrote it unconsciously?