Software Developers Journey

#255 Tomas Petricek always looking under the covers


Listen Later

Tomas placed the start of his journey in high school, where he was part of a group of friends interested in computers. His interest in "understanding what's under the hood" ignited there. He explained how working in the open, publishing small open-source components got him to "professional development" alongside his university studies. Then we talked about how his interest in transpiling C# to Javascript (before transpiling to JS was cool) led him to F#, which led him to a working relationship with Don Syme (designer of F#), which led him to Cambridge University, etc. We talked about his Ph.D. around context-dependent programming languages and coeffects. We ended on science philosophy, debugging & testing, and how languages are taught nowadays at university.

Here are the links from the show

  • https://www.twitter.com/tomaspetricek
  • https://tomasp.net/
  • https://www.linkedin.com/in/tomaspetricek/
  • https://tomasp.net/coeffects/
  • https://tomasp.net/techdims/
  • http://fsharpconf.com/
  • https://datascienceinfsharp.com/

Credits

  • Cover Legends by HoliznaCC0 is licensed CC0 1.0 Universal License.
  • Your host is Timothée (Tim) Bourguignon; more about him at timbourguignon.fr.
  • Gift the podcast a rating on one of the significant platforms https://devjourney.info/subscribe
Digital Disruption with Geoff Nielson
Discover how technology is reshaping our lives and livelihoods.

Listen on: Apple Podcasts   Spotify

Inspiring Tech Leaders - The Technology Podcast
Interviews with Tech Leaders and insights on the latest emerging technology trends.

Listen on: Apple Podcasts   Spotify

Support the show

...more
View all episodesView all episodes
Download on the App Store

Software Developers JourneyBy Timothée Bourguignon

  • 5
  • 5
  • 5
  • 5
  • 5

5

19 ratings


More shows like Software Developers Journey

View all
The Changelog: Software Development, Open Source by Changelog Media

The Changelog: Software Development, Open Source

283 Listeners

CodeNewbie by CodeNewbie

CodeNewbie

575 Listeners

Talk Python To Me by Michael Kennedy

Talk Python To Me

592 Listeners

Software Engineering Daily by Software Engineering Daily

Software Engineering Daily

624 Listeners

Soft Skills Engineering by Jamison Dance and Dave Smith

Soft Skills Engineering

269 Listeners

Go Time: Golang, Software Engineering by Changelog Media

Go Time: Golang, Software Engineering

128 Listeners

AWS Podcast by Amazon Web Services

AWS Podcast

203 Listeners

Python Bytes by Michael Kennedy and Brian Okken

Python Bytes

214 Listeners

Indie Hackers by Courtland Allen and Channing Allen

Indie Hackers

495 Listeners

JS Party: JavaScript, CSS, Web Development by Changelog Media

JS Party: JavaScript, CSS, Web Development

91 Listeners

Syntax - Tasty Web Development Treats by Wes Bos & Scott Tolinski - Full Stack JavaScript Web Developers

Syntax - Tasty Web Development Treats

983 Listeners

Techish by Techish

Techish

188 Listeners

Compile Swift Podcast by Peter Witham

Compile Swift Podcast

24 Listeners

Tech Lead Journal by Henry Suryawirawan

Tech Lead Journal

12 Listeners

Dev Interrupted by LinearB

Dev Interrupted

139 Listeners