"The Dao of Functional Programming"
Regularly updated work in progress. PDF on github: https://github.com/BartoszMilewski/Publications/blob/master/TheDaoOfFP/DaoFP.pdf
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
Charlie Hebdo publishes a homage to Grothendieck.
https://charliehebdo.fr/2022/07/sciences/alexandre-grothendieck-lequation-libertaire/
I guess as long as there are marks walking the streets there will be operators bilking them out of their money.
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
RT @ChantalMachabee@twitter.com
Pour mes amis bilingues! 😂 😘
🐦🔗: https://twitter.com/ChantalMachabee/status/1514668483983912966
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)."
Physicist, programmer (Haskell, C++), mathematician, category terrorist, I mean tourist, I mean theorist. Author of Category Theory for Programmers.