search

isovector / reasonablypolymorphic.com

⏳ my math blog
http://reasonablypolymorphic.com
BSD 3-Clause "New" or "Revised" License
23 stars 11 forks source link

blog/cbc-report1/index #38

Open utterances-bot opened 1 year ago

utterances-bot commented 1 year ago

Certainty by Construction Progress Report 1 :: Reasonably Polymorphic

https://reasonablypolymorphic.com/blog/cbc-report1/index.html

sjoerdvisscher commented 1 year ago

This is really interesting, please keep going!

isovector commented 1 year ago

Cheers! I took a few weeks off for a short contract, but I'm back on the book grind again. New updates this Friday!