Sabitlenmiş Tweet
🦋 Jared Forsyth
10.5K posts

🦋 Jared Forsyth
@jaredforsyth
follower of Christ. feminist. mormon. type theory, building kipos https://t.co/8skbe4jcU2 dev @KhanAcademy he/him @jaredforsyth.com on 🦋
St Louis Katılım Şubat 2008
2.1K Takip Edilen5.9K Takipçiler
🦋 Jared Forsyth retweetledi

@paolino I mean between python and python/mypy there's probably many orders of magnitude difference in training data quantity, same with ruby vs ruby/steep. obvs c/java are not going to win any ease of use contests
English

@jaredforsyth That would make Java and C the easiest to write!
English

Types don't help AI, they actually hinder it.
Proof: look at Ruby with Steep - a Ruby type checker - and without! Or Python vs Python with mypy.
Token efficiency and expressiveness is way more important for AI generated code.
That's why Ruby was the best language in this test!
Yusuke Endoh@mametter
I benchmarked which language works best with Claude Code. Ruby, Python, and JavaScript came out cheapest, fastest, and most stable! See my article in detail: dev.to/mame/which-pro…
English

@Phase2Deport 57% is overwhelming? By that metric we should also say that "People overwhelmingly want ICE operations to be decreased"

English

“Divide” is generous.
Mass deportations are overwhelmingly popular.

CBS News@CBSNews
CBS News poll finds views of deportation operations continue to divide the country cbsn.ws/3MZNUZl
English
🦋 Jared Forsyth retweetledi

@dillon_mulroy the file system is a dungeon, and you are descending
English

@kentcdodds @threepointone @sentry @resend @EpicWeb_dev had that song on repeat for a week after the release
English

@rikarends yeah zed doesn't do agent history for "external agents" 😭 I asked a couple of weeks ago and they said "working on it"
English

@HSRdirector @michigandaily How fitting for the noun used to be "individual". the classic isolated individual without ties or obligations.
English

very disappointing piece in the @michigandaily
“Is it fair to expect an individual to house, feed & care for someone their elder? This is no sweet newborn baby; it is a grown person with complete loss of bodily functions & impaired cognitive awareness.” michigandaily.com/opinion/op-eds…
English
🦋 Jared Forsyth retweetledi

this is probably doing the rounds already but my god, it's so cursed tonsky.me/blog/tahoe-ico…
English
🦋 Jared Forsyth retweetledi

I guess I'm 🤖 writing a type checker for @gleamlang? in gleam ✨ because we need more educational examples of real-world type checkers!
I'm calling it "gloat" 🐐
github.com/jaredly/gloat
English

@Nunya97703 @Faustzme @StephenBea55934 @mholt6 @latterdaylaura congrats, you passed the turing test :) I wish you grace and peace
English

@jaredforsyth @Faustzme @StephenBea55934 @mholt6 @latterdaylaura Joseph smith was a prophet—dumb dumb dumb dumb dumb.
English

@Faustzme @Nunya97703 @StephenBea55934 @mholt6 @latterdaylaura I think it would help me understand better if it were presented as a poem
English

The response was regarding the core of doctrine that unifies all Christianity. The claims made rely entirely on scripture and yes, of course much of the biblical doctrine of God are expressed within the creeds or the Christian confessions such as the Westminster Confession of Faith to stand as a bulwark against the false doctrine and philosophy of men.
You might not believe in the trinity but read the verses below and explain without creating contradictions.
1) Explain how the Father is different from the Son but there is only one God and each is God?
There is only one God.
The Bible repeatedly emphasizes this fact continually correcting the Israelites beliefs and bringing them back to the fact there is only one God.
Deuteronomy 6:4 “Hear, O Israel: The Lord our God, the Lord is one.”
Isaiah 45:5 “I am the Lord, and there is no other; besides me there is no God.”
1 Corinthians 8:4-6 “There is no God but one… yet for us there is one God, the Father… and one Lord, Jesus Christ.”
Although the Bible is clear there is only one God, it is equally clear the Father, Son, and Holy Spirit are each God.
The Father is God - John 6:27; Romans 1:7; 1 Peter 1:2.
The Son (Jesus) is God - John 1:1, 14 (“the Word was God… and became flesh”); John 20:28 (Thomas: “My Lord and my God!”); Colossians 2:9 (“In him the whole fullness of deity dwells bodily”); Hebrews 1:8 (God the Father calls the Son “God”); Romans 9:5; 1 John 5:20.
•l
The Holy Spirit is God - Acts 5:3-4 (lying to the Holy Spirit is lying to God); 1 Corinthians 3:16 (the Spirit dwells in believers as God’s temple); Psalm 139:7-10 (the Spirit is omnipresent, an attribute of God).
We have seen and agree that the Father and Son are different.
We know see that there is only one God and that the Father, Son, and HG are God.
English

@Faustzme @Nunya97703 @StephenBea55934 @mholt6 @latterdaylaura (note that I'm not taking issue with the contention that the Nicene creed has formed the backbone of the majority of christianity, or that LDS theology represents a stark departure from several of its tenets)
English

@Faustzme @Nunya97703 @StephenBea55934 @mholt6 @latterdaylaura As an aside, I'd love to know what the prompt was for that text ^. Was it pasting in the previous tweets, or asking for a summary of what "most christians" agree on doctrinally? It seems to be mostly a restatement of the Nicene creed, with a little exposition.
English

@fham_r things are early enough that I think many people don't realize how generic the output actually is 🙃 hopefully norms will shift, but we're in a very uncanny valley place right now
English

@jaredforsyth For real. I think LLMs are very useful but humans have limited energy/time and thus are often more to the point.
Regardless, it makes it clear the writer did not really care, because even with LLM help you can iterate on the text to make it look less generic.
English















