Login

r/ada

Light Tasking Ada Runtime for Zephyr on Arm Cortex M
▲ 7 r/ada+1 crossposts

Light Tasking Ada Runtime for Zephyr on Arm Cortex M

I am a big fan of the Zephyr RTOS, of Home Assistant and of the programming language Ada SPARK and the use of formal methods to deliver better software to the world.

There was limited support for Ada on Zephyr, so I sat down this weekend and vibe-coded a light tasking runtime for Zephyr. The substack post with the backstory is here:

The actual repository is here:

https://gitlab.com/close-hauled/light-tasking-zephyr

What does this give you? The opportunity to write better software on Zephyr and statically (during compile time) prove the absence of runtime errors and prove functional correctness of (parts of) an algortihm.

I used it on a Pico 2W to report pH and TDS values to my home assistant setup.

Interested in Ada and want to give it a try, all the tools are open source, lots of getting started materials are here https://ada-lang.io/.

open.substack.com
u/Shot-Confusion8356 — 17 hours ago
▲ 20 r/ada

Ada SPARK Office Hours

AdaCore is starting a bi-weekly Ada SPARK Office Hours event, every 2nd Friday, from 10am-11am EDT.

Goal of this event is to serve as a community resource for developers that have questions around Ada and SPARK, Alire, Ada and LLMs, getting started, embedded hardware boards and the like.

Technical experts will be online during these office hours and are happy to answer any Ada SPARK related questions you may have.

So if you are:

  • A student learning about Ada and have questions
  • A student working on a Capstone project and need some guidance
  • A hobbyist wanting to learn about Ada and how it encourages safe and secure programming
  • A professional software developer and want to brainstorm ideas

We are here to help! Registration is not required, there is a Google Meet link on the following page: https://www.adacore.com/ada-spark-office-hours. You can drop in from the beginning, or halfway through the meeting, whatever works for you.

The first Office Hours will be on Friday, May 22nd, 10am-11am EDT and after that, we will be live every 2 weeks.

We are still working on posting an .ics file on the page above so people can add this to their calendars.

u/Shot-Confusion8356 — 8 days ago