Hacker News · 运维与安全
Show HN: Kore – Stack based language where compiler is the reward function
I built a stack-based programming language in Rust with Cranelift JIT, SPIR-V GPU backend. Kore has ~140 tokens and 142 opcodes. Programs are sequences of stack operations — push values, apply functions, compose by concatenation. There's a proof checker that statically verifies stack effects and a capability system that gates side effects. How I got here: I…
SOURCE-DECLARED INSTALL
Open the public source page ↗MEDIA REFERENCES
Captured in public view
CONTEXT
Why it is here
I built a stack-based programming language in Rust with Cranelift JIT, SPIR-V GPU backend. Kore has ~140 tokens and 142 opcodes. Programs are sequences of stack operations — push values, apply functions, compose by concatenation. There's a proof checker that statically verifies stack effects and a capability system that gates side effects. How I got here: I…
REFERENCES
Linked evidence
Evidence updated 2026-08-16T10:41:36Z. Interaction numbers are platform-native snapshots; the evidence panel records the metric source and observation time. NULL means the public page did not expose a number at collection time.