A bit over a year ago, I wrote some notes on a “smaller Rust” - a higher level language
that would take inspiration from some of Rust’s type system innovations, but would be simpler by
virtue of targeting a domain with less stringent requirements for user... (more…)
Read more »
Each evening after the kids are asleep, I load up some music and decide what I want to work on next. If I’m feeling visual, I load Blender… (more…)
Read more »
RPC over mezzenger transports. Contribute to zduny/zzrpc development by creating an account on GitHub. (more…)
Read more »
🤱🏻 Turn any webpage into a desktop app with Rust. 🤱🏻 利用 Rust 轻松构建轻量级多端桌面应用 - GitHub - tw93/Pake: 🤱🏻 Turn any webpage into a desktop app with Rust. 🤱🏻 利用 Rust 轻松构建轻量级多端桌面应用... (more…)
Read more »
Recently, @withoutboats challenged me to demonstrate a hypothetical version of Pin with different guarantees, and show how it would be sound. However, while working on that, I stumbled upon unsoundness in the actual Pin. I haven't seen this reported bef... (more…)
Read more »