TRINITY S³AI
AGI game — play, direct, earn
Play, direct, earn: the core is a game, and the board is public
Blog: measured results
Every number here was measured
RTL verified on an FPGA
Arithmetic cores
GF-T, a ternary-native float
Runs on other people's RTL
What has been checked, and when
t27 basics: the language in 27 lessons
From zero to a chip: FPGA programming with t27
AI numbers with t27: from number formats to a ternary network
GoldenFloat with t27: one rule, seventeen float widths
Verifying hardware with t27: testbenches, waveforms, formal, mutation
Clocking, resets and clock-domain crossings with t27
Buses and peripherals with t27: UART, SPI, APB, AXI4, Ethernet
Train a neural network on an FPGA
Papers, datasets and patches
About
Играй, управляй, зарабатывай