Bartosz Milewski
bartoszmilewski.bsky.social
Physicist, mathematician, programmer. "The Dao of Functional Programming" Regularly updated work in progress. PDF on GitHub: https://github.com/BartoszMilewski/DaoFP/blob/master/DaoFP.pdf
👤 Joined on 15 November 2024
1283
Followers
9
Following
80
Total Posts
📜 Kullanıcı Geçmişi
- 15 Kas 2024, 11:52
🎉 Bluesky'e katıldı - İlk kullanıcı adı:
@bartoszmilewski.bsky.social
🚫 Blokladığı Kullanıcılar
❤️ Beğendiği Gönderiler
It's great to see the Topos Institute is working so well! We're having a planning retreat at the Oxford site. David Spivak is at left, Brendan Fong at right. topos.institute
Show Post
After many delays, my book is finally done! Print copies ship on September 29th, and the e-book is HALF OFF at www.manning.com/books/fabulo... from now through Labor Day, WHAT A FABULOUS DEAL! Thanks to everyone who supported this project; I appreciate you all so much.
Show PostIf you're too cool, you may be entitled to condensation.
Show PostIf I could, I would develop a whole theory linking differential geometry and logic just so I could write a textbook called Truth Tables and Lie Algebras.
Show Post