Skip to content

Convert to i754 and fix links. #16

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
sigilante wants to merge 1 commit into
base: main
Choose a base branch
from
Open

Convert to i754 and fix links. #16

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 3 additions & 1 deletion README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,9 @@

**Status ~2025.4.15: Lagoon and /lib/math releasing with 410K; other development on pause.**

Status ~2024.5.28: Lagoon releases with IEEE 754 reals in 410K; Saloon releases with corresponding functionality in 409K; Maroon is in progress for tinygrad.
Status ~2024.5.28: Lagoon releases with IEEE 754 floating-point reals in 410K; Saloon releases with corresponding functionality in a future kelvin; Maroon is in progress for tinygrad.

Status ~2025.11.4: Converting everything to use `%i754` as the floating-point type instead of `%real` (was legacy in Maroon).

![An evocative scene of a mysterious futuristic castle in the style of Flash Gordon](./img/hero-scene.jpg)

Expand Down
18 changes: 9 additions & 9 deletions lagoon/README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,8 +3,8 @@
**Current Status**

- `/lib/math` is distributed via the [`%yard` desk](https://github.com/urbit/yard).
- We are preparing a release of Lagoon `%real` with SoftBLAS-powered jets for release with Urbit 410K.
- We are preparing a release of Saloon `%real` without jets for release with Urbit 409K.
- Lagoon `%i754` with SoftBLAS-powered jets was released with Urbit 410K.
- We are preparing a release of Saloon `%i754` without jets for release with Urbit at a future kelvin.
- We are working on an implementation of [tinygrad](https://tinygrad.org/) for Maroon.

- [ ] some notion of cursor in an array would be really helpful
Expand All @@ -15,15 +15,15 @@ We envision four libraries and associated jet code living in this repository:

- `/lib/math` offers basic special function support for floating-point atoms.
- Lagoon (Linear AlGebra in hOON) offers BLAS-like operations (like NumPy's pure matrix operations).
- Lagoon `%real`s are slated to ship with [410 K](https://github.com/urbit/UIPs/pull/45).
- Lagoon `%i754`s are slated to ship with [410 K](https://github.com/urbit/UIPs/pull/45).
- [SoftBLAS](https://github.com/urbit/SoftBLAS) provides a reproducible software-defined floating-point implementation of parts of BLAS and LAPACK suitable for jetting Lagoon.
- `/lib/fixed` provides operations for fixed-precision operations.
- Saloon (Scientific ALgorithms in hOON) offers transcendental functions (like NumPy's transcendental functions, optimizers, etc.).
- Maroon (MAchine LeaRning in hOON) offers machine learning algorithms, starting with tinygrad.

## Type System

- `%real` IEEE 754 float (currently supported)
- `%i754` IEEE 754 float (currently supported)
- `%cplx` IEEE 754 float/BLAS packed complex (planned)
- `%uint` unsigned integers (currently supported)
- `%int2` signed twos-complement integers (planned)
Expand Down Expand Up @@ -52,9 +52,9 @@ We envision four libraries and associated jet code living in this repository:
[0b11 17 16]
```

## Lagoon 410K `%real` Release
## Lagoon 410K `%i754` Release

The 410 K release candidate for Lagoon provides `%real`-valued array operations equivalent to `@rh`, `@rs`, `@rd`, and `@rq` operations in vanilla Hoon. (Other types have been removed for this release but will be re/introduced in a subsequent release.) The following arms are provided:
The 410 K release candidate for Lagoon provides `%i754`-valued array operations equivalent to `@rh`, `@rs`, `@rd`, and `@rq` operations in vanilla Hoon. (Other types have been removed for this release but will be re/introduced in a subsequent release.) The following arms are provided:

- `++print`
- `++slog`
Expand Down Expand Up @@ -153,10 +153,10 @@ Nonobvious points to note:

1. The comparison gates for Lagoon flip back to boolean rather than loobean results. Furthermore, they result in numerical ones (e.g. `0x3f80.0000` for `@rs`) rather than simple `0x1`s. This is because we want sparse matrices to remain sparse when we eventually support them, and because we want multiplication times the result of a logical operation to set or clear fields appropriately without needing to change the `kind`. (No solution appears to be completely satisfactory.)
2. `++submatrix` and `++stack` are not jetted yet. These are both dicey jets to get right due to multiple offsets. Fortunately, once we have them correct they should work for all `kind`s since they only depend on `bloq` size not `kind`.
3. The rounding mode for `%real` may be set for the core using the `++lake` gate. This returns a copy of the Lagoon `++la` core with rounding mode changed to one of `?(%n %u %d %z)`.
3. The rounding mode for `%i754` may be set for the core using the `++lake` gate. This returns a copy of the Lagoon `++la` core with rounding mode changed to one of `?(%n %u %d %z)`.
```hoon
> (cumsum:(lake:la %u) (en-ray:(lake:la %u) [~[7 1] 5 %real ~] ~[.1 .5 .-5 .2 .3 .-20 .-1]))
[meta=[shape=~[1 1] bloq=5 kind=%real fxp=~] data=0x1.c170.0000]
> (cumsum:(lake:la %u) (en-ray:(lake:la %u) [~[7 1] 5 %i754 ~] ~[.1 .5 .-5 .2 .3 .-20 .-1]))
[meta=[shape=~[1 1] bloq=5 kind=%i754 fxp=~] data=0x1.c170.0000]
```

---
Expand Down
Loading