I joined ShanhaiWoo to go out of my comfort zone and experience open hardware.
I leave Shenzhen inspired by all the things my new friends and builders were able to ship during this time, and the thoughts shared. We are aligned in building for the people.
What we built? Below:
I leave Shenzhen inspired by all the things my new friends and builders were able to ship during this time, and the thoughts shared. We are aligned in building for the people.
What we built? Below:
A look back at our time in Shenzhen! 🇨🇳
From building and sharing ideas to exploring new possibilities together, here are some moments from the Shenzhen chapter of ShanHaiWoo.
Big thanks to every builder, speaker, and partner who made these weeks unforgettable.
Next stop: ShanHaiWoo journey continues ✨✨
1
0
2
110
Robot owners tag their robots with those properties, and we detect them in the WeAI app. No need for Internet, WiFi, or specialized devices. Just your phone.
The motto: you know the people around you, but do you know the robots? are your kids/pets safe?
The motto: you know the people around you, but do you know the robots? are your kids/pets safe?
1
0
1
11
You can also ask WeAI if you're safe inside this place, and it will read the information about the robots around you and respond. Robots are coming to every place sooner than later, so it's important that we keep ourselves safe and aware. More details: useweai.help
0
0
0
3
Daniel retweeted
Machine-Checked Devcon Week, an online hackathon, 2 to 7 November.
The work: you implement pieces of Ethereum's networking layer in Lean 4 and prove properties of what you build. You pick real protocol tasks from the leanp2p repo. Every proof is checked by Lean's kernel.
Any cipation is free. Participation is curated, so your work gets real attention. You should be comfortable writing code.
Prizes: a $1,000 prize pool, more being confirmed. Code closes 7 November 23:59 UTC, participant videos by 15 November 23:59 UTC, results by 30 November.
Apply by 1 November. Join the Discord, acceptances are announced there: discord.gg/SxvYP4vvg
invisible.garden/machine-checke…
The work: you implement pieces of Ethereum's networking layer in Lean 4 and prove properties of what you build. You pick real protocol tasks from the leanp2p repo. Every proof is checked by Lean's kernel.
Any cipation is free. Participation is curated, so your work gets real attention. You should be comfortable writing code.
Prizes: a $1,000 prize pool, more being confirmed. Code closes 7 November 23:59 UTC, participant videos by 15 November 23:59 UTC, results by 30 November.
Apply by 1 November. Join the Discord, acceptances are announced there: discord.gg/SxvYP4vvg
invisible.garden/machine-checke…
4
7
27
2,883
My fellow compatriot Eli is doing a live session today explaining how to buy USDC from peers (anonymously).
If you live in LATAM or Ecuador please join!
La sesión es en nuestro idioma :)
If you live in LATAM or Ecuador please join!
La sesión es en nuestro idioma :)
¿No sabes nada de Web3 o de P2P?
Hoy tendremos un onboarding en vivo sobre P2P.me, pensado para comenzar desde cero y entender cómo funciona de una manera sencilla y práctica.
Vamos a ver:
🔹 Conceptos básicos
🔹 Cómo usar dólares digitales
🔹 Pagos con QR
🔹 Ecuador a otros países de Latinoamérica
🗓️ HOY
⏰ 8:00 p.m 🇪🇨🇨🇴 9:00 PM 🇻🇪
💻 Google Meet: "Únete aquí" meet.google.com/rey-qwgu-vjd
No necesitas experiencia previa.
Si tienes un amigo que quiere entender P2Pme pero no sabe nada de Web3, invítalo a esta sesión.
Nos vemos esta noche. 🇪🇨
0
0
5
110
People in my region are sending money between countries, but keep getting ignored by new financial apps as US-LATAM and Europe-LATAM corridors are a bigger cake 💰.
That's why we are building this!
That's why we are building this!
En LATAM las personas se envían dinero todos los meses, pero los canales tradicionales te cobran:
Por recibirlo
Por guardarlo
Por enviarlo
muchas veces entre 3% y 6% 🫣
Usa Ruma 🔃,
Corta el intermediario ✂️
Disponible muy pronto!
0
0
3
74
If you need an example on how to break privacy down to a very simple consumer-friendly explanation, here it is:
The five adversaries:
👁 Public observer - anyone reading the chain through a block explorer
🔍 Chain analyst - someone who scrapes all the data and uses clustering, timing, heuristics
🌐 Network observer - your RPC, relayer, ISP, the frontend
🔑 Privileged insider - protocol operators, governance, admin view keys
⏳ Future adversary - quantum computers, someone who has all historical data
0
0
2
57
Daniel retweeted
At last we have Etheorem: complete executable Consensus Specs written in Lean4!!
Etheorem started in May, now a team of 7 independent Engineers and Researchers has been working on this (@invisiblgarden and @ethereum Protocol Fellows). It passes all the official test vectors, for as not modeled light clients and gossip).
It is based on a framework that abstracts from the spec writer most technical details, uses monadic state machines, allows inheritance between forks and makes adding proofs simpler, and spec code readable.
Currently, Etheorem has only 8 spec functions fully characterized and 29 partially. The SSZ proofs are mostly complete. Etheorem invites the community to work on an open source effort to add more proofs. The base for this is already implemented.
More information at: ethresear.ch/t/etheorem-upd…
Repo: github.com/etheorem/etheo…
Discord: discord.gg/HpjCrEYmDr
Team: github.com/Mouzayan github.com/irajgill github.com/IvanAnishchuk github.com/protocolwhisper github.com/Sahilgill24 github.com/adria0 github.com/leolara @0x_flwr @IvanAnishchuk @0xRajGill @leolarav
Etheorem started in May, now a team of 7 independent Engineers and Researchers has been working on this (@invisiblgarden and @ethereum Protocol Fellows). It passes all the official test vectors, for as not modeled light clients and gossip).
It is based on a framework that abstracts from the spec writer most technical details, uses monadic state machines, allows inheritance between forks and makes adding proofs simpler, and spec code readable.
Currently, Etheorem has only 8 spec functions fully characterized and 29 partially. The SSZ proofs are mostly complete. Etheorem invites the community to work on an open source effort to add more proofs. The base for this is already implemented.
More information at: ethresear.ch/t/etheorem-upd…
Repo: github.com/etheorem/etheo…
Discord: discord.gg/HpjCrEYmDr
Team: github.com/Mouzayan github.com/irajgill github.com/IvanAnishchuk github.com/protocolwhisper github.com/Sahilgill24 github.com/adria0 github.com/leolara @0x_flwr @IvanAnishchuk @0xRajGill @leolarav
4
16
66
5,562
I'm always grateful when I find good-hearted people, I thank God for putting them in my pathway and at the same time I hope I leave a possitive impact on everyone that I have met before.
Btw, go try my app at app.ruma.live (Beta)
Btw, go try my app at app.ruma.live (Beta)
Two journeys. One shared experience: building with clarity, feedback, and the right community.
Hear from Daniel Arroyo from Ruma and Juan diego Vielma from EnergyCheck on their Founder School journey.
FS26-3 applications are open. Apply now: forms.gle/YQnZ1EZ9XdaKVy…
1
0
5
268
Daniel retweeted
Los depósitos de activos digitales deben ser instantáneos, no demorar horas o días, o revertirse.
De nuevo:
Los depósitos de activos digitales deben ser instantáneos, no demorar horas o días.
Los depósitos de activos digitales deben ser instantáneos, no demorar horas o días.
De nuevo:
Los depósitos de activos digitales deben ser instantáneos, no demorar horas o días.
Los depósitos de activos digitales deben ser instantáneos, no demorar horas o días.
0
1
0
31
Daniel retweeted
Fase 4: Invita + Activa + Gana 🚀
Invita a tus amigos a conocer P2Pme.
¿Qué debe hacer tu amigo?
🔹 Tu amigo realiza su primera transacción de mínimo 10 USDC.
👉🏻 Tu amigo realiza un post mostrando su primera transacción, con el ID visible.
👉🏻 Debe tiquetarte a ti y a igo recibe 5 USDC de recompensa por su primera transacción válida🏆
¿Qué debes hacer tu?
🔹️ Invitar a un amigo, asegurarte que realice su primera transacción y siga los pasos.
😏 Realizar una orden de participación y etiquetanos.
(máx de 20 USDC).
¿Qué obtienes?
🥇 1 punto por cada referido válido.
🏆 Los usuarios que acumulen puntos podrán participar en el sorteo de un reembolso del 50% de una transacción.
(máximo de 20 USDC de volumen elegible).
😏 Mientras más puntos acumules, más posibilidades tienes de ganar.
Válido desde el 25 de Agosto al 29 de Agosto.
Anunciaremos al ganador el día 30 de Agosto.
¿Quieres participar o tienes dudas?
Únete a nuestra comunidad y pregunta allí cómo funciona.
t.me/Ecuador_P2P
Invita a tus amigos a conocer P2Pme.
¿Qué debe hacer tu amigo?
🔹 Tu amigo realiza su primera transacción de mínimo 10 USDC.
👉🏻 Tu amigo realiza un post mostrando su primera transacción, con el ID visible.
👉🏻 Debe tiquetarte a ti y a igo recibe 5 USDC de recompensa por su primera transacción válida🏆
¿Qué debes hacer tu?
🔹️ Invitar a un amigo, asegurarte que realice su primera transacción y siga los pasos.
😏 Realizar una orden de participación y etiquetanos.
(máx de 20 USDC).
¿Qué obtienes?
🥇 1 punto por cada referido válido.
🏆 Los usuarios que acumulen puntos podrán participar en el sorteo de un reembolso del 50% de una transacción.
(máximo de 20 USDC de volumen elegible).
😏 Mientras más puntos acumules, más posibilidades tienes de ganar.
Válido desde el 25 de Agosto al 29 de Agosto.
Anunciaremos al ganador el día 30 de Agosto.
¿Quieres participar o tienes dudas?
Únete a nuestra comunidad y pregunta allí cómo funciona.
t.me/Ecuador_P2P
6
7
20
206
Nothing is easy in life, no matter what life you are living.
I am 100% convinced of that.
But sometimes we forget: the bigger the effort, the bigger the reward!
I am 100% convinced of that.
But sometimes we forget: the bigger the effort, the bigger the reward!
0
0
4
57
Anyone around here with experience paying with crypto (crypto direct transfer) or sending money abroad? would love to talk. USDC reward :)
1
1
5
60
Daniel retweeted
Los activos financieros digitales están aquí para quedarse, porque resuelven muchos de los problemas del dinero tradicional.
Cuál es el problema más grande que has experimentado con tu banco tradicional o billetera digital? Te leemos
Cuál es el problema más grande que has experimentado con tu banco tradicional o billetera digital? Te leemos
2
1
2
59
For my ecuadorian people, a simple way to buy USDC directly from peers! Go on and try it at app.p2p.me.
The platform also operates already in Argentina, Brazil, Colombia, Mexico and Venezuela.
The platform also operates already in Argentina, Brazil, Colombia, Mexico and Venezuela.
🚀¡Campaña de Lanzamiento de P2P.me Ecuador! 🇪🇨
✅Sigue a @P2Pdotme_Ecu
✅Entra a la app para crear tu wallet a través de este enlace: app.p2p.me/campaign?id=65…
✅Completa una verificación
✅Únete a la comunidad en Telegram y en Discord
✅Comparte el Screenshot arios de este post
✅Invita a 2 personas que también completen estos pasos. 🎁
¡Participa en el sorteo de 50 USDC a repartir entre los ganadores!
Finaliza el sábado 25
0
0
6
56