Live data from Hacker News

A. Grothendieck's Kimchi Recipe

Post reply on HN

Print view View original

1–2 of 2 posts

A. Grothendieck's Kimchi Recipe

#1

Post by samvoar » Tue, Feb 13, 2024, 10:43 AM UTC

A. Grothendieck's Kimchi Recipe
ihes.fr

Re: A. Grothendieck's Kimchi Recipe

#2

Post by samvoar » Tue, Feb 13, 2024, 11:26 AM UTC

there's an english translation:

https://mikepierce.github.io/grothendieck-kimchi/translation...

Post reply on HN