#hasmath — Public Fediverse posts

I was working on a small experimental project that grew into something unexpectedly structured, and I wanted to share it with folks who enjoy unusual mathematics and tiny languages.

I'm calling it **UNS — the Universal Number Set**.

UNS is a number system extrapolated entirely from a *single foundational principle*:

> **All values live in a normalized microstate distribution
> (sum = 1), and dimensionality is a viewpoint rather than a constraint.**

When that rule is taken seriously and applied consistently, a whole system emerges:

• numbers become distributed functions (UValues)
• measurement is an explicit, normalized state (UStates)
• arithmetic is “lifted” and defined elementwise
• undefined classical expressions (like n/0) remain representable
• readout behaves like a weighted inner product
• classical arithmetic embeds naturally as a special case
• dimensional equivalence becomes a built-in symmetry

It also comes with:

• a tiny expression language (`.unse`)
• a browser-based runtime + IDE
• a full spec, helper catalog, grammar, glossary
• examples, idioms, and a lot of documentation

I’m sharing it mainly because the structure that fell out surprised me, and I’d love feedback or pointers to related work.

Repo:
[https://github.com/ReedKimble/UNS](https://github.com/ReedKimble/UNS)

If you enjoy weird arithmetic, signal-like representations, unconventional semantics, or small mathematical languages, I’d be interested in your thoughts and feedback.

#hasmath #mathematics #numbertheory #computerscience
#mathstodon #recreationalMath #programminglanguages
#formalmethods #research #openscience #weirdmath #infoviz

I was working on a small experimental project that grew into something unexpectedly structured, and I wanted to share it with folks who enjoy unusual mathematics and tiny languages.

I'm calling it **UNS — the Universal Number Set**.

UNS is a number system extrapolated entirely from a *single foundational principle*:

> **All values live in a normalized microstate distribution
> (sum = 1), and dimensionality is a viewpoint rather than a constraint.**

When that rule is taken seriously and applied consistently, a whole system emerges:

• numbers become distributed functions (UValues)
• measurement is an explicit, normalized state (UStates)
• arithmetic is “lifted” and defined elementwise
• undefined classical expressions (like n/0) remain representable
• readout behaves like a weighted inner product
• classical arithmetic embeds naturally as a special case
• dimensional equivalence becomes a built-in symmetry

It also comes with:

• a tiny expression language (`.unse`)
• a browser-based runtime + IDE
• a full spec, helper catalog, grammar, glossary
• examples, idioms, and a lot of documentation

I’m sharing it mainly because the structure that fell out surprised me, and I’d love feedback or pointers to related work.

Repo:
[https://github.com/ReedKimble/UNS](https://github.com/ReedKimble/UNS)

If you enjoy weird arithmetic, signal-like representations, unconventional semantics, or small mathematical languages, I’d be interested in your thoughts and feedback.

#hasmath #mathematics #numbertheory #computerscience
#mathstodon #recreationalMath #programminglanguages
#formalmethods #research #openscience #weirdmath #infoviz

I was working on a small experimental project that grew into something unexpectedly structured, and I wanted to share it with folks who enjoy unusual mathematics and tiny languages.

I'm calling it **UNS — the Universal Number Set**.

UNS is a number system extrapolated entirely from a *single foundational principle*:

> **All values live in a normalized microstate distribution
> (sum = 1), and dimensionality is a viewpoint rather than a constraint.**

When that rule is taken seriously and applied consistently, a whole system emerges:

• numbers become distributed functions (UValues)
• measurement is an explicit, normalized state (UStates)
• arithmetic is “lifted” and defined elementwise
• undefined classical expressions (like n/0) remain representable
• readout behaves like a weighted inner product
• classical arithmetic embeds naturally as a special case
• dimensional equivalence becomes a built-in symmetry

It also comes with:

• a tiny expression language (`.unse`)
• a browser-based runtime + IDE
• a full spec, helper catalog, grammar, glossary
• examples, idioms, and a lot of documentation

I’m sharing it mainly because the structure that fell out surprised me, and I’d love feedback or pointers to related work.

Repo:
[https://github.com/ReedKimble/UNS](https://github.com/ReedKimble/UNS)

If you enjoy weird arithmetic, signal-like representations, unconventional semantics, or small mathematical languages, I’d be interested in your thoughts and feedback.

#hasmath #mathematics #numbertheory #computerscience
#mathstodon #recreationalMath #programminglanguages
#formalmethods #research #openscience #weirdmath #infoviz

I was working on a small experimental project that grew into something unexpectedly structured, and I wanted to share it with folks who enjoy unusual mathematics and tiny languages.

I'm calling it **UNS — the Universal Number Set**.

UNS is a number system extrapolated entirely from a *single foundational principle*:

> **All values live in a normalized microstate distribution
> (sum = 1), and dimensionality is a viewpoint rather than a constraint.**

When that rule is taken seriously and applied consistently, a whole system emerges:

• numbers become distributed functions (UValues)
• measurement is an explicit, normalized state (UStates)
• arithmetic is “lifted” and defined elementwise
• undefined classical expressions (like n/0) remain representable
• readout behaves like a weighted inner product
• classical arithmetic embeds naturally as a special case
• dimensional equivalence becomes a built-in symmetry

It also comes with:

• a tiny expression language (`.unse`)
• a browser-based runtime + IDE
• a full spec, helper catalog, grammar, glossary
• examples, idioms, and a lot of documentation

I’m sharing it mainly because the structure that fell out surprised me, and I’d love feedback or pointers to related work.

Repo:
[https://github.com/ReedKimble/UNS](https://github.com/ReedKimble/UNS)

If you enjoy weird arithmetic, signal-like representations, unconventional semantics, or small mathematical languages, I’d be interested in your thoughts and feedback.

#hasmath #mathematics #numbertheory #computerscience
#mathstodon #recreationalMath #programminglanguages
#formalmethods #research #openscience #weirdmath #infoviz

I was working on a small experimental project that grew into something unexpectedly structured, and I wanted to share it with folks who enjoy unusual mathematics and tiny languages.

I'm calling it **UNS — the Universal Number Set**.

UNS is a number system extrapolated entirely from a *single foundational principle*:

> **All values live in a normalized microstate distribution
> (sum = 1), and dimensionality is a viewpoint rather than a constraint.**

When that rule is taken seriously and applied consistently, a whole system emerges:

• numbers become distributed functions (UValues)
• measurement is an explicit, normalized state (UStates)
• arithmetic is “lifted” and defined elementwise
• undefined classical expressions (like n/0) remain representable
• readout behaves like a weighted inner product
• classical arithmetic embeds naturally as a special case
• dimensional equivalence becomes a built-in symmetry

It also comes with:

• a tiny expression language (`.unse`)
• a browser-based runtime + IDE
• a full spec, helper catalog, grammar, glossary
• examples, idioms, and a lot of documentation

I’m sharing it mainly because the structure that fell out surprised me, and I’d love feedback or pointers to related work.

Repo:
[https://github.com/ReedKimble/UNS](https://github.com/ReedKimble/UNS)

If you enjoy weird arithmetic, signal-like representations, unconventional semantics, or small mathematical languages, I’d be interested in your thoughts and feedback.

#hasmath #mathematics #numbertheory #computerscience
#mathstodon #recreationalMath #programminglanguages
#formalmethods #research #openscience #weirdmath #infoviz