@lthms Pour le côté recherche, tu peux tenter des masters comme le MPRI, mais pour qui quelque chose de trop orienté développement a moins de chance de convenir. Sinon, je ne sais pas trop... Je crois que le master d'informatique de Rennes a une composante méthodes formelles/Coq également, mais je ne me prononce pas plus que ça dessus.

@MartinShadok Il me semble que le code est open-source, et peut donc être réutilisé par n'importe qui souhaitant organiser des élections en interne, par exemple. Dans ce cas, il n'y a pas besoin d'avoir de compte google ou facebook, c'est la personne qui organise les élections qui se charge de l'authentification des votants...

@khady @otini If the calls are tail calls, it is (I think) normal that the functions that ended with a tail call do not appear in the backtrace. However, I am unsure about how to force them to be there.

@liw Actually, this is maybe more secure than "curl | bash", because "curl | bash" can be detected server-side with the server serving a different, non-suspicious payload when the file is examined in a browser (see idontplaydarts.com/2016/04/det for instance).

There's a Minetest challenge in Google CTF 2019, where you need to solve a gigantic mesecons logic network. Here is an awesome video by @LiveOverflow: youtube.com/watch?v=nI8Q1bqT8Q

Forum topic: forum.minetest.net/viewtopic.p

#minetest #mesecons #ctf #googlectf

Earlier this month, 6 major Minetest community members travelled to CERN, Switzerland, to create Craft the Web - an educational game about the invention of the World Wide Web.

forum.minetest.net/viewtopic.p

#minetest #web30 #WorldWideWeb #opensource #gamedev #edutech

NixOS failing again at being a usable OS 

NixOS failing again at being a usable OS 

NixOS failing again at being a usable OS 

C'est quand on utilise un tout petit ordinateur comme le qu'on se rend compte qu'en fait, avec aussi *peu,* on peut faire beaucoup: dessins (j'ai suivi des tuto Inkscape), regarder des vidéos ou écouter de la musique, faire de la bureautique (LibreOffice fonctionne vraiment très bien)...

...sauf naviguer sur le web.

Là, c'est tellement LOURD et LENT que c'est carrément inutilisable.

J'ai tellement honte de ce gigantesque gaspillage de CPU pour afficher trois trucs à l'écran.

L'éducation à l'égalité passe par laisser le libre-choix aux enfants de leurs jouets et de leurs activités. En agissant ainsi, vous prenez un risque : qu'ils et elles soient équilibré-e-s, heureux-ses et confiant-e-s en leurs compétences.

Pour se faire du bien au moral, je propose une extension navigateur qui remplace « Notre-Dame » par « les services publics ».
Exemple avec ce titre de Libération : « Devant Notre-Dame dévastée, Macron appelle à rebâtir ensemble » deviendrait « Devant les services publics dévastés, Macron appelle à rebâtir ensemble ».

#MirageOS retreat field report from Gabriel Scherer fuzz-testing, network drivers, runtime optimisations #OCaml gallium.inria.fr/blog/marrakes

Serez-vous convoqués par la police si vous RT cet article?

Rennes : 5 personnes convoquées par la police pour un tweet
Comment le détournement satirique d’une affiche du gouvernement devient une « provocation à un crime ou délit »
lundi.am/Rennes-5-personnes-co

« So if given the choice of making $1 by exploiting people online, or opting to treat people ethically, the Corporation must exploit people online for the dollar, or the board of directors and executives could face a lawsuit from any shareholder that claims they did not maximize the value of their shares. »

puri.sm/posts/the-future-of-co

Afficher plus
Framapiaf

Mastodon est un réseau social utilisant des protocoles Web ouverts et des logiciels libres. Tout comme le courriel, il est décentralisé.