michaelfm1211

Joined 2 years ago

Karma
113
Submissions
36
Member since
Dec 27
https://github.com/michaelfm1211
View on Hacker News

Recent submissions

Comment · 2 months ago
This sounds similar to letters of marque and reprisal, which is something I haven't thought of since middle school constitution class until now.
Comment · 2 months ago
I don't disagree with the result but the argument may be flawed. How do you know it's not the other way around, that richness causes having rich friends, rather than rich friends causing richness?
Comment · 2 months ago
Probably varies on area of study. Many engineering students take prerequisites with intense course load their first year.
Comment · 3 months ago
Reminds me of this: https://mathoverflow.net/questions/513742/are-we-stuck-with-...

I know this is an implementation bug not a meta-theory bug, but I'd almost consider the fact soundness bugs are possible as a bug in the ideology, or at least a severe drawback. Stuff like this just wouldn't happen in Metamath. In a future where AI is autogenerating formalizations, why not have the AI use a harder but airtight system like Metamath?

Comment · 3 months ago
How is it that 132.5 watts is 3 light bulbs but 918 watts is 765 light bulbs? Is there a typo?
Comment · 3 months ago
Ok but like how has their valuation gone up 5x? I don't see how people betting their money and valuation going up is related. Sorry if this is a stupid question, I really don't know anything about the stock market.
Comment · 3 months ago
An overwhelming number of Christians do not believe this and do not interpret Revelation in this way. The belief that "Jesus will come back and solve everything instantly" is only held by a minority of small 2nd Great Awakening groups and a few outspoken Evangelical groups, and is unique to theological traditions that arose in the United States. The official teachings of the Catholic Church, Orthodox Churches, Anglican and Episcopal communions, Presbyterian denominations, etc and other mainline Christians don't believe this. Before you blame a group for ruining the world or rejecting climate change please actually talk to a representative sample of real people in the group you are making claims about.
Comment · 3 months ago
I know nothing about economics or finance, but how is it that the first $1T dollar company was Apple and that didn't happen until 2018 and now it's a $5T dollar company just 8 years later. Did Apple really become 5x richer in that time?
Comment · 3 months ago
This is terrifying
Comment · 3 months ago
How is it that a most MEPs vote it down and it still passes? Can someone explain to me how the EU Parliament can do this?
Comment · 3 months ago
Awesome
Comment · 4 months ago
This isn't an issue over problems within the SSPX, it's over consecrating bishops without papal approval. If a liberal group did the same thing they would also incur latae sententiae (automatic) excommunication.
Comment · 4 months ago
> declared SSPX priests to be schismatic, and therefore excommunicated, and invalidated the sacraments of confession and marriage that they administer.

This is the big part no one's talking about. After the first Econe consecrations only the bishops were excommunicated, not all the clergy too. Before the recent consecrations, a lot of people (myself included) recognized the consecrations as wrong but were fine attending SSPX Masses because those priests were never excommunicated. Many traditional Catholics saw the schismatic bishops as the problematic leadership/history of an otherwise well-intentioned organization. But now, given all of the SSPX is excommunicated, attending SSPX Masses are clearly wrong. This is all a very sad situation. Please keep both the SSPX and the Pope, as well as all the faithful caught in the crossfire, in your prayers.

Comment · 4 months ago
Can the petitioner re-file with his own name as the inventor, or does this mean that all AI-generated inventions are unable to be patented?
Comment · 4 months ago
The problem isn't AI, it's that you gave a take-home exam expected no one to cheat.

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton