Skip to content
View ext-sakamoro's full-sized avatar
5 followers · 13 following

Achievements

Achievement: Pull Sharkx2Achievement: QuickdrawAchievement: Starstruck

Achievements

Achievement: Pull Sharkx2Achievement: QuickdrawAchievement: Starstruck

Highlights

  • Pro

Block or report ext-sakamoro

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
ext-sakamoro/README.md

Moroya Sakamoto

坂本 師哉(さかもと もろや)

Extoria Co. Rep. Ex-SQEX / Cygames.

I work on Project A.L.I.C.E., a body of Rust libraries built around one idea: don't send data, send the law. Describe a result as a deterministic rule, and any machine can regenerate exactly the same thing.

alicelaw.net

Selected work

  • ALICE-Physics Deterministic physics on 128-bit fixed point. Bit-exact replay, forkable snapshots, and out-of-range detection instead of silent wrap.
  • ALICE-DetMath Bit-exact sin, cos, exp, ln and friends built from basic IEEE 754 operations, so every platform returns the same bits. no_std.
  • ALICE-SDF Signed distance fields as a shape tree, evaluated on the CPU or transpiled to GLSL, WGSL, HLSL and Metal, and exported to meshes.
  • ALICE-LOL A small text language for geometry that compiles to an SDF tree, with constraint checks and export for 3D printing.

Stack

Rust, SIMD, wgpu, WebAssembly. TypeScript where a browser is involved.

Now

Deterministic physics and law-oriented tooling.

Contact

X: @_sakamoro · sakamoro@alicelaw.net

Pinned Loading

  1. ALICE-Law ALICE-Law Public

    Integration and conformance checks across the core ALICE crates, run against published versions: end-to-end digest, G1-G14 criteria, release train.

    Python

  2. ALICE-Physics ALICE-Physics Public

    Deterministic physics in Rust on 128-bit fixed point: bit-exact replay, forkable snapshots, typed observation and rollback, and out-of-range detection instead of silent wrap. Rigid bodies plus FEM,…

    Rust 3

  3. ALICE-SDF ALICE-SDF Public

    Signed distance fields as a shape tree: CPU evaluation, GLSL / WGSL / HLSL / Metal transpile, marching cubes, SVO and texture fitting.

    Rust 13 1

  4. ALICE-LLM ALICE-LLM Public

    Pure Rust LLM inference engine — GGUF v3 parser, K-quants, hybrid CPU/GPU DeltaNet+Attention, wgpu compute shaders, speculative decoding, OpenAI-compatible HTTP server.

    Rust 2

  5. ALICE-Train ALICE-Train Public

    Backpropagation & Training Framework for ALICE-ML ternary networks

    Rust

  6. ALICE-ML ALICE-ML Public

    Ternary-weight ({-1, 0, +1}) inference kernels: matrix products by addition and subtraction, SIMD, no_std, with a deterministic fixed-point path.

    Rust