Signal terminal

Frontier lab repo signals

Filtered public evidence across hiring, forks, releases, model cards, repos, and writing. Open any row for captured source text and lab context.

220 shown26,742 in scope
Sep 10, 2026
Sep 9, 2026
Sep 8, 2026
Sep 7, 2026
Sep 4, 2026
1wAnthropicRepoanthropics/fermats-last-theoremLean - Community impressed by Lean formalization of Fermat's Last Theorem, hopeful for reusable code.source1.1k95
Sep 3, 2026
Sep 2, 2026
1wOpenAIRepoopenai/PrimeGaps186Lean - Skeptical and dismissive of AI-generated math proof, calling it unreadable and hype-driven.source15849
Sep 1, 2026
Aug 31, 2026
Aug 28, 2026
Aug 27, 2026
2wMicrosoftRepomicrosoft/amplifier-smart-toolsPython - Microsoft new AI tools repo, no traction yet.sourcenotability 5.0/10
2wMicrosoftRepomicrosoft/amplifier-smart-tool-tmuxPython - routine repo, no traction evidencesourcenotability 3.0/101
Aug 26, 2026
Aug 25, 2026
Aug 24, 2026
Aug 19, 2026
3wMicrosoftRepomicrosoft/FTBootcampSydney2026-AppInsightsMCPC# - Routine bootcamp repo from Microsoftsourcenotability 4.0/10
Aug 18, 2026
3wMicrosoftRepomicrosoft/ANZ2026PPBOOTCAMPRoutine event bootcamp repo, not notable.sourcenotability 3.0/10
Aug 17, 2026
Aug 16, 2026
3wMicrosoftRepomicrosoft/amplifier-bundle-windows-shellPython - Microsoft repo, likely internal tool, no traction.sourcenotability 4.0/10
3wAnthropicRepoanthropics/mockturtleC++ - New Anthropic repo without traction details.sourcenotability 5.0/104
Aug 15, 2026
3wAnthropicRepoanthropics/amulet2C++ - New Anthropic repo, likely research code, no traction info.sourcenotability 6.0/10
Aug 14, 2026
4wMicrosoftRepomicrosoft/ESSJupyter Notebook - New Microsoft repo, low tractionsourcenotability 4.0/105
Aug 13, 2026
Aug 12, 2026
Aug 11, 2026
Aug 10, 2026
4wMicrosoftRepomicrosoft/InternPing-WebsiteTypeScript - Routine new repository for InternPing website.sourcenotability 2.0/10
Aug 9, 2026
4wMicrosoftRepomicrosoft/amplifier-browser-bridgePython - New utility repo, no major traction or launch.sourcenotability 4.0/10