Beyond memory safety with the Ada SPARK programming language
Kevin ChadwickDiscussions and news related to the memory safe Ada/SPARK programming languages. www.patreon.com/ada_re learn.adacore.com ada-lang.io
| Publishes | Twice monthly | Episodes | 26 | Founded | 2 years ago |
|---|---|---|---|---|---|
| Category | Technology | ||||
Listen to this Podcast
Latest Episodes
Ever wondered how programming languages truly come to life?
This podcast delves into the unique history of Ada, a language commissioned by the US Department of Defense, a stark contrast to the organic evolution of most languages.
Join us as we ex... more
This episode is a great demonstration of Ada SPARK going beyond memory safety.
It is generated by Googles NotebookLM. It may be subject to hallucinations that are not present in AdaCores source material found below:
www.adacore.com/papers/... more
This is a Google NotebookLM generated podcast based on Edward Fish paper entitled Explaining Adas Generics. It starts off with an overview of Ada and it's type system.
web.archive.org/web/20230930004650/http://edward.fish/wp-content/uploads/... more
This episode is generated by Googles Notebooklm based on the following source. Comparing Development costs of C and Ada March 30, 1995 by Stephen F. Zeigler, Ph.D. of Rational Software Corporation.
The key takeaway for me is that experienced C devel... more
This podcast is a summary of the Ada Quality and Style Guide, the last chapter - Improving Performance. Voiced by AI (Google NotebookML) and hallucination free.
* Style Guide: https://ada-lang.io/docs/style-guide/s10
* Support us: https://www.... more
This podcast is a summary of the Ada Quality and Style Guide, Chapter 9 "Object-Oriented Features". Voiced by AI (Google NotebookML) and hallucination free.
* Style Guide: https://ada-lang.io/docs/style-guide/s9
* Support us: https://www.patre... more
This podcast is a summary of the Ada Quality and Style Guide, Chapter 8 "Reusability" - a very important and interesting topic. Voiced by AI (Google NotebookML) and hallucination free.
* Style Guide: https://ada-lang.io/docs/style-guide/s8
* Su... more
This podcast is a summary of the Ada Quality and Style Guide, Chapter 7 "Portability" part 2 of 2. Voiced by AI (Google NotebookML) and hallucination free.
* Style Guide: https://ada-lang.io/docs/style-guide/s7
* Support us: www.patreon... more
Key Facts
Similar Podcasts
People also subscribe to these shows.
Top Technology Podcasts
Audience Metrics
Listeners, social reach, demographics and more for this podcast.
| Gender Skew | Location | Interests | |||
|---|---|---|---|---|---|
| Professions | Age Range | Household Income | |||
| Social Media Reach | |||||
Frequently Asked Questions About This Podcast
Where can I find podcast stats for this podcast?
Rephonic provides a wide range of podcast stats for this podcast. We scanned the web and collated all of the information that we could find in our comprehensive podcast database. See how many people listen to this podcast and access YouTube viewership numbers, download stats, audience demographics, chart rankings, ratings, reviews and more.
How many listeners does this podcast get?
Rephonic provides a full set of podcast information for three million podcasts, including the number of listeners. View further listenership figures for this podcast, including podcast download numbers and subscriber numbers, so you can make better decisions about which podcasts to sponsor or be a guest on. You will need to upgrade your account to access this premium data.
What are the audience demographics for this podcast?
Rephonic provides comprehensive predictive audience data for this podcast, including gender skew, age, country, political leaning, income, professions, education level, and interests. You can access these listener demographics by upgrading your account.
How many subscribers and views does this podcast have?
To see how many followers or subscribers this podcast has on Spotify and other platforms such as Castbox and Podcast Addict, simply upgrade your account. You'll also find viewership figures for their YouTube channel if they have one.
Which podcasts are similar to this podcast?
These podcasts share a similar audience with this podcast:
How many episodes of this podcast are there?
this podcast launched 2 years ago and published 26 episodes to date. You can find more information about this podcast including rankings, audience demographics and engagement in our podcast database.
How do I contact this podcast?
Our systems regularly scour the web to find email addresses and social media links for this podcast. We scanned the web and collated all of the contact information that we could find in our podcast database. But in the unlikely event that you can't find what you're looking for, our concierge service lets you request our research team to source better contacts for you.
Where can I see ratings and reviews for this podcast?
Rephonic pulls ratings and reviews for this podcast from multiple sources, including Spotify, Apple Podcasts, Castbox, and Podcast Addict.
View all the reviews in one place instead of visiting each platform individually and use this information to decide if a show is worth pitching or not.
How do I access podcast episode transcripts for this podcast?
Rephonic provides full transcripts for episodes of this podcast. Search within each transcript for your keywords, whether they be topics, brands or people, and figure out if it's worth pitching as a guest or sponsor. You can even set-up alerts to get notified when your keywords are mentioned.