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.

lyxia boosted
lyxia boosted
lyxia boosted
Do you want tea or coffee?
Proof relevant reply: tea please :blobcattea:
Proof irrelevant reply: yes

Moral of the story is: use Agda instead of Coq and HoTT was a mistake.
lyxia boosted

re: #Haskell 

Show more
niu.moe

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