Bromind @Bromind@framapiaf.org

Que l'on vienne me dire que le capitalisme conduit vers la meilleure société : https://www.lemonde.fr/televisions-radio/article/2019/01/11/amazon-vendeur-de-destruction-massive_5407944_1655027.html

Il m'a quand même fait rire, hier, le gars qui commence à me parler de cohabitation cycle/voiture pour justifier le fait qu'il était garé sur la piste cyclable.

La découverte du jour : dans une bolognaise, mettre du fenouil plutôt que du celeri :-)

Pourquoi quand tu t'inscris chez free, on te demande ton genre, si c'est pour faire ça ensuite dans les mails ?

(Et manifestement, fuck l'accent grave sur le premier « e » de « Chère »)

Le saviez-vous : l'ordonnance de Villers-Cotterêts (qui a bientôt 500 ans) est le plus vieux texte toujours en application en France.

https://www.legifrance.gouv.fr/affichTexte.do?cidTexte=LEGITEXT000006070939&dateTexte=20180204

C'est aussi aujourd'hui seulement que le conseil d'état a daigné commencer à l'appliquer.

https://www.lemonde.fr/police-justice/article/2019/01/02/ultra-petita-irrepetible-considerant-la-justice-administrative-simplifie-son-vocabulaire_5404477_1653578.html

Les annonces Le bon coin, parfois ça vaut de l'or :-)

Quand tu ne sais plus comment être opportuniste...
https://www.lemonde.fr/politique/article/2018/12/27/florian-philippot-depose-la-marque-les-gilets-jaunes_5402730_823448.html

Bon, j'ai enfin mis ma roue d'hiver (moyeu dynamo plutôt que dynamo qui frotte sur le pneu).

J'ai vu passer dans l'aprèm le lien vers la death letter d' @aeris et là je viens de recevoir de la pub de Canal+ (à laquelle, naturellement, je n'ai jamais souscrite).
Coïncidence ? Je ne crois pas...

Je viens de finir le plus gros fixpoint que j'ai écrit de ma vie en Coq : 350 lignes, ~3 semaines de travail cumulé je pense (à la louche)

Je découvre que sur leboncoin, il y a des gens qui vendent des Routens avec, dans la description, un truc dans le genre : « Parfait pour en faire un fixie ».

Mais le gars, c'est quoi le problème avec vous quoi ? Si vous voulez faire vos putains de hipsters avec des fixies à la con, prenez au moins des vélos de merde. Ne prenez pas des vélos d'interêt historique. C'est limite détruire Versailles pour récupérer les pierres pour faire du béton avec...

Cherchez l'erreur :

(source : https://leveloquimarche.fr/index.php/2018/11/21/ca-marche-rue-du-general-mangin-mais-peut-mieux-faire/ )

Je propose de renommer la tactique `simpl` : elle vient de me faire passer d'un terme de 850 lignes à un terme de 3500 lignes...

C'est quoi la taxe digitale ? À chaque fois qu'on utilise ces doigts, on paie ?
https://www.lemonde.fr/economie/article/2018/12/04/la-malediction-des-impots-europeens_5392385_3234.html

@Papp Lemme et Théorème ont des preuvent (ils ont le même statut, mais on distingue pour mettre en valeur les étapes intermédiaires et le resultat final).
Corollaire : Cas particulier d'un théorème (e.g. le théorème « Un rectangle a 4 angles droits » a pour corollaire « Un carré a 4 angles droits »)
Propriété : un fait qui peut être vrai ou faux (« Ce quadrilatère a 4 angles droits »).
Proposition : un truc qu'on pense vrai, mais sans preuve (souvent, on le prouvera ou le réfutera plus loin).

Il y a quasiment 1 an jour pour jour (enfin, à 2 semaines pret), je me faisais voler un vélo Routens en super état, comme neuf, qu'on m'avait offert.

Maigre compensation, j'ai aujourd'hui pu acheter un autre Routens. En moins bon état et plus récent. J'ai hésité environ 0.4 secondes avant de l'acheter. Ça ne remplacera pas le précédent, mais ça reste un bon vélo.