Units of measure in Rust with refinement types

Years ago, Andrew Kennedy published a foundational paper about a type checker for units of measure, and later implemented it for F#. To this day, F# is the only mainstream programming language which provides first class support to make sure that you will … Read more

Read full article

Similar

Rust Nation UK 2024: Renault wants to sell cars with Rust!

Car manufacturers are transforming into software development companies, mainly with the concept of 'Software-Defined Vehicle'. This raises several challenges... (more…)

Untapped potential in Rust’s type system

Today, I'm writing about what types can be used for other than checking code properties. It will involve a good chunk of dynamic typing, and yes it's in Rust. There are some wild ideas in it, so fasten your seatbelt and get ready for a ride! (more…)

Demikernel: A library OS for kernel-bypass devices, now with Rust TCP/IP stack

Demikernel OS. Contribute to iyzhang/demikernel development by creating an account on GitHub. (more…)

Rust Day on Google Open Source Live

Open Source developers, contributors, and community members are invited to connect with Google Open Source experts during monthly informational sessions. (more…)

Burn: Deep Learning Framework in Rust

BURN: Burn Unstoppable Rusty Neurons. Contribute to burn-rs/burn development by creating an account on GitHub. (more…)

Latest News

What is the difference between BI and AI？

Author granted copyright over book with AI-generated text–with a twist

Python Wrapper for Meta AI (Llama 3)