dreijs

I have not been following recent developments, but does anyone know what the general sentiment among mathematicians is about these proofs: does it look like they hold up?

I know that at least two of the problems, the Unique Games Conjecture and Barnette's Conjecture, were very significant. It's probably too early to tell, but is there a feeling that these are now solved, or not?

I currently live in an HDB property in Singapore. It's great.

I'm originally from the Netherlands, which traditionally had a strong social housing sector: regions and cities would have their own housing corporations ('woningbouwcorporaties') tasked with building affordable housing. Those corporations were given government support after 1950 to help with the post-WW2 housing shortage, but were semi-privatized in the mid-90s, and in 2015 their scope was strongly curtailed.

It would be reductive to say that this privatization was the sole cause of the current housing crisis affecting the Netherlands -- rents and housing prices have also increased a lot in Singapore since Covid -- but it probably didn't help.

If you zoom in far enough, you can also click on the line segments representing year/subgenre combos

In Dutch, a porcupine is called a "spike-pig" (stekelvarken)

Edit: and a turtle is also a "shield-toad" (schildpad)