fornever @_for_never
Joined December 2020-
Tweets141
-
Followers26
-
Following335
-
Likes305
Kabalw @Kabalw2774
45 Followers 945 Following
CatherineWallis @3388p8Z53q7jl
0 Followers 113 Following
VWAP_Strategy🇺🇸 @Jaulee426
60 Followers 2K Following 15-30% Monthly | 2 High-Conviction Stocks.Short-Term Gains: 15-20% in Days/Weeks.DM "JOIN" for WhatsApp Alerts. Live Trade Signals • Market Analysis
GloriaCopperfield @5s8E9BS9CQJ587e
33 Followers 1K Following
Zufrieden @e8QHv8499wGK2a
4 Followers 334 Following
Evelyn @Zy6Y7tlTKaaYWy
14 Followers 883 Following
Ifrooeemaw @Ifrooeemaw7253
36 Followers 1K Following Like to talk Do not hold any investment products
formalica @formalica
1 Followers 1 Following
Linnea @7w90mf5VWe3d85
30 Followers 897 Following
Yjeedauc @Yjeedauc00074
102 Followers 3K Following
Natalia @60gKqQ1Yv5D56s6
19 Followers 0 Following
RetailFlowPro🇺🇸 @Awvodui5930
38 Followers 2K Following 15-30% Monthly | 2 High-Conviction Stocks.Short-Term Gains: 15-20% in Days/Weeks.DM "JOIN" for WhatsApp Alerts. Live Trade Signals • Market Analysis
Alexandra @Wierork7842
26 Followers 2K Following
Bevap @Bevap291
11 Followers 582 Following
Mina Cristian @cristian_m32713
246 Followers 4K Following
Acorn @acornprover
78 Followers 81 Following The world's greatest theorem prover, with integrated AI, to do the boring parts for you.
OlliCarolli @OlliCarolli
197 Followers 3K Following Creator of ShaderBoi: https://t.co/OH9dbBAslz https://t.co/PkWNMfZUZS
Joseph Garvin @joseph_h_garvin
1K Followers 3K Following voicecoding latency and throughput hacker. How did I get here and what am I doing in this hand basket? @[email protected] @josephhgarvin.bsky.social
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.
Bute AI Cryptocurrenc... @qP232kRW8TrJRds
8 Followers 278 Following No need to stay up late to watch the market; Experience 24 hours to earn 1k-10k profit! https://t.co/g4DkLmePiT
SnakeEyes"🛸""(💙... @SnakeEy1693535
93 Followers 294 Following
Lip-Bu Tan @LipBuTan1
5K Followers 34 Following CEO of Intel Corporation, Chairman of Walden International, Founding Managing Partner of Walden Catalyst Ventures
formalica @formalica
1 Followers 1 Following
Firebird AI @FirebirdCloudAI
141 Followers 9 Following
Sanjeev Arora @prfsanjeevarora
25K Followers 101 Following Director, @PrincetonPLI and Professor @PrincetonCS. Seeks math/conceptual understanding of deep learning and large AI models. Also on the "other" social network
Guan Wang @makingAGI
5K Followers 36 Following CEO of Sapient Intelligence. Exploring the path to AGI through brain-inspired AI. 🧠🤖 #AGI #NeuroAI
Claude @claudeai
108K Followers 1 Following Claude is an AI assistant built by @anthropicai to be safe, accurate, and secure. Talk to Claude on https://t.co/ZhTwG8dz3D or download the app.
Shengjia Zhao @shengjia_zhao
52K Followers 231 Following Chief Scientist @ Meta MSL. Formerly MTS @ OpenAI, PhD @ Stanford. I train models. All opinions my own.
Dawsen Hwang @DawsenHwang
248 Followers 70 Following Key leader on Gemini DeepThink's IMO gold medal performance 🥇@GoogleDeepMind
Theo Weber @theophaneweber
15K Followers 1K Following Research scientist @ DeepMind; currently working on thinking/reasoning in Gemini.
Yi Tay @YiTayML
46K Followers 81 Following research scientist @googledeepmind ✨♊, model co-lead/captain of gemini deepthink imo gold medal 🥇, opinions are my own.
Wenda Li @WendaLi8
1K Followers 509 Following Lecturer in hybrid AI at the University of Edinburgh. Interested in machine learning for (interactive) theorem proving, formalised mathematics, and AI for Math.
Yong Lin @Yong18850571
742 Followers 217 Following Postdoc Fellow @PrincetonPLI @Princeton. Co-leading the Goedel-Prover project. Apple AI/ML PhD Fellow 2023.
AI for Math Workshop ... @ai4mathworkshop
110 Followers 21 Following 2nd AI for Math Workshop @ ICML 2025 West Ballroom C, Vancouver Convention Center July 18th, 2025 @ Vancouver, Canada (Hybrid)
Chi Jin @chijinML
5K Followers 456 Following Assistant Prof @Princeton. Previously: ML theory, RL & optimization. Now: AI for math, games & decision making.
Huajian Xin @huajian_xin
3K Followers 339 Following Ph.D. Student @InfAtEd on LLMs for theorem proving | Student Researcher @BytedanceTalk Doubao/Seed | Ex. @deepseek_ai | Recent: DeepSeek-Prover, Seed-Prover
Veridise @VeridiseInc
5K Followers 473 Following Hardening blockchain security with Formal Methods — Industry-leading security audits and tools for smart contracts, blockchain, and zero-knowledge.
Matteo Caorsi @MatteoCaorsi
28 Followers 7 Following I like discovering new cultures, languages and places. I love math and physic: the more I dive into them, the more I am bewitched by their beauty and mystery.
Alexander Wei @alexwei_
24K Followers 193 Following Reasoning @OpenAI. Co-built CICERO @MetaAI | @Berkeley_AI PhD '23 | @Harvard '20
SingularityNET @SingularityNET
155K Followers 83 Following Our mission is to create decentralized beneficial AGI for humanity and other sentient beings. We are a Founding Member of the @ASI_Alliance, powered by $FET.
Michelle Johnston Hol... @MJHolthaus
8K Followers 858 Following CEO of @Intel Products. Wife. Mom. Tech Leader. #inclusion advocate. World traveler. #Peloton obsessed. All views expressed are my own.
Mark Chen @markchen90
64K Followers 333 Following Chief Research Officer at @OpenAI. Coach for the USA IOI Team.
Matt Parker @standupmaths
132K Followers 557 Following #1 best-selling author, also maths clown. Videos: https://t.co/sCfGSvTU9u Also over here: https://t.co/3kB1s6vWs5
CryptoHack @CryptoHack__
6K Followers 742 Following CryptoHack is a fun platform for learning modern cryptography through a series of puzzles and challenges. Free to play for all
Jesse Michael Han @jessemhan
3K Followers 583 Following @morph_labs // prev. research @OpenAI / PhD in math and neural theorem proving
Lawrence Paulson @LawrPaulson
2K Followers 435 Following Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications. Also in the other place.
Dries Smit @DriesSmit1
201 Followers 176 Following Researcher at Tufa Labs, working on fundamental AI research. https://t.co/2HNB9DxLWj
Andy Stott @andystottmlove
10K Followers 315 Following
Z-Library Official @Z_Lib_official
172K Followers 5 Following We're one of the largest e-libraries in the world. We aim to make knowledge accessible to everyone🕊📚 📧 [email protected]
Navitas Semiconductor @NavitasSemi
3K Followers 104 Following Nasdaq listed: $NVTS Let's 'Electrify Our World™' with green, clean energy! #GaNFast #GeneSiC
hirrolot @hirrolot
405 Followers 48 Following A software engineer and computer science enthusiast. I mostly use C, OCaml, Rust, and Golang. [email protected]
Ryan Shrout @ryanshrout
19K Followers 2K Following Ramblings of a technology guy. President and GM at Signal65. Formerly Graphics and AI product at Intel, former owner at PC Perspective.
Mojo @Mojo_flyin
3K Followers 684 Following Innovation & Disruption. Contrarian. Unboxed | EVs | Tech | Autonomous | Macro-economics | Not 💰 advice | I'M TARIFFED OUT
Sébastien Bardin @Seb_Bardin
183 Followers 334 Following Researcher in Computer Science, formal methods / program analysis / cybersecurity / software engineering, a bit of quantum programming too
BedRock Systems @bedrocksystems
599 Followers 2K Following Businesses should be built on a rock-solid foundation. Unbreakable foundation for formally secured computing.
Learn Prolog Now! @learnprolognow
335 Followers 9 Following Learn Prolog Now! is an introductory course to programming in Prolog.
Zhihong Shao @zhs05232838
9K Followers 768 Following Researcher @deepseek_ai | Ph.D. @TsinghuaCoAI | Ex. @MSFTResearch | Recent: DeepSeek-R1, DeepSeek-Coder-v2, DeepSeekMath, DeepSeek-Prover, Math-Shepherd, ToRA.
Neuralink @neuralink
1.7M Followers 1 Following Creating a general-purpose, high-bandwidth interface to the brain
AI at AMD @AIatAMD
47K Followers 106 Following Advancing AI innovation together. Built with devs, for devs. Supported through an open ecosystem. Powered by AMD. #TogetherWeAdvanceTrends for United States
164 B posts
4.208 posts
48,8 B posts
22,2 B posts
4.074 posts
5.209 posts
8.864 posts
19,6 B posts
127 B posts
34 B posts
17,3 B posts
15,9 B posts
33,9 B posts
12,4 B posts
13 B posts
29,4 B posts
28,3 B posts
You might like
Niraj Sheladiya 🦁
@nirajsheladiya
434 Followers