# Logan W.

- **Event:** [Meta Global AI Developer Hackathon](https://cerebralvalley.ai/e/meta-ai-developer-hackathon)
- **When:** Oct 26, 12:00 PM – Nov 4, 9:00 PM (EST)
- **Where:** Online
- **Team:** [Logan White](https://cerebralvalley.ai/u/Loganw234)
- **GitHub:** https://github.com/loganw234/muse-softfloat
- **Demo video:** https://youtu.be/IzLtd2_OIFo
- **Gallery:** https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery
- **Page:** https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/885

muse-softfloat is a clean-room IEEE 754-2019 software floating-point library for the RP2040, a microcontroller with no FPU: binary16, binary32 and binary64, 849 operation instantiations covering the full required operation set plus 66 recommended ones, MIT licensed, built from the standard’s text alone with no third-party softfloat source.

The proof that it works: REBOUND’s IAS15 N-body integrator runs unmodified on a Raspberry Pi Pico through this library and produces bit-identical state to the desktop build, 2,001 of 2,001 step records, on each of six boards. KissFFT and an interval-geometry catalogue match the same way. Every operation is checked against 411,213 committed test vectors (exact arithmetic, cross-checked against MPFR and Berkeley TestFloat at generation), CI runs the gates on Linux and Windows, and the library runs live in the browser as WebAssembly at loganw234.github.io/muse-softfloat.

The second deliverable is the build itself as an experiment: a single Muse Wonder session led the whole project under two contract-driven working methods (HonestFramework and ParcelRound), dispatching 128 recorded Muse agent sessions as authors, verifiers and auditors, with an independent verifier checking every parcel against a copy carrying planted defects before merge (187 of 195 caught). I typed an estimated 2,000 tokens against 1.42 billion billed. The dated record, metrics ledgers and a frozen, hash-manifested audit bundle ship in the repo.

## More from Meta Global AI Developer Hackathon

- [Argus](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/882)
- [IACA](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/883)
- [moranai](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/884)
- [Hearth Family Plan](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/886)
- [Focus](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/887)
- [ScheduleSolve AI](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/888)

---

Markdown version of https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/885. Site index for agents: https://cerebralvalley.ai/llms.txt · full text: https://cerebralvalley.ai/llms-full.txt