### So it goes

1. The political movement which proposes e-government in Italy has just announced that a vote conducted by them has been hacked, and must be repeated with tighter security.

2. Tim Gowers has conducted an experiment on his readers by asking them to comment on some mathematical proofs, without first informing them that some of the proofs were written by his computer program.

3. The project to use toposes as bridges in Mathematics, Physics, Computer Science, Linguistics and Philosophy continues to receive publicity.

4. The Bulletin of the American Mathematical Society has an article on the Cobordism Conjecture in which the notion of category is defined, but functors are renamed as homomorphisms. Infinity categories are not defined. The words theorem and definition are (explicitly) used in a new sense. The bibliography is (practically) disjoint from that of Ross Street's article, An Australian conspectus of Higher Category Theory.

5. Tim Gower's blog now has a link to another blog called "Stop Timothy Gowers! !!!" in which blog it is stated that the Green-Tao paper about arithmetic progression of primes is not really about prime numbers.

6. The "ten greatest living Italian scientists", Edoardo Boncinelli, Enzo Boschi, Sergio Carrà, Giulio Giorello, Marino Golinelli, Margherita Hack, Danilo Mainardi, Piergiorgio Odifreddi, Luigi Luca Cavalli Sforza, and Umberto Veronesi , have been interviewed on a television programme.

7. Fact or fantasy? Taken at random from a physics blog: 380,000 years after the Big Bang, the Universe cooled down enough for protons and electrons to settle down and combine into hydrogen atoms.

8. One of the programming language most commonly taught to computer science students has multiple vulnerabilities according to the US Department of Homeland Security (March 2013).

9. The Princeton Companion to Mathematics has just over two pages devoted to Category Theory of its thousand pages.

2. Tim Gowers has conducted an experiment on his readers by asking them to comment on some mathematical proofs, without first informing them that some of the proofs were written by his computer program.

3. The project to use toposes as bridges in Mathematics, Physics, Computer Science, Linguistics and Philosophy continues to receive publicity.

4. The Bulletin of the American Mathematical Society has an article on the Cobordism Conjecture in which the notion of category is defined, but functors are renamed as homomorphisms. Infinity categories are not defined. The words theorem and definition are (explicitly) used in a new sense. The bibliography is (practically) disjoint from that of Ross Street's article, An Australian conspectus of Higher Category Theory.

5. Tim Gower's blog now has a link to another blog called "Stop Timothy Gowers! !!!" in which blog it is stated that the Green-Tao paper about arithmetic progression of primes is not really about prime numbers.

6. The "ten greatest living Italian scientists", Edoardo Boncinelli, Enzo Boschi, Sergio Carrà, Giulio Giorello, Marino Golinelli, Margherita Hack, Danilo Mainardi, Piergiorgio Odifreddi, Luigi Luca Cavalli Sforza, and Umberto Veronesi , have been interviewed on a television programme.

7. Fact or fantasy? Taken at random from a physics blog: 380,000 years after the Big Bang, the Universe cooled down enough for protons and electrons to settle down and combine into hydrogen atoms.

8. One of the programming language most commonly taught to computer science students has multiple vulnerabilities according to the US Department of Homeland Security (March 2013).

9. The Princeton Companion to Mathematics has just over two pages devoted to Category Theory of its thousand pages.

Labels: category theory, Italy, Science