Bartosz Milewski @BartoszMilewski@mathstodon.xyz

"The Dao of Functional Programming"
Regularly updated work in progress. PDF on github: https://github.com/BartoszMilewski/Publications/blob/master/TheDaoOfFP/DaoFP.pdf

There are two schools of what a list can be:
1. A generalized Maybe (i.e., a "list of successes")
2. A beginning of an infinite stream (i.e., in a zip-like applicative)

Ethical diamonds don't exist. Virtually all diamonds are blood diamonds: they are used to finance wars in Africa and, recently in Ukraine. The idea that you have to buy a diamond ring to announce your love for somebody is a apartheid era marketing ploy. https://blog.hubspot.com/marketing/diamond-de-beers-marketing-campaign

L'Art Bézier

Unlike the mindless assassins who are after Salman Rushdie, I have actually read Satanic Verses when it was first published. Barbaric acts will never stop the free exchange of ideas.

Musee d'Orsay is a repurposed train station, which included a hotel and an opulent banquet hall.

By positioning Ukraine as a "brother nation," Putin became Cain to the Ukrainian Abel. In this re-enactment of the old fratricidal archetype, Russia, like Cain, is shunned among nations, as it plods ahead.

These are my meditations on Fernand Cormon's Caïn, at the Musée d'Orsay.

Charlie Hebdo publishes a homage to Grothendieck.
https://charliehebdo.fr/2022/07/sciences/alexandre-grothendieck-lequation-libertaire/

Doesn't everybody, when they're fired, raid the mailroom for office supplies, especially the boxes with "top secret" printed on them?

I bet the people around him are shills and hustlers.

I guess as long as there are marks walking the streets there will be operators bilking them out of their money.

Can you follow the bitcoin?

Parents suing each other over a compensation for their KIA son. "He only remembered he had a son when he heard about the money!"
https://zrtk.ru/article/8630

Our foster son was KIA, and all we've got is this Ukrainian refrigerator he looted.
https://www.yahoo.com/news/family-dead-russian-soldier-demanding-150839097.html

Stories from Russia uncover alien mentality. Parents bragging on TV about buying a new Lada with the "coffin money" they got for their KIA son. The horror!
https://meduza.io/en/feature/2022/07/18/their-first-trip-will-be-to-the-cemetery

Pretty impressing internet in Paris (Orange France)

Latest from Kremlin:

Abel was a Nazi and Cain went to liberate him.

Good news! My sense of smell is coming back.

More details in Awodey: https://arxiv.org/abs/1406.3219 . In particular:
"The cubical setting seems to be better suited to HoTT than the simplicial one (or the globular one). It may also be of some use in homotopy theory (cf. recent work by Jardine, Grandis, Williamson, and others)."

I love making jokes that require years of study to understand 😎