▽ Azimuth ●11/18 18:00 ASKAP J1935+214817 November, 2024MeerKAT is an amazing array of 64 radio telescopes in South Africa. Astronomers want to expand this to the Square Kilometer Array, which will actually consist of thousands of telescopes in South Africa and Australia. But it’s already seeing great stuff. For example, this June they found a weird thing that flashes like a pulsar, but extremely slowly: roughly o
▽The n-Category Café ●11/16 03:58 n-Categoryの人達 November 15, 2024Axiomatic Set Theory 9: The Axiom of ChoicePosted by Tom LeinsterPreviously: Part 8.It’s the penultimate week of the course, and up until now we’veabstained from using the axiom of choice. But this week we gorgedon it.We proved that all the usual things are equivalent to the axiom of choice: Zorn’s lemma, thewell ordering principle, cardinal comparability (given two sets,
▽Bertrand Meyer's technology blog ●11/15 14:49 Category: Policy, Politics | 3 CommentsThe path wrongly taken (3)Jim Plamondon: Bertrand, I respectfully beg to differ. Trump’s election is very much like that of Andrew...
