diff --git a/pnpm-lock.yaml b/pnpm-lock.yaml index 642807f..6192a18 100644 --- a/pnpm-lock.yaml +++ b/pnpm-lock.yaml @@ -1,4 +1,8 @@ -lockfileVersion: '6.0' +lockfileVersion: '6.1' + +settings: + autoInstallPeers: true + excludeLinksFromLockfile: false dependencies: '@astrojs/mdx': diff --git a/src/content/posts/category-theory.md b/src/content/posts/category-theory.md deleted file mode 100644 index 35a1581..0000000 --- a/src/content/posts/category-theory.md +++ /dev/null @@ -1,16 +0,0 @@ ---- -title: Category theory, abstract algebra and friends -date: 2023-05-14T21:57:54+02:00 ---- - -## Monoid - -$$ -(M, *) -$$ - -```haskell -class Monoid a where - mempty :: a - mappend :: a -> a -> a -``` \ No newline at end of file diff --git a/src/content/posts/recommended-reading.md b/src/content/posts/recommended-reading.md new file mode 100644 index 0000000..f9de0f0 --- /dev/null +++ b/src/content/posts/recommended-reading.md @@ -0,0 +1,16 @@ +--- +title: Recommended reading +date: 2023-06-01T20:02:20.239Z +--- + +## Programming +- C. Hattingh, *Using Asyncio in Python: Understanding Python’s Asynchronous Programming Features*. O’Reilly Media, Incorporated, 2020. + > Very useful book for understanding how async works in practice as opposed to multithreading or multiprocessing. It's directed at Python programmers, but it's useful even if you don't intend to use Python. + +- B. Milewski and I. Tabachnik, *Category Theory for Programmers*. Lightning Source UK, 2019. + > This book touches upon abstract algebra and type theory in a way that is approachable for people with no applied mathematics background. A must-read for anyone interested in functional programming. + +## Japanese +- J. Rubin, *Making Sense of Japanese: What the Textbooks Don’t Tell You*. Kodansha International, 2002. + > This is possibly the first place I came across that mentioned the existence of the so-called "null subject". The topics presented in this book are mainly useful for beginners struggling to grasp the difference between は and が. +