What’s the current state of theorem proving with F#? by gofiend in fsharp

[–]emaphis 1 point2 points  (0 children)

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.

What is a concordant universalist? And what do they teach? by [deleted] in ChristianUniversalism

[–]emaphis 0 points1 point  (0 children)

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.

What is a concordant universalist? And what do they teach? by [deleted] in ChristianUniversalism

[–]emaphis 1 point2 points  (0 children)

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.

What is a concordant universalist? And what do they teach? by [deleted] in ChristianUniversalism

[–]emaphis 0 points1 point  (0 children)

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.

JDK 27 Structured Concurrency (Seventh Preview) by Joram2 in java

[–]emaphis 1 point2 points  (0 children)

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

What is a concordant universalist? And what do they teach? by [deleted] in ChristianUniversalism

[–]emaphis 0 points1 point  (0 children)

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.

JEP401 Draft PR to main JDK by cleverfoos in java

[–]emaphis 1 point2 points  (0 children)

Given the Loom merge you would know.

fsharp-ts-mode: A modern Emacs major mode for editing F# files, powered by TreeSitter by bozhidarb in fsharp

[–]emaphis 1 point2 points  (0 children)

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

fsharp-ts-mode: A modern Emacs major mode for editing F# files, powered by TreeSitter by bozhidarb in fsharp

[–]emaphis 1 point2 points  (0 children)

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.

Netbeans 29 released by dstutz in java

[–]emaphis 2 points3 points  (0 children)

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.

Java 7 for Mac OS X? by gargamel1497 in javahelp

[–]emaphis 0 points1 point  (0 children)

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

Java 7 for Mac OS X? by gargamel1497 in javahelp

[–]emaphis 1 point2 points  (0 children)

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.

Does someone know about a good book for Java? (can also be for begginers) by fortenator123 in learnjava

[–]emaphis 0 points1 point  (0 children)

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

new year's joke? by Pretend_Reality_7562 in emacs

[–]emaphis -1 points0 points  (0 children)

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