User Profile

agda, books, c#, coq, erlang, fantasy, haskell, logic, math, mathematical logic, programming, ruby, scala, sf, Булгаков, Гоголь, Салтыков-Щедрин, логика, математика, математическая логика, программирование, фантастика, фэнтези

109, 11011110, 13_49, 314159265, 4u6, 57ded, __ronin__, _adept_, _foreseer, _moss, _navi_, _niece, _trick_ster, _wep_, _winnie, a_grabenich, a_shen, absentis, accidentia, aceler, aevlod, afa_at_work, afranius, akham, akula_dolly, al_zatv, alex14san, alexey_rom, alexott, alexy7742, algebraic_brain, alisa_lebovski, alkor_, alll, amarantina, andirect, andrey_bovykin, andrey_grafov, andrey_lensky, andrey_perla, andronic, andrzejn, andy1618, angels_chinese, anna_frid, antilamer, antoin, anton_arhipov, aono, archernikov, arno1251, aruslan, asena, asherin, askhome, avmalgin, avva, az_im, azangru, azmiol, b_al_u, b_alla_st, bacchusv, bachilo, bakluzhino, bars_of_cage, basp, batiaev, bazar_wokzal, bbb, bbzhukov, beldmit, benburgis, berezin, beroal, beshenov, biespartyjny, bik_top, bng1955, bormor, botalex, bravchick, bravit, buchwurm, buddha239, bukin, burrarum, burrru, cd_riper, cema, che_telcontar, chinese_angels, chmyrnovich, chrobin, chumpa, classx, clear_text, codedot, crusoe, cxielamiko, d11he11, darkmeister, davidsarah, deadche, deni_ok, dgri, diewolpertinger, dimochkin, dimrub, dmitrits, dmitry_vk, dmzlj, don_ald, dr_valeriyshilo, dragon_naga, dreiviertel, dtim, du_jingli, dvornyagka, dying_sphynx, e_rubik, edelberte, edictum, edwardahirsch, eiri, eleyvie, elfiyahu, elkonost, ella_p, ellustrator, enisea, enternet, ermite_17, esil0x, etoile_verte, etre_moral, evanti, evilbloodydemon, falcao, fat_heldge, fat_yankey, fdo_eq, fitzgerald, flaass, flying_bear, freader_at_lj, freeresearcher, fregimus, friend_horatio, frumich, g_golosov, galfimov, gaperton, gaz_v_pol, gds, geniepro, germanych, gevella, ghbdtn, grdash, griffon, grundik, gutta_honey, hanuman_li_tosh, haritonov, henu3detb, history_spork, hitfounder, hwswdev, i_eron, i_limon, idelsong, igrok2, igrok_213, ikadell, ilya_ponomarev, ilyaraz, ingwall, insooo, irishatikhonova, iv6, ivan_ghandhi, ivand, ivanov_petrov, ivansorokin, jaerraeth, jakobz, james_nicoll, jamhed, jputnam, jtootf, k_frumkin, k_p, ka_o, kachur_donald, kaktus77, kapahel, karaulov, karl_novotny, kashnikov, kasperdp, katyakate, kireev, kirpich_spb, kmmbvnr, kouzdra, kslutsky, kucheryavenko, kurilka, kwirra, labas, langri_ksk, lapis_exillis, lastdrv, lazareva_tatka, lazybear, leonwolf, lev_lamberov, levgem, lightunit, likelilu, lionet, lispnik, little_arhat, lm_alexeeva, loafer, lomeo, los_t, lucas_v_leyden, lugovskaya, m2b, m_aksenova, m_korchemkin, macos, macroevolution, makkawity, maoist, maradydd, marco____polo, marina_p, mathreader, max_b, meshulash, metaclass, mfrid, mibori, mic29, michiexile, mike67, mikelevins, mincao, mindshock, mitrius, mmazin, monstro_draw, mr_aleph, mrgd, musatych, mutoids, nalymov, nature_wonder, navalny, nealar, nevitskaya, ng_photo, nil_0, ninazino, nivanych, nponeccop, o_proskurin, object, obormotkina, observarius, olegstepanov, oleyka, olpa, omnifarious' OpenID account [omnifarious.org], oryx_and_crake, os80, oude_rus, ozten, palm_mute, papamishka, papersky, pelipejchenko, petro_gulak, plakhov, plutin, pod_baobabom, podmoskovnik, poleteli_nozhi, posic, posidelkin, potan, pozorvlak, pphantom, pro100_petrov, prof_yura, progenes, pshan, pshenichny, psilogic, putnik1, q_spoiler, quod_sciam, razinkin, redaktorscha, rhyme_addict, roma, roman_shmarakov, rssh, ru_rational, ruffe, rus4, rysmiel, sadsaid, saglaten, sanitareugen, scholar_vit, schwalbeman, scifantasy, scinquisitor, sciuro, sdfgh153, sea_mammal, seawasp, seminarist, sha_julin, sharpc, shatsky, sheer_ignorance, shenderovich, shep256, shilovpope, shuffle_c, silver_mew, sim0nsays, siyuv, skeptiq, sleepy_drago, slobin, smartnik, snorapp, solomon2, sorhed, squadette, supehero, sweeeet_dream, swizard, tacente, tal_gilas, tanchik, tebedam, the_mockturtle, thedeemon, therese_phil, thesz, thornik, timur0, tiny_haskeller, tisha123, tomotom, topright, torpusman, toshick, tr0yka, trankov, tttkkk, uborshizzza, udod, ulfurinn, ulysses4ever, uncle_doc, urus_hay, utnapishti, vaceknt, vannadis, vdinets, velobos, velta_1, verbarium, vesoeg, vetertann, vic_gorbatov, victor_remsha, vitus_wagner, vladiv, voidex, vokintrop, vorchunn, vorotylo, vveshka, vworpvworp, weissefly, willie_wonka, wizzard0, wlite, wyradhe, xgrbml, ya_russkih, yasviridov, yatsutko, yawey, ygam, yin_phoenix, yole, yooo, yurikl, yury_lifshits, zabivator, zelchenko, zelenov, zelych, zh_an, zhengxi, zt

