Notices by Bartosz Milewski (bartoszmilewski@mathstodon.xyz)

Is my usage of subjunctive not grammatical? "we assume there *be*" has a different meaning than "we assume there *are*".

Since English is not my native tongu, I had to learn its grammar the hard way. In particular, I learned to use the subjunctive, which is probably not used in common speech. https://en.wikipedia.org/wiki/English_subjunctive

I think it's called the "mandative subjunctive." It's possible to have arrows to Void, but I demand there be no such thing.

I changed it to: "Since we have mandated that there be no arrows..." Better?

I finished the chapter on enriched categories. I think I might be done with the book. What now?!https://github.com/BartoszMilewski/Publications/blob/master/TheDaoOfFP/DaoFP.pdf

Going through old documents, I've found this message from the director of CERN. International phone calls used to be very expensive (I was collaborating with a person in Utrecht).

I'm lucky to have so many smart people following me here. But being smart doesn't make you immune to fallacies. A lot of software engineers I know fell for the libertarian fallacy...

It's true that too much government, too much regulation, too much taxation is bad. This doesn't mean that minimizing these things will solve all the problems--quite the opposite. Libertarians endulge in magical thinking...

Human societies are orders of magnitude more complex than even the most complex engineering endeavors. There is no easy fix. The solutions we have at our disposal are badly flawed, but we can't just throw them away and hope for a miracle.

When I was a kid I was so fascinated by watches, I wanted to become a watchmaker. Now you can study the intricate mechanics of a watch without breaking it.

RT @BCiechanowski@twitter.com

Mechanical Watch – https://ciechanow.ski/mechanical-watch/

????????: https://twitter.com/BCiechanowski/status/1521870899380584449