sdht0

12 ms·

61.
by sdht0 3y ago
Alright, it took longer than expected. I wasn't able to give full attention to all the arguments of the book, but I think I got the main arguments and counter-arguments. So the thesis of the book "Five Proofs" is as it says i
62.
by sdht0 3y ago
> sees what he wants to see Most definitely. Though I do think (hope?) we humans can rise above our limitations to grasp the actual Truth quite a bit. > The book Five Proofs is not the same set of five that Aquinas very briefly summar
63.
by sdht0 3y ago
> all your objections can be answered I've been promised such many many times, and every single time the arguments have fallen hilariously short of the promise. For instance, the "Five Proofs" are basically a variation of
64.
by sdht0 3y ago
> what justifies our choice of a particular prior Right that's a good question. I'll point to an answer Sean Carroll gave in an AMA episode [0] of his Mindscape podcast: The pros and cons of Bayesian reasoning are almost al
65.
by sdht0 3y ago
Maybe we can get the best of both worlds by taking hand written notes on a tablet?
66.
by sdht0 3y ago
> Since the past has resembled the future in the past many times, that gives us evidence that the past resembles the future Ah not evidence in the strict sense of the world. I mean in the sense of probabilistic Bayesian reasoning [0], wh
67.
by sdht0 3y ago
> I think the context matters. Fair enough :) > He/she is, however, on the lookout for contradictions I'll just note that contradiction is not the right term in context of the premise. Rather, it'd be discrepancy that w
68.
by sdht0 3y ago
> I think God's existence can be proved rationally We have to be careful here by what "God" means. God as in a First Cause is trivially true, but is not what most people mean when they say God. The existence of the God of
69.
by sdht0 3y ago
> each of us should examine our own beliefs, and not only ask "What if I'm wrong?" but "How would I know if I were wrong"? The final arbiter is repeatable verifiable data. Everything else to subject to doubt. So
70.
by sdht0 3y ago
> But belief in Christianity is sort of logically prior to rational argumentation. [...] I don't think we can really make any progress by trying to argue about the foundational premises themselves, if that makes sense. Yes! I think
71.
by sdht0 3y ago
> I can of course do the same with the PR, but then it loses its convenience. :) Not at all. A PR still retains all the other useful features like separate threads for comments which be individually marked as done and CI checks. And not
72.
Gaming only on Linux, one year in(tim.siosm.fr)
3 points by sdht0 3y ago|0 comments
73.
Why does everyone install crates globally?(dustinblackman.com)
1 points by sdht0 3y ago|1 comments
74.
On the Challenge of Sound Code for Operating Systems(dl.acm.org)
3 points by sdht0 3y ago|0 comments
75.
A fresh look on incremental zero copy serialization(udoprog.github.io)
2 points by sdht0 3y ago|0 comments
76.
Fwupd 1.9.6 Brings Linux Firmware Updating for AMD Graphics Cards(phoronix.com)
24 points by sdht0 3y ago|2 comments
77.
Collecting and curating material is good and we should do it more(buttondown.email)
141 points by sdht0 3y ago|41 comments
78.
Alternative Shells(github.com)
48 points by sdht0 3y ago|10 comments
79.
Arch Is the Best(wiki.archlinux.org)
2 points by sdht0 3y ago|1 comments
80.
My Lifetime Reading Plan(honest-broker.com)
83 points by sdht0 3y ago|82 comments
81.
How I Take Notes(honest-broker.com)
2 points by sdht0 3y ago|0 comments
82.
Developing in GNOME OS: systemd-sysext(blogs.gnome.org)
28 points by sdht0 3y ago|1 comments
83.
The Nuance of “Domain”(blog.jim-nielsen.com)
1 points by sdht0 3y ago|0 comments
84.
Forgejo v1.20 Is Available(forgejo.org)
7 points by sdht0 3y ago|0 comments
85.
A nontechnical introduction to Keyoxide and online identity verification(blog.keyoxide.org)
2 points by sdht0 3y ago|0 comments
86.
Better ways to read Hacker News(hackerbits.com)
47 points by sdht0 3y ago|31 comments
87.
by sdht0 3y ago
https://www.cyberciti.biz/faq/install-update-intel-microcode...
88.
Finding the Bottom Turtle (2021)(blog.dave.tf)
2 points by sdht0 3y ago|0 comments
89.
Trailing Commas Are Just the Beginning (2022)(jesseduffield.com)
1 points by sdht0 3y ago|1 comments
90.
The Framework 16 AMD Advantage laptop [video](youtube.com)
3 points by sdht0 3y ago|0 comments

More ›