lipsum.dev

Maths et applications, avec les mains et avec du code 💻

[lipsum.dev @LipsumD]

@GillibertLuc @pbeyssac @MonsieurPhi Peut-être, mais là aussi il restera un minimum de relecture, notamment pour s'assurer que le problème est formalisé correctement.

[lipsum.dev @LipsumD]

👨‍💻▶️ Implémentation interactive ET certification d'un algorithme de tri (quicksort) avec Lean.

https://t.co/QvryUGYnjM

[lipsum.dev @LipsumD]

J'ai enregistré des vidéos issues de mon apprentissage de Lean et de la théorie des types. J'essaie d'y introduire les concepts par l'exemple plus que par la théorie (j'espère que les experts en théorie des types supporteront mes approximations).

https://t.co/OX7JXgEh7M

[lipsum.dev @LipsumD]

@lorel_sg Faudrait arrêter de copier sur les informaticiens théoriciens https://t.co/rZAvnpyS2v

[lipsum.dev @LipsumD]

@lorel_sg Faudrait arrêter de copier sur les informaticiens théoriciens https://t.co/rZAvnpyS2v

[lipsum.dev @LipsumD]

@VictorTaelin @ylecun @cyberSM7 In which sense do biological neurons learn by a discrete, non-differentiable process?

I would not qualify Hebbian learning as such, but maybe I've misunderstood something.

[lipsum.dev @LipsumD]

Là ça va trop loin !

[Anthony Bonato @Anthony_Bonato]

One sure way to scare people this Halloween

[lipsum.dev @LipsumD]

@apokrif1 Ce sont les conventions employées dans la thèse https://t.co/9ueFd6YpFL qui accompagne le logiciel SMCDEL.

[lipsum.dev @LipsumD]

@apokrif1 L'opérateur K? est le «knowing-whether operator» qui signifie que l'agent connaît la valeur de vérité de la proposition (vraie ou fausse).
L'opérateur K sans le ? signifie que l'agent sait que la proposition est *vraie*, ce qui est différent (et plus fort).

[lipsum.dev @LipsumD]

@apokrif1 Merci de votre retour, j'ai désactivé le module de commentaire qui était cassé suite à une mise à jour de mon hébergeur et qui de toute façon n'était pas bien utile (on pourra toujours commenter sur les RS).

[lipsum.dev @LipsumD]

@antoineducros @gro_tsen Il faudrait aussi réconcilier cela avec la volonté de mettre en place des quotas H/F dans certaines filières de l'enseignement.

[lipsum.dev @LipsumD]

@Compagnondebad La logique peut nous apprendre des choses sur le comportement de certains programmes informatiques vus comme des objets abstraits. On pourra ensuite le constater sur un ordinateur qui est bien un objet du monde réel.

[lipsum.dev @LipsumD]

@LauraDeming You might enjoy Needham's perspective here https://t.co/KjANmoljkg (his books are also quite visual, although not about group theory specifically)

[lipsum.dev @LipsumD]

C'est ce genre de procédés qu'a utilisé David S. Goodsell dans son magnifique petit livre illustré « The Machinery of Life » que je recommande vivement https://t.co/IabWYOGfNn (de nombreuses autres images sont visibles sur son site).

[lipsum.dev @LipsumD]

Ci-dessous, une connexion synaptique entre une cellule nerveuse et une cellule musculaire. On peut distinguer en haut des vésicules contenant des neurotransmetteurs.

[lipsum.dev @LipsumD]

Les molécules représentées étant plus petites que les longueurs d'onde du visible, elles sont distinguées par des méthodes de type cristallographie à rayons X, puis les couleurs sont ajoutées.

[lipsum.dev @LipsumD]

Deux idéologues sont sur un bateau, l'un avec le soutien populaire et l'autre avec le soutien financier. Lequel tombe à l'eau ?

[Gabriel Zucman @gabriel_zucman]

Bonjour M. Bernard Arnault, la fébrilité n’autorise pas la calomnie.

Les milliardaires ne paient pas ou presque d’impôt sur le revenu et 86% des français ont raison de vouloir mettre fin à ce privilège 🧵

https://t.co/WbtjKI30Q6

[lipsum.dev @LipsumD]

Enfin, sur le « vous le savez parfaitement » je ne sais pas, l'incompétence n'est jamais à exclure et c'est souvent l'explication la plus simple @ColmezPierre

[lipsum.dev @LipsumD]

Il a raison !

[Pierre Colmez @ColmezPierre]

@gabriel_zucman Pourquoi utilisez-vous cette comparaison absurde ? Vous pouvez comparer la part du patrimoine des 500 au patrimoine total, ou bien le revenu au PIB, mais ce que vous faites n'a aucun sens (comme vous le savez parfaitement...).

[Lorel @lorel_sg]

Bah elle a raison