❌ About FreshRSS

Normal view

There are new articles available, click to refresh the page.
Before yesterdayAda Passion - Facebook

Dear Ada/SPARK Community members, Due to the changing nature of...

Ada Passion

Dear Ada/SPARK Community members,

Due to the changing nature of social media platforms, we are no longer updating this Ada Passion page and have therefore decided to close it indefinitely. Fortunately, there are many other platforms available which provide Ada/SPARK learning resources and showcase the latest technological enhancements within the community. Please find here a non-exhaustive list of these resources:

- @adaprogrammers on Twitter...
- The Ada Programming Language on LinkedIn - https://www.linkedin.com/groups/114211/
- Ada reddit thread - https://www.reddit.com/r/ada/
- Ada on Stack Overflow - https://stackoverflow.com/questions/tagged/ada
- Ada on Telegram - https://t.me/ada_lang
- Learn.adacore.com
- The AdaCore blog - blog.adacore.com

Thanks for your continued support of Ada/SPARK, come and find us elsewhere!

Zobacz więcej
  • 12 June 2020 at 15:49

Calling all Ada and SPARK advocates! We're excited to...

Ada Passion

Calling all Ada and SPARK advocates! We're excited to announce that the GNAT community 2018 download has arrived! For more info on updates and to download, check out our new blog here https://blog.adacore.com/gnat-community-2018

GNAT Community 2018 is here! by Emma Adby, Fabien Chouteau – Jun 26, 2018 Calling all members of the Ada and SPARK community, we are pleased to announce that GNAT Community 2018 is here! adacore.com/download What’s new? BBC micro:bit first class support We decided to adopt the micro:bit as our r...

blog.adacore.com

GNAT Community 2018 is here! - The AdaCore Blog

GNAT Community 2018 is here! by Emma Adby, Fabien Chouteau – Jun 26, 2018 Calling all members of the Ada and SPARK community, we are pleased to announce that GNAT Community 2018 is here! adacore.com/download What’s new? BBC micro:bit first class support We decided to adopt the micro:bit as our r...GNAT Community 2018 is here! by Emma Adby, Fabien Chouteau – Jun 26, 2018 Calling all members of the Ada and SPARK community, we are pleased to announce that GNAT Community 2018 is here! adacore.com/download What’s new? BBC micro:bit first class support We decided to adopt the micro:bit as our r...
  • 26 June 2018 at 13:22

New blog up "Cross-referencing Ada with Libadalang" an...

Ada Passion

New blog up "Cross-referencing Ada with Libadalang" an excellent follow on from our "Highlighting Ada with Libadalang" blog! Give that a read before if you haven't already! http://blog.adacore.com/cross-referencing-ada-with-libadala…

Cross-referencing Ada with Libadalang by Pierre-Marie de Rodat, Raphaël Amiard – Dec 18, 2017 Libadalang has come a long way since the last time we blogged about it. In the past 6 months, we have been working tirelessly on name resolution, a pretty complicated topic in Ada, and it is finally read...

blog.adacore.com

Cross-referencing Ada with Libadalang - The AdaCore Blog

Cross-referencing Ada with Libadalang by Pierre-Marie de Rodat, Raphaël Amiard – Dec 18, 2017 Libadalang has come a long way since the last time we blogged about it. In the past 6 months, we have been working tirelessly on name resolution, a pretty complicated topic in Ada, and it is finally read...Cross-referencing Ada with Libadalang by Pierre-Marie de Rodat, Raphaël Amiard – Dec 18, 2017 Libadalang has come a long way since the last time we blogged about it. In the past 6 months, we have been working tirelessly on name resolution, a pretty complicated topic in Ada, and it is finally read...
  • 18 December 2017 at 14:22

We are delighted to announce our Make with Ada competitions...

Ada Passion

We are delighted to announce our Make with Ada competitions winners!

In 3rd place is Manuel Iglesias Abbatemarco with his Ada IoT Stack
This year's runner up is German Rivera who was also MWA 2016's second prize winner with a Smartwatch
And our Make with Ada 2017 winner is Jonas Attertun who developed the software for a brushless DC motor controller!

...

You can find all of their project logs with this link: http://adaco.re/jm

A massive well done to our prize winners and everyone else who took part!

Zobacz więcej

makewithada.org

Make with Ada

