meven's blog

I have been quite interested recently with the new languages Go and rust. Go and rust have some very nice new features and their design and tooling reflects the standards of this days. So I have been hacking with go and rust.

I share this piece of rust code that solves sudoku, in the hope it will be useful to someone. It is not very much optimized as the algorithm is naive, but the purpose of this code was to get more comfortable with rust.

fn print_grid(g: [Option<i32>; 81]) {

    let mut cnt = 0;
    let mut line = 0;

    for &x in g.iter() {

        cnt = cnt + 1;

        match x {
            Some(i) => print!("{}", i),
            None => print!("_"),
        }

        if cnt == 9 {
            line = line + 1;
            println!("");
            cnt = 0;
            if line == 3 {
                line = 0;
                println!("");
            }
        } else if cnt % 3 == 0 {
            print!("   ");

        } else {
            print!(" ");
        }
    }
}

fn check_grid(g: [Option<i32>; 81]) -> bool {

    // check lines
    for x in 0..9 {
        let i = 9 * x;
        let val = [i, i + 1, i + 2, i + 3, i + 4, i + 5, i + 6, i + 7, i + 8];

        for v in 0..(val.len() - 1) {
            let valv = g[val[v]];
            if valv != None {
                for c in 1..val.len() {
                    let valc = g[val[c]];
                    if valc != None && val[v] != val[c] && valv == valc {
                        // println!("Block false at {}", x);
                        return false;
                    }
                }
            }
        }
    }

    // check columns
    for x in 0..9 {
        let val = [x, x + 9, x + 18, x + 27, x + 36, x + 45, x + 54, x + 63, x + 72];

        for v in 0..(val.len() - 1) {
            let valv = g[val[v]];
            if valv != None {
                for c in 1..val.len() {
                    let valc = g[val[c]];
                    if valc != None && val[v] != val[c] && valv == valc {
                        // println!("Block false at {}", x);
                        return false;
                    }
                }
            }
        }
    }

    // check blocks
    for x in 0..9 {
        let mut i = 3 * (x % 3);
        if x > 2 {
            i = i + 27;
        } else if x > 5 {
            i = i + 54;
        }

        let val = [i, i + 1, i + 2, i + 9, i + 10, i + 11, i + 18, i + 19, i + 20];

        for v in 0..(val.len() - 1) {
            let valv = g[val[v]];
            if valv != None {
                for c in 1..val.len() {
                    let valc = g[val[c]];
                    if valc != None && val[v] != val[c] && valv == valc {
                        // println!("Block false at {}", x);
                        return false;
                    }
                }
            }
        }
    }

    return true;
}

fn is_grid_complete(g: [Option<i32>; 81]) -> bool {
    let mut ret = true;
    for &x in g.iter() {
        match x {
            Some(_) => {}
            None => {
                ret = false;
                break;
            }
        }
    }
    return ret;
}

fn clone_grid(g: [Option<i32>; 81]) -> [Option<i32>; 81] {
    let mut new_g: [Option<i32>; 81] = [None; 81];
    for x in 0..g.len() {
        new_g[x] = g[x];
    }
    return new_g;
}


fn solve_grid(g: [Option<i32>; 81]) -> Option<[Option<i32>; 81]> {

    if is_grid_complete(g) {
        return Some(g);
    }

    for x in 0..g.len() {
        match g[x] {
            Some(_) => {}
            None => {

                let mut checked: [bool; 9] = [false; 9];

                for v in 1..10 {

                    let mut new_g = clone_grid(g);
                    new_g[x] = Some(v);

                    checked[(v - 1) as usize] = true;

                    if check_grid(new_g) {
                        match solve_grid(new_g) {
                            None => {
                                if checked == [true; 9] {
                                    // the path is a dead end
                                    return None;
                                } else {
                                    continue;
                                }
                            }

                            Some(gx) => return Some(gx),
                        }
                    }
                }

                if checked == [true; 9] {
                    // Detected a dead end
                    return None;
                }
            }
        }
    }

    return None;
}

fn parse_grid(grid_string: &str) -> [Option<i32>; 81] {
    let mut grid = [None; 81];

    let mut i = 0;
    for s in grid_string.split_whitespace() {
        match s {
            "_" => {}
            val => {
                grid[i] = Some(val.parse::<i32>().unwrap());
            }
        }
        i = i + 1;
    }

    return grid;
}

