Just learned that @IsilDillig won the #SIGPLAN Robin Milner Junior researcher award this year! 🎈 🍾 The award goes to one outstanding mid-career PL researcher each year, and it’s hard to think of a more deserving candidate for it. Congratulations, Isil!

My team is hiring a talented Application Security Engineer, position is open to remote candidates worldwide🌎 Proven experience in identifying real-world vulnerabilities is required, and coding skills will be assessed during the interview process. https://t.co/w4AF6vbkEQ

1/7 Move on Aptos just got faster with Loader V2 – a major upgrade to how the Move VM loads and caches smart contract code. TL;DR: ⚡Up to 60% faster block execution ⚡Parallel Move contract upgrades 🛠️Cheaper gas coming 🧵 Let’s break it down:

(4/) Try out `move-mutation-test` on your Move projects and give us your feedback! For more details: https://t.co/QbE3vK8lsL

(3/) Tip: the cost of mutation testing usually increases with the size of the target. So, for a better edit-test refinement cycle, target specific functions/modules instead of entire large projects.

(2/) Mutation testing goes beyond code coverage metrics and identifies blind spots in tests. In addition to the Aptos CLI code coverage tool, consider mutation testing another powerful tool for making tests more thorough. Especially for critical smart contracts.

(1/) Writing tests for your code is a must. But who will test the tests? With @eiger_co, we have created a mutation testing tool for Move on @aptos 👇🧵

So proud to see all those features land, and big kudos to the Move team at @Aptos Labs to make it happen! Script composer, account abstraction, permissioned signers, and function values are designed to enable the nextgen superpower defi apps. High performing collection types and

🎉 𝗔𝗽𝘁𝗼𝘀 𝗪𝗼𝗿𝗸𝘀𝗽𝗮𝗰𝗲 𝗔𝗹𝗽𝗵𝗮 𝗶𝘀 𝗟𝗜𝗩𝗘! 🎉 A game-changer for dApp devs -- think 𝗛𝗮𝗿𝗱𝗵𝗮𝘁/𝗙𝗼𝘂𝗻𝗱𝗿𝘆, but for Aptos. Aptos workspace enables 𝗲𝗮𝘀𝘆 𝗜𝗻𝘁𝗲𝗴𝗿𝗮𝘁𝗶𝗼𝗻 𝘁𝗲𝘀𝘁𝗶𝗻𝗴: repeatable, isolated, and seamless. Watch it in action 👇

It's coming ... the 1.26 release is huge.

Aptos Mainnet Framework has been upgraded to use Move Compiler V2 🥳 So many more features build on top of Move2 are coming to Mainnet in the next several release cycles. Pumped!

Got my Apt ID https://t.co/YfKVrkMTyZ; on the decentralized personal links aggregator.

@Aptos Network will be upgrading the mainnet framework to Move 2 in January next year. The team has tested the new compiler and upgrade process against existing packages that publish source code on mainnet. They could not do so for packages without published source code.

Move Prover gathering @movementlabsxyz @AptosLabs in Palo Alto, with @EconiaLabs as guest. '25 will be the year of the Move Prover, lots of work ahead!

One thing that would make Rust compiles faster in many cases is for Cargo to insta-kill any rust-analyzer processes when you run cargo build. That "Blocking" message wastes a lot of time.

[1/3] Move is moving! With Move 2, it unlocks variety of upcoming stdlib improvements coming to Aptos. For example, we have new native functions improving expressiveness and performance (like vectors). AIP-105 https://t.co/yisa57mJu5 Those then enable new fast datastructures:

Major News 🚨 @BlackRock, the world's largest asset manager, has announced that the BlackRock USD Institutional Digital Liquidity Fund (BUIDL), tokenized by @Securitize, has landed on Aptos – the best blockchain for institutional finance and the only non-EVM chain to offer

`aptos move fmt` is ready to prettify your Move code! Try it out and give us feedback.

“The limits of my language means the limits of my world” (Wittgenstein) See you in Seoul!

Want to know more about the internal workings of the upcoming enum type feature in the Move VM? Check out AIP-91. The Future is near.