@MartinShadok
:ablobcatknitsweats: Comment se termine cette histoire ?! Le mot de passe est-il toujours là ?

@haym
Sure, but it may still seem a stretch that both optimize as far as that!

This manga makes fashion so exciting: Runway de Waratte (Smile at the Runway)

fascans.com/series/rdw/

I think I'm getting the hang of universe polymorphism. Quite tedious though.

Finally the official Coq refman is at 8.9.1, lots of improvements over 8.9.0, and more to come!

coq.inria.fr/distrib/current/r

lyxia boosted

En assez bref, je ne suis pas très doué dans les activités artistiques mais j'aime bien l'info et les maths et je m'en sers pour essayer de faire des images 😅

J'ai tendance à bien aimer expliquer comment c'est fait, donc je vais probablement aussi discuter de détails techniques

lyxia boosted

#Toulouse : le mystère du nom des herbes folles sur les trottoirs est enfin résolu. (18 photos)

Derrière cette démarche utile, originale et pédagogique, deux botanistes facétieux qui ont su susciter la curiosité des passants. Une idée de génie.

positivr.fr/noms-des-plantes-t

@raichoo You added doctests to generic-data and I had forgotten about it until today :)

@MartinShadok
I'm usually surprised when I find anything in Coq :)

lyxia boosted

Have you heard of any #Coq library for alternating automata? I found it surprisingly difficult to find.

The Last Word On Nothing | Chris Arnade’s Book: Dignity

"Yet after 10 years on Wall Street I had this nagging sense that maybe the undergraduate degree in math, the PhD in physics, the days spent building math models to think about global economics – was limited, and perhaps also wrong. "

lastwordonnothing.com/2019/08/

@amiloradovsky
This is talking about the theory of subtyping though, not Coq coercions.

lyxia boosted
lyxia boosted
Show more
niu.moe

Welcome to your niu world ! We are a cute and loving international community O(≧▽≦)O !