Topics /

Programming Languages

The most popular blog posts about programming languages on Hacker News. 126 posts.

2023
65

Mypy 1.6

We’ve just uploaded mypy 1.6 to the Python Package Index ( PyPI ). Mypy is a static type checker for Python. This release includes new fe...

69

General Availability of the AWS SDK for Rust

We’re excited to announce that the AWS SDK for Rust is now generally available and supported for production use. The AWS SDK for Rust provides an idiomatic, type-safe API, along with the benefits of the Rust language such as performance, reliability, and productivity. The SDK supports modern Rust language features…

72

Emitting Safer Rust with C2Rust

In this post, we will discuss recent results from Immunant and Galois in extending C2Rust to emit memory-safe Rust in certain cases. With this work we aim to shift a meaningful part of the translation burden from the human to the machine. Up until now, C2Rust has only been able to translate C to unsafe Rust that is no…