Wolfgang Grieskamp (@wgrieskamp) / X

Wolfgang Grieskamp

588 posts

Wolfgang Grieskamp

@wgrieskamp

@aptoslabs. Head of Move language and tools. Formerly Meta, Google, and Microsoft Research

Seattle, WA

linkedin.com/in/wgrieskamp

Joined April 2011

Wolfgang Grieskamp
@wgrieskamp
Jan 17, 2023
Finally! Higher-order functions and lambdas coming to Aptos Move. They come through the backdoor via “inlined” functions, avoiding any VM extensions and related security concerns. Happy filter/map/foreach #MoveLang programming on #Aptos_Network ✍️! github.com/aptos-foundati…
527K
Wolfgang Grieskamp
@wgrieskamp
Jan 5, 2024
Its a small thing, but still very useful: Aptos Move added for-loops! aptos.dev/move/book/loop…
52K
Wolfgang Grieskamp
@wgrieskamp
Nov 11, 2023
There is a lot in store for Move at @Aptos_Network ! Check out this blog article for what we are planning.
The Future of Move at Aptos
From medium.com
94K
Wolfgang Grieskamp
@wgrieskamp
Jan 9, 2024
Unmatched in the industry, the Aptos Framework has been formally specified and verified. We also systematically applied a QA process integrating requirements engineering with testing and verification. Read more below!
Securing the Aptos Framework through formal verification
From medium.com
89K
Wolfgang Grieskamp
@wgrieskamp
Feb 3, 2023
Community is strong around the Move Prover
20K
Wolfgang Grieskamp
@wgrieskamp
Dec 18, 2023
1/ The NFTTrader hack is a good example of the kind of security loopholes which are prevented by construction in Move. More details in the thread below.
cygaar
@0xCygaar
Dec 16, 2023
An explanation of the NFTTrader hack that resulted in millions of dollars worth of NFTs stolen 🧵: (TLDR; combination of reentrancy + old approvals that were never removed)
24K
Wolfgang Grieskamp
@wgrieskamp
Jun 5, 2024
1/ Announcing the beta of the new Move on Aptos Compiler! The new compiler paves the way for The Future of Move on @Aptos. Join our beta testing program and you could win awards in our bug bounty. (See below.)
The Future of Move at Aptos
From medium.com
39K
Wolfgang Grieskamp
@wgrieskamp
Mar 4, 2023
⁦⁦@sherryxiao⁩ talking about how ⁦@Aptos_Network⁩ started
16K
Wolfgang Grieskamp
@wgrieskamp
Dec 11, 2024
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!
10K
Wolfgang Grieskamp
@wgrieskamp
Jul 31, 2023
Its coming:
github.com
Enable unit testing of events in Move by davidiw · Pull Request #9181 · aptos-labs/aptos-core
Often times developer of smart contracts have a need to evaluate their events are correctly emitting. This becomes more obvious as some developers build utilities that are entirely embedded within ...
5.5K
Wolfgang Grieskamp
@wgrieskamp
Oct 25, 2022
Looking forward to talk about Move on Aptos at DevConf China!
MoveBit
@MoveBit_
Oct 25, 2022
We are honored to have Wolfgang Grieskamp(@wgrieskamp), @AptosFoundation & Co-Designer of the Move Language, attend Move DevConf China 2022 to give a talk about Move on #Aptos. #MoveDevConf2022 #MoveDevConf #MoveLang
Wolfgang Grieskamp
@wgrieskamp
Nov 11, 2022
Great idea! @Aptos_Network supports #movelang as well.
0tt0 ｜Liberator of Libra (✊☀️)
@0x0tt0x0
Nov 10, 2022
Hey @mysten_labs @SuiNetwork @Aptos_Network @StarcoinSTC whatya say we get #movelang tag going as a key signal for all to see? Together we'll move mountains! "I believe - #Movelang" - Tweet. Retweet. Tattoo it. Put it on your coffee mug.
Wolfgang Grieskamp
@wgrieskamp
Mar 6, 2024
The Move decompiler developed in collaboration by @Verichains and @AptosLabs is a game changer for the security on the @Aptos network. It allows to convert any bytecode deployed on chain back to source code. Only possible with Move! aptoslabs.medium.com/move-revealed-…
44K
Wolfgang Grieskamp
@wgrieskamp
Feb 7, 2023
Loved talking about #MoveLang at #BLOCTO and #Aptos meetup in Taipei
5.4K