Z Tomaszem Czajką, do niedawna inżynierem oprogramowania komputerów pokładowych w SpaceX, a obecnie rozwijającym własny projekt rozmawiamy o sformalizowaniu wiedzy matematycznej w postaci biblioteki w języku programowania; programowaniu komputerów pokładowych dla statków kosmicznych; problemach ewentualnej misji na Marsa; różnicy w sposobie pracy w Stanach Zjednoczonych i Polsce; wpływie Artificial Intelligence na nasze życie oraz perspektywach rozwoju technologii i jej wykorzystania w najbliższych czasach.