• #dev 2019-10-04
  • Prev
    Next
  • #indieweb
  • #dev
  • #wordpress
  • #meta
  • #stream
  • #microformats
  • #known
  • #events
#dev ≡
  • ←
  • →
2019-10-04 UTC
# 19:49
myfreeweb
i might have to formally verify this algorithm with a model checker to be sure i haven't missed anything. would be amazing to say "hey i have part of my personal home page formally verified" haha