Dave AitkeninImandra Inc.Exploring The Apple FaceTime Bug with ReasonML State MachinesThe Apple FaceTime bug swept the news in early 2019 — callers using FaceTime were able to hear the microphone of a new participant being…Mar 7, 2019Mar 7, 2019
Dave AitkeninImandra Inc.Constraint solving your UIsWhat happens when you take a tool for reasoning about your code, and plug it into the UI of the very code that it’s reasoning about?Feb 25, 2019Feb 25, 2019
Dave AitkeninImandra Inc.Introducing Verified ReactAutomated reasoning for ReasonReactJan 6, 2019Jan 6, 2019
Dave AitkeninImandra Inc.Verifying ReasonReact component logic — ReasonML & ImandraWe’re big fans of the OCaml ecosystem here at Aesthetic Integration, and our core product Imandra is tied closely to it — so we’ve been…Sep 10, 2018Sep 10, 2018
Dave AitkeninImandra Inc.Powering Documentation with Jupyter NotebooksWe recently launched our new docs site for Imandra, which is backed by Jupyter notebooks!Jul 25, 20181Jul 25, 20181