Paul Gustafson

At his talk in San Diego yesterday, @guillaumebrunerie showed that making certain functions opaque can help with evaluating nasty terms. The problem is that sometimes the opaque functions have to...

"forwardHIT: neutral b" error in hit branch, but not master

1

Type checking the "alpha" function below with the hit branch of cubicaltt gives a "forwardHIT: neutral b" error. When using the master branch, it type checks without any errors. ```...

Idea: make "algo" a map from a fixed parameter space to a fixed function space Use the hash as a seed for a dataset generator (or dataset constraint) Hash ->...

Incorrect behavior in symbolic due to poor typing discipline

6

The following test fails ``` i = Variable("i", 1, 5) idx0 = Variable("idx0", 0, i) assert idx0 % 2 != idx0 ``` This is because get_bounds() can return Nodes, not...

Bug in View._reshape_mask

3

The following code incorrectly evaluates to True: ```View(shape=(2, 3), strides=(0, 0), offset=0, mask=((1, 2), (0, 2)), contiguous=False).reshape((3,2)) == View(shape=(3, 2), strides=(0, 0), offset=0, mask=((1, 3), (0, 2)), contiguous=False)``` This is...

Slow reference implementation for merge_views which is easier to prove correct. Running the fuzzer already generates some shapetrackers that are mergeable but are not merged by the current Shapetracker.simplify().

Safetensor save, load, re-save does not work

1

Minimal example on iMac with AMD Radeon Pro 5500 XT GPU (also broken on CPU=1)-- ``` from tinygrad import Tensor from tinygrad.nn.state import safe_save, safe_load, get_state_dict import os os.environ['GPU'] =...