md224

5 ms·

1.
Michael Levin: Ingressing Minds(mdpi.com)
6 points by md224 7d ago|1 comments
2.
by md224 2mo ago
it's possible that he was making a joke about exiting a startup but I appreciate your comment regardless
3.
by md224 3mo ago
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 a
4.
by md224 4mo ago
If you like space visualizers, NASA has a cool one: https://eyes.nasa.gov/apps/solar-system/
5.
Eyes on the Solar System(eyes.nasa.gov)
1 points by md224 4mo ago|0 comments
6.
by md224 5mo ago
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
7.
by md224 5mo ago
I believe you can thank Verso for that: https://github.com/leanprover/verso
8.
by md224 5mo ago
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?
9.
by md224 6mo ago
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
10.
CSLib: A Focused Effort on Formalizing Computer Science in Lean(cslib.io)
4 points by md224 7mo ago|0 comments
11.
by md224 8mo ago
https://archive.is/pTTQK
12.
Life on Peptides Feels Amazing(nymag.com)
5 points by md224 8mo ago|2 comments
13.
Mothers Against Decapentaplegic(en.wikipedia.org)
4 points by md224 8mo ago|0 comments
14.
by md224 9mo ago
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 r
15.
by md224 9mo ago
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 c
16.
by md224 10mo ago
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?
17.
by md224 11mo ago
> 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
18.
by md224 11mo ago
I suspect this was written with an LLM and the author didn't actually verify that the examples in the README worked.
19.
by md224 1y ago
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-
20.
by md224 1y ago
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...
21.
A School of Strength and Character (2023)(palladiummag.com)
2 points by md224 1y ago|0 comments
22.
Proofs that there are infinitely many primes(t5k.org)
5 points by md224 1y ago|0 comments
23.
by md224 1y ago
> 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.
24.
by md224 1y ago
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
25.
The Monty Hall Problem: Why the nature of the host's choice matters(observablehq.com)
2 points by md224 1y ago|3 comments
26.
by md224 1y ago
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 inter
27.
Formal Conjectures(github.com)
4 points by md224 1y ago|0 comments
28.
Ricky Jay and His 52 Assistants (1996)(archive.org)
8 points by md224 2y ago|0 comments
29.
by md224 2y ago
> 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 c
30.
by md224 2y ago
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 d

More ›