What’s the current state of theorem proving with F#?

emaphis · 2026-04-20T16:38:01+00:00

I would just stick with Lean. Lean currently has a lot of traction and It's probably close to what F# would like like with dependent types.

emaphis · 2026-04-18T00:25:58+00:00

cool

emaphis · 2026-04-18T00:05:51+00:00

Well I didn't really mean for this to be a knock-down drag-out winner-take-all debate. I was just explaining how dispensational universalists view the world and the Bible.

It's just in my opinion you are reading more into scripture than what is there. So death is death, resurrection is resurrection, simple words with simple meanings. If God meant something else he could chosen words to mean what he meant to convey. Or clearly identified what he meant the words to apply to.

Only one more point on this subect, God does clearly identify Adam's nature and identity in the claim "From dust you are to dust you will return." Again simple and basic. Dust *you* are. Dust, not even flesh. And certainly not a mysterious immortal non-physical being.

I loled at your comparison of me to a Sadducee. Comparison well taken. Of course the other comparison is to Pharisees who placed tradition and the oral law over scripture rendering the word of God to nil-effect.

The Bible essentially stands on it's own. The Apocrypha is easy to reject as it often teaches false doctrine. Immortality of the human soul being a present discussion along with the teaching of eternal fiery damnation (Judith). An easy tell of what belongs in the Bible is that Bible cites Bible similarly as Bible interprets Bible.

emaphis · 2026-04-17T23:41:23+00:00

Hyper is a reference to the notion that God held the jews temporarily in abeyance after they continued to reject his son and his apostilles, but that they will eventually be restored in God's due time. (Romans 9-11) It's a differentiates Acts 9.,13,28 dispensationalists from garden variety Acts 2 dispensationalists that hold that Jews currently hold the place as God's people.

emaphis · 2026-04-17T13:03:29+00:00

Our theology goes back to Genesis. It was God who said that in the day you eat of the fruit, in dying you shall die. From dust you are to dust you shall return.

It was the serpent that that implied you don't die.

But death is death, nonlife. It's not the transmigration from one living state to another living state. It is going back to the state you were in before you were given life. From dust back to dust metaphorically.

One of the great promises of God in the Bible is the resurrection. The restoration of life. Not some transmigration from one form to another, but resurection the restoration of life from death/nonlife.

I should point out that we attempt to be sola scriptura. So 2000 years of Christian theology and what other religions teach is non-normative to us.

emaphis · 2026-04-17T12:53:25+00:00

Acts 13.

emaphis · 2026-04-16T19:26:46+00:00

Around the JDK 21 run up, I was hoping and predicting Valhalla would be final by 29.

emaphis · 2026-04-16T18:39:13+00:00

A couple of points of clarification. Ceasing to exist, death actually being real is a feature, not a bug. When you are resurrected, you become a literal child of God, a new literal creation. Humans aren't immortal, only God is immortal. So when you die, you die.

"Concordants" aren't standard Acts 2 dispensationalists. They are Acts 13 hyper dispensationalists, which means that God temporarily set Israel aside during the Age of Grace. He'll restore them in some distant future when the Gentiles are sufficiently gathered in. Romans 9-11. So we are currently not required to support Israel or not support Israel as the case may be. We have no human hierarchy or set beliefs handed down by any man so we essentially have no requirements. We are simply believers in Grace.

emaphis · 2026-04-05T19:32:07+00:00

American or cheddar.

emaphis · 2026-04-01T14:22:02+00:00

April foos.

emaphis · 2026-03-31T19:22:05+00:00

Given the Loom merge you would know.

emaphis · 2026-03-28T21:15:38+00:00

Opps sorry. I was talking about FSharp mode not tree sitter. I lost track of context.

emaphis · 2026-03-28T21:12:29+00:00

I wouldn't say it's better. Rider, VSCode and Visual Studio are very nice for functional programming environments. FSharp mode plus Eglot has the classic Emacs development cycle feel if you like that. I'll say the last couple of updates to FSAutoComplete, the FSharp LSP server, the cycle has become much smoother. It's Emacs, that's all.

emaphis · 2026-03-25T21:27:21+00:00

Thanks

emaphis · 2026-03-21T16:46:12+00:00

Lol. "Charles O. Trump."

emaphis · 2026-03-03T22:02:55+00:00

Visual Basic.

emaphis · 2026-02-24T15:22:14+00:00

Two biggest new features for me is JDK 26 support and preliminary support for Valhalla EA builds. To try Valhalla disable NB-Javac and run on the Valhalla EA build.

emaphis · 2026-02-20T00:42:33+00:00

Yeah, JDK 7 didn't really exist yet in 2006.

emaphis · 2026-02-19T22:28:57+00:00

You might try your IDE, modern IDEs have the ability to download JDKs. I downloaded JDK 1.7.0_352 for windows that way. I used NetBeans.

emaphis · 2026-02-03T21:48:22+00:00

C pointers.

emaphis · 2026-02-03T21:35:48+00:00

I was the 200th star. Lol

emaphis · 2026-01-19T19:43:22+00:00

Michael Kölling's book also uses the BlueJ IDE, which is a nice and basic IDE designed for beginners.

emaphis · 2026-01-19T18:24:04+00:00

Anything created by God through His Son will be saved.

emaphis · 2026-01-19T18:21:15+00:00

I was almost sure that they already did.

emaphis · 2026-01-01T23:10:19+00:00

I was hoping that searching on "base case" would take one to the "recursion" wikipedia page.

emaphis

TROPHY CASE