The Story of the CAP Theorem Part 2
Mike and Erik return to the CAP Theorem to finish the discussion started last week. Their goal is to try to find answers to this question: why do software engineers love to talk about the CAP Theorem ...
29 Tammi 20251h 7min
The Story of the CAP Theorem Part 1
Your podcast hosts have a suspicion about the CAP Theorem: if you're a working programmer and you've heard of any single result in the field of distributed systems, we think you'll have heard of the C...
22 Tammi 202557min
Gleaming the Lambda Cube with Nathan Mull
This week Nathan Mull, a type theorist and CS Professor at Boston University, came on the show to help Mike and Erik understand what the phrase "Propositions as Types" is all about. This is an idea ab...
15 Tammi 20251h 26min
Standing on the Shoulders of Giants: Frances Allen and Compiler Optimizations
This week Mike and Erik discussed the work of Frances Allen, who worked for IBM for 45 years starting in 1957. The first female Turing Award winner, Allen authored a number of papers on compiler optim...
8 Tammi 202555min
We Read the News and Everyone’s On Drugs
In this episode we looked at the tragic story of tech company CEOs doing drugs and the various knock-on effects. We also played a lightning round of "Aspiring to be a nation state or on drugs?" with ...
18 Joulu 20241h 10min
More Favorites: Radix Trees, Kadane's, Raft Leader Election
We carried over from last week and kept doing algos! This week we talked about: - Diffie Hellman - Radix Trees: https://dl.acm.org/doi/pdf/10.1145/321479.321481 - Kadane's Algorithm - Raft's Leader El...
11 Joulu 202456min
Our Favorite Algorithms: FFTs and Hyperloglogs!
Mike wanted to talk about our favorite algorithms this week, so we covered a few: - Fast Fourier Transforms - Hyperloglog Some references are below: - Article in Communications of the ACM: What Is a...
4 Joulu 202450min
Annoying Everybody with Our Questions about Timezones
In this episode, Mike and Erik go back to the topic of time in order to explore what is specifically frustrating to programmers about dealing with time. Why's it so hard and annoying? And why do peopl...
27 Marras 202451min