314159265, __ronin__, _navi_, a_grabenich, a_shen, akula_dolly, al_zatv, alex14san, alexey_rom, alexott, alexy7742, algebraic_brain, alisa_lebovski, alkor_, andrey_bovykin, andrey_grafov, andrey_perla, andy1618, anna_frid, antilamer, arno1251, aruslan, azmiol, b_al_u, basp, batiaev, beshenov, biespartyjny, bik_top, bng1955, bravit, buchwurm, chrobin, chumpa, codedot, deni_ok, dgri, dr_valeriyshilo, dtim, elkonost, enternet, evilbloodydemon, falcao, g_golosov, ghbdtn, haritonov, history_spork, hwswdev, i_eron, i_limon, igrok_213, ilyaraz, insooo, irishatikhonova, iv6, ivan_ghandhi, ivansorokin, james_nicoll, jamhed, jtootf, k_frumkin, katyakate, kirpich_spb, kmmbvnr, kucheryavenko, kurilka, kwirra, langri_ksk, lev_lamberov, lionet, little_arhat, lomeo, lucas_v_leyden, m2b, macos, max_b, metaclass, mibori, mindshock, mitrius, mr_aleph, mrgd, nealar, nevitskaya, nivanych, nponeccop, palm_mute, plutin, pod_baobabom, poleteli_nozhi, pphantom, prof_yura, pshenichny, q_spoiler, redaktorscha, rssh, rus4, sadsaid, sanitareugen, sdfgh153, seawasp, sharpc, shep256, sleepy_drago, solomon2, sweeeet_dream, tisha123, tomotom, uborshizzza, ulysses4ever, vaceknt, vesoeg, vic_gorbatov, vladiv, vorotylo, vveshka, weissefly, wizzard0, wyradhe, yury_lifshits, zabivator, zelenov, zhengxi

haveall, soderjanie, vic_astubet

analytica_journ, antinarod_med, arkanar_xvii, category_theory, churchhumor, code_wtf, correctura, ebaniy_styd, ist_freaks_ru, lj_maintenance, lj_spotlight, miee, mm_msu, news, politics_humor, ru_bulshytt, ru_declarative, ru_deptypes, ru_etymology, ru_lambda, ru_lisp, ru_lit, ru_math, ru_oldie, ru_pratchett, ru_scala, ru_tex, ruby_ru, science_freaks, scipeople, snarkoleptics, stats_wtf, zel_chgk, zel_english, zel_market, zel_znaniya, zelenograd, zhurnolamer

analytica_journ, category_theory, code_wtf, correctura, ebaniy_styd, miee, ru_declarative, ru_deptypes, ru_emacs, ru_lambda, ru_math, ru_msk, ru_oldie, ru_scala, ru_tex, science_freaks, scipeople, stats_wtf, zel_english, zel_market, zel_znaniya, zelenograd