Christian Data Scientist exploring where probability meets Providence. Writing on apologetics, AI, and why order in the universe isn't accidental.
At the limits ➡️
- Tweets 6,689
- Following 286
- Followers 549
- Likes 88,500
Pinned Tweet
> Show me the evidence
> Sure, that's a reasonable request. Here are the eyewitness testimonies to Jesus's life, death, and Resurection
> That's not evidence
> Ok, how about the myriad of archeological findings that support the historical Biblical account?
> That's not evidence
> Alright, let's use science. The Big Bang and Fine tuning show that a Creator is more likely than not
> That's not evidence
> Ok, perhaps a philosophical argument will do the trick. Contingency, MOA, Moral argument, and the Kalam.
> That's not evidence
> Ok, it's hard to see what you'll accept as evidence at this point. I'm starting to think you don't actually want the evidence.
161
176
2,158
50,325
"But you, Daniel, shut up the words and seal the book, until the time of the end. Many shall run to and fro, and knowledge shall increase."
- Daniel 12:4
OpenAI have proven that matrix multiplication can be done in O(n^2.25) operations, which is a massive improvement. It is especially concerning because these AIs themselves run on matrix algebra.
The previous record was O(n^2.37), which had barely moved from O(n^2.4) in 1990.
OpenAI blew it away.
But... it is a nonconstructive proof. No algorithm was found, only a proof that it must exist.
3
172
To ratio, or not to ratio - that is the question:
Whether ’tis nobler in the replies to suffer
The likes and quotes of outrageous takes,
Or to take arms against a sea of main characters,
And by opposing, end them.
To quote, or not to quote: that is the bait.
Whether ’tis wiser in the feed to suffer
The slings and arrows of a mediocre opinion,
Or to drop one line so devastating
That the original poster simply logs off.
To post, or not to post - that is the spiral.
For in that draft of drafts what nightmares may come
When we have hit send and shuffled off this draft,
Must give us pause. There’s the ratio
That makes calamity of so long a thread.
3
5
99
Greetings, programs.
When I interact with AI to write code, I treat it like a debate with the model. And not just because I like dunking on weighted sums.
I use a targeted line of questions that lead the model to a desired conclusion.
Instead of getting the model to admit to a fallacy like in normal debate, I lead the model down a path of reasoning that it wouldn't otherwise take itself, due to the limitations of its own architecture. The conclusion is a curated stream of "thought" that will mimic human reasoning enough to produce something fairly robust.
Rinse and repeat.
The whole game is to get AI to do the thinking it doesn't do by itself.
That game is deep and can't be distilled into one post, but here are the general form of some questions I find myself using a lot.
1. Is there a simpler way to do this while still meeting the requirements?
1b. How much of this system is specified for events that are unlikely to happen? (AI loves to write ridiculously defensive slop sometimes)
2. Are we using as much <whatever exists now> as possible?
3. *Did we run the tests?* (Seems simple, is incredibly complex)
4. Does this solution get us behavior A and behavior B? (A zoom out question that can often reveal a mismatch in goals between you and the AI)
5. Why was this failure missed?
Curiosity can kill the cat or it can build something beautiful.
2
4
178
Granted I'm a data scientist, not a pure programmer, but almost everyday Paul posts something from the world of programming, I take a look, and then have my mind blown that tech like this exists.
seL4 exists. Hard to develop? Yes. But so was the first compiler. You either care enough to evolve the methodology, the techniques, or you don’t.
1
2
132
A Muslim driver paused to pray Salah. 🙏🏻❤️
Community note
1.この動画はUAEドバイで撮影されたもので、バスに「DUBAI bus」と表示されています。日本での出来事ではありません。
2.乗客の姿も運転手の姿も確認できない事から、礼拝しているこの男は運転手本人で、休憩中に礼拝していると推測されます。
boomlive.in/fact-check/dri…
x.com/shiro324339/st…
x.com/taro_kisaragi/…
rta.ae/wps/portal/rta…
1
2
114
"People will be lovers of themselves, lovers of money, boastful, proud, abusive, disobedient to their parents, ungrateful, unholy, without love, unforgiving, slanderous, without self-control, brutal, not lovers of the good" - 1 Timothy 3:2-3
3
9
272
It's incredible when you realize just how much of atheist argument against God reduces down to "I would have done it another way"
If there's one thing God has done in my life since I was saved, besides increasing my love for Him and others, is the destruction of setting my will before His. Sometimes this has been painful discipline, but the fact remains that God wants a relationship with us and telling Him "I would have done it another way" is always a hindrance to that.
"But he gives us more grace. That is why Scripture says: “God opposes the proud but shows favor to the humble.”" - James 4:6
30
5
45
2,883
The Lord is bringing many people into the faith.
Something is shifting, can you feel it?
I am an atheist but thoughts of going to church and exploring Christianity are entering my mind more and more, anyone else feeling the same?
It feels odd that at almost 50 Years Old I am feeling this but never before!
5
14
414
Dogs wrestling. Phillip Anthony Mitchell sermon playing. Heading to church soon, full of expectation.
There’s a shift in the atmosphere. Can you feel it?
Wherever you are, reach out to Jesus today. He’s waiting for you.
5
67
Taking yourself less seriously and taking Jesus seriously is the only way to truly live.
JOY.
1
7
163
Limit and Mind retweeted
It’s done, today we got 128 players on a single match in Halo
21
54
739
17,415
It's amazing what can happen when you don't talk to children like they are beneath you
"Von Neumann would carry on a conversation with my 3 year old son, and the two of them would talk as equals, and I sometimes wondered if he used the same principle when he talked to the rest of us" - Edward Teller
2
7
148
One time some friends and I were playing Halo 3 and matched with someone named "White_Supremacist", who I think we beat on the Guardian map.
After the game, we thought it a good idea to send him a voice message yelling "Black Power!!!" over and over 😂. Mind you, all of us were, and still are, white and were, but aren't anymore, incredibly young.
He responded by saying our entire family was going to die...
Great times!
These are the streets I grew up on.
I’ve heard things that would make actual 343i LIBERAL SNOWFLAKES cry themselves to sleep.
9
250
This goes hard.
Reminds me of Blind Guardian's LOTR album, but for Warhammer 40k.
"I wore the Eagle before corruption
I knew the Third before its fall
You can call yourself perfection
I see nothing there at all
WHO BETRAYED US? FULGRIM!
WHO REMAINED? RYLANOR!
WHO SOLD HONOR? FULGRIM!
WHO STILL STANDS? RYLANOR!
NO GOD! NO PRINCE! NO PERFECT LIE WILL CHANGE MY MIND!
...
TEN THOUSAND YEARS HAVE PASSED AND I HAVE NOT FORGOTTEN YET!
LET THE LEGION HEAR ME!
LET THE DEAD KNOW WHY!
I WAS LOYAL THEN— I AM LOYAL AS I DIE!
ANCIENT!"
youtube.com/watch?v=-cbVoGXG…
1
88
Just so everybody is aware, this dichotomy between modal collapse and ungrounded reality is not forced by the setup. There is a third option.
That option is the free choice of the necessary agent. Multiple choices (worlds) would be compatible with the necessary being. This being has a will. Agent causation therefore adequately explains the choice of the agent without that choice being a necessary part of its nature. In other words, the choice is contingent, because it's free.
The next move you often see here is the demand for a contrastive explanation, If A explains B, then why B rather than C? If both are compatible with A, what distinguishes between the two?
There are multiple reasons to doubt that this is a cogent request.
1. “Rather than C” does not automatically introduce another fact requiring another explanation. From the fact that A does not rule out C, it does not follow that A fails to explain B. It follows only that A does not provide the particular contrastive explanation being requested. The contrastivist owes us an account of why every adequate explanation must discriminate between the actual outcome and every relevant alternative. The PSR promises an explanation of contingent facts, it does not obviously promise an answer to every contextually specified contrastive question.
2. Requiring a something prior to discriminate B from C may beg the question against libertarian agency. Suppose we invoke a Pruss style defense where God freely chose B for certain reasons, thereby explaining B without necessitating it. The contrastivist introduces some further fact D and asks whether D explains why God chose B rather than C.
> If D necessitates B, then the choice no longer appears libertarian.
> If D just favors B, the contrastivist can still ask why God acted on that consideration rather than choosing C.
The explanatory demand either continues or eventually terminates in something that determines the outcome.
The Free Willyin answer is that the agent, not an additional antecedent event, is what settles the question. God’s reasons make the action intelligible, while God’s exercise of agency makes B obtain.
Ontological grounding mirrors epistemic justification: chains either regress, loop, or end with an ungrounded brute fact. A necessary being doesn't escape this. Its free choice to create this cosmos is either necessary (modal collapse) or ungrounded--a brute fact by another name.
4
8
377
A husband also has the opportunity to influence his wife to become an amazing woman, if she's not already, by loving her unconditionally and setting boundaries.
In the case where there's a mismatch in belief, a believing wife can also do this for her unbelieving husband.
"Wives, in the same way submit yourselves to your own husbands so that, if any of them do not believe the word, they may be won over without words by the behavior of their wives," - 1 Peter 3:1
How we treat each other is incredibly important to God.
2
2
152
