lyxia boosted
lyxia boosted
lyxia boosted
lyxia boosted
lyxia boosted
lyxia boosted
lyxia boosted

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.

hillelwayne.com/post/metamorph

In , 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?

lyxia boosted
lyxia boosted
lyxia boosted

is a practical tool, there is only room for constructive answers, not theoretical ones.

lyxia boosted

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"

twitter.com/JulesGrandin/statu

lyxia boosted

Wild (H: 1 + a = a + 1) appears!
You use simpl! It wasn't very effecive...
Wild H uses rewrite on your (IHn: (1 + (a + 1) = a + 2))! Your IHn fainted...

I am horrified and amazed at the same time by this work of art (you probably need a computer to play this): matthewrayfield.com/goodies/in

lyxia boosted

The Deadlock Empire

Slay dragons, learn concurrency! Play the cunning Scheduler, exploit flawed programs and defeat the armies of the Parallel Wizard.

deadlockempire.github.io/

The reasonable effectiveness of the continuation monad

blog.poisson.chat/posts/2019-1

Just one or two more posts and that will have been a good month for my blog.

Show more
niu.moe

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