Заметки о теории языков программирования, формальной верификации программ, теории типов, математической логике, конструктивизме и всякой всячине. Все вопросы к @clayrat, english version: https://clayrat.github.io/
Covalue
732
| Название канала | Ник канала | Telegram Ads | Подписчики |
|---|---|---|---|
Impure Pics
|
@impurepics |
|
482
|
Алло, это отладочная?
|
@gdb_dbg |
|
748
|
@faelun_gong |
|
743
|
|
Scala Nishtyaki Channel
|
@scala_channel_ru |
|
952
|
Студенческий семинар по маломерной топологии
|
@ldtss |
|
699
|
Kei Lambda
|
@keilambda |
|
240
|
Лисп в изгнании
|
@lisp_exile |
|
233
|
взорвать восемь точек в самолете
|
@bitter_homology |
|
177
|
_moire.experience}}%
|
@moir_x |
|
356
|
iggisv9t channel
|
@sv9t_channel |
|
2233
|
Awful Rust snippets for fun and profit
|
@terriblerust |
|
440
|
AlexTCH
|
@al_tch |
|
287
|
brain_dump_etc
|
@brain_dump_etc |
|
661
|
uAnalytiCon
|
@uanalyticon |
|
687
|
LeGrandHamster
|
@grandhamstergms |
|
323
|
|
о фундаментальном
|
@o_fundamentalnom |
|
403
|
Основы программирования
|
@progcore |
|
829
|
Love, Death & Math
|
@LoveDeathMath |
|
2431
|
Known unknown unknowns
|
@kuu_channel |
|
316
|
Видеотека IV Конференции матцентров России
|
@mc4_conf_library |
|
169
|
ПОМИ РАН
|
@pdmi_ras |
|
851
|
bravit-about
|
@bravit |
|
2199
|
@brenoritvrezorkre_channel |
|
760
|
|
Metaprogramming
|
@metaprogramming |
|
715
|
МКН СПбГУ
|
@spbumathcs_announces |
|
866
|
optorepost
|
@optorepost |
|
378
|
Haiku
|
@samurai_haiku |
|
437
|
dev optozorax
|
@optozorax_dev |
|
3041
|
Возмутительное профанство
|
@outrageous_profan |
|
796
|
|
jaadukiichadi
|
@jaadukiichadi0000 |
|
6999
|
Высшая школа программирования Сергея Бобровского 2.0
|
@lambda_brain |
|
1220
|
Авва
|
@avvablog |
|
10641
|
PONV Daily
|
@daily_ponv |
|
720
|
Neverending education
|
@insegnante_immichelle |
|
565
|
Dark Geometry
|
@Dark_G30m3try |
|
1221
|
tropical saint petersburg
|
@tropicalgeometry |
|
3157
|
Empty Set of Ideas
|
@emptyset_of_ideas |
|
2895
|
Generative Anton
|
@repushko_channel |
|
5224
|
Тимиркаич
|
@mamaisabantuy |
|
340
|
Programming Deadlock
|
@programming_deadlock |
|
1677
|
@natural_origin |
|
401
|
|
Дмитрий Галковский
|
@galkovskygram |
|
12561
|
сладко стянул
|
@sweet_homotopy |
|
1424
|
Матклуб
|
@club_math |
|
726
|
epsilon correct
|
@epsiloncorrect |
|
8041
|
воспоминания математиков
|
@mathmemories |
|
3780
|
Записки CPU designer'a
|
@cpu_design |
|
3454
|
Математическая свалка Сепы
|
@math_dump_of_sepa |
|
1390
|
There will be no singularity
|
@nosingularity |
|
1958
|
C++ and other lectures
|
@cpp_lects_rus |
|
9594
|
лазер Оккама
|
@oclaser |
|
1724
|
roguelike theory
|
@roguelike_theory |
|
3559
|
@dereference_pointer_there |
|
1925
|
|
От Альп до Рейна
|
@begleita |
|
4566
|
Мемасы высших порядков
|
@emperor_of_pepe |
|
1227
|
номадизм и контингентность
|
@gromihrons |
|
1580
|
Things I read: го кофе в Ереване
|
@thingsiread |
|
3236
|
Математика не для всех
|
@mathematics_not_for_you |
|
11070
|
commit -m "better"
|
@itpgchannel |
|
3445
|
Стой под стрелой
|
@nikitonsky_pub |
|
11742
|
Rust Jobs - лента вакансий и резюме
|
@rust_jobs_feed |
|
3783
|
Take Friends to Luna Park
|
@hrlunapark |
|
18918
|
История гиперинформации
|
@hyperhistory |
|
1456
|
qtasep 💛💙
|
@qtasep |
|
910
|
Непрерывное математическое образование
|
@cme_channel |
|
12245
|
Математические байки
|
@mathtabletalks |
|
4263
|
ЛВД — Логи внутренних диалогов
|
@thinkaboutism |
|
4661
|
Биоинформатика и лапки
|
@biolapki |
|
2146
|
Кофейный теоретик
|
@forodirchNEWS |
|
4552
|
Segment@tion fault
|
@psauxww |
|
2077
|
эйай ньюз
|
@ai_newz |
|
93368
|
@quant_prune_distill |
|
3242
|
|
Just links
|
@j_links |
|
6765
|
Техножрица 👩💻👩🏫👩🔧
|
@tech_priestess |
|
14380
|
