Krzysztof Gogolewski
@monoidal_
Followers
41
Following
45
Media
0
Statuses
10
Joined July 2019
Dr T is the man. He was my phd advisor at @tufts. I strongly recommend his other textbooks, i.e. Differential forms in Algebraic topology, Differential Geometry.
A very nice textbook on manifolds. Must read, including De Rham theory, concise. "An Introduction to Manifolds" by Loring W. Tu Table of contents: 👉 https://t.co/hCIhfTOC7O
0
3
15
2-3% faster compilation speeds across the board with GHC. @lexi_lambda and @monoidal_ explain how they did it in this blog post: https://t.co/hOAXdC0Mvn.
tweag.io
How we gained 2–3% improvements in compile times by making GHC better at printing code.
2
18
56
Here's @monoidal_'s fun talk about quines from @MuniHac at the weekend!
0
4
13