113 karma · joined December 27, 2023
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?
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.
Is it just me or is it weird seeing these clickbaity AI-generated taglines in an otherwise scientific work?
Makes sense. The people in charge of setting AI initiatives and policies are office people and managers who could be easily replaced by AI, but the people in charge not going to let themselves be replaced. Salesmen and engineers are the hardest to replace, yet they aren't in charge so they get replaced the fastest.
Most people inherit nothing. Actually, most people end up spending money taking care of their parents.
Most people taking out student loans are still teenagers. Does anyone really expect a teenager to make good financial decisions? Also, most people can't get a solid job without going to college, so they're forced to take out loans.
That "negligence subsidy" is really helping people who were put in an unfair situation by colleges and banks.
While LLMs are in generally fairly good at recalling bible verses, they can't do it perfectly. If the Bible truly is the infallible word of God that we believe, then shouldn't we use more caution than just "welp, sometimes it makes mistakes"?
You could counter this by saying a person can't remember Bible verses, and this is true, but a person usually recognizes when they can't remember something instead of making something up. If you asked me to recall any random Bible verses, chances are I wouldn't be able to do so. However, unlike an LLM, I would admit I don't know for sure and I would pull out a Bible or look online for an authoritative source rather than adlibbing something on the spot.
Because an LLM does not have a soul and cannot receive the sacrament of confirmation it has no power to spread the gospel. Furthermore, it would be irresponsible for a bishop to approve of the use of an apologetic chatbot, even if it were only trained on the arguments of confirmed faithful, because its thinking cannot be explained coherently.
For those asking "Why does this even matter?", remember: the salvation of souls is at stake.
Ironically, most of the anti-Christian and Pagan symbols you see today were actually copied from Christianity. The upside down cross was originally the Cross of St. Peter (St. Peter asked to be crucified upside down because he thought himself unworthy to die as Christ did), until anti-Christians used it in intentionally sacrilegious mock-rituals (https://en.wikipedia.org/wiki/Black_Mass).