maxgp @maxfromgp

Joined August 2026

Tweets

0
Followers

2
Following

13
Likes

1

No recent Tweets. New Tweets will appear here.

Mike Murunov @mike_genproof

6 Followers 24 Following Staff Dilutionist at ∠( ᐛ 」∠)_ https://t.co/dk9Em0lcZ8 | https://t.co/N0hWCl2TfD | 25 y.o 生き甲斐

Yifan Xu @yifanxu_ephai

3K Followers 2K Following https://t.co/hwcUUBzPO4 🇨🇦 CS @UofT · 🇸🇬 MSAI dropout @NTUsg Living in 🇨🇳 📦 Author, LayerFS and Ephemeral Sandbox

Software Engineer | Independent Security Researcher | Move/Rust/ZK/FV/AI | Discord: _theblackpanther | DM for security reviews.

Black Panther → TOK... @thepantherplus

4K Followers 6K Following Software Engineer | Independent Security Researcher | Move/Rust/ZK/FV/AI | Discord: _theblackpanther | DM for security reviews.

We apply formal methods to improve the safety, reliability, and correctness of computing systems for auto, space, and blockchain.

Runtime Vеrification @rv_inc

9K Followers 324 Following We apply formal methods to improve the safety, reliability, and correctness of computing systems for auto, space, and blockchain.

Professor UIUC @siebelschool @UofIllinois | Creator K Framework | Founder @fastxyz @rv_inc | Formerly @NASA. Logic, semantics, verification.

Grigore Rosu @RosuGrigore

15K Followers 461 Following Professor UIUC @siebelschool @UofIllinois | Creator K Framework | Founder @fastxyz @rv_inc | Formerly @NASA. Logic, semantics, verification.

Mike Murunov @mike_genproof

6 Followers 24 Following Staff Dilutionist at ∠( ᐛ 」∠)_ https://t.co/dk9Em0lcZ8 | https://t.co/N0hWCl2TfD | 25 y.o 生き甲斐

Jeremy Berman @jeremyberman

9K Followers 1K Following long horizons @AnthropicAI, prev RL @humansand, @reflection_ai, @ndea and co-founded https://t.co/aY50hNeJUD. yc w19.

AI Security Institute... @AISecurityInst

22K Followers 33 Following We conduct scientific research to understand AI’s most serious risks and develop and test mitigations.

Alexander Panfilov @kotekjedi_ml

10K Followers 434 Following MATS 9.0 | PhD @ELLISInst_Tue & @MPI_IS doing AI Safety & Adversarial ML

Yifan Xu @yifanxu_ephai

3K Followers 2K Following https://t.co/hwcUUBzPO4 🇨🇦 CS @UofT · 🇸🇬 MSAI dropout @NTUsg Living in 🇨🇳 📦 Author, LayerFS and Ephemeral Sandbox

Thariq @trq212

362K Followers 2K Following Claude Code @anthropicai. prev YC W20, @spc, @medialab

ClaudeDevs @ClaudeDevs

729K Followers 2 Following Official updates for developers building with @ClaudeAI

Sakana AI @SakanaAILabs

141K Followers 0 Following Building Frontier AI in Japan Try Sakana Chat, Translate, Marlin, Namazu, Fugu 🐡 https://t.co/stLdPSz1Y7

doubleAI is building Artificial Expert Intelligence (AEI), AI that goes deep in a single domain and performs at true expert level.

doubleAI @_doubleAI_

369 Followers 3 Following doubleAI is building Artificial Expert Intelligence (AEI), AI that goes deep in a single domain and performs at true expert level.