harsh-nod/fe2o3

Tooling: add a deterministic CPU semantic simulator and virtual GPU runtime 1 day ago

enhancement help wanted priority:P2 area:tooling

harsh-nod/fe2o3

0

Rust

Tooling: build an agent-native semantic GPU debugger and profiler 2 days ago

enhancement help wanted priority:P2 area:tooling

harsh-nod/fe2o3

0

Rust

Compiler D7: lower typed amdgcn operations through pliron-llvm 2 days ago

enhancement help wanted status:claimed area:compiler

harsh-nod/fe2o3

0

Rust

Compiler D7: consume canonical LLVM handoff in the isolated upstream LLVM worker 2 days ago

enhancement help wanted status:claimed area:compiler

harsh-nod/fe2o3

0

Rust

Compiler: migrate to Pliron with Rust-native structured, scheduled, and verified GPU IR 2 days ago

enhancement help wanted area:compiler

harsh-nod/fe2o3

0

Rust

Runtime: build an asynchronous distributed direct-KFD execution plane 8 days ago

enhancement help wanted priority:P2 area:runtime

harsh-nod/fe2o3

0

Rust

Compiler D7: differential, hostile and gfx942 qualification for the Pliron LLVM route 19 days ago

enhancement help wanted status:claimed area:compiler

harsh-nod/fe2o3

0

Rust

Compiler: formally verified megakernels and persistent GPU execution 19 days ago

enhancement help wanted priority:P2 area:compiler

harsh-nod/fe2o3

0

Rust

General LDS GEMM: parameterized Kernel IR and upstream-LLVM lowering 19 days ago

enhancement help wanted area:compiler

harsh-nod/fe2o3

0

Rust

General LDS GEMM: attributed #[kernel] source and compiler import 19 days ago

enhancement help wanted area:compiler

harsh-nod/fe2o3

0

Rust

GEMM: deliver a general tiled kernel with semantic compile-fail safety corpus 19 days ago

enhancement help wanted area:kernels

harsh-nod/fe2o3

0

Rust

Tutorial vertical slice: attributed MoE expert GEMM and combine 19 days ago

enhancement help wanted status:claimed priority:P2 wave:moe area:kernels

harsh-nod/fe2o3

0

Rust

Tutorial vertical slice: deterministic attributed top-2 MoE routing 19 days ago

enhancement help wanted status:claimed priority:P2 wave:moe area:kernels

harsh-nod/fe2o3

0

Rust

Tutorial vertical slice: attributed fixed-shape FlashAttention forward 19 days ago

enhancement help wanted status:claimed priority:P1 wave:attention area:kernels

harsh-nod/fe2o3

0

Rust

Tutorial vertical slice: attributed protected row softmax 19 days ago

enhancement help wanted status:claimed priority:P0 wave:softmax area:kernels

harsh-nod/fe2o3

0

Rust

Tutorial vertical slice: attributed LDS barriers and scoped atomics 19 days ago

enhancement help wanted status:claimed priority:P0 wave:collectives area:kernels

harsh-nod/fe2o3

0

Rust

Tutorial vertical slice: attributed Wave64 reduction and scan 19 days ago

enhancement help wanted status:claimed priority:P0 wave:collectives area:kernels

harsh-nod/fe2o3

0

Rust

Slice 5: independently admit and benchmark optimized LDS GEMM profiles 19 days ago

enhancement help wanted area:kernels

harsh-nod/fe2o3

0

Rust

General LDS GEMM: specialization schema and checked host planner 19 days ago

enhancement help wanted area:kernels

harsh-nod/fe2o3

0

Rust

Generalize attributed LDS GEMM across dimensions, strides, tails, and coefficients 19 days ago

enhancement help wanted area:kernels

harsh-nod/fe2o3

0

Rust

Runtime: implement a formally verified pure-Rust KFD/AMDGPU runtime 19 days ago

enhancement help wanted priority:P2 area:runtime

harsh-nod/fe2o3

0

Rust

W1: durably consume committed broker session with admitted host output 19 days ago

enhancement help wanted priority:P0 area:runtime

harsh-nod/fe2o3

0

Rust

Stabilize Worker V2 acknowledgment handoff in generic CI 19 days ago

bug help wanted area:runtime

harsh-nod/fe2o3

0

Rust

W1: bind cargo-fe2o3 broker identity and durable admitted host artifact 19 days ago

enhancement help wanted priority:P0 area:runtime

harsh-nod/fe2o3

0

Rust

FlashAttention: protected MI300X execution and evidence 19 days ago

enhancement help wanted priority:P1 wave:attention area:runtime

harsh-nod/fe2o3

0

Rust

Slice 2: attributed K-phase LDS GEMM through protected MI300X execution 19 days ago

enhancement help wanted area:runtime

harsh-nod/fe2o3

0

Rust

General LDS GEMM: protected runtime and MI300X correctness matrix 19 days ago

enhancement help wanted area:runtime

harsh-nod/fe2o3

0

Rust

Slice 1: protected source-authenticated LDS GEMM execution on MI300X 19 days ago

enhancement help wanted area:runtime

harsh-nod/fe2o3

0

Rust

Slice 4: protected Worker V2 launch and MI300X hardware evidence 19 days ago

enhancement help wanted area:runtime

