Pinned toot

Ce week-end, j’ai eu l’honneur de pouvoir faire équipe avec deux amis au concours de programmation compétitive où nous avons représenté l’université de Montpellier. Il était organisé par Telecom Paris sur leur nouveau campus de Palaiseau au sud de Paris. Pour cette troisième participation à l’épreuve, nous sommes parvenus à nous hisser à la 45ᵉ place parmi les 95 équipes concourantes.

So this morning, I was a bit frustrated with my Vim setup and decided to wipe it a bit and start over. I did some hard checks against defaults in Neovim and things I caught myself needing to use. That resulted in git.jacky.wtf/me/vimrc/src/bra (also on GitHub but eh). I think that it’s light enough for anyone to use! Willing to help people who want to get into making Vim work for them too tbh (v2.jacky.wtf/post/a031f2ce-6cf)

You, a coward: Python doesn't have a switch statement

Me, a modern-day Galileo:

Introducing Inkscape 1.0! After a little over three years in development, we're excited to launch this long-awaited version for Windows and Linux (and the macOS preview) Watch the release video (inkscape.org/release-video-1-0) and download it here: inkscape.org/release/inkscape-

Note: If the download link doesn't work, check back a little later. The files are being propagated across our CDN.

🔴🚨 Un sondage annonce que la côte de popularité de Macron a "bondi" à ...51%
Sachant que le sondage n'a été effectué QUE sur 917 personnes il serait plus realiste d'avoir une vue plus globale en repondant à CE sondage
Êtes vous satisfait de la politique de MACRON
A RT au max

ANNONCE : nous n'avons pas besoin que les institutions/entreprises qui utilisent nos services nous donnent des sous. Si elles ont des moyens, merci de les inciter à installer ces mêmes services sur leurs propres serveurs.
framacloud.org/fr/cultiver-son

C’est bête mais je trouve ça réconfortant de mettre un visage sur un scientifique alors qu’on se concentre souvent uniquement sur ses productions. Il y a quelque chose de déshumanisant à mentionner uniquement le nom des chercheur·ses dont on cite les travaux.

Show thread

Edsger Dijkstra, pionnier de la recherche sur les systèmes distribués et auteur du fameux algorithme de calcul de plus court chemin, en 1969 à une conférence de l’OTAN sur l’ingénierie logicielle.

(Voir homepages.cs.ncl.ac.uk/brian.r.)

Sachez que vous n’avez pas le droit de participer à des concours organisés par Google si vous résidez en Iran, en Corée du Nord, en Syrie…

…ou au Québec.

Sans m’être plongé en profondeur sur le sujet, j’ai l’impression qu’il serait possible de faire au moins quelque chose de déclaratif. Si chaque paquetage déclarait ses pré-requis et ses incompatibilités, potentiellement avec un système de versionnage, on pourrait avoir une commande qui fait un tri topologique pour charger automatiquement les paquetages dans le bon ordre.

Show thread

Ce qui me chiffonne avec , c’est l’absence de gestion automatisée des dépendances entre les paquetages.

C’est la source de bien des maux : il faut prendre du temps pour analyser, parmi ceux qu’on utilise, qui a besoin d’être chargé avant l’autre ; il faut se souvenir des incompatibilités ; et un document peut être cassé seulement en changeant l’ordre des paquetages.

Ce qui est assez contre-intuitif ! Le nom “usepackage” ne traduit pas le fait que l’ordre d’utilisation est important.

#FediverseMetrics #MastodonPolls
To all #Mastodon / #Fediverse users:

On which continent are you?
Sur quel continent êtes-vous ?
Auf welchem Kontinent sind Sie?
¿En qué continente estás?
Em que continente você está?
あなたはどの大陸にいますか?
في أي قارة أنت؟
На каком вы континенте?
您在哪个洲?
In quale continente ti trovi?
Na jakim jesteś kontynencie?
आप किस महाद्वीप पर हैं?
Je! Uko bara gani?
در کدام قاره هستید؟
어느 대륙에 있습니까?
Sur kiu kontinento vi estas?

Le numérique carbure au charbon. À lire dans le numéro de mars, en kiosques. monde-diplomatique.fr/2020/03/

La dernière mise à jour d’uBlock Origin (sur Firefox au moins) demande une nouvelle permission, «DNS».

Cette permission permet de bloquer une nouvelle forme de surveillance «inbloquable» (qui est née en France, cocorico):

github.com/uBlockOrigin/uBlock

J’ai profité de cette belle après-midi pour visiter Bellecour, le Vieux- et arpenter la colline de Fourvière, lieu de fondation de la ville en −43.

We have ourselves a winner in the 2nd Programming Language World Championships! #plwc2020

Congratulations to Python, which was able to defend its title in a narrow 55 - 45 victory over C.

Third place goes to Rust with a convincing 68 - 32 against Lua.

Thank you to everyone who participated in the polls! See you next year for the third edition!

#2268 "Further Research is Needed" 

A lot of people are confused by git. Most of these people, I reckon, learned it from the outside in - from the command-line interface down. If you started with git by asking "how do I sync up my changes with my peers", then you might get the answer, but you will be missing the foundation on which that answer is built. This is the main source of confusion with git.

The better way is to learn git from the inside out. You should first learn about what objects are and how they're stored and identified, and how they relate to each other. You should learn what blobs, trees, and commits actually are, and how they relate to each other, and how commits form a linked list from which a graph of all objects can be derived.

Then you should learn how the ref database gives friendly names like "master" and "feature/foobar" to objects, and how the reflog tracks changes to references over time.

THEN, and only then, should you learn how to use the CLI. Then you can learn about using the staging area to add objects to the database and create commits, and how doing this updates the reflog.

Git makes total sense when you approach it from this angle. Supposedly hard tools like git rebase are totally understandable when you view them with the appropriate foundational knowledge.

Git is a tool which you will reach for hundreds of times a day, every day, for your entire career. Maybe it's worth learning about properly.

Show more
Social

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