Gabriele Svelto

Gabriele Svelto

gabrielesvelto@fosstodon.org

Gabriele Svelto

gabrielesvelto@fosstodon.org

Old school nerd
Knows things about computers that would drive you insane
Hacks on Firefox at Mozilla
Tries to do what's best for users in spite of upper management

2024-06-05 15:40:59 2024-06-05 15:40:59 2024-06-05 15:04:36 5016883

Gabriele Svelto

Gabriele Svelto

mastodon - Link to source

Gabriele Svelto

10 months ago • •

Gabriele Svelto
10 months ago

Doing a code review today made me realize how writing safety comments in Rust is all about writing down tautologies

A snippet of Rust code manipulating dates. A safety comment above an unsafe block that takes a non-zero integer says "3 is non-zero".

#RustLang

Languages
Search Text
Share via ...

⇧