Content provided by Michael Dyrynda and Jacob Bennett. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Michael Dyrynda and Jacob Bennett or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
Player FM - Podcast App
Go offline with the Player FM app!
Go offline with the Player FM app!
Remote pairing around rounding errors with a pint
MP3•Episode home
Manage episode 435576798 series 1401820
Content provided by Michael Dyrynda and Jacob Bennett. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Michael Dyrynda and Jacob Bennett or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
In this episode, Jake and Michael discuss (inadvertently) bathing keyboards, pairing with remote colleagues and friends, using rational numbers to deal with rounding errors (sort of), and running code style fixers in CI or as a pre-commit hook.
Show links
167 episodes
MP3•Episode home
Manage episode 435576798 series 1401820
Content provided by Michael Dyrynda and Jacob Bennett. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Michael Dyrynda and Jacob Bennett or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
In this episode, Jake and Michael discuss (inadvertently) bathing keyboards, pairing with remote colleagues and friends, using rational numbers to deal with rounding errors (sort of), and running code style fixers in CI or as a pre-commit hook.
Show links
167 episodes
All episodes
×Welcome to Player FM!
Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.