Viewing profile — 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 u…

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

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

https://archive.is/pTTQK

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 …

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

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

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

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

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…

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

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

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