Maxhaη @maxhanFR
AI/ML, Double major in computer science and electrical engineering @ Sharif. MBA @ AUT maxhanfr.github.io 🪐 Joined December 2017-
Tweets5K
-
Followers369
-
Following375
-
Likes19K
Making sure I state it clearly: We can literally patch and prove bug-freeness of the entire software stack running in production. With AI that exists right now for ~$100m. This means no more software-level hacks. I know it sounds too good to be true, but it isn't. AMA.
We formally verified 123 open-source projects in a partnership with Anthropic. Formal verification at scale is here! Now we’re launching OSS Verify to scale it to the software we all depend on. We prove it’s crash-free or send you the patches it needs. Free for open-source.
i don't have a process for making decisions. i have a gut feeling. if i try to explain it, i'm just making up a reason to make you feel better. instinct is right 80% of the time, and the rest is just a learning experience. n years of evolution won't lead you wrong. just finish
my conscious mind is just a channel for my gut. every time i ignore a bad instinct and try to over-analyze, i regret it. now i just take decisions based on pure feeling. if you ask me why i made a choice, the honest answer is there is no reason, it just felt right
my conscious mind is just a channel for my gut. every time i ignore a bad instinct and try to over-analyze, i regret it. now i just take decisions based on pure feeling. if you ask me why i made a choice, the honest answer is there is no reason, it just felt right
@sspringrainyday @nikitabier وقتی تو ایکس هم بود پرسیده شد جواب نداد
@Sepehriot استادتم میتونست همون گیرای کلاد یا gpt رو بده
DeepSeek V4.1 at 1,017 TPS is insanely fast, well done team deepseek
wikipedia has genuinely been one of my greatest pleasures in life. science, history, physics, anything you can get your hands on, just behind a screen. i can disappear for 3 hours and come back with a concerning amount of knowledge about birds
i want an anime pfp so bad but i'm a real life anime character myself, real dilemma
engineers used to hate context switching and now that's all engineering is
@moj_baba از روی ریفلکشنت تو مانیتور میشه لوکیشنت رو فهمید
good morning remember brothers take a second appreciate what you have we are truly blessed
@Haleeeemahh same way american models got away with their pretraining data
don't care honestly. at that price, it could identify itself as Osama bin Laden
Out of 30 attempts, DeepSeek identified itself as "ChatGPT" 26 times.
صد و هفتاد بوکمارک! مجموعا با کوت توییتی که روش داشتم امیدوارم به گورستان بوکمارک‌هایی که هیچوقت نمی‌خونیدشون نفرستاده باشینش :>
FAEZE @Faeze_aa
17 Followers 130 Following
Veltrona @Veltrona2
0 Followers 32 Following
阿傑 @DizaoJw
2 Followers 126 Following
Ghazal @Ghazalebr
12 Followers 75 Following
nimaz @norwaydrea
37 Followers 622 Following
Ibragim @ibragim_bad
2K Followers 525 Following SWE-rebench: dynamic evals for coding agents SWE-rebench-V2: 150K open SWE RL environments dentistry → ml → research @nebiusai
sailormoon @sailormoonella
7 Followers 1K Following
فلورا | کاره... @FlowraDevFa
7 Followers 32 Following هرچی کار تکراری داری با یه جمله بگو، فلورا انجامش میده؛ فقط قبل کارای حساس ازت میپرسه 😄 اینجا هم خبر و ترفند AI، خودمونی
MrMd @Young_Geek_4E
218 Followers 4K Following
prof. Iowa @hajmir
275 Followers 6K Following
خشمک @GonzoOpera21
39 Followers 913 Following
M.Sabzevari @SabzevariM
1K Followers 5K Following I enjoy learning . I respect to nature . Software Engineer . My intetest is machine learning & Python & SQL Server DBA .
Amir @StructEngGA
177 Followers 2K Following
Kasra @ItsCalledKasra
5 Followers 149 Following
ranni @moonsorceryy
156 Followers 1K Following
Borna @Borna_am
268 Followers 6K Following من از هیچچیز نترسیدم جز اتفاق های نیافتاده و از هیچکس نترسیدم جز روی دیگر آدمها
Navid Falah @navidfalah_
81 Followers 815 Following try to understand whats going on hci at @unisiegen interested in: tech . product . business . politic
Mohammad Sadeghian @msc72m
2K Followers 700 Following Software Engineer | Gen AI & RAG Systems | 20 y.o | Bogo sort fan
Hani @_01hani
65 Followers 115 Following
Mariachi @Mariachi3
27 Followers 880 Following
انگلیش مافی... @SharabKhanum
6K Followers 6K Following
Mostafa Rahmati @MR_Mostafa70
122 Followers 1K Following Senior Frontend Developer | Javascript, ReactJS
Hanie @Hanieaximo
1 Followers 23 Following
زمینی @Zaamiinii
1K Followers 1K Following افتخارا بلاک شده توسطشاهدعلوی، حسین دهباشی، نگار مرتضوی، حسین درخشان، یامین پور، عبدالله گنجی، بعیدی نژاد، اژدری، آسترکی، قالیباف و مابقی جایزه بگیرای چپ و راست
D. @userdehghani
1 Followers 862 Following
MR Fort @ovvioandmamadi
8 Followers 60 Following میوه دوست دارم پاینده باد ایران احساس تنهایی میکنم گاهی
Hey There @hey_there96038
3 Followers 12 Following
SHA256 @sha256_ehsan
697 Followers 1K Following a boring cs student living for little moments of aesthetic joy مبتلا به سندرم خستگی مزمن
mohammad @agha30
539 Followers 6K Following
Yazdan @yazdan_1992
109 Followers 1K Following
Kimi.ai @Kimi_Moonshot
379K Followers 138 Following Built by Moonshot AI to empower everyone to be superhuman. PR: [email protected] DC: https://t.co/wBsBTn6fmE
Truthful🛰️ @Truthful_ast
28K Followers 984 Following Sharing the historical past and optimistic future of spaceflight!🧲 Kerbal Space Program content creator with 12k+ on YouTube Links and modlist below
Rajashree Agrawal @rajashree
1K Followers 367 Following Verification is the 80/20 of making the software singularity go well. Come, join us on the mission @theoremlabs
Ant Ling @AntLingAGI
16K Followers 5 Following MoE model series with foundation (Ling), reasoning (Ring) and any-to-any (Ming) from Ant Group’s AGI initiative, @TheInclusionAI. https://t.co/6LEkFlo2cq
Yamate @ymtehstm
855 Followers 132 Following
Cody Blakeney @code_star
8K Followers 2K Following Leading research at @arcee_ai | Formerly Data Research Lead @DbrxMosaicAI | Visiting Researcher @meta | Ph.D | #TXSTFOOTBALL fan | https://t.co/4G6Jf3b0V4
Ray @raysan5
22K Followers 3K Following Passionate about gamedev technologies. I create things. Created #raylib, #raygui, #rres and many other tools as @raylibtech. FOSS at: https://t.co/sIUDDNc2tV
Arman One Rib @RManIrani
609 Followers 217 Following یکدنده هستم. وجترین نیستم ولی وجترینها رو دوست دارم.
Andrew Curran @AndrewCurran_
111K Followers 21K Following 🏰 - I write about AI, mostly. Expect some strange sights.
DeepSeek @deepseek_ai
1.2M Followers 1 Following Unravel the mystery of AGI with curiosity. Answer the essential question with long-termism.
Ghazal @Ghazalebr
12 Followers 75 Following
پوکرفیسِ مه... @lookoutthewindw
235 Followers 274 Following https://t.co/2Uqo6Ts19N در حال سر و کله زدن با AI، دانشجو، کمی مهندس، یکمی هم ریسرچ کننده
Roy Carrilho @RuiCarrilho5
10K Followers 4K Following of course I muse. why wouldn't I? https://t.co/oBfOt7mT2L
zx @zx_loro
2K Followers 1K Following Founder of @loro_dev | High-perf CRDTs for local-first & collaborative apps Building @lody_ai
Nicolas Krassas @Dinosn
165K Followers 795 Following Head of Threat & Vulnerability Mgmt @ Henkel AG & Co. KGaA https://t.co/NC1orlKZLB Posting content that I find interesting.
Chetaslua @chetaslua
41K Followers 209 Following AI researcher & reporter | I test new models on launch day, build working demos, and post prompts + results | Code: https://t.co/y96A3VQTWC
Yu Zhang 🐙🌘 @yzhang_cs
8K Followers 949 Following @Kimi_Moonshot; working on efficient methods for LLMs; disciple of parallel programming; INTP; 🐈
jianlin.su @Jianlin_S
13K Followers 22 Following Grad&Clip&EM is all you need @Kimi_Moonshot Blog: https://t.co/YVxsWylklA , Cool Papers: https://t.co/scS1n1oyaO Interesting link: https://t.co/7Tl4HaVajh, https://t.co/Y5qaxAA9Iy
clem 🤗 @ClementDelangue
730K Followers 5K Following Co-founder & CEO @HuggingFace 🤗, the open and collaborative platform for AI builders
Guillaume Lample @ Ne... @GuillaumeLample
51K Followers 649 Following Cofounder & Chief Scientist https://t.co/hLfvKLldwL (@MistralAI). Working on LLMs. Ex @MetaAI | PhD @Sorbonne_Univ_ | MSc @CarnegieMellon | X11 @Polytechnique
Maxime Rivest 🧙... @MaximeRivest
11K Followers 1K Following Looking for the wise way to interact with AI. Currently: specialized models and finetuning. My experiments are all on github. also: https://t.co/aqAIPcUAmk
Neel Nanda @NeelNanda5
50K Followers 126 Following Mechanistic Interpretability lead DeepMind. Formerly @AnthropicAI, independent. In this to reduce AI X-risk. Neural networks can be understood, let's go do it!
Marius Hobbhahn @MariusHobbhahn
8K Followers 1K Following CEO at Apollo Research @ApolloResearch prev. ML PhD with Philipp Hennig & AI forecasting @EpochAIResearch
Armin Ronacher ⇌ @mitsuhiko
98K Followers 913 Following Creator of Flask. Building at https://t.co/uGuzfu0LKT. Bypassing Permissions. Can hand crank. Husband and father of 3 — “more nuanced in person”
Mario Zechner @badlogicgames
78K Followers 2K Following Armin's handler at https://t.co/B05ybKGkzx. Old man yelling at Claudes. https://t.co/Q1wG57v1yc https://t.co/mnOoWUr0TO https://t.co/8i5vIRE0Wn
Ibragim @ibragim_bad
2K Followers 525 Following SWE-rebench: dynamic evals for coding agents SWE-rebench-V2: 150K open SWE RL environments dentistry → ml → research @nebiusai
Xander Davies @alxndrdavies
4K Followers 921 Following red team lead @AISecurityInst PhD student @OATML_Oxford, prev @Harvard (https://t.co/695XYMJSua)
Luke Farritor @LukeFarritor
22K Followers 5K Following
Tanishq Mathew Abraha... @iScienceLuvr
93K Followers 2K Following CEO @SophontAI | Founder @MedARC_AI | PhD at 19 (2023) | ex Research Director Stability AI | Biomed. engineer @ 14 | TEDx talk➡https://t.co/xPxwKTq6Qb
FFmpeg @FFmpeg
119K Followers 186 Following The universal multimedia toolkit. A diverse, community-driven project; posts are by individuals.
C ツ @C_081555
92 Followers 443 Following in the quiet ot the night , we build what others can't see.
Claude @claudeai
1.9M Followers 2 Following Claude is an AI assistant built by @anthropicai to be safe, accurate, and secure. Talk to Claude on https://t.co/ZhTwG8d1e5 or download the app.
F @ihatemylifeq
10 Followers 72 Following Why does it have to be so sad? I don't know where i will be in a few years. It scares the shit out of me.
Jeremy Fielding @jeremy_fielding
9K Followers 54 Following Husband, Father, Lover of all things mechanical. I also make videos about the stuff I love. YouTube is where the videos live.
Yash @YashBis97425409
54 Followers 271 Following Applied topology & scientific ML — extracting structure from messy experimental data. Atomization • SciML • TDA. IIT Roorkee
Trends for United States
You might like
