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
15 repos
-
A markdown native slides tool for academics building with agents.
-
Textbook on reinforcement learning from human feedback
-
Small reproducible problems for Sutro Group's energy-efficient learning research
-
Makes your AI agent think like the laziest senior dev in the room. The best code is the code you never wrote.
-
Generative Representational Instruction Tuning
-
Non-autoregressive System 1 decision engine. Typed choice, score and yes/no decisions over any text in a single forward pass, in 100+ languages, with a router that picks the right checkpoint per request.
-
Hosted, link-only submission site for the Sutro MNIST-medium time challenge on Modal, with the evaluator harness and a deployment runbook
-
Calibrated 151M Non-Autoregressive Decision Engine beating TypeSafe Jev & Laya on LocalLLaMA/typed-decisions (77.10% acc, 0.0636 Brier, 0.0144 ECE)
-
Simplified single-processor Manhattan-grid model for explicit communication cost (Dally, CACM 2022)
-
End-to-end project training and building AI models / LLMs to detect AI-written text
-
(Still experimental) Real Goroutines for Python 3.13t+ free-threaded.
-
Codex, Claude Code, Pi & OpenCode Neovim Plugin 🔌
-
★ 0 albertqjiang/FLTOngoing Lean formalisation of the proof of Fermat's Last Theorem