Help, please! Do you know any applications of my work?

When writing an application, it sometimes help if I can point out that monads and type classes, which my research contributed to, are used to process every post on Facebook. (Via Haxl. Thanks, Simon Marlow!)

Do you know of other applications of my work? If so, please email me or list them in the comments. (You can find my email at the bottom of my home page.)

Possible example: I gather Twitter uses monads and implicits in Scala (where implicits were influenced by type classes), but it's hard to find confirmation online. Do you know whether they are used, and how heavily? (It's easier to find such confirmation for The Guardian.)

Possible example: Do you make heavy use of generics in Java? I contributed to their design.

Possible example: I gather protocols in Swift are in part inspired by type classes, but it is hard to find confirmation online. Can you point me to confirmation?

There are many other possibilities. I hope you know some I haven't dreamed of!

Many thanks for your help. Answers are welcome at any time, but would be most useful if they can be provided by 2 September 2022.

Lego + Architecture = ❤

More here, here, and here. Spotted via Boing-Boing.

Hokusai's "The Great Wave" recreated in Lego

 

Brilliant! Spotted via Boing-Boing.

Lego Certified Professional Jumpei Mitsui brought Hokusai's iconic ukiyo-e woodblock print "The Great Wave off Kanagawa" (c. 1829-1833) into the Lego realm. Marvel at this incredible work in Osaka's Hankyu Brick Museum.

BIG Plans for a Lego Museum in Denmark

Bjarke Ingels Group, the folk who wrote Yes Is More, are building a museum for Legoland in Denmark. A reason to visit Billund in 2016! Reported in the Smithsonian, spotted via Boing Boing.

The Antikythera Mechanism in Lego

Lego can simulate the past and predict the future. The video is superbly presented, as much of an achievement as the recreation itself.