PolySyncShould Safety-Critical Software be Written in C?By David Sosnow, Chief Product OfficerApr 28, 20181Apr 28, 20181
PolySyncSession Types for Hearty CodecsIn software systems where components talk to each other, data serialization is an essential challenge. A system’s encoding format has to…Oct 18, 20171Oct 18, 20171
PolySyncHow I Learned to Love Property Based TestingThe first time I was invited to join a field test for OSCC, our open source car control platform, I was beyond excited. Driving a car with…Oct 17, 2017Oct 17, 2017