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

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

First screen, captured 1 year ago.

Looks similar

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: You Need Subtyping

You Need Subtyping (blog.polybdenum.com)

64 points by speckx 1 year ago | 68 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: 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

Screenshot of microsoft.github.io: TypeChat

TypeChat (microsoft.github.io)

482 points by DanRosenwasser 3 years ago | 145 comments

Microsoft blog post introducing TypeChat, an experimental library that uses TypeScript type definitions to get type-safe structured responses from LLMs.

typechat typescript llm microsoft

Screenshot of kobzol.github.io: Compiling Rust Is Testing

Compiling Rust Is Testing (kobzol.github.io)

50 points by ingve 2 years ago | 38 comments

Looks similar

Subtype Inference by Example(blog.polybdenum.com)

You Need Subtyping(blog.polybdenum.com)

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

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

TypeChat(microsoft.github.io)

Compiling Rust Is Testing(kobzol.github.io)