Bon vu que j'ai un max de temps (confinement + je touche plus à Plume), je cherche un super projet pour m'occuper, donc si vous avez des idées d'applications en Rust, Vala ou C (éventuellement Python ou JavaScript aussi) qui ont besoin de contributeurs, je prends.

J'avais pensé à Glimpse, Akira, ou GNOME Twitch, mais je sais pas ce qui serait le plus « utile ». Aussi il faudrait que je passe un peu de temps pour fixer UserTest parce qu'en l'état c'est inutilisable…

Maintenant faut arriver le classer correctement dans les résultats Google de la recherche "inf201 uga", parce que le but c'était de faire un cours mieux que celui proposé par l'UGA de base (c'est pas dur, il est vraiment horrible ce cours)

Show thread

Sinon, mon cours d’OCaml est officiellement complet !

Il est dispo ici si vous voulez le lire : ocaml.gelez.xyz/

Ça couvre toutes les bases du langage : les fonctions, les types de base, la création de types, la récursivité, le polymorphisme, l’ordre supérieur, la curryfication, le type list, et les arbres. Bref pas mal de trucs pour découvrir tout l’aspect fonctionnel du langage.
Le tout avec des petits quiz interactifs et des exercices corrigés pour chaque chapitre.

Du coup si vous voulez apprendre le OCaml (qui est un langage fonctionnel assez abordable à mon avis) je pense que c’est une bonne introduction en français (enfin j’espère).

Et c’est sur GitHub aussi, si jamais vous trouvez une faute ou si vous voyez un truc à améliorer : github.com/elegaanz/cours-ocaml/

OK, so it does exist.

Now, another question: why isn't it standard?? Why everyone keeps working with files???

Show thread

A question that I have been asking myself for the past weeks : is there any (experimental or not) operating system which doesn't have a "file system" as we often imagine it (with folders and files, and so on), but just stores structured data directly on the disk? And then apps have syscalls to query this data. Like, the OS becomes a big structured database ?

C'est plus possible d'avoir un chat "public" (genre on peut parler même sans compte) sur Picarto ?

Le but était de proposer un cours mieux que celui qu'on a à la fac de Grenoble, parce que les profs sont en train de dégouter tout le monde, et la plupart des gens flippaient de foirer cette UE tellement ils comprenaient rien

Show thread

Du coup, mon cours d'OCaml est plus ou moins fini, dans le sens où je parle de tout ce qu'on a vu en amphi jusqu'à présent.

Donc si vous parlez français et que vous avez envie d'une introduction au langage (qui est plutôt cool pour apprendre la programmation fonctionnelle je pense), c'est par ici : ocaml.gelez.xyz/

Et les sources sont sur GitHub : github.com/elegaanz/cours-ocam

Si vous avez des remarques/questions, hésitez pas !

Voilà 🐫🐫🐫

Les gens qui font des en dehors de Grenoble, vous faites quoi concrètement, parce que des fois je sais pas forcément quoi proposer comme atelier (pas qu'on soit obligé d'en proposer, mais juste c'est bien d'avoir des idées) ?

Rust 

encore moi qui parle de mes projets d'info yay 

je viens de tomber sur ce jeu par hasard et ça a l'air sympa, il y a des gens qui ont testé ? molleindustria.itch.io/democra

Ok j'ai une question très importante : comment vous appelez ça ? (c'est de la bouffe d'où le CW)

Pipou Academy

FR : Ceci est une instance queer, qui vise à être aussi confortable et safe que possible. Nouvelleaux élèves bienvenu'es !
EN : This is a queer instance, who aims to be as comfy and safe as possible. New students welcome !