Into the Well of Formal Verifications
This week Mike and Erik were trying to understand the arena of formal verification: what are these tools? Where do they come from? How do they work? Can we categorize them? There's a ton of stuff to ...
20 Nov 202459min
"Some of the most valuable people I work with are really just politicians"
Our discussion with Randy Edwards from last week carried over to the following week in this part 2 episode of our discussion on software engineering management. Our wide-ranging discussion included re...
13 Nov 202447min
Software Engineering Management with Randy Edwards
This week we took on the subject of software engineering management and we were joined in this discussion by Randy Edwards, who started writing C++ at 16 and now runs an organization with software eng...
6 Nov 202440min
Mike and Erik Vie for the Nobel Prize in Literature
Recently, some people won a Nobel Prize in Physics for contributions in the field of Neural Networks and Mike went down this huge rabbit hole of content-addressable-memory and Hopfield Networks and Ge...
30 Okt 202447min
Nostalgia for the 90s Internet
This week Mike and Erik wax nostalgic about the early days of the internet and then they wonder if all this trite nostalogizing (is that a word?) isn't really a dangerous or simply not-useful self-dec...
23 Okt 202451min
Origin Story: How Erik Became a Programmer
In this episode Mike wanted to interview Erik on how he got his start as a programmer and he was surprised by this and all worked up about it by the end. Hear tales of Erik's journey in this episode. ...
9 Okt 202458min
620 Million Years Ago the Workday Was Only 6 Hours Long
In this episode of Picture Me Coding, your hosts take on the topic of time, a category of discussion that it turns out they are supremely not up to the task of at all. Join us for this conversational...
25 Sep 202456min
Software In Pop Culture with Amy Salley
This week we were fortunate to have a super special guest, Amy Salley, who hails from the podcast Hugo Girl. Amy agreed to come on the show to talk to us about depictions of software in science fictio...
18 Sep 20241h 20min
