158: Programming Is Too Difficult for Humans
Embedded28 Kesä 2016

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:

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.

Jaksot(569)

522: The Information Is In Poop

522: The Information Is In Poop

Sonia Grego speaks with us about a topic no one likes to talk about, but could be used to monitor personal dietary health and widespread disease outbreaks. Toilets! Sonia leads Duke University's Smart...

6 Maalis 54min

521: Are You The Tiny Domino?

521: Are You The Tiny Domino?

Kenneth Finnegan entertained us with stories about accidentally contributing to the internet's ability to network. Wondering how the internet works? All those terms about IPv4, IPv6, BGP, OSPF, CDN an...

20 Helmi 1h 3min

520: All Sorts of Interesting Facts About Teeth

520: All Sorts of Interesting Facts About Teeth

Chris and Elecia apologize, discuss uses and abuses of chatbots, reach out to an uncertain manager, try to help someone out of their professor's draconian rules, and extol the joys of reading.  Chabot...

6 Helmi 58min

519: The Password Is All Zeros

519: The Password Is All Zeros

Mark Omo and James Rowley spoke with us about safecracking, security, and the ethics of doing a bad job. Mark and James gave an excellent talk on the development of their safecracking tools at DEF CON...

23 Tammi 1h 6min

518: Nothing We Can Do About Frogs

518: Nothing We Can Do About Frogs

James Cameron spoke with us about programming for and operating a large telescope. The show is a blend of astronomy, engineering on the fly, and weird lady bug habitats.  The Anglo-Australian Telescop...

9 Tammi 1h 8min

517: A Direct, Sensible Podcast

517: A Direct, Sensible Podcast

Nathan Jones and Chris Svec give Chris and Elecia their 2025 performance review.  Donations went to Elevate Tutoring, an organization that provides funding and support to low-income and first-generati...

2 Tammi 1h 1min

516: Voices From the Cataclysms of the Universe

516: Voices From the Cataclysms of the Universe

Sophi Kravitz joined us to talk about art, science, and engineering.  You can see Messages from Space on Sophi's website /sophikravitz.com). A subset of the artwork had a short stay for a demo at Chab...

12 Joulu 202558min

515: Script Boomers

515: Script Boomers

Nick Kartsioukas joined us to talk about security in embedded systems.  Common Vulnerabilities and Exposures (CVE) is the primary database to check your software libraries, tools, and OSs: cve.org. Op...

27 Marras 20251h 10min

Suosittua kategoriassa Tiede

tiedekulma-podcast
rss-mita-tulisi-tietaa
rss-poliisin-mieli
utelias-mieli
rss-duodecim-lehti
rss-metsantuntijat-podcast
mielipaivakirja
filocast-filosofian-perusteet
rss-astetta-parempi-elama-podcast
rss-luontopodi-samuel-glassar-tutkii-luonnon-ihmeita
university-of-eastern-finland
docemilia
menologeja-tutkimusmatka-vaihdevuosiin
rss-bios-podcast
rss-tiedetta-vai-tarinaa
rss-ylistys-elaimille
rss-lapsuuden-rakentajat-podcast
rss-sosiopodi
rss-miljonaarien-tasavalta