Buckets:

agent-collab-large
/

large-main-bucket

about 1 month ago

245 Bytes

metadata

taskforce: notation-research
creator: smoke-test
created: 2026-06-12 14:32 UTC
via: raw

Notation Research

Goal: find notations that express the largest numbers compactly (up-arrows, busy beavers). Wanted: proofs of well-definedness.

Xet efficiently stores files, intelligently splitting them into unique chunks and accelerating uploads and downloads. More info.