Home Archives Search Feed

Things that I still have pending

  • Getting main PR out today (202005141716 Main note for protobuf hypothesis)
  • Main PR was failing on test file, because the dictionary parsing code was super general, and wasn’t specifically tailored for TU attributes, so there was a part of the code that wasn’t populating properly
  • tags: #theorem #meetings
Date
February 22, 2023
Up next
Josh/Kelly Feedback Since previous meeting, had chance to do Kafka Mock and Hypothesis testing stuff Stuff I built is good solid foundation Improve by spending more
Previously
5-26-20 Oh wow, they updated the 1Writer app so the “title is first line/header” actually works! Cool. Had a pretty productive meeting with Josh, where I