tushar @gpu004
making compilers grin, building distributed systems, previous @ihc__official, research @iiit_hyderabad tushar-6666.vercel.app Brooklyn, NY Joined July 2021-
Tweets9K
-
Followers686
-
Following690
-
Likes120K
We’re organizing Vibecheck, a formal methods hackathon with some of the best folks in the space - @maxvonhippel, @qd_forall, @nolanlwin, @jessemhan, @emiyazono, and @workersio. You’ll get a weekend to build real production software, and formally verify it. We’ll have people who really know their stuff around to help, and you can come with a team, find one there, or just hack on something yourself. We are glad to have a phenomenal group of sponsors, including @harmonicmath, @mathematics_inc, @theoremlabs, @thegp, @omnicom, @primeintellect, @astriolabs, @buildwithparty, @wearerandomlabs, and @lanyon_ai, as well as some more we will announce in the coming days! If you’re a hacker, a formal methods person, or just someone who thinks “how do we know it works?” is an interesting question, we’d love to have you. Signup Now: fmxai.org/vibecheck/
it looks like pi recently added a neat cache-warming trick: if a tool call runs close to cache expiry, it sends a request to keep the cache warm while the agent waits. checked claude code, codex, and a few other harnesses. none do this. i love pi.
Tailscale has to be an NSA psyop right? The UX is flawless and it always just works
Running evals against deleting my entire skills / docs and yoloing with the frontier agents and no skills. Early returns: this is a terrible idea
AHAHAHAHAHAHAHAHAHAHAHA NO WAY. > OpenAI just announced Dots. > SpaceXAI bought Dot.com it redirects straight to the Grok Bot download page. based lmao.
everything is fake - posts on here, ghostwritten - statistics, misleading - benchmarks, bullshit - reviews, paid for nearly every company is doing this. the frenzy over ai is showing me so few founders have any backbone
Wild, even Cursor moved away from server-side RAG index and into Grep-like agent tool calls for code search "we’re no longer computing embeddings of your code or storing them on our servers for search." — Jul 20 huh
it looks like cursor has stopped using vector-based code retrieval and moved away from turbopuffer
100% of people take the first offer they get out of school, defining their future for all of eternity, since 0% of people ever change the direction of their career how can you leave the most important life choice to chance, just to avoid the small discomfort of interviewing more
@mynameisyahia i can only answer after meeting u in person
we got something exciting for you 👀 x.com/i/article/2103…
@cwithyoru U can simply just ask twitter to give your data and then simply run a llm over to get the stats
🚀 Research Opportunities in Multimodal AI for Healthcare, IIITH Our 3-year research project under ANRF MAHA AI for Science is kicking off, and we are building a research team! We have multiple openings for JRFs and Postdoc working at the intersection of AI and healthcare.
Chaitanya @chaaai
14K Followers 1K Following Founder @workersio (YC F26) - All things software reliability
Ashvin @ashverm4
229 Followers 475 Following hardware/software co-design. Currently @ Qualcomm Compiler Labs, previously AMD, Berkeley EECS, Armory. views my own
Sven Myhre @svemyh
4K Followers 9K Following co-founder @ReasonMachines // cloud coding agents // eecs @ucberkeley
Olivia Charlotte @OliviaChar24893
1K Followers 4K Following
Craig Weiss @craigweiss
57K Followers 20K Following founder & ceo at https://t.co/0UQAAqAfoR (yc w22) | @ycombinator | software engineer | early @scale_ai | prev: @google, @meta, @snap, @lyft, @nasa
Adarsh Bhardwaj @adarshdevs
323 Followers 1K Following '19' AI Engineer at https://t.co/oKj8eA2gth GitHub -https://t.co/l2DyZZbvE9
Rina Ralte @rinaralte_
2 Followers 220 Following teaching myself programming because I have time and i find it fun
DD ❤️DOGE /🕊�... @DD____
158K Followers 153K Following https://t.co/2o9NVc8XCd 🤝 WEEX Ambassador🤵🏻♂️| 10+ Yr Investor 🧑🏻💻| Malaysia 🇲🇾 | Dogecoin #1 Fan 🐶| Loves GM/GN 🌞| 蓝鸟会 Subs 1U
Rocket Man🚀🎯 @dogefather00015
85 Followers 4K Following
Ilhan Toygan @mrilhantoygan
7K Followers 2K Following Co-Founder & CEO @HolonomyAI , frontier AI for long-horizon autonomy & self-improvement.
Ayush @TonyStalkerr
708 Followers 844 Following Building autonomous agents · prev - 2x intern @ early-stage startups · 3x hackathon winner. alum @IITBHU_Varanasi. Open to agent + backend work.
sheng @opticgap
5 Followers 303 Following
eylon ☯️🐲 @TheEylon
5K Followers 3K Following 🇮🇱 I work with people who try to bend reality | Partner @ColliderVC. Ideology is the mistaken belief that your beliefs are neither beliefs nor mistaken
Krypto₿at ® @Krypt0Bat
6 Followers 438 Following
Floam (It’s Fun You... @telepathicshart
1 Followers 27 Following
Amar Teragundi @amarteragundi
46 Followers 581 Following
siliconavatar @siliconavatar2
0 Followers 552 Following
Christoffer Hvolby @ChrisH_iwnl
198 Followers 699 Following
John White @thewhitestjohn
72 Followers 539 Following
Alex Bilbie @alexbilbie
4K Followers 805 Following Product-led engineering leader. Founder. Amateur strongman. Liveryman of @WCITLivery.
mikedemarais.eth @mikedemarais
61K Followers 20K Following 🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈 cofounder of @rainbowdotme
Saksham Explores Tech... @0xsaksham
755 Followers 2K Following I don’t follow stacks 📋. I follow my obsession☝️. Posting what I build 🏗️ , break ⛓️💥, and learn.
Zh3l @Zh3l__
5 Followers 920 Following
Farah Nadia Zulkifli @allahsgeometry
753 Followers 1K Following I design structures for a living but Mother Nature is the better architect and in it all, I see the signs of Allah
Yen Wolf @GhostOkamiii
213 Followers 2K Following algorithmic trading, nasdaq futures...bacon 🇩🇴 I delete tweets with #tweetdeleter
Sai Rajaji Ramakrishn... @0550Rajaji
8 Followers 308 Following
Omkar A @cloudy_day___
252 Followers 4K Following Nature Seeker, Amateur photographer. Three lefts doesn't make it right, but the chaos. Speech is silver, silence is golden.
DIVYANSH @DsThakurRawat
999 Followers 3K Following yet another relentless Competative programmer and Open Source Contributor at the level of Equanimity
xFalco @RagerX1976
1K Followers 596 Following Bon Vivant in the city that never sleeps 🍎 | Author & Consultant | Driven by relentless curiosity about the world and how it works.
Muhammad Tayyab @MuhammadTa37918
58 Followers 290 Following Full-Stack Developer • CS Student Building with Python, Django, Shopify & AI Sharing projects, ideas, and what I learn.
Josh Bodnar @JoshBodnar1
5 Followers 618 Following History Fanatic, Tech Enthusiast, Economics & Investing
Max von Hippel @maxvonhippel
1K Followers 4K Following I lead formal methods for @anduriltech; YC S24; CS PhD & GRFP; 10p blue belt; created https://t.co/WhGddB788z in 2020
Workers IO @workersio
441 Followers 0 Following Ship code at agent speed without giving up reliability. Backed by @ycombinator and @solofounders
Filip @Neriousy
797 Followers 221 Following software developer @opencode @anomalyco counster-strike player polski twitter: https://t.co/aHviyEIZsy
Matthew Gunton @matthewjgunton
1K Followers 291 Following inference is cool i guess @luminal_ai (yc s25)
Chaitanya @chaaai
14K Followers 1K Following Founder @workersio (YC F26) - All things software reliability
V @vineetwts
11K Followers 997 Following 22. #2 @interfaze_ai (YC P26) Author: https://t.co/i2wqFfeCLa
Rudy Arora @rudybuild
920 Followers 643 Following Founder of https://t.co/TI78UHdJhK | 12 million users
Ashvin @ashverm4
229 Followers 475 Following hardware/software co-design. Currently @ Qualcomm Compiler Labs, previously AMD, Berkeley EECS, Armory. views my own
The Pragmatic Enginee... @Pragmatic_Eng
51K Followers 4 Following Big Tech and startups, from the inside. The #1 technology newsletter on Substack. Sign up at https://t.co/MPNdQSVnwV. Podcast: https://t.co/nVOulBGYoh
Sven Myhre @svemyh
4K Followers 9K Following co-founder @ReasonMachines // cloud coding agents // eecs @ucberkeley
Noah Shinn @noahrshinn
36K Followers 328 Following
Gautam Kamath @thegautamkamath
68K Followers 633 Following Assistant Prof of CS @NYU_Courant. Co-EiC @TmlrOrg. I lead @TheSalonML.
swyx alt @swyxio
2K Followers 2K Following hey its me @swyx. people praise you in public for the work you do in private. @mochipomsky #1 favorite dog uncle
Edward Z. Yang @ezyang
18K Followers 2K Following I work on PyTorch at Meta. Chatty alt at @difficultyang.
Adarsh Bhardwaj @adarshdevs
323 Followers 1K Following '19' AI Engineer at https://t.co/oKj8eA2gth GitHub -https://t.co/l2DyZZbvE9
Craig Weiss @craigweiss
57K Followers 20K Following founder & ceo at https://t.co/0UQAAqAfoR (yc w22) | @ycombinator | software engineer | early @scale_ai | prev: @google, @meta, @snap, @lyft, @nasa
James Ross @CherryJimbo
3K Followers 3K Following CTO & Founder @nodecraft. Web performance enthusiast. he/him. @Cloudflare MVP & Developer Expert 📧 [email protected]
Mostly Technical @MostlyTechPod
3K Followers 6 Following Hosted by @IanLandsman and @aarondfrancis, Mostly Technical is a lively discussion on Laravel, business, and an eclectic mix of related topics.
amrit @amritwt
47K Followers 647 Following mostly a member of technical staff prev @whop @crackeddevs @orchid_hq @calcom
Brad Barbin @barbinbrad
2K Followers 1K Following Co-founder @carbon_ms, a next-gen manufacturing ERP. Glory to God!
Erik Kaunismäki @ErikKaum
2K Followers 914 Following SWE @turbopuffer | prev @huggingface & @BananaDev_
Ilhan Toygan @mrilhantoygan
7K Followers 2K Following Co-Founder & CEO @HolonomyAI , frontier AI for long-horizon autonomy & self-improvement.
Ian Tracey @ian_dot_so
5K Followers 2K Following Applied AI @tryramp Prev: @Turntable @ycombinator @stripe, @pinterest
Diogo Almeida @CompleteSkeptic
150K Followers 100 Following Sane + 🌶️ takes in an insane AI world... AI capabilities researcher: co-created RLHF/ChatGPT @ @openai now trying to right the wrong 🤭 (ceo @typesafeai)
Vraj Shroff @vrajshroff
73 Followers 497 Following EdTech Founder | Harvard, UPenn | Ex-Google, FB, Vercel, Capital One
Ayush @TonyStalkerr
708 Followers 844 Following Building autonomous agents · prev - 2x intern @ early-stage startups · 3x hackathon winner. alum @IITBHU_Varanasi. Open to agent + backend work.
Jay Meistrich @jmeistrich
7K Followers 481 Following @LegendAppHQ @bravely_io @margelo_com. Been a digital nomad for 15 years. Talk to me about Legend State, Legend List, performance, productivity, and traveling.
Kevin Zhang @notkevinzhang
6K Followers 58 Following Kev, not Jev - building @typesafeai, former Jev waitlist owner
sheng @opticgap
5 Followers 303 Following
mikedemarais.eth @mikedemarais
61K Followers 20K Following 🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈 cofounder of @rainbowdotme
Alex Bilbie @alexbilbie
4K Followers 805 Following Product-led engineering leader. Founder. Amateur strongman. Liveryman of @WCITLivery.
Vatsal @vatsal_manot
4K Followers 1K Following Building @PreternaturalAI (YC W24). Maintainer of @SwiftUIX.
Ahmed Darwich @AhmedDarwich
452 Followers 130 Following five nines of reliability, four plates on the bar developer educator @PlanetScale
Tatsunori Hashimoto @tatsu_hashimoto
12K Followers 199 Following Assistant Prof at Stanford CS, member of @stanfordnlp and statsml groups; Formerly at Microsoft / postdoc at Stanford CS / Stats.You might like
