Synthetic Minds @_syntheticminds
Stealth mode YC S'18 company working on program synthesis synthetic-minds.com Joined June 2018-
Tweets34
-
Followers292
-
Following90
-
Likes16
Synthetic Minds retweeted
Exciting. I've always been intrigued by what Program Synthesis can do. Now synthesis + AI synthesis may lead us to exciting places!
Exciting. I've always been intrigued by what Program Synthesis can do. Now synthesis + AI synthesis may lead us to exciting places!
2
5
59
0
1
Synthetic Minds retweeted
10 years ago I started working on program synthesis, coz I was curious if I could build a system that would surprise me, on the tiniest of intellectual tasks. We wrote a paper about it. I’m glad the community found it useful. Humbled by the most influential paper award.
10 years ago I started working on program synthesis, coz I was curious if I could build a system that would surprise me, on the tiniest of intellectual tasks. We wrote a paper about it. I’m glad the community found it useful. Humbled by the most influential paper award.
Come to our conference on the "State-of-the-art in Program Synthesis", Sep 19-20 in SF. The entirely technical program has some of the most interesting results in the field. synthetic-minds.com/pages/conferen…
Synthetic Minds retweeted
300 *million* watts. I cry for humanity. forbes.com/sites/ktorpey/…
Synthetic Minds at the Playstation Theater at NFT.NYC. Try out our fun exercise at synthetic-minds.com/try.
Alex @vidiborvc worked with us this winter. He learnt a few things about program synthesis in the process. Can the promise of program synthesis be realized to create real business value? His thoughts: medium.com/@vidiborskiy/s…
Synthetic Minds retweeted
Looking forward to @EFDevcon this week. DM me to meet up. @_syntheticminds
Synthetic Minds retweeted
If it is good enough for @NASA then it should be good enough for Smart Contracts. @_syntheticminds and @_saurabh are building smarter smart contracts with good investment via @ForbesCrypto forbes.com/sites/darrynpo…
Super excited to have worked with YC for the 2nd time. If you're wondering whether YC will be useful for your startup; the answer is YES. The partners are worth their weight in gold; and you don't have that much gold. :)
Super excited to have worked with YC for the 2nd time. If you're wondering whether YC will be useful for your startup; the answer is YES. The partners are worth their weight in gold; and you don't have that much gold. :)
“They are uniquely positioned to enable an enterprise-grade, safe, smart contract platform. Provably correct smart contracts through program synthesis are key steps needed for smart contracts on the blockchain and for software, in general.” @vkhosla coinrivet.com/pantera-capita…
Prai 🦊 Nickelfox D... @Nickelfoxdesign
57 Followers 617 Following 10+ years | 300+ projects | Crafting innovative digital experiences that transform ideas into reality. Let's build the future together!
Johar Wahab @WahabJohar
132 Followers 672 Following
Jereme Ray @JeremeRay
17 Followers 76 Following
Sandra Templeman @Regnan67
2 Followers 49 Following
Dave …. just Dave @DavidPylyp
6K Followers 6K Following "🏠 Toronto Etobicoke Realtor | 34+ Yrs @ RE/MAX | Sell FAST w/ Virtual Open Houses | Helping Families Find Home | 📞 647-218-2414 Free Virtual Consults
ketl.xyz - for founde... @ketlxyz
544 Followers 3K Following 🕯️🫖 Exclusive anonymous app for founders & VCs: https://t.co/sPAwZJQ5GG 🔮 Join over 500 YC + venture backed founders and VCs from the top funds today
metawoodz @LamontW11910857
61 Followers 577 Following
Jhomi @jenshollinger
123 Followers 661 Following
BMT @salvitas69
183 Followers 719 Following We offer a variety of cultural and adventure tours in the Yucatan Peninsula, including tours to the Mayan ruins of Coba and the Spider Monkey Sanctuary, snorkel
Penelope Stewart @penelopepath23
1 Followers 38 Following
Bruce Silcott @bsilmed1
1 Followers 54 Following
K.Semper @wasi340
38 Followers 411 Following
Tina Rogers @TinaRogers4539
0 Followers 8 Following
Upender gupta @marblehousegupt
202 Followers 5K Following
Xyz @Xyz09151182
0 Followers 11 Following
Bharath Ramanujam @BharathRamanuj4
3 Followers 44 Following
Forlinked @s83084608
32 Followers 103 Following Have an unrealized digital fortune. Gnoma (🧙♂️,🧙♂️)
sathis @sathis59536219
0 Followers 33 Following
soroush @shiralitech
456 Followers 3K Following
Yinyin L. @yinyins
74 Followers 981 Following
im a frequency, not a... @goldcubanlink
61 Followers 306 Following not in a rush. I’m taking the scenic route
Lets Talk BTC @LetsTalkBTC
4K Followers 2K Following #SpacesHost discussing all things crypto. Every Friday @ 2 PM EST!
Justin Pethers @justin_elevated
49 Followers 695 Following connecting people to the best financial technology and practices on the market.
Jelly @0xJelly
115 Followers 318 Following CEO @ Replay & RewardedTV | Founder @ PB&J Crypto. Travel. Skydiving. Winter Sports.
Cryptoclown ⌘ @Cryptoclownth
531 Followers 5K Following Yo #CryptoTwitter! Hunting unlisted airdrops like $MON, $MITO, $BUZZ 🚀 Sharing alpha & guides. DYOR always! DM for collabs. WAGMI! 🧑🌾
NFC SUMMIT - LISBON -... @NFCsummit
26K Followers 3K Following The world’s first (Web3) Pop Culture Festival // (1) Ticket (8) Events 💥 // Art, Gaming, Fashion, Memecoins, Ordinals, AI Film, Beach parties…
Zhiyang Chen @zhiychen
190 Followers 1K Following A CS PhD student @UofTCompSci Research on Software Engineering, Programming Language, Security and Blockchain. Research @ZircuitL2
Yongwei Yuan @YuanYongwei
231 Followers 387 Following Ph.D. student in Programming Language, Purdue https://t.co/uj73YuWK0C
Le Corbusier 🛸 @user11268
68 Followers 4K Following
CNR @CNR_Roman
114 Followers 1K Following
Christie Joseph @Christi68017403
3 Followers 63 Following My husband, myself and my 4 year old all play drums 🥁
Arquant Capital @ArquantCapital
111 Followers 581 Following Embrace Financial Innovation - Investment & Hedging Solutions on Digital Assets #assetmanagement #cryptocurrency
jon_a97tun @jon_a9_7
35 Followers 901 Following
kaiomorphism @kaiomorphism
10 Followers 701 Following
Paul Graham @paulg
2.1M Followers 779 Following
CoinDesk @CoinDesk
3.4M Followers 2K Following Leading the conversation on accelerating crypto’s future. Follow @CoinDeskPodcast @consensus2026 @Consensus_HK @CoinDeskES @CoinDeskMarkets @CoinDeskData
Orion Spacecraft @NASA_Orion
1.0M Followers 162 Following This account is now archived. The safest spacecraft designed by NASA, Orion is carrying humanity to the Moon and beyond.
Mike Maples, Jr @m2jr
106K Followers 8K Following I invest way too early in outlier startups. Twitter (as Odeo), Twitch (Justintv), Okta (Saasure), Applied Intuition. Partner @floodgatefund. Bestselling author.
Tarun Chitra @tarunchitra
76K Followers 6K Following ヽ(⌐■_■)ノ♪♬ @gauntlet_xyz/@robotventures/@aerafinance/@thelatestindefi/@_choppingblock/@zeroknowledgefm // main: @guilleangeris
Ryuya Nakamura @nrryuya
1K Followers 143 Following AI Platform for Enterprises / LayerX Executive Officer / IPA (METI, Japan) Super Creator / Forbes JAPAN 30 UNDER 30 / Director of the Privacy Tech Association
zkMarek ⛛ @zkMarek
8K Followers 614 Following Founder at @vlayer_xyz Former founder at: 👉 Ethworks (acquired by @Archblock_) 👉 @elpassion (acquired by @Daftcode_pl) 👉 https://t.co/2AgPSjRN7T
Bharath Ramsundar @rbhar90
12K Followers 8K Following Founder and CEO @deepforestsci. Creator of @deep_chem. Author @OReillyMedia. @stanford CS PhD. https://t.co/7LDcegrCsc
Vinod Khosla @vkhosla
687K Followers 604 Following entrepreneurship zealot, grounded technology possibilist, believer in the power of ideas, passionate about sustainability & impact
Robert Scoble @Scobleizer
544K Followers 24K Following The best from ML/AI community | Ex-Microsoft, Rackspace, Fast Company | Wrote eight books about the future | Silicon Valley robots, holodecks, BCIs, & startups.
aeternity Blockchain @aeternity
35K Followers 726 Following Empowering innovation, open-source development, and ecosystem growth around the æternity blockchain. Fostering a fair and safe economy of the future.
Zilliqa @zilliqa
461K Followers 1K Following Unlocking Web3 for All with Zilliqa 2.0. View the whitepaper and roadmap in the link below. 📢 RTs not endorsements/DYOR!
ChainSecurity ✈️ ... @chain_security
6K Followers 165 Following ChainSecurity provides security audits and develops tools to protect web3 projects
Dalton Caldwell @daltonc
68K Followers 897 Following Founder and Partner @Standard_Cap, Partner Emeritus @ycombinator
Geoff Ralston @gralston
30K Followers 1K Following Former President at Y Combinator. Founder, Imagine K12. Angel Investor.
Jessica Livingston @jesslivingston
115K Followers 107 Following Cofounder, Y Combinator; Author, Founders at Work; Host, The Social Radars podcast.
Aaron Harris @harris
26K Followers 90 Following Building better fundraises with founders at Magid and Co. Fan of toys and slingshots. Spent a long time at YC. Aaron Harris is a Registered Rep...
Dawn Song @dawnsongtweets
35K Followers 831 Following Professor in Computer Science at UC Berkeley, co-Director of Berkeley RDI Center; Building safe, secure, decentralized AI; Serial entrepreneur
Gaurav agarwal @agarwal_gaurav
2K Followers 615 Following dreamer@1mg - making healthcare affordable and accessible for a billion Indians. ex-FarmVille. Opinions my own and not necessarily of 1mg.
neeraj arora @neerajarora
24K Followers 134 Following MD @generalcatalyst, founder @venturehighway, ex CBO @WhatsApp, co-owner @sfounicorns
Namita Gupta @namitagupta8
703 Followers 171 Following Founder @Airveda. Formerly CPO @Zomato @Facebook, @Microsoft.
Tanmay Saksena @tanmaysaksena
463 Followers 81 Following
Abheek Anand @abheek
8K Followers 395 Following SE Asia and India investing @peakxvpartners. Former entrepreneur and product guy. 🤓🐱🥁🐳. 🇺🇸✈️🇮🇳✈️🇸🇬.
Saurabh Srivastava @_saurabh
956 Followers 849 Following Building the next stage of AI @ Essential AI Previously: 2x YC (W15, S18); PhD + Postdoc in Program Synthesis
OpenZeppelin @OpenZeppelin
58K Followers 127 Following The standard for secure onchain applications at any scale.
Oasis Labs @OasisLabs
54K Followers 103 Following Building cutting-edge technologies in privacy, AI and decentralization
Augur @AugurProject
147K Followers 347 Following Research and development has returned to Ethereum's first ICO. $REP https://t.co/cMcie3J5gb
Bancor @Bancor
150K Followers 44 Following Creators of the Technology that Underpins the Constant Product AMM 💬 https://t.co/XpZ73UshzP • https://t.co/2rJjzM5qRx
Gnosis 🦉 @gnosisdao
117K Followers 341 Following Building an open internet with @gnosischain @gnosispay @gnosishq @aboutcircles @metrixyz @dappconberlin
Golem Network 🛫 Le... @golemproject
167K Followers 438 Following Supporting a decentralised ecosystem from data autonomy to computing power for AI. Powered by $GLM.
Civic @civickey
121K Followers 2K Following The engine for AI-Driven workflows. Instant intelligence. Zero complexity.
Boba Network 🧋 @bobanetwork
345K Followers 3K Following The only Multichain Layer-2 Powered by HybridCompute. Delivering Off-Chain Data and Compute, Enabling Smarter Applications | deployed on ETH & BNB
Status @ethstatus
152K Followers 725 Following Own your identity. Own your network 👁️👁️ Private chat, public communities, and cross-chain swaps Building @StatusL2 looking 4 a new social wizard ↓
Aragon.eth 🦅 @AragonProject
105K Followers 242 Following The home of onchain organizations → https://t.co/0ZJMBGpHKI Aragon gives organizations the tools to build, govern, and accrue value effectively onchain.
Devconnect ARG - the ... @EFDevcon
36K Followers 10 Following We're bringing the first Ethereum World's Fair to Buenos Aires, 17-22 Nov 2025. Join & see how Ethereum can fuel the city of the future. Get your ticket now 🎟️
0x @ TOKEN2049 🇸�... @0xProject
274K Followers 235 Following Embed swaps in your onchain app. Access 10+ million tokens with liquidity from 150+ exchanges with a single API.
Vinny Lingham @VinnyLingham
230K Followers 13K Following Entrepreneur. Armchair Economist. Practical Contrarian. Budding Poker Pro. Co-founder @PraxosCap & @rumidotai. Documentary Filmmaker @animaldocfilm.
Fred Ehrsam @FEhrsam
227K Followers 3K Following Co-founder and CEO @Nudge. Co-founder @Paradigm and @Coinbase.
Brian Armstrong @brian_armstrong
1.6M Followers 783 Following Co-founder & CEO at @Coinbase. Creating more economic freedom in the world. ENS: barmstrong.eth Co-founder @researchhub @newlimit
Mike Hicks @michael_w_hicks
5K Followers 469 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
Matthew Green is on B... @matthew_d_green
150K Followers 1K Following I teach cryptography at Johns Hopkins. Mostly on BlueSky these days at https://t.co/GI4QlxZr2S.
MetaMask.eth 🦊 @MetaMask
1.4M Followers 491 Following 🦊 The world’s leading crypto wallet. Need help? https://t.co/gIVYDT65Ls | @MetaMaskSupport 🧡
Parity Technologies @paritytech
68K Followers 260 Following We're the Web3 innovators, core engineers, and Rust devs powering the decentralized web by developing @Polkadot. Here since 2015. Here to stay.Trends for United States
2.061 posts
1.567 posts
3.914 posts
2.453 posts
3.326 posts
2.360 posts
1.262 posts
3.853 posts
61,7 B posts
19,6 B posts
67,6 B posts
6.544 posts
67,4 B posts
31,5 B posts
113 B posts
5.960 posts
174 B posts
37,2 B posts
You might like
Anders Brownworth
@anders94
7K Followers
Saurabh Srivastava
@_saurabh
956 Followers
Amentum Capital
@Amentum
6K Followers
Fingerprint
@FingerprintJS
600 Followers
PolyCrypt
@PolyCrypt_
1K Followers
Arjun Guha
@ArjunGuha
1K Followers
Anna George
@AnnaMSGeorge
3K Followers
Sumit Gulwani
@SumitGulwani
2K Followers
Clovyr
@GrowClovyr
4K Followers
Liam Zebedee
@liamzebedee
7K Followers
Maria Apostolaki
@maria__apo
2K Followers
Guy Corem
@vcorem
5K Followers
Staking Defense Leagu...
@StakingDefense
1K Followers
DZ | SQD.ai
@dizhel
4K Followers
David Hawig
@davidhawig
959 Followers