Dev
GitHub repos gaining traction - what high-signal users are starring and what's climbing the board, captured daily and enriched from GitHub. Raw material for spotting new tech and patterns worth building on.
3,195
repos tracked
105
surfaced this week
193
created < 30d
Python
top language
30 repos
-
Scribed notes for the [IFT6169] Deep Learning Theory course at UdeM
-
Simple, typographic beamer theme
-
Bibliography files
-
Mathematical foundations, information-theoretic methods, optimization algorithms, and research papers on Kelly wagering, risk, and betting markets.
-
Documents related to an attempt with Levent Alpoge to get Claude to finish Balaban's program to construct Yang--Mills. (Under construction!)
-
Open problems, research agendas, and papers in Math for AI Safety — public from draft stage onward
-
Lessons Claude writes for me after we work through something together
-
Book in preparation: introduction to theoretical computer science
-
Proceedings of AISTATS 2001
-
Proceedings of AISTATS 1997
-
Proceedings of UAI 2008
-
Pre-proceedings of AISTATS 1995
-
Proceedings of AISTATS 2003
-
Project, course, thesis, and archival materials for misovalko.github.io
-
MaiNLP research lab
-
CMPUT 654: Mathematical Foundations of Modern AI, Fall 2026
-
AI driven counterexamples
-
Open problems, research agendas, and papers in Math for AI Safety — public from draft stage onward
-
A rewrite of the original good regulator theorem paper with information theory.
-
RLHF中文手册 - 详细解析RLHF全流程优化阶段,涵盖指令调优、奖励模型训练,以及拒绝采样、强化学习和直接对齐算法等关键技术。
-
Kuleshov Group blog
-
My personal website
-
An extensive and commented list of resources on Late-Interaction Multivector Retrieval.