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-report5/index #39

Open utterances-bot opened 1 year ago

utterances-bot commented 1 year ago

Certainty by Construction Progress Report 5 :: Reasonably Polymorphic

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

sliedes commented 1 year ago

This is cool (but quite random). :) Can we get a before vs after screenshot?

isovector commented 1 year ago

Sure! Before:

2023-06-21-100938_1212x889_scrot

and after:

2023-06-21-100956_1210x887_scrot

alt-romes commented 1 year ago

I'm looking forward to this book, it looks like just what I'd like to read.