Ventali Tan @_ventali
founder @0xLita, invest @DelendumV, prev. @Redpoint @midreal_ai ventali.xyz San Francisco Joined May 2025-
Tweets30
-
Followers227
-
Following56
-
Likes103
š¤
I'm hosting an AI & Science reading group at Mox SF on Wednesdays 7-9PM. Each week, weāll dive into a different area where AI is reshaping scientific discovery and research. Topics weāll explore include: ā¢ AI & Genomics ā¢ AI & Mathematics ā¢ AI & Physics ā¢ AI & Drugā¦
New fastest shortest-path algorithm in 41 years! Tsinghua researchers broke Dijkstraās 1984 āsorting barrier,ā achieving O(m log^(2/3) n) time. This means faster route planning, less traffic, cheaper deliveries, and more efficient networks - and a CS curriculum revamp =)
sudo is opening up 10 spots for early testers. you will receive 10% extra credits on LLM routing. DM me if interested!
Releasing Valida Plus ā our biggest update yet to the Valida zkVM. From client-side proofs to Ethereum block proving, this release pushes the boundaries of ZK performance and usability. Highlights below š§µ
Valida is now open-source. We started Valida as an open project ā and weāll keep building it in the open. Itās hard to push forward a fundamentally different architecture in a world that rewards short-term wins. But this is who I am, and what this team stands for. So be it.ā¦
Valida is now open-source. We started Valida as an open project ā and weāll keep building it in the open. Itās hard to push forward a fundamentally different architecture in a world that rewards short-term wins. But this is who I am, and what this team stands for. So be it.ā¦
ļ½”ļ¾+.į¦(ćā” āį¦)
Just dropped our thoughts on EVM 2.0 on Ethmagicians. We see 3 options: (1) execution optimized, (2) ZK optimized, (3) 2-step approach: HLL->blockchainVM->ZKVM. We suggest exploring all 3 (we took (3) with Cairo but Ethereum should look at all). ethereum-magicians.org/t/evm-2-0-provā¦
AlphaEvolve is so cool! Is there anyone working on an end-to-end āscientist botā that can define a problem, handle data prep, choose algorithms, run simulations, and then apply everything to real data? Iām prototyping a system like this on weekends (initially focused on physics)ā¦
AlphaEvolve is so cool! Is there anyone working on an end-to-end āscientist botā that can define a problem, handle data prep, choose algorithms, run simulations, and then apply everything to real data? Iām prototyping a system like this on weekends (initially focused on physics)ā¦
Using this new account, I want to start sharing what I truly think is valuable, aesthetic, and inventive. - I studied physics and philosophy in college (and still actively studying both) - I did archeology excavation in Rome - I collect old etchings and antique books - I'veā¦
32-bit architectures are back, baby! x.com/_ventali/statuā¦
After 3 years of design and engineering, weāve stabilized the Valida architecture and published the first version of the ISA spec. This is our first step toward making Valida an open standardālike what RISC-V did for general-purpose computing. Weāre deeply grateful to everyoneā¦
After 3 years of design and engineering, weāve stabilized the Valida architecture and published the first version of the ISA spec. This is our first step toward making Valida an open standardālike what RISC-V did for general-purpose computing. Weāre deeply grateful to everyoneā¦
Michael LaFramboise ļæ½... @LaFrogman
3K Followers 513 Following founder/ceo making laser guns @ https://t.co/PaJaxMS5KA - ššļøšØāš» into cows
Frida Queeleyšš... @FQueeley76592
25 Followers 466 Following
Denise Teng @denise_teng25
471 Followers 2K Following Partner @GradientVC | ex-PM @Meta AI infra, Twitter š¦š, @MuleSoft| @carnegiemellon š©āš. Investing in early stage AI, dev tool, creator tool startups š§ āØ
Sophia Xu @thesophiaxu
4K Followers 3K Following applied epistemology | language machines languaging
Mr M.A.D š¬š§ @TheCryptoKidsX
858K Followers 46K Following Owner MM Network | Investor/Advisor | The MAD House AMA Host | The MAD House: Web3 Networking: DM to join) | TG: TheCryptoKidsX | 95% utility + 5% degen š«”
Josh Loach @LoachJosh
5 Followers 102 Following
James Grugett @jahooma
3K Followers 434 Following Cofounder of Codebuff & Manifold Markets Let's allow more experiments, create more positive-sum exchanges, and set more ambitious goals.
Ian Peters @peters_ian28790
1 Followers 19 Following
Haitao @ChatHHT
76 Followers 938 Following š Data Analyst @Linear_Capitalļ¼investing GenAI š® BPļ¼[email protected]
Gift Mpofu @gift50225
0 Followers 31 Following
John Y šø @yanjo115
224 Followers 1K Following building. ex-anthropic, ex-meta šø 10% Pledge with @givingwhatwecan
S Y @SY5365705794821
6 Followers 30 Following
banri @banr1_
2K Followers 730 Following Researcher / engineer at @NyxFoundation, formal verification x LLM, Ethereum, math
ssaulgoodmann @ssaulgoodmann69
486 Followers 3K Following putting comp (sci) in companions | building @companionsdotgg
empowa @imempowa
2K Followers 798 Following artist + creative technologist ź© turning sf into the intersection of art & technology through https://t.co/hKbALy6lq9
venki @__venki__
599 Followers 839 Following rejoice, the streetlights burn brighter than stars. https://t.co/oleTsi3jDK
Alex Xiong @alex_xiong_
1K Followers 484 Following Another Lookā¢ at cryptographic engineering made simple, revisited. @EspressoSys
moventsai.eth @moven0831
239 Followers 1K Following Programmable Cryptography, the key to the future of freedom | Always Strive And Prosper | @zkmopro dev at @PrivacyEthereum
Emerson S @Em_Nomadic
808 Followers 7K Following Investment Director/CMO @azen_protocolā½ļøContributor @QuillAudits_AIā½ļøPrev: @goldentides_gg, @loa_labs, @sisunetwork, @SayferSecurity, @KupiaSecurity
caroline @anesalidia
679 Followers 2K Following å¹³å”ę®éēå»ŗč®¾č āāāęäø天ä¹åÆ仄ę¶č·čŖå·±ēęå®
Daniel Z. @punctured_LZ
532 Followers 2K Following Views my own | I invest ideas that I also want to implement | I invest, I repost | My posts doesn't mean my operations | Retired 33 under 33
Koukyosyumei @Koukyosyumei
496 Followers 728 Following PhD student @Columbia | software security in Crypto and ZKP | previously worked on Federated Learning | FOSā24 | ex-intern @Apple @UT__Econ | UTokyo alum
Alex Soong @asoong91
2K Followers 844 Following building something new, you can just do things. poker player, fmr: founder @zkp2p, @SetProtocol
Daniel Lugo @DanielLugo53494
0 Followers 5 Following
Bryan Hernandez @bryan1238764
48 Followers 1K Following
R.L. āæryer @rBryer23
13K Followers 5K Following #Bitcoin network since 2009. Founder @BryerMedia. No FA.
Kunal Gupta (self/acc... @djkgamc
2K Followers 6K Following Withfriends helps indie bookstores get community support @withfriends_co - YC19 // Founder @babycastles @thesilentbarn @loudobjects @285KENT // IG: djkgamc
šš¢ššš„ļæ½... @VitalyButsan
273 Followers 8K Following I help marketing to look & feel professional āļø Conservative, Family values first šØ
Web3PulseMod @TheHubKeeper
1K Followers 1K Following We all have to die someday,live a good life | DM collabs! Lead Mod @SoundnessLabs Willing to learn,unlearn and relearn CR7 is the šš||MUFC
Xalvoum @Xalvoum3471
18 Followers 1K Following
Manoj @ManojKGorle
875 Followers 3K Following figuring out | zk piled, co-president @0xblocsoc, undergrad @iitdelhi | prev engg @nodekitorg
Andrew Miller @socrates1024
23K Followers 5K Following junior product @ teleport studio https://t.co/GW5aptHrL7 š”ļø dstack integrations š”ļø https://t.co/uT4qFVdtvl
Tony Glez @129400Tony
64 Followers 1K Following
yasemin @geeny616
3K Followers 4K Following chaotic-structured polymath @ ergodicgroup ā views are from my subconsciousness @notgeeny616
GMHK @guihlom
58 Followers 342 Following
Shri Roshan Singh @_kalikho_
253 Followers 2K Following Visiting Researcher, CPL Madrid(Adjunct) | Research Engineer, Japan | CS @iitguwahati | All things ZK | Tweets are in personal capacity
Patrick Hsu @pdhsu
47K Followers 3K Following @ArcInstitute co-founder, @BerkeleyBioE professor, @ThriveCapital investor | šØš¦ prev @harvard @broadinstitute, Fast Grants
Sophia Xu @thesophiaxu
4K Followers 3K Following applied epistemology | language machines languaging
Delendum @DelendumV
2K Followers 0 Following A research lab and venture fund advancing deep tech and AI-driven science
Eliezer Yudkowsky ā¹... @ESYudkowsky
209K Followers 102 Following The original AI alignment person. Understanding the reasons it's difficult since 2003. This is my serious low-volume account. Follow @allTheYud for the rest.
Sudo AI @SudoAIApp
5 Followers 0 Following One API for any LLM ā faster routing, lower costs, zero lock-in
Scott Sunarto @smsunarto
25K Followers 4K Following founder/ceo @ArgusLabs_, (traumatized by) distributed systems, prev @Berkeley_EECS
2030 is the next year @HiokiLeona
2K Followers 436 Following Probably nothing at @intmaxIO JP: @leo_hio
Matt Sorg šØ @tamgros
4K Followers 2K Following VP of technology@Solana Foundation. Former @riotgames @unitygames. Founder Concha labs, KorroBox
Robert Drost, Ph.D. ļæ½... @rjdrost
2K Followers 591 Following CEO at @eigenlayer's Foundation, @eigenfoundation. Mission: merge Crypto + AI + Web3. User ownership, privacy and verifiability are the future.
Josh Woodward @joshwoodward
32K Followers 754 Following VP, @Google @GoogleLabs @GeminiApp @GoogleAIStudio
Kevin Weil šŗšø @kevinweil
111K Followers 3K Following CPO @OpenAI, BoD @Cisco @nature_org, LTC @USArmyReserve Prev: President @Planet, Head of Product @Instagram @Twitter ā¤ļø @elizabeth ultramarathons kids cats math
Benjamin Wandelt @bwandelt
1K Followers 767 Following Professor of Astrophysics at Sorbonne University, Paris. Cosmology, Physics, Astro, AI/ML, Stats, Computation, Maths belong to everyone. Opinions are my own.
Alexander Novikov @SashaVNovikov
5K Followers 179 Following Research scientist at Google DeepMind. Opinions are my own.
Anthony Rose ā @anthonykrose
13K Followers 2K Following Building @zksync. Formerly @CERN, @SpaceX.
swen | lightprotocol.... @swen_sjn
6K Followers 780 Following co-founder @lightprotocol, https://t.co/CSzgGVcIOz. always be kind
Hactar @Hactar0
2K Followers 939 Following
Lisa Akselrod (buildi... @cryptobuilder_
6K Followers 624 Following Make machines accountable to humans | all in on verifiable computations | ex @aztecnetwork @LondonU
Gregoireljda.eth š @gregoireljda
2K Followers 3K Following Artificia docuit fames l current: loading
Rand @randhindi
32K Followers 7K Following Founder (@zama_fhe), deeptech investor (https://t.co/3Bm60ghFkR) & competitive biohacker
Sylve (on honeymoon i... @sylvechv
7K Followers 3K Following š speedrunning the blockchain endgame @hyli_org with @wraitii be kind
dcbuilder.eth āŖļø @DCbuild3r
46K Followers 5K Following šŖšŗšØšæ. math. Ethereum. ZK. Rust. @worldcoinfnd. accelerating @worldcoin. World ChaināŖļø. angeling in friends. Hopeful about humanity.š¦š½
Arnaud Schenk @_ArnaudS_
5K Followers 2K Following @aztecFND ā stewarding @aztecnetwork and @NoirLang -- @graphprotocol council @crecimientoar advisory board
Jacob @0xEverly
4K Followers 921 Following Proving everything @boundless_xyz l Prev @risczero @avalabs @Cornell Cowboy l My own thoughts that will probably change
Ariel Gabizon @rel_zeta_tech
4K Followers 387 Following Chief Scientist at @aztecnetwork. I post papers on eprint and have petty disputes with people posting similar papers. Personal views at @relgabizon.
bkase (httpz/šŖ¶) @bkase_
10K Followers 1K Following Peripatetic philomath. Ex-CEO at @o1_labs building @MinaProtocol + @ensue_ai . Former or current advisor for @gensynai , @MoonwellDeFi , @zksecurityXYZ
Jason Morton @jasonmorton
2K Followers 1K Following Founder @ezklxyz ā¢ Ex-Prof bringing trust to AI through cryptography ā¢ Harvard/UMich/Berkeley/Stanford/PSU ā¢ Programmable cryptography & verifiable analytics
Mamy Ratsimbazafy ļæ½... @m_ratsim
3K Followers 2K Following Engineer @lita_xyz zkVM | Cryptography | Scaling Ethereum | ex Chief Scientist @taikoxyz, Ethereum Core Dev @ethnimbus
gio @0xPhoenice
571 Followers 2K Following verifying reality @0xLita // trying to build a libertarian future with technology // @USC alumnus // š±š§šŗšø
Tom Schmidt ļ¼|ļ¼ @tomhschmidt
39K Followers 4K Following Investing @dragonfly_xyz. Previously product @0xproject, ads product @facebook and @instagram. Vos debes periculum pro buccellatum.
claudia ! @letclaudiatweet
1K Followers 1K Following esoteric cofounder at @supplyco_ai (industrial AI), tall girl, love god, technical personality hire, @uchicago, cajun military brat, same as it ever was
Matthew Di Ferrante @matthewdif
6K Followers 360 Following software engineer, vuln finder // into physics, machine learning, formal methods, cryptography, pure maths, finance, game theory
David Wong @cryptodavidw
16K Followers 3K Following security @zksecurityXYZ & research @archetypeVC, author of Real-World Cryptography, prev: architect @Mina, sec lead Libra (@Facebook), crypto @NCCGroup
Tim Carstens āāØ i... @intoverflow
2K Followers 2K Following Pan computer science. Math and math accessories. Clean, efficient, reliable number systems sold daily. āØ Be Boundless āØ Retired Eng @ RISC Zero š¤«š„ø
Leona priv/acc @leo_hio
15K Followers 1K Following A stateless guy. Scaling Ethereum with INTMAX (@intmaxIO) Eng: @HiokiLeona ꄵåŗ¦å¦ę³ļ¼ććŖććļ¼Trends for United States
You might like
