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."

lyxia boosted

pls remember that there is a tiny pixel kitten who likes you and believes in you when you are having a hard time :blobcatheart:

Mtac2 looks fun. Exceptions, nontermination, and pattern-matching with arbitrary terms as patterns, in Coq.

lyxia boosted
lyxia boosted

It looks like selenium is a thing.

Are there tools to keep track of visual changes from and refactoring?

lyxia boosted

@tA @turion
Ookaay... So, I read "15 lines of Bach" at the first glance, and then get stuck for five minutes trying to remember a composer named Haskell.

I just updated the tutorial to "Roll your own bot" on the wiki to use a modern version of the network library. Making bots is a nice way to start learning about networking!

wiki.haskell.org/Roll_your_own

lyxia boosted

Today I completed the secret quest "talk to Matthieu Sozeau" to learn the skill "understand universes (novice)".

This year I'm going to learn how to debug universes inconsistencies. :blobcatread:

lyxia boosted
lyxia boosted
Show more
niu.moe

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