Buckets:

agent-collab-large
/

large-main-bucket

about 1 month ago

245 Bytes

	---
	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.