Very cool. I take back negative thoughts I had about you Jack.
We believe voice is the most natural way to interact with intelligence, so we created Dessa, the most authentic full-duplex speech model ever built. Talking with it feels like talking with a person…full of emotion, nuance, pauses, and a natural cadence.
block.xyz/dessa
0
0
3
204
I am told that final design of bend2 resolves second question neatly. Progress is real.
Regarding first question / comment: Still will need a lot of native re-implementation (and even then will need many lower level libraries with ffi’s) OR approach it similar to how urbit tried to explain “exhaustive testing” of underlying jet to establish a set of “proven behaviors” in release ver of programs using effectively a “short-hand” that’s outside of formal proof system (needs to be just accepted). Now, urbit’s hoon was never a language meant for formal verification, so interested in seeing how bend2 tackles it.
These are just my intuitions. I haven’t really played with bend2 yet.
Regarding first question / comment: Still will need a lot of native re-implementation (and even then will need many lower level libraries with ffi’s) OR approach it similar to how urbit tried to explain “exhaustive testing” of underlying jet to establish a set of “proven behaviors” in release ver of programs using effectively a “short-hand” that’s outside of formal proof system (needs to be just accepted). Now, urbit’s hoon was never a language meant for formal verification, so interested in seeing how bend2 tackles it.
These are just my intuitions. I haven’t really played with bend2 yet.
@VictorTaelinThanks.
> equivalent effects
So if I wanted to use a library for kafka, it would have to be native bend2 kafka library instead of target lang’s library. Since you’d have to produce proof. Ok, got it.
> Bend2 is meant to be a disposable language
but most of the errors are due to functions across different file scopes, forgive me for being stupid here, so bend2 isn’t intended for that? At unit level in that case would work fine, but if transpiled code’s usage of a function for instance has not changed, then ai makes change to function, and that function passes bend2 muster, you’d still have error. Or am I retarded and just talking about a trivial case here?
Thank you kindly
0
0
0
99
The problem with young striver types nowadays is that they bought into the “I have only X years” narrative that they are willing to be completely amoral and betray their friends.
Be kind and loyal to one another. You have a whole life ahead of you.
Also forgive me. Many disappointments I have could fill the ocean, but I forgive. God forgives and I forgive.
Be kind and loyal to one another. You have a whole life ahead of you.
Also forgive me. Many disappointments I have could fill the ocean, but I forgive. God forgives and I forgive.
0
0
7
171
Something something silk worm
Driscoll's set out around 15 years ago to turn blueberries into China’s next big food trend. By 2020, it was cranking out thousands of tons of blueberries for Chinese supermarkets.
Then came local competition and IP theft. Read more: on.wsj.com/4BtoUyb
0
0
0
83
Jae Yang retweeted
"God has permitted and does permit us to be shaken by adversity. Difficult times lie ahead. We will be greatly tested. We have to take this warning seriously and live spiritually… Many saints would have loved to have lived in our times and have had our chance to struggle for tters because it is not a struggle against an Ali Pasha, or a Hitler and a Mussolini, but a struggle against the devil himself. For this reason, our wages will be heavenly… The saints will become more holy and the vile will become more vile. Yet I feel great consolation inside. This is only a storm; like past storms, it will pass. May the Good God take evil and turn it into good. Amen."
+ St. Paisios the Athonite
+ St. Paisios the Athonite
2
62
426
4,117
“12 Years a Bug”
🚨 CRITICAL: GitLab flaw (CVSS 10.0) affects 12 years of releases.
CVE-2026-110264 could allow unauthenticated remote code execution on self-managed servers.
Read - thehackernews.com/2026/10/critic…
0
0
2
222
Brought to you by Sesame Street.
‼️ BREAKING: The private keys of 8 certificates from Indian certificate authority eMudhra were compromised, Mozilla says. Firefox blocked them within 3 hours.
Each key should be a 116-digit number, but one was just 4.
Anyone can guess them and forge HTTPS certs for any website.
0
0
5
249
Something something “neo china arrives from the future.”
In a way future is here earlier (this robot is far more capable than T-800 in Terminator), but in other ways late (general intelligence).
In a way future is here earlier (this robot is far more capable than T-800 in Terminator), but in other ways late (general intelligence).
Unitree Introducing: H2-X Kung Fu Legend Guardian🤖
Powerful performance to serve and guard you, with a maximum endurance of approximately 8 hours.
Please use the robot safely and in a friendly manner.
0
0
1
114
Glory to God
Houston-area Antiochian mission purchases new property
orthochristian.com/180934.html
St. Thekla Orthodox Church, a new mission in the greater Houston area, has bought a property that it’s now converting into its new church.
0
0
11
273