The 1st place prize of €5000/$5500 was awarded to Jonas Attertun from Sweden for his Ada Motorcontrol. The project involved the design of a software platform for developing a brushless DC motor controller (BLDC/PMSM). He used a custom, open-source board with an STM32F446 microprocessor, a sensored f...The 1st place prize of €5000/$5500 was awarded to Jonas Attertun from Sweden for his Ada Motorcontrol. The project involved the design of a software platform for developing a brushless DC motor controller (BLDC/PMSM). He used a custom, open-source board with an STM32F446 microprocessor, a sensored f...
  • 24 October 2017 at 12:22

We are so very excited to announce that AdaCore will be hosting...

Ada Passion

We are so very excited to announce that AdaCore will be hosting its first public SPARK training in Paris this December! To ensure you don't miss out click this link to register now! http://adaco.re/ja

adacore.com

Public SPARK Training | AdaCore

This training course is for project managers and software engineers required to be operational on projects using the SPARK language. This course will provide delegates with the necessary set of competencies to master the language and the formal verification tools that form the SPARK solution. It doe...This training course is for project managers and software engineers required to be operational on projects using the SPARK language. This course will provide delegates with the necessary set of competencies to master the language and the formal verification tools that form the SPARK solution. It doe...
  • 15 September 2017 at 09:50

Make sure you keep 27th September open so you can tune into our...

Ada Passion

Make sure you keep 27th September open so you can tune into our "Developing embedded systems in Ada - a C programmer's guide to safe, secure software" webinar! 15:00 CEST/ 8:00 CDT register yourself here now! http://adaco.re/j6

electronics-know-how.com

Electronics-Know-How.com

Developing embedded systems in Ada - a C programmer's guide to safe, secure software The easiest bugs to correct are the ones that are not inserted in the first place. This webinar will show how the Ada language can help you design, implement and verify embedded software that will be reliable, safe…Developing embedded systems in Ada - a C programmer's guide to safe, secure software The easiest bugs to correct are the ones that are not inserted in the first place. This webinar will show how the Ada language can help you design, implement and verify embedded software that will be reliable, safe…
  • 7 September 2017 at 12:32

We have both our EU and US tech days coming up in the next two...

Ada Passion

We have both our EU and US tech days coming up in the next two months in Paris and Boston! You can register for them here: Paris:http://adaco.re/a1 Boston: http://adaco.re/a2

adacore.com

AdaCore Tech Days - Paris, France | AdaCore Tech Days | AdaCore

AdaCore technical staff will present the latest news about the company's current and planned product offerings and activities including GNAT Pro, CodePeer, SPARK Pro, and QGen.AdaCore technical staff will present the latest news about the company's current and planned product offerings and activities including GNAT Pro, CodePeer, SPARK Pro, and QGen.
  • 7 September 2017 at 12:28

Dear Ada/SPARK Community members, Due to the changing nature of...

Ada Passion

Dear Ada/SPARK Community members,

Due to the changing nature of social media platforms, we are no longer updating this Ada Passion page and have therefore decided to close it indefinitely. Fortunately, there are many other platforms available which provide Ada/SPARK learning resources and showcase the latest technological enhancements within the community. Please find here a non-exhaustive list of these resources:

- @adaprogrammers on Twitter...
- The Ada Programming Language on LinkedIn - https://www.linkedin.com/groups/114211/
- Ada reddit thread - https://www.reddit.com/r/ada/
- Ada on Stack Overflow - https://stackoverflow.com/questions/tagged/ada
- Ada on Telegram - https://t.me/ada_lang
- Learn.adacore.com
- The AdaCore blog - blog.adacore.com

Thanks for your continued support of Ada/SPARK, come and find us elsewhere!

Zobacz więcej
  • 12 June 2020 at 15:49

Calling all Ada and SPARK advocates! We're excited to...

Ada Passion

Calling all Ada and SPARK advocates! We're excited to announce that the GNAT community 2018 download has arrived! For more info on updates and to download, check out our new blog here https://blog.adacore.com/gnat-community-2018

GNAT Community 2018 is here! by Emma Adby, Fabien Chouteau – Jun 26, 2018 Calling all members of the Ada and SPARK community, we are pleased to announce that GNAT Community 2018 is here! adacore.com/download What’s new? BBC micro:bit first class support We decided to adopt the micro:bit as our r...

blog.adacore.com

GNAT Community 2018 is here! - The AdaCore Blog

