lyxia boosted
lyxia boosted
lyxia boosted

#UXTips

Pourquoi est-il préférable d'utiliser des verbes d'action sur les boutons plutôt que "Oui", "Non, "Ok" ?

Lorsque les utilisateurs lisent un verbe d'action, ils savent ce que le bouton fera. Ils peuvent agir sans lire aucun texte de support tel qu'un dialogue de confirmation.

La preuve en image, avec un bloc de texte explicatif caché, l'action reste claire avec des verbes d'action

I thought operational semantics were a straightforward way of formalizing languages, until I actually tried. I'm now drowning in operational bureaucracy. Denotational semantics are more fun.

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

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/

lyxia boosted
lyxia boosted

This thread is so creepy, every other reply is from a different Amazon account.

mobile.twitter.com/rulesobeyer

lyxia boosted
lyxia boosted

poleiro.info/posts/2019-08-06-

Makes me think of another mnemonic for subtyping: S <: T when id : S -> T is well-typed.

"Our language comes with a subtyping relation T <: S that tells when it is safe to use elements of T in a context that expects elements of S."

Show more
niu.moe

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