harsh-nod/fe2o3

0

Rust

Slice 3: protected Worker V2 launch and MI300X hardware evidence 19 days ago

enhancement help wanted area:runtime

harsh-nod/fe2o3

0

Rust

Verification: require production certificates for Grid and Edges protected launches 19 days ago

enhancement help wanted area:verification

harsh-nod/fe2o3

0

Rust

Verification: establish Kernel IR-to-LLVM/ISA safety correspondence for LDS GEMM 19 days ago

enhancement help wanted area:verification

harsh-nod/fe2o3

0

Rust

Verification: prove attributed MIR-to-Kernel-IR semantic refinement 19 days ago

enhancement help wanted status:claimed area:verification

harsh-nod/fe2o3

0

Rust

Verification: extend attributed proof certificates to K-phase, grid, and edge GEMM 19 days ago

enhancement help wanted area:verification

harsh-nod/fe2o3

0

Rust

Verification: consume identity-bound Verus certificates during protected admission 19 days ago

enhancement help wanted area:verification

harsh-nod/fe2o3

0

Rust

Prove attributed kernel source-to-IR refinement and GPU memory safety with Verus 19 days ago

enhancement help wanted status:claimed area:verification

harsh-nod/fe2o3

0

Rust

Stabilize capability-broker concurrency tests in hosted generic CI 19 days ago

bug help wanted area:ci

harsh-nod/fe2o3

0

Rust

Coordination: stage validation batches and serialize MI300X evidence 19 days ago

enhancement help wanted area:ci

harsh-nod/fe2o3

0

Rust

Coordination: add a read-only dependency and write-set scheduler 19 days ago

enhancement help wanted area:ci

harsh-nod/fe2o3

0

Rust

Coordination: enforce machine-readable issue leases and stale-claim cleanup 19 days ago

enhancement help wanted area:ci

harsh-nod/fe2o3

0

Rust

LDS GEMM: synchronize fe2o3 parity evidence, dashboard, and status documentation 19 days ago

enhancement help wanted area:ci

harsh-nod/fe2o3

0

Rust

Compiler D7: bind V2 module bytes to Worker V2 measurement and request about 1 month ago

enhancement help wanted

harsh-nod/fe2o3

0

Rust

Compiler D7: serialize admitted handoff V2 to exact bounded LLVM assembly about 1 month ago

enhancement help wanted

harsh-nod/fe2o3

0

Rust

Compiler D7: extract complete Pliron scalar def-use graph into handoff V2 about 1 month ago

enhancement help wanted

harsh-nod/fe2o3

0

Rust

Compiler D7: execute and inspect first Pliron-derived scalar HSACO on gfx942 about 1 month ago

enhancement help wanted

harsh-nod/fe2o3

0

Rust

Compiler D7: define canonical LLVM handoff and fail-closed AMDGPU semantics about 1 month ago

enhancement help wanted status:claimed

harsh-nod/fe2o3

0

Rust

Compiler D0: adopt dialect-only pliron-llvm with LLVM closure guards about 1 month ago

enhancement help wanted status:claimed

harsh-nod/fe2o3

0

Rust

W0: authenticate static host-LLD build closure and evidence about 1 month ago

enhancement help wanted status:claimed priority:P0

harsh-nod/fe2o3

0

Rust

W0: authenticated HostLinkClosure V1 and sealed result transport about 1 month ago

enhancement help wanted status:claimed priority:P0

harsh-nod/fe2o3

0

Rust

W0: static upstream-LLVM host LLD secure execution boundary about 1 month ago

enhancement help wanted status:claimed priority:P0

harsh-nod/fe2o3

0

Rust

Verification: prove the exact attributed row-softmax contract about 1 month ago

enhancement help wanted status:claimed priority:P0 wave:softmax

harsh-nod/fe2o3

0

Rust

Shared LDS GEMM: Worker V2 load, dispatch, completion, and unload lifecycle about 1 month ago

enhancement help wanted status:claimed

harsh-nod/fe2o3

0

Rust

Shared protected LDS GEMM Worker V2 execution substrate about 1 month ago

enhancement help wanted status:claimed

harsh-nod/fe2o3

0

Rust

Shared LDS GEMM: generated BF16/F32 host adapter and admission about 1 month ago

enhancement help wanted status:claimed

harsh-nod/fe2o3

0

Rust

Shared LDS GEMM: upstream-LLVM finalizer and artifact binding about 1 month ago

enhancement help wanted status:claimed

harsh-nod/fe2o3

0

Rust

Shared LDS GEMM: sealed exact profile and descriptor registry about 1 month ago

enhancement help wanted status:claimed

harsh-nod/fe2o3

0

Rust

LDS GEMM: define one shared BF16/FP32 numerical contract and oracle about 1 month ago

enhancement help wanted

harsh-nod/fe2o3

0

Rust

Attributed #[kernel] LDS GEMM: bind authenticated source to descriptor and Worker V2 about 1 month ago

enhancement help wanted status:claimed

harsh-nod/fe2o3

0

Rust

Slice 4: lower exact tail and alpha/beta LDS GEMM through upstream LLVM about 1 month ago

enhancement help wanted status:claimed

harsh-nod/fe2o3

0

Rust

Open Issues Need Help