YHacker Newsscreenshots

blog.polybdenum.com on Hacker News

7 stories on the front page, newest first. Scroll down to watch the site change over time.

Screenshot of blog.polybdenum.com: The inconceivable types of Rust: How to make self-borrows safe (2024)

The inconceivable types of Rust: How to make self-borrows safe (2024)(blog.polybdenum.com)

102 points by birdculture 11 months ago | 17 comments

Screenshot of blog.polybdenum.com: X Design Notes: Unifying OCaml Modules and Values

X Design Notes: Unifying OCaml Modules and Values (blog.polybdenum.com)

23 points by todsacerdoti 1 year ago | 0 comments

Screenshot of blog.polybdenum.com: Subtype Inference by Example

Subtype Inference by Example (blog.polybdenum.com)

18 points by azhenley 1 year ago | 4 comments

Screenshot of blog.polybdenum.com: Designing type inference for high quality type errors

Designing type inference for high quality type errors (blog.polybdenum.com)

61 points by PaulHoule 1 year ago | 13 comments

Screenshot of blog.polybdenum.com: You Need Subtyping

You Need Subtyping (blog.polybdenum.com)

64 points by speckx 1 year ago | 68 comments

Screenshot of blog.polybdenum.com: Four limitations of Rust's borrow checker

Four limitations of Rust's borrow checker (blog.polybdenum.com)

167 points by todsacerdoti 1 year ago | 136 comments

Screenshot of blog.polybdenum.com: Identifying Rust's collect:<Vec<_>>() memory leak footgun

Identifying Rust's collect:<Vec<_>>() memory leak footgun (blog.polybdenum.com)

161 points by muglug 2 years ago | 96 comments