LordRatte
People being more interested in comfortable beliefs rather than true beliefs has always been a concern throughout Biblical history. But that doesn't mean it never went unchallenged.
For instance, regardless of what you think of the Bible, it's interesting that Isaiah has the following to say to Judah (emphasis mine) because it shows an ever-present problem with human nature.
For they are a rebellious people, lying children, children unwilling to hear the instruction of the Lord;
*who say to the seers, “Do not see,” and to the prophets, “Do not prophesy to us what is right; speak to us smooth things, prophesy illusions”*
And before someone responds with a de jure objection to say that "the instruction of the Lord" is not looking for truth, I just want to make it clear that that is out of the scope of my point. My point is that, de facto, in the context, a religious text is agreeing that it is bad to "tribe-up and truth-out."Lastly, on a personal note, as a human Christian, I think I have the same biases to groupthink as any other person because I am human. But because Christianity has a reputation, I have found that throughout my life, I've had to work harder to really test (not validate) my beliefs because I am constantly being challenged and, ironically, often ended up more informed about both my beliefs and my interlocutors' beliefs.
https://j-stubbs.gitlab.io/algebraic_structures/
It's all very POC right now but the idea is to eventually add many improvements including documenting the Python API.
Show HN: Algebraic Structure Toolkit and Dataset
https://j-stubbs.gitlab.io/algebraic_structures/
Half code library and dataset; half reference resource and teaching tool.I have been working on this project for a few months to encode and visualise Abstract Algebra structures. The broad goal is that it will encourage more accessible ways of researching and cataloguing Abstract Algebra without sacrificing rigour.
Ask HN: Startup founder to full-time employee
I will soon be starting a full-time job after having run a startup for the last decade.The first thing I am trying to plan for is I don't want the rigidity of office life to be a shock and cause burnout. I know going from being my own boss to having a boss will be hard but I am looking for hacks to manage it.Secondly, I am going to have a lot less free time. How would you cut down/manage your...
The English Esoteric Programming Language
This is all I see.
I take it that my ad blocking plugins and security settings are working then.
I originally switched to i3wm because it was kind to my resources and I stayed because I discovered the joys of tiling windows.