Embedded

158: Programming Is Too Difficult for Humans


Listen Later

Fabien Chouteau of AdaCore (@AdaCoreCompany) spoke with us about the Make with Ada Programming Competition. Boards are STILL AVAILABLE. Say the magic words and they might be yours. If you also email. 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.
...more
View all episodesView all episodes
Download on the App Store

EmbeddedBy NPR

  • 4.7
  • 4.7
  • 4.7
  • 4.7
  • 4.7

4.7

11,824 ratings


More shows like Embedded

View all
Radiolab by WNYC Studios

Radiolab

43,929 Listeners

This American Life by This American Life

This American Life

90,641 Listeners

Fresh Air by NPR

Fresh Air

38,139 Listeners

The Moth by The Moth

The Moth

27,311 Listeners

Snap Judgment by Snap Judgment and PRX

Snap Judgment

11,520 Listeners

Death, Sex & Money by Slate Podcasts

Death, Sex & Money

7,716 Listeners

Reveal by The Center for Investigative Reporting and PRX

Reveal

8,242 Listeners

Invisibilia by NPR

Invisibilia

21,685 Listeners

Hidden Brain by Hidden Brain, Shankar Vedantam

Hidden Brain

43,482 Listeners

Code Switch by NPR

Code Switch

14,528 Listeners

The Daily by The New York Times

The Daily

111,121 Listeners

Slow Burn by Slate Podcasts

Slow Burn

23,937 Listeners

Throughline by NPR

Throughline

15,937 Listeners

White Lies by NPR

White Lies

11,968 Listeners

Short Wave by NPR

Short Wave

6,245 Listeners

Search Engine by PJ Vogt

Search Engine

4,286 Listeners

La última copa/The Last Cup by NPR

La última copa/The Last Cup

753 Listeners

Taking Cover by NPR

Taking Cover

421 Listeners