Robertino @_roberm_

Engineer | Tech Founder | Educator @InputOutputHK | Tweets mainly about Aiken, Haskell, Plutus, and Cardano. Opinions are my own. 🇦🇷/🇵🇹 Joined May 2020

Tweets

1K
Followers

2K
Following

645
Likes

2K

José A. Alonso @Jose_A_Alonso

2 weeks ago

Haskell Course: Lesson 21: Reader, Writer, and State Monads. ~ Robertino Martinez. youtu.be/RN9Fr7YRt5c #Haskell #FunctionalProgramming

0 1 10 725 2

Huge thanks for today’s amazing event with the @InputOutputHK Education Team, Socious, @MidnightNtwrk @midnightfdn , and the Cardano community! It was a truly meaningful gathering that we built together. Special thanks to @jarturomora, @LarsBrunjes, @_roberm_ , and everyone who…

0 5 30 1K 0

Download Image

Input | Output @InputOutputHK

3 months ago

Come join the IO education team at the Institute of Science Tokyo (@tokyotech_en), on June 24th & 25th to learn about blockchain technology and the Cardano platform at our Cardano Days event. Learn about Cardano’s consensus protocol and governance system, how to run stake…

Socious @SociousDAO

3 months ago

1 16 68 17K 2

Download Image

3 30 142 18K 1

Socious @SociousDAO

3 months ago

🇯🇵 Cardano Days Japan is coming this June! 📚 Blockchain beyond the hype 💡 Empowering non-tech students & faculty 🤝 Hands-on learning across academia & industry 📍 Tokyo (TBD) 📅 Late June (TBD) Stay tuned for event schedule + venue 👀 #CardanoJapan #CardanoDays…

1 16 68 17K 2

Download Image

Ales @berry_ales

7 months ago

Reworked the entire core stack of Lucid from scratch with pallas (thank you @txpipe_tools). There are some breaking changes, support for PlutusV3, native wasm module imports and some other stuff. Package is now and only hosted on jsr: jsr.io/@spacebudz/luc…

24 69 295 19K 7

Mesh @meshsdk

7 months ago

Mesh SDK is now powered by IOG's cardano-sdk 100% TypeScript, no WebAssembly! Why this matters: ✅ Build on Cardano on any frontend framework ✅ No polyfills or WebAssembly headaches—just npm install and go! Need server-side performance? Use core-csl for WASM. Currently in…

9 48 149 12K 7

Download Image

GrapheneOS @GrapheneOS

8 months ago

Revolut is specifically banning GrapheneOS by checking for the build machine hostname and username being set to grapheneos. We've changed these to build-host and build-user. Combined with another change, this allow our users to log in to it again until they roll out Play…

93 421 3K 133K 303

effectfully @effectfully

8 months ago

Feel like you could tolerate working with me? We're hiring for a "junior" role: apply.workable.com/j/E60BA76658?u… The job is developing a minimalistic functional lang in Haskell for use on the Cardano blockchain. The ideal candidate is versed in type theory and Haskell practicalities.

30 27 188 27K 67

Niamh Ahern @niamh__ahern

9 months ago

As 2024 draws to a close, help us measure our impact and deliver impactful and engaging education initiatives again in 2025! 🔥🌎 Please fill out our community survey ⤵️ We look forward to seeing you at one of our events soon! docs.google.com/forms/d/1KcXAJ…

0 2 6 216 0

ADA Solar @CardanoSolar

9 months ago

Thank you to everyone who attended and supported our event! #CardanoTechWeek 🙌 This incredible experience wouldn’t have been possible without YOU! 💙 🏟️ 400+ attendees from 33 countries ⚡ 24 talks 🔹 2 tracks of hackathons (Cardano + Midnight) 🔹 4 workshops:@kdchaires…

8 48 147 10K 8

Download Video

GrapheneOS @GrapheneOS

9 months ago

Unfortunately, @RevolutApp has banned GrapheneOS users from logging into the app because of an incorrectly implemented device integrity check based on the anti-competitive Play Integrity API. Our users need to put pressure on apps like this to get them to whitelist GrapheneOS.

61 319 2K 168K 184

Charles Hoskinson @IOHK_Charles

9 months ago

Looks like the CF account got hacked. Try harder hackers

132 293 1K 76K 15

Cardano Community @Cardano

9 months ago

The Cardano Foundation X account @Cardano_CF has been compromised. Please ignore any posts from the account at this time while we address this.

123 614 2K 378K 30

J.J. Siler @jj_siler

9 months ago

I’ve had a number of people reach out to me in the past hour: please make sure you inform your friends, RT, post to community servers that the @Cardano_CF account is hacked for now. This post and the ADAsol news are fake. Stay safe out there and don’t click on any fishy links!

5 23 69 3K 0

Robertino @_roberm_

9 months ago

🚨🚨 Cardano Foundation's account got compromised and the hackers are creating fake posts!! Don't click any links and disregard what they say!! 🚨🚨

0 4 8 357 0

Robertino @_roberm_

9 months ago

Grateful to you for choosing to be part of our community!! 🙌

ADA Solar @CardanoSolar

9 months ago

Grateful to you for choosing to be part of our community!! 🙌

8 43 190 7K 3

Download Video

1 11 69 2K 0

effectfully @effectfully

9 months ago

Hi everyone, I'm an engineer in the Plutus team. We don't have much to report since the last Twitter thread, but since there's a community now I figured I'd say something. We're working on (in no particular order): 1. costing dropList, that builtin alone should make contracts…

1 11 42 3K 3

Cardano Plutus Smart Contracts Official News & Inf @CardanoPlutus

9 months ago

Join us next week for the Plutus Working Group, where we'll demo the automated formal verification tool and present a static analyzer for Plinth. meet.google.com/ndv-avgg-rwj

1 3 11 725 0

Input | Output @InputOutputHK

9 months ago

This milestone is a reminder of what we can achieve when governance is designed by the people, for the people.

34 259 1K 128K 35

Download Image

Input | Output @InputOutputHK

9 months ago

The vote is now underway at the Cardano Constitutional Convention in both Buenos Aires, Argentina and Nairobi, Kenya. 🇦🇷🇰🇪 This moment represents the culmination of a global effort: 1,400+ participants across 60+ workshops, delegates elected from diverse regions, and months of…