Mario A. Barbara

RiscV ZKVM circuits + prover for AirBender @zksync @the_matter_labs INRI🇻🇦

[Integral Human Development @VaticanIHD]

📣 "Disarming artificial intelligence does not mean giving up on technology, but preventing it from dominating humanity." #PopeLeoXIV ✨ #MagnificaHumanitas

📌 Download the resources here: https://t.co/IsPI89W9TO

[Mario A. Barbara @mabbamOG]

@realDrTT Thank God
We have been in need of new ethical tech paradigms for a long time

[Mario A. Barbara @mabbamOG]

@AdamWoptimized @poperespecter1 Oh this one has much better intonation. Did you have to configure it at all? Maybe I can try ElevenLabs for the Italian version..

[Mario A. Barbara @mabbamOG]

@poperespecter1 Do you know what is a good tool to make an audio of the Italian version? You used ElevenLabs?

[Mario A. Barbara @mabbamOG]

@fede_intern Interesting! Let us know how it is

[Mario A. Barbara @mabbamOG]

„the pretense that a single language — even a digital one — can translate everything, including the mystery of the person, into data and performance. This is the risk of dehumanization: building a future that excludes God and reduces the other to a means.“ - Pope Leo

How many companies have you seen say „we only hire the best“, or „our product must be the best“.
They lay off half their staff to be „the best“, everything becomes just a number: the product, the employees, the customers.

Maybe we should focus less on performance, and more on what it means to contribute to humanity, meaningfully and charitably.

Technology like crypto was never meant to replace human connection, but to safeguard it. A future where we just do gambling and financial speculation on these platforms is bleak, let us instead build something that our families and their friends will benefit from.

[Pope Leo XIV @Pontifex]

The Holy Spirit challenges us today regarding our relationship with technology and the ongoing digital revolution. Technology has the power to heal, connect, educate and protect our common home; but it can also divide, exclude and generate new forms of injustice. #MagnificaHumanitas

[Mario A. Barbara @mabbamOG]

@kimmonismus > The Pope has now consecrated a single AI company as ethically legitimate, thus essentially granting his followers sacred legitimacy to use Claude as the only morally correct model

I think you’re missing the point of the encyclical. It’s not about business, but humanity

[Pope Leo XIV @Pontifex]

Humanity, created by God in all its grandeur, is today facing a pivotal choice: either to construct a new Tower of Babel or to build the city in which God and humanity dwell together. In Jesus Christ, this humanity in its grandeur becomes the Way, the Truth and the Life, opening the path for each of us to grow toward fullness. #MagnificaHumanitas
https://t.co/6i9MWs6LJl

[Mario A. Barbara @mabbamOG]

@ShaneSchaetzel Fiducia Supplicans was never about blessing same-sex couples, Pope Francis confirmed it himself in an interview (60 Minutes) and the document plainly forbids it. Stop slandering

[Mario A. Barbara @mabbamOG]

@omw_to_the_moon The one on stack too deep would fix 90% of my evm issues

[Mario A. Barbara @mabbamOG]

@zksecurityXYZ This is pretty cool

[Pope Leo XIV @Pontifex]

As evidenced by the unbridled promotion and implementation of technology at the expense of human dignity, we are truly experiencing an eclipse of the sense of what it means to be human. It is imperative to recover an understanding of the true meaning and grandeur of humanity as intended by God. It is in this sense that the challenge we currently face is not technological, but anthropological, and it is my hope that the Encyclical Letter to be published within a few days will contribute to answering this challenge.

[Pope Leo XIV @Pontifex]

No nation, no society, and no international order can call itself just and humane if it measures its success solely by power or prosperity while neglecting those who live at the margins. Indeed, Christ’s love for the least and the forgotten compels us to reject every form of selfishness that leaves the poor and the vulnerable invisible.

[Ron Rothblum @ronrothblum]

Like Brakedown’s speed but not the large proofs? Turns out you can get the best of both worlds!

New work with the incredible @AndrijaNovakov6 and @kobigurk

[Mario A. Barbara @mabbamOG]

@alexanderlee314 Let me know if it works

[Mario A. Barbara @mabbamOG]

@BeSaintly The video was only about French kissing, and rightfully claims that when it is done for sexual gratification it should be avoided.

However, unfortunately he does not get to the heart of the matter: the actual principles that guide premarital relationships. These are just details

[Mario A. Barbara @mabbamOG]

@tcoratger I think WHIR would always be faster than stir no? Minimal integration into the Sumcheck constraints, but I recall that STIR was much more expensive and more of a pain to handle (you don’t even need deduplication in WHIR)

[Mario A. Barbara @mabbamOG]

@m4rio_eth Submit with massive PoW? After you’re done finding the bounty and compiling the document, you make a PoW on it for an hour or so. Should be an easy requirement

[Mario A. Barbara @mabbamOG]

@justalexoki @fillefoux I’m glad we still have posts with heart like this

[David Bau @davidbau]

NetHack is one of the most complex and longest-lived open source programs ever written, and after 46 years, v5.0 shipped today.

https://t.co/ICEyakS6T5

And ... it is a VERY cool large codebase to work with in the LLM era.