fn main() {
    let grid_string = r#"
            1 _ _   _ _ _   _ _ 3
            _ 4 _   _ _ 9   2 6 _
            _ _ _   7 _ _   _ 5 4

            _ _ _   1 7 _   9 _ _
            _ _ 2   _ _ _   6 _ _
            _ _ 3   _ 9 5   _ _ _

            2 7 _   _ _ 1   _ _ _
            _ 8 9   3 _ _   _ 7 _
            6 _ _   _ _ _   _ _ 2"#;

    let grid: [Option<i32>; 81] = parse_grid(grid_string);

    print_grid(grid);

    match solve_grid(grid) {
        Some(g) => {
            println!("Grid complete !");
            print_grid(g)
        }
        None => println!("Couldn't solve the sudoku"),
    }

}

You can just, given you have installed rust.

cargo build

Après avoir passé quatre jour à Darwin, j'ai loué avec un danois, un allemand et un néerlandais un 4x4 pour passer 5 jours dans les parcs nationaux de Kakadu et Litchfield. J'ai pas été déçu.

Kakadu était un parc que je tenais particulièrement à visiter. Et bien que l'on y est passé plus de trois jours, cela ne m'a pas paru suffisamment long pour apprécier la dimension de ce parc. Il est plus grand qu'un département français.

Le parc regorge de paysage somptueux. La faune et la flore sont magnifiques et parfois uniques au monde. Il se compose majoritairement d'un bush assez classique parsemé de termitières de diverses tailles.

Mais les parties les plus intéressantes sont les escarpements à l'est où se trouvent les chutes d'eau.

Et au nord, les zones humides qui regorgeant de vie en particulier d'oiseau. Les nombreuses rivières et billabongs hébergent les plus grands reptiles au monde, les crocodile d'eau salée, que je n'ai eu la chance que d'entrapercevoir.

C'est un bon endroit pour faire des randonnées dans le bush. C'est aussi un bon endroit pour pratiquer du off-road en 4x4 sur des pistes de gravier ou des pistes pour 4x4.

On peut y croiser dingo, wallaby, chevaux, buffles, divers iguanes et même des ânes sauvages.

Litchfield est très beau également mais moins spectaculaire et moins grand. Il a l'avantage d'être bien plus facile à visiter, puisque seuls quelques sites d'intérêt nécessite l'usage d'un 4x4.

Je suis parti à Alice Springs au Sud deux jours après être rentré à Darwin.

Le thining s'est terminé le 22 février. Ensuite, je suis parti à Childers pour attendre la reprise du ramassage de citron. J'ai du patienter deux semaines à cause du temps.

L'hôtel backpacker dans lequel je suis resté était plein de différentes nationalités, l'ambiance était très bonne.

J'ai terminé de ramasser des citrons le 9 avril brusquement, puisque l'on a appris que cela terminait la veille. Le boulot était pas trop mal. Comme c'est payé à la bin, on s'arrête pas beaucoup de travailler. Il y a juste deux désavantages on s'écorche et on se salit. On s'écorche comme les citronniers sont pleins d'épine et on se salit car les arbres sur lesquels on travaillait ont passé 4 jours sous les eaux au moment des inondations.

On avait une bonne ambiance de travail y compris avec notre superviseur.

Mais le boulot ne permettait pas d'économiser. On a travaillé qu'une seule fois une semaine complète en 5 semaines travaillées.

Puis il y a une semaine je suis parti dans un backpacker à Bundaberg pour bosser dans les mandarines. Le problème est que remplir une bin de mandarine est deux fois plus dur, les fruits étant plus petits et moins denses. De plus on ramasse non seulement par rapport à la taille du fruit mais aussi par la maturité du fruit qui se traduit par sa couleur. J'ai quitté ce boulot.

Je vais aller vers le nord mais je ne sais pas encore où. À priori Cairns.

J'ai commencé à travailler dans une ferme juste après noël, le 27 décembre. Je fais du ramassage de pastèque et du ramassage de pierre dans les champs à l'occasion. La terre est volcanique ici et les champs contiennent encore beaucoup de débris rocheux qui complique la vie des fermiers.

Le travail est dur. Levé vers 4h du matin pour commencer à 5h. On ramasse plus de 40 tonnes de pastèque par jour. Je fais équipe avec des australiens, des hollandais, des gallois et des français.

