What would it take to add refinement types to Rust? (yoric.github.io) | HN Screenshots

YHacker Newsscreenshots

Screenshot of yoric.github.io: What would it take to add refinement types to Rust?

First screen, captured 1 year ago.

Looks similar

Screenshot of yoric.github.io: A Few Words About Async

A Few Words About Async (yoric.github.io)

57 points by vinhnx 11 months ago | 18 comments

Screenshot of kobzol.github.io: Adding runtime benchmarks to the Rust compiler benchmark suite

Adding runtime benchmarks to the Rust compiler benchmark suite (kobzol.github.io)

107 points by lukastyrychtr 3 years ago | 26 comments

Screenshot of bd103.dev: C for Rust programmers

C for Rust programmers (bd103.dev)

154 points by xyproto 18 days ago | 161 comments

A blog post by a programmer who learned Rust first, listing surprising details and quirks of C for Rust programmers learning the language.

c rust systems-programming language-quirks

Screenshot of steveklabnik.com: Is Rust faster than C?

Is Rust faster than C?(steveklabnik.com)

271 points by vincentchau 9 months ago | 307 comments

Screenshot of openui.com: We rewrote our Rust WASM parser in TypeScript and it got faster

We rewrote our Rust WASM parser in TypeScript and it got faster (openui.com)

271 points by zahlekhan 7 months ago | 176 comments

Screenshot of blog.lucasholten.com: Safe relational database queries using the Rust type system

Safe relational database queries using the Rust type system (blog.lucasholten.com)

264 points by lukastyrychtr 1 year ago | 145 comments