Building Cardano stuff in Rust and Haskell @Cardano_CF Tweets are my own

Joined March 2017
To whom it may concern: As of December 31st, 2024, I will definitely stop using this platform which has outlasted its utility for me, and probably for you too. For professional matters, you can still find me at abailly dot bsky dot social and LinkedIn. Farewell.
1
3
671
Arnaud retweeted
Replying to @perturbing101
Neat! That makes sense too! Probably why one of the first demos was playing chess in a Hydra head (s/o @dr_c0d3). From a cost perspective, not really feasible or useful on the L1, easy to bring two player identities from the L1 into the channel, complete the game, and update their match record on the L1
1
11
634
Mithril finally got some love and @IOGroup deleted the post 😢 #Cardano #CardanoCommunity #Stake2Signers
1
2
12
876
The Mithril signer has reached v1.0.0 and is now production-ready on mainnet. Full release notes: mithril.network/doc/dev-blog… #Cardano #ADA
1
2
2
167
We're hiring for Bombadil! Come work with me on the future of browser testing — specification languages and temporal logic, JS runtimes, bundlers, and WASM frontends in Rust, and lots and lots of property-based testing. Apply here: antithesis.com/company/caree… Retweets appreciated.
10
44
2
195
16,071
Arnaud retweeted
Buidler Fest #3 is 6 days away. 🇦🇷 120 builders. Buenos Aires. Deep technical sessions on Cardano, AI, Bitcoin DeFi, Midnight, and more. The swag's ready. The rooms are booked. The asado is already on. See you in BA! 🧉
6
20
7
77
4,299
Got a weird error in a stack build when downloanding index from (a mirror of) hackage whereby stack fails with an invalid hash on the index. Does this ring a bell?
97
‼️A German hacker known as "Martha Root" dressed as a pink Power Ranger and deleted a white supremacist dating website live onstage This happened during the recent CCC conference. Martha had infiltrated the site, ran her own AI chatbot to extract as much information from users as possible, and downloaded every profile. She also uncovered the owner of the site. She has published all of the data.
1,623
11,809
1,295
102,212
8,940,451
Arnaud retweeted
Who’s up for some good food + nerd topics 🤓? Registration for Buidler Fest 2026 is now open! buidlerfest.com/?x
2
24
9
58
6,896
A focus on integrations and underlying infrastructure to help the Cardano economy grow needs to be matched by equal or more effort on user acquisition. Fancy and shiny new highways are completely useless if nobody is driving on them. Solve real problems and align incentives.
5
3
1
25
1,137
Pour se donner de l'importance, LFI a pris l'habitude de déprécier les expériences passées de la gauche (on pense aux propos affligeants de JLM à propos de "l'inexpérience" de Léonn Blum). En réalité, LFI n'est presque rien dans l'histoire de la gauche en France...
1
3
269
Demandons à Grok de produire une critique à la Karl Marx du pessimisme prophétique de Benjamin Labatut
2
2
3
954
Arnaud retweeted
Happy new year 🎉. explorer.cardano.org/tx/c64a… Voted yes on this pintade withdrawal with my cc member hat on. I had to wait until epoch 604 started since the budget wasn't technically approved until the end of epoch 603 (and thus, was only constitutional from epoch 604 onward).
2
1
25
1,228
La position de LFI au sujet de Taïwan (rejet du droit à l'autodétermination d'un peuple, primauté de l'ethnique sur le politique) fera date. Nous revoici au temps de la SFIO coloniale.
1
5
15
776
PRAGMA will be taking a short break from hosting community events for the holidays while our team spends time with family. We wish everyone a warm and restful holiday. There will be no open coding sessions/maintainer committee meetings until after the new year. Happy Holidays!
2
11
295
Arnaud retweeted
The dev ecosystem survey results are out! Thanks again for all those who participated. cardano-foundation.github.io… 💝
Cardano’s developer landscape continues to mature. More than 75% of survey respondents now use @aiken_eng for smart contract development. Identity, authentication, DeFi, and core infrastructure top the build categories. Discover the full survey results: cardanofoundation.org/blog/2…
2
6
1
55
3,938
📢 EXCITING NEWS: @Amaru_Cardano has just finished syncing to the tip of Cardano preprod with script context executions 🥳 This is a really big milestone in our node diversity timeline. We're making real progress here 💚
13
48
6
283
14,548
En fait, c'est même aujourd'hui ! xitter.cf/vdwxv/status/199829014…
2
105
Rappel: pour notre dernier rendez-vous Lambda Nantes de l'année 2025, on se retrouve mercredi 10 décembre à 19h, dans les locaux de l'Epitech Nantes pour un atelier sur la programmation logique. Inscriptions sur la page Mobilizon: mobilizon.fr/events/b1a390b5…
1
1
2
432
What idiot called it opentelemetry-rust and not tokio-otel
13
15
1
268
12,461
I’m very proud of the Cardano Foundation’s contributions to Cardano Governance in 2025! From building tools and educational resources to delegating 140 million ADA to community DReps, one theme has dominated: Working hand-in-hand with the community. Love this team! 🫶
2025 was a monumental year for Cardano governance. From the transition to decentralized governance to deeper collaboration across the ecosystem as an Enterprise Member of @IntersectMBO, the year marked true progress. Read the full 2025 governance recap: cardanofoundation.org/blog/r…
2
8
1
108
9,584