GNAT Community 2018 is here! by Emma Adby, Fabien Chouteau – Jun 26, 2018 Calling all members of the Ada and SPARK community, we are pleased to announce that GNAT Community 2018 is here! adacore.com/download What’s new? BBC micro:bit first class support We decided to adopt the micro:bit as our r...GNAT Community 2018 is here! by Emma Adby, Fabien Chouteau – Jun 26, 2018 Calling all members of the Ada and SPARK community, we are pleased to announce that GNAT Community 2018 is here! adacore.com/download What’s new? BBC micro:bit first class support We decided to adopt the micro:bit as our r...
  • 26 June 2018 at 13:22

New blog up "Cross-referencing Ada with Libadalang" an...

Ada Passion

New blog up "Cross-referencing Ada with Libadalang" an excellent follow on from our "Highlighting Ada with Libadalang" blog! Give that a read before if you haven't already! http://blog.adacore.com/cross-referencing-ada-with-libadala…

Cross-referencing Ada with Libadalang by Pierre-Marie de Rodat, Raphaël Amiard – Dec 18, 2017 Libadalang has come a long way since the last time we blogged about it. In the past 6 months, we have been working tirelessly on name resolution, a pretty complicated topic in Ada, and it is finally read...

blog.adacore.com

Cross-referencing Ada with Libadalang - The AdaCore Blog

Cross-referencing Ada with Libadalang by Pierre-Marie de Rodat, Raphaël Amiard – Dec 18, 2017 Libadalang has come a long way since the last time we blogged about it. In the past 6 months, we have been working tirelessly on name resolution, a pretty complicated topic in Ada, and it is finally read...Cross-referencing Ada with Libadalang by Pierre-Marie de Rodat, Raphaël Amiard – Dec 18, 2017 Libadalang has come a long way since the last time we blogged about it. In the past 6 months, we have been working tirelessly on name resolution, a pretty complicated topic in Ada, and it is finally read...
  • 18 December 2017 at 14:22

We are delighted to announce our Make with Ada competitions...

Ada Passion

We are delighted to announce our Make with Ada competitions winners!

In 3rd place is Manuel Iglesias Abbatemarco with his Ada IoT Stack
This year's runner up is German Rivera who was also MWA 2016's second prize winner with a Smartwatch
And our Make with Ada 2017 winner is Jonas Attertun who developed the software for a brushless DC motor controller!

...

You can find all of their project logs with this link: http://adaco.re/jm

A massive well done to our prize winners and everyone else who took part!

Zobacz więcej

makewithada.org

Make with Ada

The 1st place prize of €5000/$5500 was awarded to Jonas Attertun from Sweden for his Ada Motorcontrol. The project involved the design of a software platform for developing a brushless DC motor controller (BLDC/PMSM). He used a custom, open-source board with an STM32F446 microprocessor, a sensored f...The 1st place prize of €5000/$5500 was awarded to Jonas Attertun from Sweden for his Ada Motorcontrol. The project involved the design of a software platform for developing a brushless DC motor controller (BLDC/PMSM). He used a custom, open-source board with an STM32F446 microprocessor, a sensored f...
  • 24 October 2017 at 12:22

We are so very excited to announce that AdaCore will be hosting...

Ada Passion

We are so very excited to announce that AdaCore will be hosting its first public SPARK training in Paris this December! To ensure you don't miss out click this link to register now! http://adaco.re/ja

adacore.com

Public SPARK Training | AdaCore

This training course is for project managers and software engineers required to be operational on projects using the SPARK language. This course will provide delegates with the necessary set of competencies to master the language and the formal verification tools that form the SPARK solution. It doe...This training course is for project managers and software engineers required to be operational on projects using the SPARK language. This course will provide delegates with the necessary set of competencies to master the language and the formal verification tools that form the SPARK solution. It doe...
  • 15 September 2017 at 09:50

Make sure you keep 27th September open so you can tune into our...

Ada Passion

Make sure you keep 27th September open so you can tune into our "Developing embedded systems in Ada - a C programmer's guide to safe, secure software" webinar! 15:00 CEST/ 8:00 CDT register yourself here now! http://adaco.re/j6

electronics-know-how.com

Electronics-Know-How.com

Developing embedded systems in Ada - a C programmer's guide to safe, secure software The easiest bugs to correct are the ones that are not inserted in the first place. This webinar will show how the Ada language can help you design, implement and verify embedded software that will be reliable, safe…Developing embedded systems in Ada - a C programmer's guide to safe, secure software The easiest bugs to correct are the ones that are not inserted in the first place. This webinar will show how the Ada language can help you design, implement and verify embedded software that will be reliable, safe…
  • 7 September 2017 at 12:32
❌
❌