Search results

pipeline caching

Status: Open.

#119 In Beneficial-AI-Foundation/NumpySpec;

· alok opened on Jul 14, 2025

use numpy itself to generate ground truth data pairs as very lightweight specs

Status: Open.

#107 In Beneficial-AI-Foundation/NumpySpec;

· alok opened on Jul 7, 2025

@claude add to Claude.md to use principle of least power for notation

Status: Open.

#81 In Beneficial-AI-Foundation/NumpySpec;

· alok opened on Jun 28, 2025

non float Numpy functions

Status: Open.

#71 In Beneficial-AI-Foundation/NumpySpec;

· bizid777 opened on Jun 25, 2025

Use full names with guillemets for test names to avoid description

Status: Open.

#70 In Beneficial-AI-Foundation/NumpySpec;

· alok opened on Jun 25, 2025

named error messages

Status: Open.

#67 In Beneficial-AI-Foundation/NumpySpec;

· alok opened on Jun 23, 2025

Sketch out how agents can use JJ for depthwise branching with stacked prs

Status: Open.

#64 In Beneficial-AI-Foundation/NumpySpec;

· alok opened on Jun 23, 2025

use Std.Associative and Std.Commutative

Status: Open.

#56 In Beneficial-AI-Foundation/NumpySpec;

· alok opened on Jun 17, 2025

https://numpy.org/devdocs/reference/

Status: Open.

#54 In Beneficial-AI-Foundation/NumpySpec;

· alok opened on Jun 17, 2025

https://github.com/JOSHCLUNE/LeanHammer

Status: Open.

#53 In Beneficial-AI-Foundation/NumpySpec;

· alok opened on Jun 17, 2025

leanexplore.com

Status: Open.

#51 In Beneficial-AI-Foundation/NumpySpec;

· htlou opened on Jun 15, 2025

lean mcp

Status: Open.

#50 In Beneficial-AI-Foundation/NumpySpec;

· htlou opened on Jun 15, 2025