158: Programming Is Too Difficult for Humans

Fabien Chouteau (@DesChips) of AdaCore (@AdaCoreCompany) spoke with us about theMake with Ada Programming Competition. Giveaway boards are GONE. The Ada programming language (wiki) is interesting in that it was designed for safety critical embedded systems (actually designed, requirements doc and everything!). The Ada Information Clearinghouse has a nice list of tutorials and books as does the very helpful Make with Ada Getting Started page. Elecia's favorite was Inspirel's Ada on Cortex. Some neat projects in Ada that we mentioned on the show: Fabien's CNC Controller (with code in github) Tetris on a Smart Watch (with a formal proof via SPARK) Nano drone flight controller (with formal proof via SPARK) The platforms supported in the contest are on the Getting Started page but you can expand that by looking at the SVD files in the AdaCore drivers on github. (Also, SVD files are neat.) One of the platforms already supported is the Crazyflie nanodrone.

NOW PLAYING

0:00 1:06:05

1×

No transcript for this episode yet

We transcribe on demand. Request one and we'll notify you when it's ready — usually under 10 minutes.

Share this episode

Similar Episodes

Guns, Greed and the Making of Modernity

Jul 7, 2026 ·58m

1078. News: FCA unveils crypto rules, Airwallex hits $11bn valuation, and Jet Bank launches Albania's first digital bank

Jul 6, 2026 ·60m

The Message of Mashiach (Parshas Chukas-Balak 5786)

Jul 5, 2026 ·29m

1077. Insights: What does it take to build the bank of the future? With Engine by Starling

Jul 2, 2026 ·40m

When the sharks start to circle, by Cristina Mittermeier

Jul 1, 2026 ·35m

The Bastard Children of Neoliberalism

Jun 30, 2026 ·63m

Similar Podcasts

Epic: Silver Wing Realm EPIC is your new HQ for Realm’s exhilarating action and adventure stories, with new episodes dropping every Monday introduced by host Faith McQuinn.Embark on your greatest adventures yet, whether it’s crash landing on a desolate planet with only a cerebrally-embedded AI to guide you, or realizing that your latest game design is the only thing staving off total global annihilation. So unsheath those earbuds, clench that steering wheel, and buckle up because EPIC is about to take off.This month, we are featuring Silver Wing: On a desert planet in the far future, an old dragon hunter embarks on a desperate journey to save her estranged son. For centuries, the dragons have been sleeping. But in their rest, they provide a crucial energy source necessary to keep the planet Toon Flats habitable. Amphet Dahl is a diviner, gifted with the ability to sense the dragons’ dreams and memories and to the disappointment of her son, Afton, she uses this ability to Government Approved Matt Finlay (wavlake) This album was recorded in 432Hz base tuning and each track contains a different embedded solfeggio frequency tone.All songs written by Matt Finlay;except for "Your Government Is Your Enemy" written by Angry North (https://linktr.ee/angrynorth).All songs recorded and performed by Matt Finlay.Additional vocals on "Daddy Government" by Courage Is The Cure.Mixed by Matt Finlay & Number Six at TNP Productions LLC Mastered at TNP Productions LLC - https://anartistcollective.com/creatives-directory/media-arts/tnp-productions-llcISRC AU-OXF-25-00001Copyright Matt Finlay 2025Album artwork by Shelly Omstead at Anartist Collective - https://anartistcollective.com Mastering Embedded Systems Georg Lohrer from EmbeddedSuccess.com This is the podcast for everybody who is interested in having more success in his project work. I'll teach you the know-how and the tools to overcome your challenges. Out of practice into practice. Join my stories, see my own mistakes or successes. Make the best out of my tips and advices.Lift your own results to the next level. CYBER VICE Hacking. Hackers. Disinformation campaigns. Encryption. The Cyber. This stuff gets complicated really fast, but Motherboard spends its time embedded in the infosec world so you don't have to. Host Matthew Gault talks every week to Motherboard reporters about the stories they're breaking and to the industry's most famous hackers and researchers about the biggest news in cybersecurity. Hosted on Acast. See acast.com/privacy for more information.

Frequently Asked Questions

How long is this episode of Embedded?

This episode is 1 hour and 6 minutes long.

When was this Embedded episode published?

This episode was published on June 28, 2016.

What is this episode about?

Can I download this Embedded episode?

Yes, you can download this episode by clicking the download button on the episode player, or subscribe to the podcast in your preferred podcast app for automatic downloads.

URL copied to clipboard!