Vineeth Kashyap @vineethkashyap
Software Engineer, Programming Languages at Aptos Labs vineethk.github.io Chattanooga, TN Joined September 2008-
Tweets184
-
Followers397
-
Following133
-
Likes40
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! sigplan.org/Awards/Milner/
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. job-boards.greenhouse.io/aptoslabs/jobs…
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:
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…
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 aptid.xyz/vineeth; on the decentralized personal links aggregator.
Got my Apt ID aptid.xyz/vineeth; 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 github.com/aptos-foundati… 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.
`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!
“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. github.com/aptos-foundati…
Chloe.apt @itsdefchloe_
26 Followers 169 Following Growing @AuroFinance_ in @Aptos ecosystem Always building, always cooking DM for collabs/partnerships NFA
Pedro Bettencourt @Bettenco77Pedro
12 Followers 198 Following Gosto da tecnologia e evolução aliadas no presente , passado e futuro !
Oocruhea @Oocruhea0322
25 Followers 1K Following
gabriel arango @gabo0423
185 Followers 2K Following
QuintinaSweet @pgrUf7jjjjb
316 Followers 3K Following
Musbahu Usman @Musbahudangai
64 Followers 332 Following
Sneezy.apt 🌐🏴�... @realjaysneezy
9K Followers 5K Following A balance in the Force.🟢NFA DYOR. $APT Opinions are my own - Aptos Community Team - Co-Founder of After Dark - Advisoor - CM
0xobsessed @0xobsessed
17K Followers 2K Following ritual services for your deposit @EchelonMarket things
Alex Cho | Auro @Alexcho_Auro
2K Followers 1K Following Head of Bulls with Move🐂 (CMO) Chief Mover Officer at @AuroFinance_ Repost, Quote ≠ Endorsement Everything I posted is not financial advice
Ukashat.Cyber👽🌐 @UkashatBalaCCII
4K Followers 843 Following MB-@Aptoscollective|certified cyber intelligent investigator|FND-:Global Cyber Space | Promoter Blockchain For Youth|Lead @AptosHausa|
ᒪᐯᗰᕼ.ᗩᑭT ... @lvmh5388
27K Followers 635 Following Formerly Community Manager at @Aptos @AptosFrance The coolest French guy on Aptos and its ecosystem ◦°˚ヽ(ఠ_ఠ)ノ˚°◦ #Aptos #Alpha T’as capté ? ➡️ #Follow
MG 🌄 @Web3Trade_r
690 Followers 982 Following Do what makes you happy | Web3 explorer | Content Creator | Risk Taker|
Boban Pesic @boban_pesic
3 Followers 126 Following
mahan+ @CryptoMahanPlus
259 Followers 6K Following Be mahan+ Army 🙋, Be Unique 🤑 || Airdrop Hunter || Educator || Researcher || Content Creator || 2018 - 2025||
Ivan 🌐🟢 @ivan65471037
1K Followers 2K Following I love to think. GUIOG, AptosCollective. All opinions are my own. NFA DYOR. Aptos my home.
kwesi.apt @TimmyCwesi
455 Followers 2K Following Move Lang. Enthusiast 👨💻🌐 @CyfrinUpdraft • @HackenProof Security Researcher 🔎
Nexa India @BTC2NEX
125 Followers 224 Following
Triệu @polikekute2k
99 Followers 1K Following
Talhiiito.Apt🕸️�... @Talhiiito
1K Followers 2K Following Observing @Aptos | content writer | opinions are mine | @Echoprotocol Native💥
Dev | Aptos 🌐 @Gemswizzard
36K Followers 2K Following Global Community Manager @Aptos | Views expressed are my own prev. Software Engr @JohnDeere @Accenture @Infosys
DE ORACLE @Oga_D_laww
326 Followers 4K Following Full time Onchain Gambler, Alpha caller, iDegenerate for a living 📉📉, Living in Profit, #DYOR, All my tweets are #NFA 247/Reply boy, $0 with a dream
greg.apt 🇺🇸 @Greg_Nazario
41K Followers 868 Following Head of Dev Rel & Founding Engineer at @AptosLabs | Ask me about how to build on @Aptos | Former @AWS, @Meta | Never financial advice
pmgubbey1.eth @pmgubbey
640 Followers 2K Following Patrick Gubbey - ex CEO @blockchainworks Interested in everything talent in Web3.
Ryan @Real_RL25
4 Followers 81 Following
Bhaskar @0xPSB
192 Followers 573 Following Blockchain Developer | Web3 Security Researcher | prev: @quillaudits_ai
Azndgi @ABahrkani63342
12 Followers 193 Following
Aptos Japan @aptos_japan
6K Followers 237 Following @Aptos は、独自の高性能なブロックチェーンを活用して世界の金融を進化させるために設計されています🌐 Aptos Japanは、日本語での情報提供や国内のオン・オフラインイベントの開催を通して、開発者・ユーザーにソリューションの利用機会を提供します。 コミュニティマネージャー @Takeshi_web5
Cryptoyuga @CryptoyugaOFCL
38 Followers 103 Following World's first signal airdrop .The signals you need for less cost. #binance #bitcoin #crypto join now https://t.co/6t4LEXubCa
DefiPaladin @DefiPaladin0X
205 Followers 171 Following Dad, Husband and hard-worker. Day trader in the dark. It moves, it trades.
SafeHarbor Financial @shfinancial
43 Followers 815 Following Safe Harbor Financial is a full-service health and life insurance agency. Serving San Clemente and communities in Orange County and Southern California.
0𝖝0𝕱𝕬𝕹�... @pocotelu
196 Followers 300 Following 𝕳𝖙𝖙𝖕𝖘://𝖜𝖜𝖜.𝖎𝖓𝖘𝖙𝖆𝖌𝖗𝖆𝖒.𝖈𝖔𝖒/@𝖌𝖔𝖉𝖐𝖎𝖑𝖑𝖊𝖗𝖉𝖗𝖆𝖌𝖔𝖓𝖍𝖊𝖆𝖉𝖘/#𝕷𝖎𝖓𝖐𝖊𝖉#𝕺𝕬𝖀𝕿𝕳𝖊𝖓𝕿𝖎𝕮𝖆𝖙𝕺𝖗𝖘𝕾𝕴𝕲𝖓𝖆𝖙𝖚𝕽𝖊𝖘
jonathan Jacques-Mich... @theteamunivere
419 Followers 7K Following sharing application ,talk about it, sharing picture-video-music comment and say is work or not 1000 abonned I will premium
Teng Zhang @TengZhang14397
1 Followers 29 Following
Jack Jofa ♦️ @JackJofa420
2K Followers 7K Following Supra 0xe1ef81d1e3027ff391467652d225f10fc3b1048aebaf05ae9391327670d7d4e9 #supra $supra
Murugaveni T @Murugaveni26391
0 Followers 40 Following
Justice Anoma🍊,�... @justice2819
430 Followers 2K Following Gia đình, BuildX, Airdop, NFT,(🧙♂️,🧙♂️)
MD MOMIN @md97142
1 Followers 104 Following
Shornaly digital @DigitalSho59547
0 Followers 38 Following
Logic & Applications @LogicPractice
27K Followers 8 Following Logic and applications of logic from @JohnDCook
Edward Z. Yang @ezyang
14K Followers 1K Following I work on PyTorch at Meta. Chatty alt at @difficultyang.
sherry.apt @sherry_apt
42K Followers 149 Following building blockchain @aptoslabs | Ex-Meta/Instagram/Novi/Diem
Adrian Perrig @Adrian_Perrig
1K Followers 170 Following Professor at ETH Zurich, Co-Founder Anapaya Systems, Advisor Mysten Labs, SCION next-generation Internet Evangelist
max.rss @tekknolagi
2K Followers 899 Following Bread, beans, programming languages; fmr Chief Potato; he/him; cover photo credit xkcd proud owner of https://t.co/kUeNYzHHut https://t.co/q3ainEJ9sW
zi0Black @zi0Black
783 Followers 284 Following Security @AptosLabs | Former @ShielderSec | (ex)CTF @JBZTeam | UNIMI | I love to turn IoT devices into expensive paperweights✌🏿
Reads with Ravi @readswithravi
430K Followers 1K Following “A little bit of DAILY READING goes long way.”📚 📖 ☕️ || Book Review, Lessons, Recomm, & Wisdom || Engineer 👨💻 Solutions Architect - Data Storage
Rati Gelashvili @rgelash
41K Followers 689 Following Concurrency 🥷 Blockchain researcher @aptoslabs, prev @novi. even prior eng team lead @neuralmagic, PhD @mit.
dport.apt @dport_apt
41K Followers 417 Following TL of @GeomiDev | Software Engineer @AptosLabs | Friend of Faucets | Petra Enthusiast. Formerly @ Meta. aka Banool / Daniel.
Josh | Aptos Ape 🌐 @aptos_ape
40K Followers 331 Following Founding Engineer at @AptosLabs. Former @Meta, @Google & @IBM. Ex-Founder of Teechain. PhD in Distributed Systems. Tweets are my own.
Phil Eaton @eatonphil
25K Followers 611 Following cheerleader, organizer, staff software engineer, databases
Peter Kraft @petereliaskraft
6K Followers 106 Following Co-founder @ https://t.co/Tc5E74e83I • Stanford PhD • Database Geek • Building https://t.co/HJhvPqxL2p
Daniel Litt @littmath
51K Followers 880 Following Assistant professor (of mathematics) at the University of Toronto. Algebraic geometry, number theory, forever distracted and confused, etc. He/him.
Mo Shaikh @moshaikhs
80K Followers 3K Following Cofounder @aptoslabs prev. @Meta @BCG @BlackRock @ConsenSys @MeridioRE
Gerardo Di Giacomo @gedigi
1K Followers 648 Following
Loris D'Antoni @lorisdanto
8K Followers 771 Following A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Aptos Labs @AptosLabs
161K Followers 105 Following Accelerating the future on @Aptos — committed to bringing decentralization to the masses.
Nikolaj Bjorner @BjornerNikolaj
1K Followers 317 Following
Santosh Nagarakatte @santoshgnag
2K Followers 602 Following Professor and undergraduate program director, Computer Science, Rutgers University, New Brunswick. See my group RAPL: https://t.co/dYChac4veQ
Nadia Polikarpova @polikarn
4K Followers 291 Following Associate prof @ucsd_cse. Building tools for program verification and synthesis.
Zachary Tatlock @ztatlock
1K Followers 481 Following Finding nails, building hammers. Prof at UW Allen School (CSE) @[email protected]
Mayur Naik @AI4Code
2K Followers 302 Following Misra Family Professor @CIS_Penn. I do research on neurosymbolic AI and cybersecurity.
Benno Stein @benno_stein
109 Followers 326 Following program analysis, incremental computation, good/correct takes. past lives: static analysis at Meta London, PhD at CU Boulder
Denis Bakhvalov @dendibakh
5K Followers 450 Following Performance 🥷 @Intel. Book author📖. Blogger✍️. Speaker📢. Chess fan♟️. My newsletter: https://t.co/k0RKkc64zE. All opinions are my own. he/him
Zekun Li @zekun000
2K Followers 104 Following Head of Blockchain (if you're looking for titles) / Software Engineer (if you're looking for technical discussions) @ Aptos
Antonio Scandurra @as__cii
1K Followers 254 Following Co-founder @zeddotdev. Previously: Rust and CRDTs at @dittolive, core engineer on @AtomEditor at @GitHub
greg.apt 🇺🇸 @Greg_Nazario
41K Followers 868 Following Head of Dev Rel & Founding Engineer at @AptosLabs | Ask me about how to build on @Aptos | Former @AWS, @Meta | Never financial advice
Alastair Donaldson @afd_icl
3K Followers 428 Following Professor of Programming Languages at Imperial College London
Tomas Petricek (find ... @tomaspetricek
9K Followers 931 Following Assistant prof @matfyz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at @UniKentComp and @Cambridge_CL
Roberto Giacobazzi�... @rgiacobazzi
846 Followers 654 Following Professor of Computer Science: Theory of computation, computers, languages and their semantics
avery.apt 🇺🇸 @AveryChing
69K Followers 2K Following Co-founder & CEO @ Aptos Labs. Building the global trading engine. Ex-Meta/Facebook/Novi/Libra/Diem crypto platforms tech lead. Supercomputing PhD.
Young @DasYoungy
881 Followers 306 Following eng at Movement. Prev Aptos, Libra/Diem, Novi, FB/Meta. Opinions are my own.
George Mitenkov @GeorgeMitenkov
273 Followers 105 Following Engineering at @aptoslabs MSc in Computer Science at @eth BEng Math & Computer Science at @imperialcollege
Marc Brooker @MarcJBrooker
21K Followers 747 Following AI, agents, databases, and serverless at AWS. Views are my own.
Wolfgang Grieskamp @wgrieskamp
39K Followers 209 Following @aptoslabs. Head of Move language and tools. Formerly Meta, Google, and Microsoft Research
Dmitrii Kovanikov @ChShersh
48K Followers 231 Following Dysfunctional Programming account #1. Senior SWE at Bloomberg. I write C++ for money. ex-Haskell, ex-OCaml. All opinions are my own.
Rajeev Alur @RajeevAlur
2K Followers 231 Following Professor of Computer Science at @Penn, researcher in Formal methods, Programming languages, Safe AI, Cyber-physical systems
Thorsten Ball @thorstenball
36K Followers 968 Following Author of https://t.co/arW0hnVET0 and https://t.co/RN9xXOzhON. @sourcegraph working on @ampcode. Ex-@zeddotdev. Programming where the rubber hits the road.
Jonathan Aldrich @JAldrichPL
4K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Publications Board. CTO of https://t.co/ilgx6i6eL1 He/him.
Madan Musuvathi @madanMus
1K Followers 394 Following Dad, Partner Research Manager, @RiSE_MSR, @MSFTResearch, @Microsoft. Programming Languages, Software Engineering, Systems. (He/Him)
Kristopher Micinski -... @krismicinski
7K Followers 3K Following As of ~Sep '25, I have moved off Twitter, email me for personal thoughts ([email protected]). Tweets do not represent *anyone's* views, especially mine.
Satnam Singh @satnam6502
20K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Steve Blackburn (@ste... @stevemblackburn
2K Followers 899 Following Computer scientist, researcher, dad, husband, runner, hiker, collector of garbage. Google Research Scientist, ANU Professor. https://t.co/zPlLF6sKVXTrends for United States
You might like
