Movement is getting a network boost! We're redesigning our DA sequencer and performing a full node upgrade. Less latency. More consistency. Smooth. Performant. Fun. Monza is coming 🏎️

Movement is now an underdog and there is an earnest set of raw strengths left in the wake. It’s my target to refine them. Movement, at its core, is built on a language that empowers institutional finance, purpose built for institutional finance. Movement is backed by a

Bob Floyd was born #OTD in 1936. He received the 1978 #ACMTuringAward for having a clear influence on methodologies for the creation of efficient and reliable software, and for helping to found important subfields of computer science. amturing.acm.org/award_winners/…

Movement Network's Monza upgrade is live! What does that mean? 🏎️ Redesigned DA sequencer 🏎️ Full node upgrade 🏎️ Better performance Learn the details 👇 moveindustries.xyz/article/monza-…

News: @dasyoungy is joining us as CTO! Since March, Young has led engineering at Movement Labs. He was previously at Aptos and Meta. At Meta, he was on the OG team that fine-tuned Move. More on this legend 👇

Cinematic experience 🍿 at Protocol Berg v2 during Berlin Blockchain Week 🐻➡️ June 7-22, 2025 blockchainweek.berlin

Exciting events going on in Berlin. Next week Movement will host the Movement Reforged meetup. An event dedicated to chat about the future of the Move language and Movement. Come over for a fun meetup. lu.ma/8jun3j15

Terence Tao says today's AIs pass the eye test -- but fail miserably on the smell test. They generate proofs that look flawless. But the mistakes are subtle, and strangely inhuman. “There's a metaphorical mathematical smell.. it's not clear how to get AI to duplicate that.”

Today, DisCoTec 2025, the 20th International Federated Conference on Distributed Computing Techniques, kicks off in Lille. My GSSI colleagues Omar Inverso and Emilio Tuosto will deliver an invited talk and a tutorial, respectively. See discotec.org/2025/programme for details.

🏅 ACM and the IEEE IEEE ComputerSociety have named André Seznec, a Fellow Research Director at IRISA and a Fellow at SiFive, the recipient of the 2025 ACM-IEEE CS Eckert-Mauchly Award for his extensive impact on computing. 👏 Congratulations, Seznec! buff.ly/JwAhIbi

We hosted a fun local meetup during Berlin Blockchain Week. Always great to see Movers ⚡ Catch you at the next one!

Sam Altman -- "We've cracked reasoning". No! Sam can say the most ridiculous things and almost no one pushes back .... Gary Marcus youtu.be/mZUG0pr5hBo?si… via YouTube

Blaise Pascal was born exactly 402 years ago today. In 1644, at just 20 years old, Pascal built the first mechanical calculator - the Pascaline - to help his father with business accounting

"Commenting your code is like cleaning your bathroom — you never want to do it, but it really does create a more pleasant experience for you and your guests." — Ryan Campbell (credit: Programming Wisdom)

Today, let’s take a moment to recognize and celebrate the namesake of our most prestigious award: Alan M. Turing, who was born on this day in 1912. His work cracked the Enigma code, helped win WWII, and laid the groundwork for #AI. More on him, here: amturing.acm.org/amtv.cfm

More ZK bugs

Last but not least, the SIGPLAN Robin Milner Young Researcher Award was also announced at PLDI. This year, the award went to Işıl Dillig (Isil Dillig), whose research has had profound and far-reaching contributions to program analysis, verification, and synthesis ⭐️

This SNL skit was hilarious. 🤣

internAF (America First arc) Good test coverage is not a strong indicator of good code, but bad test coverage is a strong indicator of bad code. As an example, here's what the coverage looks like in a library that contained a prominent vulnerability