Metamorphic testing is a method for finding properties of functions amenable to automated testing: find simple relations between inputs that map to simple relations between outputs. It's a simple but powerful idea around which to structure testing.
In #Coq, types and propositions, programs and proofs, all use the same syntax. But proving a proposition and implementing a program are still different activities. We can give orders or recite poetry in English, but are orders and poems the same because they share the same language, sometimes even the same sentences?
#Coq is a practical tool, there is only room for constructive answers, not theoretical ones.
Au bon tweet cartographique (avec la France en exemple) :
"Le cartographe hongrois Robert Szucs a fait une série de cartes sur les bassins versants : chaque fleuve a une couleur qui lui est propre et le résultat est juste 😍 à toutes les échelles"
I am horrified and amazed at the same time by this work of art (you probably need a computer to play this): https://matthewrayfield.com/goodies/inspect-this-snake/
The Deadlock Empire
Slay dragons, learn concurrency! Play the cunning Scheduler, exploit flawed programs and defeat the armies of the Parallel Wizard.
A monad is just a submonad of the continuation monad, what's the problem? #haskell
The reasonable effectiveness of the continuation monad #haskell
Just one or two more posts and that will have been a good month for my blog.