Rubriques tendance
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Ethan Buchman (🐝,🦇)
Biophysicien de l’Internet. Durabilité existentialiste. Localiste monétaire.
Co-fondateur @cosmos. PDG @informalinc.
En incubation @cyclesmoney.
Le droit de publier des cryptographies open-source est en procès, et avec lui, les droits humains essentiels à la vie privée des communications et des transactions.
Bonne chance à @rstormsf, à notre industrie, et franchement à notre civilisation.
5 mai 2021
Vous avez le droit de rester privé.
Toute donnée que vous divulguez peut et sera utilisée contre vous.
Vous avez le droit à la cryptographie.
Si vous ne pouvez pas vous permettre votre propre cryptographie, elle vous sera fournie par la communauté open source.
5,84K
Joyeux 10ème anniversaire à l'une des choses les plus cool que les humains ont rassemblées pour faire sur Internet, et qu'ils n'ont jamais cessé de faire.
Croyez en somETHing.
23 nov. 2020
Ethereum est une arnaque. Je rigole. Ethereum est une technologie matériellement transformative qui a déclenché une expérimentation inestimable en économie politique.
1,77K
Ethan Buchman (🐝,🦇) a reposté
Assister au procès de Storm me fait ressentir une violation en ayant une expérience de près de la manière dont le gouvernement peut sélectionner des informations qui ont été collectées sur vous (par exemple, transactions, messages, activité d'adresse IP) et peindre n'importe quel tableau de vous qu'il souhaite. Cela renforce encore plus pourquoi la vie privée est une protection fondamentale contre les abus gouvernementaux ; pourquoi il est si important que les gens puissent construire des technologies préservant la vie privée.
121,23K
Si votre protocole n'a pas de spécification Quint, existe-t-il même ?
26 juil. 2025
Au cours des dernières semaines, @dnkolegov (et l'équipe de @asymmetric_re) ont traduit Minimmit en une spécification exécutable (écrite en Quint).
Pourquoi ? Nous pouvons maintenant automatiser la recherche de l'insoundness de Minimmit contre l'Apalache Symbolic Model Checker 🤖.
1,66K
Ethan Buchman (🐝,🦇) a reposté
Étudier les sciences humaines est un travail interminable et écrasant pour l'âme, sans point de départ clair ni objectifs, et sans bénéfice évident pour vous-même ou pour quiconque. Au fur et à mesure que vous avancez, vous deviendrez progressivement aliéné de votre famille, de vos amis et de la société en général.
Inscrivez-vous dès aujourd'hui sur mimbres dot org.
740,37K
Meilleurs
Classement
Favoris