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
"The Dao of Functional Programming"
Regularly updated work in progress. PDF on GitHub:
https://github.com/BartoszMilewski/DaoFP/blob/master/DaoFP.pdf
It looks better when it's rotated 180 degrees, so it's lighted from above.
August 28, 2025 at 11:32 AM
It looks better when it's rotated 180 degrees, so it's lighted from above.
Working on a new blog post about subobject classifier for presheaves. Decoding just one page out of 600 in Mac Lane Moerdijk.
April 17, 2025 at 3:35 PM
Working on a new blog post about subobject classifier for presheaves. Decoding just one page out of 600 in Mac Lane Moerdijk.
To prove that you're wrong, I would need just one counterexample: a guy who died playing Russian roulette. To counter statistical argument you need overwhelming staticstics, like this:
March 20, 2025 at 12:44 PM
To prove that you're wrong, I would need just one counterexample: a guy who died playing Russian roulette. To counter statistical argument you need overwhelming staticstics, like this:
