Chess implemented entirely in the Rust and TS type systems. - GitHub - Dragon-Hatcher/type-system-chess: Chess implemented entirely in the Rust and TS type systems. (more…)
Read more »
Advanced type systems that enforce various correctness and safety
guarantees--such as linear and ownership types--have a long history in the
Programming Languages research community. Despite this history, a
human-centered evaluation of these type systems ... (more…)
Read more »
Let’s build the Rust Blockchain community together! Since the first publication of the Rust in Blockchain newsletter, I have been receiving great feedback — people are excited about the… (more…)
Read more »
The fastest code-first workflow automation engine. TypeScript-native, AI-ready, 98% faster than n8n/Zapier. Built with Rust + Bun. - dali-benothmen/cronflow... (more…)
Read more »