I am not from the math field, but heard a couple of days ago a talk in which Lean was part of it. As far as I understand Lean is used to proof assist these theorems (please correction my wording, if necessary) which is also mentioned in the text. As an AI skeptic I still am with you, we need to proofread it. Therefore I would like to know how much of an assistance Lean is in these proofs.

Granny worked as a florist, not her own shop though. She had incredible strong hands.

As a pupil I did a work experience day in the shop. It was really chilly (Germany usually has not Air Con), we consistently had to clean the floor in the back room to not slip on the leaves, it was tiny in there and we were four people. I got to wash a fake flower decor and rearrange it for a doctors office. That was nice.

This is one of the collabs I really wanted to see. Watch it on nebula!

This book is heavy. I had the paperback version and for a fiction read it is massive. I prefer paperbacks to carry around but if you want to keep it to flex take the hardcover

Thank you for the great short story.

ALttP was my first Zelda on my SNES. The N64 was already released but I had a SNES. I had never played a isometric game before. I loved it. Just this May I played it again on the Anbernic travelling Europe by train. In my memory it took me month to beat. The internet was already there but it wasn’t on my mind to search for help in the early 2000s. I enjoyed the replay. 10/10.

I love the concept. I love the layout but I couldn’t finish it. I appreciate the concept from afar and will watch a video assay about it in the future.

I started to follow her after I watched a video covering several how-to music video and they discussed this supermarket video. Great location, everything you need for the crew at the location etc. anyway. Tessa’s music is great. Her concerts rock! 100% recommend.

It is harder to make your friends play boardgames than making friends playing boardgames.

Join a social club. Join a boardgame club. Look online, sometimes people post stuff on Facebook. And go a couple of times, to get the feeling for the attendees. And never forget:

I rather play a shitty game with cool people than play a cool game with shitty people.

When he started buying from Temu, Wish etc (I think for a video making something for his sister) and being completely uncritical, was the breaking point for me.

• We are cute little wood creatures marching, battling and stealing from each other in the forrest.

(Apart from the usual suspects, I don’t have a least favourite, therefore here one I just don’t enjoy)

• Oh, dear, how could you invite the Americans again, they are such rude guests.

I get a little bit House of leaves vibes.