
Sign up to save your podcasts
Or
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
Credits
Listen on: Apple Podcasts Spotify
Inspiring Tech Leaders - The Technology PodcastListen on: Apple Podcasts Spotify
Support the show
5
1919 ratings
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
Credits
Listen on: Apple Podcasts Spotify
Inspiring Tech Leaders - The Technology PodcastListen on: Apple Podcasts Spotify
Support the show
283 Listeners
575 Listeners
592 Listeners
624 Listeners
269 Listeners
128 Listeners
203 Listeners
214 Listeners
495 Listeners
91 Listeners
983 Listeners
188 Listeners
24 Listeners
12 Listeners
139 Listeners