Skip to content

@bbchallenge The Busy Beaver Challenge

Users following bbchallenge

@dotacow
yousef kitaneh dotacow

Jordan

@iuy1
iuy1
你好

NUIST NanJing, NUIST

@KitsuneUshi
胖狐牛 KitsuneUshi
一隻很胖的狐牛；那狐牛是什麼？一種信仰 /A really fat KitsuneUshi; Then what is a KitsuneUshi? It’s a belief. /とても太った狐牛、狐牛とは何か？それは、信仰である。
@TheNitromeFan
TheNitromeFan
@RobinCodes
RobinCodes RobinCodes
Add a bio
@hannahnowxyz
HannahNow hannahnowxyz
Still smarter than AI in $CURRENT_YEAR ✨

Mesa Verde Bank and Trust 1216 Rosella Dr. Scottsdale, AZ 85262

@upsidedown-cross
upsidedown-cross
ㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤmurdocㅤfictionkinㅤㅤㅤㅤㅤㅤㅤ@chick-habitㅤmainㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤ

ㅤㅤㅤㅤㅤㅤ૮₍ ´• ˕ •` ₎ა

@Jayce-Ping
Jayce Jayce-Ping
A student.

Xi'an, Shaanxi, China

@8harath
Bharath K 8harath

@Testsigmainc Bengaluru, Karnataka

@herokwon
HeroKwon herokwon
@Pbt1966
Pbt1966
@ml-sun
Michael Sun ml-sun
@bikramdev
Bikram Dev bikramdev

Bangladesh

@gameroman
Roman gameroman

@rmandotdev

@FiniteUI
Richard Seddon FiniteUI
Senior Developer on the CI Custom Team at Global Shop Solutions. Bachelor's in Computer Science from SHSU '18.

The Woodlands, TX

@kmlkmlkmlkmlkml
kml kmlkmlkmlkmlkml
@rouvenjahnke
Rouven Jahnke rouvenjahnke
mathstudent and Obsidian enthusiast from Hamburg

University

@ridoy
ridoy majumdar ridoy
@GuillermoAbadLopez
Guillermo Abad López GuillermoAbadLopez
👋🏼 Hello, I'm Guillermo, PhD student on Quantum Simulation and Information in Barcelona, and Qiskit Advocate

GIQ, Universitat Autonoma de Barcelona Barcelona

@stanleychow
Stanley Chow stanleychow

Brooklyn, NY

@Matheussoranco
Matheus Pullig Soranço de Carvalho Matheussoranco

Software & AI Engineering Lab PUC-Rio Rio de Janeiro, Brazil

@kevon217
Kevin Armengol kevon217
interests include: music, neuroscience, data, AI, quantum physics, and animals.

Washington DC

@RubarMo
Rubar RubarMo
IT student
@0cole
0cole

Boston

@cornflexxx
Francesco Carboni cornflexxx
Undergrad student in computer science at Sapienza university of Rome.
@Ran-Mewo
Ran Ran-Mewo
i-i sometimes wike to code >~<

Earth

@void4
void4
@ingehap
Inge H. A. Pettersen ingehap
Born in the previous century
@pyrsuit
pyrsuit
@lengyijun
lyj lengyijun

SJTU China Shanghai

@SuperSonicHub1
Kyle Anthony Williams SuperSonicHub1
Just a guy manipulating streams of binary into something neato. MIT '27

@mit New York

@Nyxerproject
Nyxerproject
@zzz6519003
Sam Snowman(赵正中) zzz6519003
treasure hunter, alldo developer, love maker, team player, Pokémon master

Unemployed, Pre SAP Labs, Microsoft, Alibaba Unmarried, Maanshan, Anhui & Internet

@SargisArzumanyan
Sargis Arzumanyan SargisArzumanyan

Hrazdan, Armenia

@aducharme
Andrew Ducharme aducharme
@hdeping
Deping Huang hdeping

USTC Hefei China

@mstepien
Marcin Stepien mstepien
Software Engineer

Remote

@thies24n
Nick Thies thies24n
UNC Chapel Hill '24 Math / CS
@shpark
shpark

Seoul

@lucianchauvin
Lucian lucianchauvin
Undergraduate in pure mathematics and computer science. Meow :3

Texas A&M University Austin/College Station

@JohnDiebold
John Diebold JohnDiebold
@sbmsr
seb sbmsr
I build things in public, teach everything I know, and create stuff every single day.

127.0.0.1

@nablabits
David Reguera nablabits

ZeroDeposit

@tofu-buffet
tofu-buffet
@hyeoniuwu
hy hyeoniuwu
@EdwardWongHauPepeluTivruskiIV
Victor Allard EdwardWongHauPepeluTivruskiIV
@VladWero08
VladWero08
🏫 MSc Artificial Intelligence - University of Bucharest

Bacău / Bucharest

@RazHoshia
Raz Hoshia RazHoshia
@hmonroe
Hunter Monroe hmonroe
@alreadydone
Junyan Xu alreadydone
Postdoc in math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.

Universität Heidelberg Heidelberg / Shenzhen