Les patrons sont très gentils et rendent le bouot plaisant. L'exploitation est tenue par deux frères, aidés par la femme d'un des deux et les fils quand ils sont en vacances. L'un des deux frères nous a prêté une maison inhabitée qu'il a récupéré et qui se situe à deux pas de chez lui. J'y habite depuis deux semaines avec les deux hollandais et deux français qui nous ont rejoins il y a deux jours.

Je voyage désormais en solo m'étant séparé de mes deux compagnons après après avoir trouver le job. Ils voulaient faire autre chose.

Il y a pas mal de balade à faire dans les environs. On se situe dans un espèce de plateau volcanique entouré par des volcans de 63 millions d'année. J'en ai visité un jeudi. Certains cratères contiennent un lac.

Bonne année, happy new year, bloavez mad

15 jours plus tard je suis toujours à Sydney mais plus pour très longtemps. Je suis sur le point d'acheter une voiture avec deux autres français et partir ensuite vers le Nord en roadtrip.

Pour frimer un peu je vais montrer quelque photos d'oiseaux australiens. C'est quelque chose que l'on remarque assez vite, il y en a beaucoup, n'importe où. Ils sont bruyant, souvent grands et beaux.

Le Cacatoès à huppe jaune. Ils sont très communs et difficiles à rater à cause de leur chant cri strident et fort qu'ils poussent n'importe quand.

Il y a des pélicans, que l'on peut trouver le long de la côte.

Il y a des échassiers de tout genre, comme ici un héron garde-bœufs (Cattle Egret en anglais).

Un oiseau au doux joli nom de Cassican flûteur. Ça ressemble à une pie.

Le Vanneau soldat (Masked Plover) fait son niz à même le sol, comme ici au milieu d'une pâture d'où la bouse...

Le Laughing Kookaburra (Martin-chasseur géant en français) est un oiseau très plaisant dont le chant est très caustique.

Je ne montre ici que les photos à peu près réussies. J'ai vu en réalité beaucoup plus d'oiseaux d'espèces différentes mais sans avoir eu le temps de prendre de bonnes photos d'eux. Il manque notamment le Loriquet à tête bleue (Rainbow Lorikeet), qui est très commun ici et très coloré comme son nom anglais l'indique.

Ces derniers jours j'ai pu visiter deux plages de Sydney. L'une près de Cronulla, n'est accessible qu'en 4x4.

L'autre, celle de Manly est une plage de surfer.

Et toujours plus de photos de Sydney :

J'ai vu ma première baleine aujourd'hui depuis le ferry qui nous menait à Manly.

Demain départ pour l'Australie.

Je suis à 18 heures du décollage à l'heure ou j'écris ces lignes.

Petite escale à Kuala Lumpur et c'est parti pour l'aventure.

Pour l'instant j'apprécie la grisaille de Paris en comptant les heures.

J'étais de passage au fosdem 2010.

On pouvait croiser des machines bizarres tels que Reprap et autre makerbot dans les stands.

Cette année je n'ai assisté que à deux conférences, mais pas des moindre.

Minix 3

La première était une conférence de Andrew Tanenbaum, père de Minix. Minix est un système POSIX compliant développé par son équipe de recherche et lui même.

La dernière version Minix 3 présente de très belles fonctionnalités en terme de fiabilité. Il est capable de détecter des plantages de driver, d'utiliser plusieurs implémentation de driver pour un même périphérique et de basculer l'usage de l'un à l'autre sans perte de données.

Il prépare comme nouvelle fonctionnalité entre autre la mise à jour du noyau sans redémarrage.

Et comme d'habitude une bonne conférence se ponctue par quelques répliques cocasses :

Licensed under BSD Do whatever you want
- Except sue us

Ou bien encore

Yes, The mascot is a racoon :
Because it is small, smart, agile
And most importantly, it eats bugs.

RockBox

La deuxième conférence à laquelle j'ai assisté était animé par un développeur derrière Rockbox, le firmware ouvert pour lecteur mp3.

C'est un projet de 8 ans, qui vise à proposer un firmware alternatif et libre pour un maximum de lecteur audio. Il s'installe sur ipod(sauf touch), archos etc...

Je l'apprécie beaucoup, l'ayant utilisé auparavant dans feu mon ipod. Il faut se rendre que la masse de travail à fournir pour supporter un seul baladeur est énorme. Le reverse engineering prend une part énorme du travail. Et la tâche se complexifie, les constructeurs corsent de plus en plus les choses.

