スキルを探す

Modify or upstream behavior in a named Grug/Grugformer experiment variant.

日本語の概要は準備中です。原文の説明を表示しています。

Launch, resume, monitor, hand off, or seal an explicitly requested production-critical Marin run, normally at least 1e22 FLOPs.

日本語の概要は準備中です。原文の説明を表示しています。

Problem-solving strategies for connectedness in topology

日本語の概要は準備中です。原文の説明を表示しています。

Problem-solving strategies for open sets in topology

日本語の概要は準備中です。原文の説明を表示しています。

Problem-solving strategies for limits in real analysis

日本語の概要は準備中です。原文の説明を表示しています。

Problem-solving strategies for compactness in topology

日本語の概要は準備中です。原文の説明を表示しています。

Problem-solving with Rudin's Real and Complex Analysis textbook

日本語の概要は準備中です。原文の説明を表示しています。

Problem-solving strategies for analytic functions in complex analysis

日本語の概要は準備中です。原文の説明を表示しています。

Problem-solving strategies for second order odes in odes pdes

日本語の概要は準備中です。原文の説明を表示しています。

Problem-solving strategies for constrained optimization in optimization

日本語の概要は準備中です。原文の説明を表示しています。

Problem-solving strategies for proof theory in mathematical logic

日本語の概要は準備中です。原文の説明を表示しています。

Maps questions to the optimal tldr command. Use this to pick the right layer

日本語の概要は準備中です。原文の説明を表示しています。

Problem-solving strategies for matrices in linear algebra

日本語の概要は準備中です。原文の説明を表示しています。

Routes problems to appropriate mathematical frameworks using expert heuristics

日本語の概要は準備中です。原文の説明を表示しています。

Problem-solving strategies for propositional logic in mathematical logic

日本語の概要は準備中です。原文の説明を表示しています。

Metacognitive check-ins during problem solving - detects when to pivot or persist

日本語の概要は準備中です。原文の説明を表示しています。

Problem-solving strategies for convex optimization in optimization

日本語の概要は準備中です。原文の説明を表示しています。

Problem-solving strategies for categories functors in category theory

日本語の概要は準備中です。原文の説明を表示しています。

Validation agent that validates plan tech choices against current best practices

日本語の概要は準備中です。原文の説明を表示しています。

Problem-solving strategies for first order odes in odes pdes

日本語の概要は準備中です。原文の説明を表示しています。

Wiring Verification

日本語の概要は準備中です。原文の説明を表示しています。

Problem-solving strategies for natural transformations in category theory

日本語の概要は準備中です。原文の説明を表示しています。

Get a token-efficient overview of any project using the TLDR stack

日本語の概要は準備中です。原文の説明を表示しています。

Problem-solving strategies for limits colimits in category theory

日本語の概要は準備中です。原文の説明を表示しています。