John Baez Ruminates

John Baez is one of those fellows virtually incapable of writing a dull post!
A couple of recent challenging ones from him; not easy reads, but interesting:

1)  This one on "surprises in logic" focuses on "a complexity barrier built into the very laws of logic," with some Chaitin, some Gödel, some Kolmogorov, some Kritchman-Raz all rolled in together, before closing out with Joel Hamkins and the "computability of incomputable functions" (also includes lots of good links):
http://math.ucr.edu/home/baez/surprises.html
(this is mainly for logicians, but generalists can find bits of interest as well)

2)  and this one, completely different, from his personal blog ("Azimuth") on "Diamonds and Triamonds" which leads to mention of one of his "favorite entities," the E₈ lattice, and closes out with 5 puzzles:
https://johncarlosbaez.wordpress.com/2016/04/11/diamonds-and-triamonds/
(again a challenging read)