Malheureusement j'ai manqué une conférence qui semblait forte intéressante : Scaling facebook.

Google a fait l'annonce d'une libération de code sous Licence Apache 2, de deux programmes en relation avec le protocole Wave. Cela représente au total 40 000 lignes de code de java disponible via mercurial.

1. le "Operational Transform" (OT), c'est en fait l'API de base pour le protocole Wave et son modèle.
2. un prototype de client/serveur implémentant le protocole Wave.

Le serveur est une extension du serveur XMPP openfire. Une procédure d'installation est disponible, que j'ai testé.

On se retrouve avec un serveur XMPP avec l'extension Wave et un client en ligne de commande avec des commandes tel que :

 /open     id                       open a wave given an inbox id

On retrouve les principes des waves : partage d'objet, mise à jour temps réel entre les participants.

Le client n'a pas encore qu'une fraction des fonctionnalités du client GWT, mais avec une base de code pour travailler, qui sait ce que l'on peut obtenir.

Pour le serveur, d'après le billet de google, il implémente une version plus récente du protocole que le serveur de preview wavesandbox...

Je participe cette année aux Rencontres Mondiales du Logiciel Libre J'ai eu l'occasion d'assister à la table ronde politique qui s'y tient. Cette année, elle n'accueille pas de politiques :/.

Ce n'est pas les bonnes volontés qui ont manqué, semble-t-il. Il faut croire que l'actualité des parlementaires ne permet pas à nos députés de participer au débat public, hors-hémicycle.

Ce qui est sûr, c'est que les associations, les personnes mobilisées de tout bord eux sont bien présents.

La table ronde politique accueille notamment Benjamin Bayart, le président de FDN (célèbre orateur de la conférence minitel 2.0), la chargée des affaires publiques de l'April, le porte parole de la quadrature du net et Tangi Mortier, un membre de deputesgodillots.info.

Le titre de la conférence Neutralité du Net, liberté d’expression sur Internet en dit long. Et l'actualité sur ces sujets mérite d'être débattue.

La table ronde a été ponctuée d'extraits vidéo des positions de la député Martine Billard participante active aux débats sur l'HADOPI.

Cela a permis d'illustrer la nouvelle forme de débat qui se construit avec les débats HADOPI mais qui se pré-sentait à l'époque de DADVSI. Notamment, les envois de mail, d'argumentaires, d'encouragement à leurs députés ont pesés sur les débats.

On a vu de nouveaux comportements apparaître ou une nouvelle exposition par la retransmission des débats. D'où l'initiative députés godillots, qui recense les députés expriment des opinions opposés à leur vote au nom du parti ou qui ne comprennent pas grand chose aux débats, d'où le fameux pare-feu d'open-office et autre citation croustillantes.

On a eu différents exemples des actions et résultat des différentes actions engagés par des citoyens. En particulier, d'excellentes anecdotes de députés godillots que je vous conseille. On pourra apprendre là-bas les noms des meilleurs députés joueurs de démineur et autre freecell.

La transparence des débats

Une notion qui émerge au travers de ces débats et de cette table ronde, on voit apparaître un besoin accru de transparence des débats. Il faut que les citoyens puisent suivre les débats, les prises de position de nos députés élus. Or lors de ces débats, les citoyens assistant aux débats, ont vu de nouvelles réactions apparaître. Au choix :

• le déplacement dans les tribunes des citoyens suivant les débats. Un forme de routage non neutre.
• l'interdiction des trombinoscopes en dépit des règles, (ce sont des documents parlementaires, donc autorisés par le règlement), il aura fallu l'intervention de Martine Billard pour rappeler le règlement.
• l'accès au nombre d'intervention des députés, qui n'est plus diffusé depuis peu.
• l'autorisation récente des ordinateurs dans l'hémicycle, mais sans accès au réseau.
• l'interdiction des ordinateurs pour le public assistant au débat.

Morceaux choisis

Entendu au sujet des envois des mails envoyés aux députés lors des débats : Il ne faut pas croire qu'envoyer un mail n'est pas redirigé vers / dev / null Alix Cazenave

Au sujet du déplacement du public dans les tribunes : Vous dérangez la droite, on vous met à gauche. Tangi Mortier

J'attends les tweets de Martine depuis l'hémicycle. Benjamin Bayart

La vidéo de la table ronde sera bientôt mise en ligne des formats ouverts et des licences ouvertes sur le site des RMLL.