Quinn DoughertyinCasper Association R & DThe financier’s introduction to model checkingModel checking is for formally verifying state machine based systemsMay 9May 9
Quinn DoughertyinCasper Association R & DFinance as a Reactive System? Verifying ACTUS Traces with Linear Temporal LogicFinancial interactions are like a traffice lightMar 14Mar 14
Quinn DoughertyinLevel Up CodingThe Epsilon-Delta Proof for the PythonistaThe propositions-as-types interpretation states that proofs are programs. How can functional programming help us understand calculus?Apr 18, 2020Apr 18, 2020
Quinn DoughertyinAnalytics VidhyaInduction PrinciplesThe induction principle for linked list reminds us of that for the natural numbers. What about trees?Apr 6, 2020Apr 6, 2020
Quinn DoughertyMypy and Continuous Integration sequence part 2: Continuous IntegrationContinuous Integration: GitHub and TravisJul 14, 2019Jul 14, 2019
Quinn DoughertyMypy and Continuous Integration sequence part 1: Mypy and Type HintsIntroductionJul 14, 2019Jul 14, 2019
Quinn DoughertySimple Geographical EncodingOften you’re given latitude and longitude data.Mar 31, 2019Mar 31, 2019
Quinn DoughertyCharts nearly form monoids — algebraic plotting with AltairMonoid looks like a jargon word if you’ve never seen it before, so you’re authorized to call it “puppies” every time I write it.Mar 4, 2019Mar 4, 2019
Quinn DoughertyExplore country populations and compare it to growth ratesMy notebook https://colab.research.google.com/drive/1fp5jApC0Eehe-0A6VHz_eUL45qQkYMyg gives the user a nice widget to explore populations…Dec 13, 2018Dec 13, 2018