Big O Speedrun @bigospeedrun
New records from https://t.co/LlWNOoBKvS · Channeling distributed inference effectively Discord: https://t.co/iQQZzeNrjj bigospeedrun.com Joined October 2026-
Tweets138
-
Followers209
-
Following1
-
Likes13
Record verified! Problem: Fourier Transform Value: O(n log^(1 - 0.0026159999) n) Player: Halit Ziya KARTAL Status: Lean Verified
New claim! Problem: Integer Multiplication New value: O(n log^(1 - 0.00302152) n) Player: 数原律 Status: Claimed (not verified)
Record verified! Problem: Fourier Transform Value: O(n log^(1 - 0.00195954) n) Player: Halit Ziya KARTAL Status: Lean Verified
New claim! Problem: Integer Multiplication New value: O(n log^(1 - 0.00302016597) n) Player: Pierre-Loic Doulcet Status: Claimed (not verified)
New claim! Problem: Fourier Transform New value: O(n log^(1 - 0.00195954) n) Player: Halit Ziya KARTAL Status: Claimed (not verified)
New claim! Problem: Integer Multiplication New value: O(n log^(1 - 0.003020165) n) Player: Pierre-Loic Doulcet Status: Claimed (not verified)
Record verified! Problem: Fourier Transform Value: O(n log^(1 - 0.0017887049) n) Player: Parker L Status: Lean Verified
New claim! Problem: Fourier Transform New value: O(n log^(1 - 0.0017887049) n) Player: Parker L Status: Claimed (not verified)
New claim! Problem: Integer Multiplication New value: O(n log^(1 - 0.00302015) n) Player: Cinna Davis Status: Claimed (not verified)
New claim! Problem: Quasi-Riemann hypothesis New value: θ ≤ 0.8747729897 Player: Hailey Collet Status: Claimed (not verified)
Record verified! Problem: 3SUM Value: O(n^1.9202794287989125324) Player: Hrishik Sai Bojnal Status: Lean Verified
New claim! Problem: Integer Multiplication New value: O(n log^(1 - 0.00300123) n) Player: Cinna Davis Status: Claimed (not verified)
New claim! Problem: Subset Sum New value: O(2^(0.4876723n)) Player: Yanni Bills Status: Claimed (not verified)
New claim! Problem: 3SUM New value: O(n^1.9202794287989125324) Player: Hrishik Sai Bojnal Status: Claimed (not verified)
New claim! Problem: Integer Multiplication New value: O(n log^(1 - 0.00267987) n) Player: Cinna Davis Status: Claimed (not verified)
New claim! Problem: Integer Multiplication New value: O(n log^(1 - 0.0023) n) Player: zxv Status: Claimed (not verified)
Record verified! Problem: Fourier Transform Value: O(n log^(1 - 0.001788) n) Player: jacobalansussman Status: Lean Verified
New record! Problem: Block sensitivity separation New value: bs(f) ≥ s(f)^2.130825 Player: yousofy Status: Lean Verified
Record verified! Problem: APSP Value: O(n^2.9955607647814) Player: Hrishik Sai Bojnal Status: Lean Verified
Record verified! Problem: 3SUM Value: O(n^1.92027945701) Player: Hrishik Sai Bojnal Status: Lean Verified
Keith Russell @placeholder_id
31 Followers 183 Following
Deus @0xDeusx0
0 Followers 23 Following
neptune @neptune_27
84 Followers 506 Following average tech and ai enjoyer - agnostic - pro UBI and human improvement
Mark @mark729737
60 Followers 551 Following
Jesse McPrescott @JesseMcPrescott
12 Followers 152 Following
Dmitry S @SDmitry98993
0 Followers 31 Following
Alexander Svozil @AlexanderSvozil
24 Followers 152 Following PhD in computer science. Applied scientist in big tech corp.
木无知 @wang_xuan22623
0 Followers 25 Following
Clary Coin @clarycoin
10 Followers 51 Following Clary Coin: building rewards for verifiable research. AI math & web3 charts, sources, questionable jokes. Testnet preview; participation not open.
Parker Loflin @ParkerLoflin
0 Followers 6 Following public account for ... whatever I need a public account for.
thefool @thefool19862483
0 Followers 6 Following I compress my intent. I acknowledge my grid. I welcome the chaos. I project at zero speed. I observe without grasping. I play the pattern forward.
leon siboldi @leonsibold9yzf
2 Followers 5 Following
Sirawit @plumsirawit
809 Followers 230 Following Stupid algebraic geometer. Mediocre competitive programmer. Quasimathematician. AI bro. Anti-AHM. Happy to learn and to teach. 🇹🇭🇫🇷🇨🇭
Antoine Olivier @_antoineolivier
12 Followers 105 Following AI-assisted research on open problems: error-correcting codes, sphere packings, exoplanets. Building @AZERTY_Global, an improved French keyboard layout.
hypeibole @hypeibole
73 Followers 6K Following
Utkarsh Mishra @UtkarshM1shra
46 Followers 297 Following AI Algorithms Intern @ Applied Materials | MS ECE @ Texas A&M | Vision Models & MLLM Research
Artis @artisavontis
5 Followers 230 Following React to Rust, pro-AI, tinkerer, hacker, dad and husband, 🇱🇻 Ownership means the freedom to repair, modify, and tinker. I'm new here, follow me maybe?
Hasan Saygınel @hsayginel
206 Followers 448 Following PhD Student at UCL CDT in Delivering Quantum Technologies | Cypriot 🇨🇾| He/Him
wahaj khan @wahajkhanapm9
2 Followers 66 Following
mighty-fungi @mighty_fungi
1 Followers 146 Following
louiskwan @ajowjdwiiebdjix
0 Followers 23 Following
Jackson Sipple @fakeJacksonSipp
12 Followers 274 Following
01109967 @01109967k
8 Followers 183 Following
Volkan D. @pCwOrM
192 Followers 2K Following Physicist (METU) & MSc IT • Decoding mathematical truth at the nexus of fundamental symmetries, discrete structures & computation • Family Lab
Jack Alvarez @bytecrusher128
0 Followers 15 Following
Pitch @pitchtheswitch
71 Followers 145 Following psychedelic trance, dj, physics, uk, football, rpg, dungeon and dragons, internet, freak
Kamil Noster @KamilNoster
2 Followers 207 Following
Lasse Nisted @LasseNisted
43 Followers 542 Following
Tetra 💎⏹️ (in ... @TetraspaceWest
10K Followers 2K Following 💎 here to believe true things and do good actions ⏹️ let's solve AI alignment! 💎 enjoying things rules! 🏳️⚧️ pfp by @RemHydragrove
Rohan K George @rkg963
21 Followers 2K Following
Italo Lima Lopes @ItaloLimaL89771
1 Followers 47 Following
Pedro Matias @pedro_embedded
16 Followers 378 Following
Newisnooby @newisnooby
1 Followers 3K Following
MaximusIdeal @maximusideal
75 Followers 260 Following we'll see how things go; not necessarily a math account (I am not a math object for you to use)
yc l @ycl63705579
1 Followers 70 Following
Zhongpai Gao @ZhongpaiGao
121 Followers 406 Following Research Scientist at UII America; 3D computer vision and AR/VR
Elichai Turkel @Elichai2
2K Followers 2K Following Co-Founder and Head of Engineering @sodot_hq Cryptography Research, Mathematics, Bitcoin, Rust, Open Source, PGP: 5607C93B5F86650C @[email protected]
Alireza Kaviani @akaviani05
77 Followers 336 Following Intersted in theoretical computer science | IOI 2022 Gold | Codeforces: alireza_kaviani
Nil @Nil053
312 Followers 2K Following · https://t.co/GKmAmVJF0S: agents as coworkers · https://t.co/Xei7J4KSLP: hosted product · https://t.co/7qOYLXqywH: book · https://t.co/xqdmx03KGV: track big O races · https://t.co/HjLlSKEG9r: fun · https://t.co/Zv8BSH3CGFTrends for United States
You might like
