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.

Yes, just to add to this: in the article by Nate [0] he says that he tried to buy the IP but Disney refused because they were unhappy with some of his prior comments.

"I did approach Disney a year or two ago, through my agent, about acquiring the remaining IP. ...

We were told to basically get lost: ABC was annoyed with my critical public comments about their management of FiveThirtyEight. It apparently wasn’t a long conversation, so I don’t have a lot more color to report than that."

[0] https://news.ycombinator.com/item?id=48197703

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

That is interesting - I tried the setup you suggested and actually did see something that could be described as yellow++, with maybe a hint of gold/orange

It was also very intense, like staring into the sun. I observed this for both of the two default yellow tints that I could choose via the (Windows?) color picker

I have no idea why this would differ between individuals

Edit: link below with FFFF00 for yellow

https://dynomight.net/img/colors/generate.html?inside=0000ff...

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

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