Mauricio Aguilar Rios (machuran3)

Race #8

View Pit Stop page for race #8 by machuran3Ghost race

View profile for Mauricio Aguilar Rios (machuran3)

Official speed 25.53 wpm (84.14 seconds elapsed during race)
Race Start June 27, 2025 12:42:53am UTC
Race Finish June 27, 2025 12:44:17am UTC
Outcome No win (6 of 12)
Opponents 1. beltran_tarqui (36.80 wpm)
4. tocsky (26.76 wpm)
5. sharick_chungara (26.28 wpm)
7. samiraarancibia123426 (25.02 wpm)
8. jhonny_ct (24.15 wpm)
9. alex_ramos (23.06 wpm)
11. sarai_vega012 (21.29 wpm)
Accuracy 90.0%
Points 12.77
Text #10023 (Length: 179 characters)

auto monad = [](auto v) { return [=] { return v; }; }; auto bind = [](auto m) { return [=](auto fvm) { return fvm(m()); }; }; static_assert(bind(monad(2))(monad)() == monad(2)());