Vineeth Kashyap Profile
Vineeth Kashyap

@vineethkashyap

Followers
397
Following
39
Media
2
Statuses
183

Software Engineer, Programming Languages at Aptos Labs

Chattanooga, TN
Joined September 2008
Don't wanna be here? Send us removal request.
@vineethkashyap
Vineeth Kashyap
22 days
RT @swarat: Just learned that @IsilDillig won the #SIGPLAN Robin Milner Junior researcher award this year! ๐ŸŽˆ ๐Ÿพ The award goes to one outstaโ€ฆ.
0
10
0
@vineethkashyap
Vineeth Kashyap
3 months
RT @zi0Black: My team is hiring a talented Application Security Engineer, position is open to remote candidates worldwide๐ŸŒŽ Proven experienโ€ฆ.
0
9
0
@vineethkashyap
Vineeth Kashyap
3 months
RT @GeorgeMitenkov: 1/7 Move on Aptos just got faster with Loader V2 โ€“ a major upgrade to how the Move VM loads and caches smart contract cโ€ฆ.
0
15
0
@vineethkashyap
Vineeth Kashyap
3 months
(4/) Try out `move-mutation-test` on your Move projects and give us your feedback! For more details:.
0
1
11
@vineethkashyap
Vineeth Kashyap
3 months
(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.
1
0
8
@vineethkashyap
Vineeth Kashyap
3 months
(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
0
7
@vineethkashyap
Vineeth Kashyap
3 months
(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 ๐Ÿ‘‡๐Ÿงต.
7
36
51
@vineethkashyap
Vineeth Kashyap
4 months
RT @wgrieskamp: So proud to see all those features land, and big kudos to the Move team at @Aptos Labs to make it happen!. Script composer,โ€ฆ.
0
17
0
@vineethkashyap
Vineeth Kashyap
5 months
RT @victor_apt: ๐ŸŽ‰ ๐—”๐—ฝ๐˜๐—ผ๐˜€ ๐—ช๐—ผ๐—ฟ๐—ธ๐˜€๐—ฝ๐—ฎ๐—ฐ๐—ฒ ๐—”๐—น๐—ฝ๐—ต๐—ฎ ๐—ถ๐˜€ ๐—Ÿ๐—œ๐—ฉ๐—˜! ๐ŸŽ‰.A game-changer for dApp devs -- think ๐—›๐—ฎ๐—ฟ๐—ฑ๐—ต๐—ฎ๐˜/๐—™๐—ผ๐˜‚๐—ป๐—ฑ๐—ฟ๐˜†, but for Aptos. Aptos workspace eโ€ฆ.
0
26
0
@vineethkashyap
Vineeth Kashyap
6 months
RT @wgrieskamp: It's coming . the 1.26 release is huge.
Tweet media one
0
16
0
@vineethkashyap
Vineeth Kashyap
6 months
RT @sherry_apt: Aptos Mainnet Framework has been upgraded to use Move Compiler V2 ๐Ÿฅณ. So many more features build on top of Move2 are comingโ€ฆ.
0
18
0
@vineethkashyap
Vineeth Kashyap
7 months
Got my Apt ID on the decentralized personal links aggregator.
@Greg_Nazario
greg.apt ๐ŸŒ
7 months
The devs did something! Just a little decentralized app for the community to have fun with. Own your Identity and add links with an Aptos Name.
Tweet media one
1
1
4
@vineethkashyap
Vineeth Kashyap
7 months
RT @DasYoungy: @Aptos Network will be upgrading the mainnet framework to Move 2 in January next year. The team has tested the new compilerโ€ฆ.
0
11
0
@vineethkashyap
Vineeth Kashyap
7 months
RT @wgrieskamp: Move Prover gathering @movementlabsxyz @AptosLabs in Palo Alto, with @EconiaLabs as guest. '25 will be the year of the Movโ€ฆ.
0
17
0
@vineethkashyap
Vineeth Kashyap
8 months
RT @pcwalton: One thing that would make Rust compiles faster in many cases is for Cargo to insta-kill any rust-analyzer processes when youโ€ฆ.
0
7
0
@vineethkashyap
Vineeth Kashyap
8 months
RT @Igor_Aptos: [1/3] Move is moving! With Move 2, it unlocks variety of upcoming stdlib improvements coming to Aptos. For example, we haveโ€ฆ.
0
6
0
@vineethkashyap
Vineeth Kashyap
8 months
RT @Aptos: Major News ๐Ÿšจ. @BlackRock, the world's largest asset manager, has announced that the BlackRock USD Institutional Digital Liquiditโ€ฆ.
0
341
0
@vineethkashyap
Vineeth Kashyap
10 months
`aptos move fmt` is ready to prettify your Move code! Try it out and give us feedback.
@AptosLabs
Aptos Labs
10 months
You asked, and we delivered ๐Ÿซก. Introducing ๐—บ๐—ผ๐˜ƒ๐—ฒ๐—ณ๐—บ๐˜ by @MoveBit_ and @AptosLabsโ€”a code formatter that makes it easier for builders to write, read and maintain Move on Aptos.
Tweet media one
4
4
26
@vineethkashyap
Vineeth Kashyap
11 months
RT @wgrieskamp: โ€œThe limits of my language means the limits of my worldโ€ (Wittgenstein). See you in Seoul!.
0
14
0
@vineethkashyap
Vineeth Kashyap
11 months
RT @wgrieskamp: Want to know more about the internal workings of the upcoming enum type feature in the Move VM? Check out AIP-91. The Futurโ€ฆ.
0
14
0