Daniel P. Friedman's Interviews
Tech Talk: The Little Typer With Daniel Friedman and David Thrane Christiansen
Tech Talks are in-depth technical discussions. When it comes to type systems "I am, so far, only in the dependent types camp" - Daniel P. Friedman You can write more correct software and even rigorous mathematical proofs. Prepare for some mind stretching. Previous guests like Edwin Brady and Stephanie Weirich have dis
Podcast with Daniel P. Friedman
Possible Pairings
You might also be interested in
Adam Gordon Bell
Software Developer
David Christiansen
Computer scientist
Jim Blandy
Software Developer
Jason Gauci
Software Developer
Edwin Brady
Computer scientist
Jeff Meyerson
Media Personality
Stephanie Weirich
Computer scientist
Steven Proctor
Software Developer
Patrick Wheeler
Software Developer
Stephen Wolfram
Computer scientist
Cory Doctorow
Novelist
John De Goes
Software Developer
Shout-outs
Add shout-out