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 Marras 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 Marras 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 Marras 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 Loka 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 Loka 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 Loka 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 Syys 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 Syys 20241h 20min
