Pinned toot

Et voilà une autre ressource qui peut être assez utile concernant les patterns en . (mais je ne l'ai pas vraiment lue)

github.com/rust-unofficial/pat

Show thread
Pinned toot

Salut bande de gens ! :rust:

Je viens de trouver un projet assez sympa sur github. L'idée est de référencer les écrits tournant autour de la façon de programmer idiomatique en .
Voilà.

De rien ! 😉

github.com/mre/idiomatic-rust

Pablo boosted
Pablo boosted
Pablo boosted
Pablo boosted

A teacher in #Mexico shows that a #bull in an area full of people will not attack anyone if it's not threatened

Pablo boosted

Est-ce qu'un nom de domaine peut être résolu en plusieurs adresses IP ?

Suite à une recherche SRV, j'obtiens trois nom de domaines à résoudre. Mais je voulais savoir si ces noms de domaines là peuvent correspondre à plus d'une adresse IP chacun.

Pablo boosted

@citizenK4te You can re-attach the pictures to a new post. If you haven't done it in about a day, they get deleted. This makes the delete-and-redraft feature work.

Pablo boosted

@Gargron

Potential mastodon bug?
If you attach pictures to a toot and you delete the toot, the toot is deleted but the attached pictures aren't and can't be deleted at all.

#bug #mastodon

Hi folks ! :rust:
I try to write a small program in that need to connect a server via DNS SRV lookup. As far as I know, the rust standard don't gives us a way to do that (maybe I'm wrong).

Do you know good to do so ?

Feel free to share my post ! 😄

Dans la série merdes avec windows 10 et une clé bootable :

Je n'arrive même pas à copier le contenu de la clé créée par Rufus avec "dd".
J'ai toujours une erreur d'entrée / sortie. J'ai beau nettoyer la partition avec ntfsfix, rien y fait...

Je suis démuni, je ne comprends pas ce qui se passe avec cette image.

Si quelqu'un ici a un jour réussi à flasher une image de windows 10 sur une clé USB sous GNU/Linux, j'accepte son aide avec plaisir.

Pablo boosted

Quand (sous Linux) vous montez une image ".iso" d'OS et que vous copiez son contenu sur une clé USB pour en faire une clé bootable, est-ce que vous vous êtes déjà retrouvés avec une partition corrompue ? 0o

Apparemment j'ai ce problème pour créer une partition NTFS bootable de windows 10... (le format de la partition saute systématiquement même en utilisant "cp")

Pablo boosted

J'ai la poisse.

AUCUN des outils ne marche avec les iso officiels de windows 10. J'ai essayé du 64 et 32 bits, de l'anglais et du traduit, et pour lemoment, ni woeusb ni cp, ni rsync, ni dd, ni balena etcher ne veut les flasher sur ma clé usb...

J'en ai raz le bol. J'avais réussi à flasher TOUS les autres OS jusque là. Du microsoft et du Linux.

Et là, windows 10 se pointe et plus rien ne va.

MEEEEEEEERDE !

Show thread

C'est vraiment devenu si dur que ça de faire une clé USB bootable de windows 10 sous Linux ? :/

Salut les informaticiens !

Je viens de faire la connaissance avec , un libre écrite en (j'ai cru comprendre qu'il existe un environnement complet). Je ne sais pas (encore) ce qu'il vaut, mais je tenais à saluer l'idée.

Voilà un lien vers son introduction :
doc.redox-os.org/book/ch01-01-

@maxlamenace curieux ? 😉

Pablo boosted
Pablo boosted
Pablo boosted

C'est juste fou de voir à quel point la méthode `collect` est puissante en Rust.
J'ai patiné sur un problème de pendant 3 bons quarts d'heures alors qu'un simple appel à `collect` suffisait. 😆

Show more
A tech savvy Mastodon

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!