Where do I find and share blog posts about Lean?

Stream: new members

[Joseph McKinsey]

I've recently written one of my own, and I'm sure there are likely a few hidden out there on the internet or a corner of the Zulip.

[Markus Himmel]

The three largest blogs about Lean are the Lean Project Blog, the Lean community blog and the Xena blog. Posts about Lean appearing elsewhere on the internet are sometimes discussed at #general > Lean in the wild.

[Joseph McKinsey]

That last one is interesting for sure, but I expect my blog post is already quite domesticated in comparison. Here is my blog post, so maybe you have your own opinion here. It's 50% about formalizing floating point numbers in Lean and 50% what I learned about Lean. https://josephmckinsey.com/flean2.html.

[Kim Morrison]

@Joseph McKinsey, thank you for writing this. It was a really interesting read, and your section on "Learning Lean as a Language" has a lot of really useful feedback that we will try to work on.

Very much appreciated.

[Joseph McKinsey]

It's feedback for myself too. A lot of things I talked about are things that I could work on if I put my mind to it too, so I hope to get around to some of them. Like I could be writing a tutorial for positivity extensions, but I'd like to understand macros more first, etc.

[Kevin Buzzard]

Reading this over breakfast on mobile in a hotel, very excited to see the use of (what is presumably) Verso! Makes the page interactive and hence much easier to understand! Thanks for putting in the effort to get this working!

[Joseph McKinsey]

It's hacked together using a custom Verso Genre with a bunch of copy pasted code from the normal genres, so I could get it working with my Python-based html generator Pelican. https://github.com/josephmckinsey/FleanBlogPost.