Release v1.3.12

Add aarch64 Linux support (DGX Spark / GB10) (#51)

* Add aarch64 Linux support (DGX Spark / GB10)

- Add aarch64-unknown-linux-gnu build target to the release workflow
- Add .cargo/config.toml to configure the cross-linker for aarch64
- Update install.sh to detect arm64/aarch64 and download the correct binary
  (popcorn-cli-linux-aarch64.tar.gz) instead of the x86-64 build

* validate arm64 installer in CI

* move arm64 validation into test workflow

* fold arm64 into test matrix

* build arm64 release on native runner

---------

Co-authored-by: brandonin <[email protected]>
Co-authored-by: Mark Saroufim <[email protected]>

Release v1.3.11

Mention and add details in AGENTS.md (#39)

* add to cli docstring

* details in AGENTS.md

* Apply suggestion from @burtenshaw

Co-authored-by: burtenshaw <[email protected]>

---------

Co-authored-by: Mark Saroufim <[email protected]>

Release v1.3.10

[codex] document submission inspection and deletion flow (#55)

* document submission inspection and deletion flow

* reframe README note as reward hack section

Release v1.3.9

fix: writing multiple profile zip (#53)

* fix: writing multiple profile zip

* test: cover profile trace helpers

* ci: fix PR validation workflows

---------

Co-authored-by: Mark Saroufim <[email protected]>

Release v1.3.8

add princeton 2026 quickstart doc (#54)

Release v1.3.6

Merge pull request #52 from yf225/docs/move-fp8-quant-to-problem-1

Release v1.3.5

More ui friendly register flow2

Release v1.3.4

More ui friendly register flow

Release v1.3.3

docs: add Discord auth hint after register step (#50)

Co-authored-by: Claude Opus 4.6 (1M context) <[email protected]>

Release v1.3.2

docs: simplify hackathon scoring to top-3 points system (#49)

Replace the rank-based correctness/performance formula with a simpler
top-3 system: 5 pts (1st), 3 pts (2nd), 1 pt (3rd) per scored problem.
Mark fp8_quant as an unscored warm-up. Ties decided by kernel quality.