undershirt

6 ms·

1.
by undershirt 10d ago
> Don't post generated text or AI-edited text. HN is for conversation between humans.
2.
by undershirt 10d ago
it's an AI comment
3.
by undershirt 24d ago
yes galileo was forced to recant heliocentricism to the roman catholic church, because they had gone insane. also consider the dogmatic commitment that scientism has to methodological naturalism. this is the religious spirit of science toda
4.
by undershirt 1mo ago
I’ll never understand how GEB was using math, art, and music to explain consciousness (and Hofstadter himself still thinks no one understood it), but Nagel and Newman did a great job explaining why logic as a mechanical thing has only a ten
5.
by undershirt 2mo ago
any intersection with val.town use cases?
6.
by undershirt 2mo ago
allowing functions to treat nil arguments as empty versions of their expected types
7.
by undershirt 3mo ago
i would love to see a version of this for the antikythera
8.
by undershirt 3mo ago
have you written about this anywhere, or hosting any examples?
9.
by undershirt 3mo ago
that's one way to combine three plus signs!
10.
by undershirt 4mo ago
I don't even know what science is anymore.
11.
by undershirt 9mo ago
Most of what I know about Catholicism I learned after becoming Orthodox. I've been seeing more Catholics here, which makes sense, as the history of Western thought is rooted in post-schism scholasticism, which eventually birthed ration
12.
by undershirt 9mo ago
Braid (2008)
13.
by undershirt 9mo ago
sorry, I was tempted to draw a connection between the coincidence of dustified steel recorded during a magnetic disturbance and the locations of megalithic sites, but I’m not committed to their connection. I find it fun to hypothesize but
14.
by undershirt 9mo ago
I think debates are interesting because it’s obvious that people are temporarily imprisoning any devastating arguments within their higher sense that something about it is wrong. The attempt to “rationalize” and discover what this higher in
15.
by undershirt 9mo ago
Maybe a “heresy” is simply that which is valid but not sound. The ecumenical councils were in some ways the means by which they imprisoned and cut away what is valid (according to some presuppositions) to leave only what is sound (according
16.
by undershirt 9mo ago
The differences between East and Rome are very substantive in my mind. The Holy Spirit operates in the Church differently (decentralized vs centralized), and they experience God differently (directly vs indirectly), and they even shape the
17.
by undershirt 9mo ago
But consider how each sect defines unity and the criterion for uniting to others. In my mind, to simplify: Evangelicals: we must agree to a common *subset* of beliefs Catholics: we must agree to allow contradictory belief systems
18.
by undershirt 9mo ago
> mortality is fundamentally ingrained in not just the human condition, but the fabric of our universe church fathers say that creation fell because of the fall of man > Without the finality of death, life seems to lose its meaning. N
19.
by undershirt 9mo ago
> "interpretations"... which are different from what the law literally says. We have to remember that the letter and spirit of the law can grow apart over time, and loopholes are often gamed before that naturally happens anyway
20.
by undershirt 11mo ago
The St Nicholas Orthodox church sat at the base of the Twin Towers, because it was there for 100 years and they wouldn't take the money to rebuild it elsewhere. They probably served their last Divine Liturgy there on Sunday 9/9&#x
21.
by undershirt 11mo ago
I was on a break at work reading a lot about 9/11 for some reason. Went back to fix an easy bug where our timestamps were printing wrong dates (milliseconds vs seconds) so I became curious what dates would show up if I added zeros in f
22.
by undershirt 11mo ago
Cool link though, thanks. So the worst historical event of the information age happened right at the billenium.
23.
by undershirt 11mo ago
9/11 happened 1 trillion milliseconds after the unix epoch.
24.
by undershirt 1y ago
> Trust but verify What does this mean?
25.
by undershirt 2y ago
vflat is good for this
26.
by undershirt 2y ago
I know our engineering discipline is in shambles, but there are probably better ways to argue against hype without ourselves using hyperbole.
27.
by undershirt 2y ago
Gödel gave an example of this by making a system of arithmetic generate statements about itself, and proved that it can't generate all possible truth statements (completeness) without generating some false ones (inconsistency). So, log
28.
by undershirt 2y ago
God forgive us. May his memory be eternal.
29.
by undershirt 2y ago
> I got a strong feeling that Lewis' arguments and exposition were guided by something other than logic, though they pretended to be following it. The trilemma is an example of this. One way to discover that we necessarily have worl
30.
by undershirt 2y ago
Just a normal program then? No edge cases needed

More ›