Login
https://fosstodon.org/@AdaProgrammers/109805799542074602
4 February 2023 at 09:38
The Ada/SPARK community is at FOSDEM this weekend. Stop by the Ada-Europe booth (Building K, level 2) to have a chat π#FOSDEM #AdaLang
Normal view
Before yesterdayFosstodon @adaprogrammers
https://fosstodon.org/@AdaProgrammers/109805784948719464
4 February 2023 at 09:35
https://fosstodon.org/@AdaProgrammers/109581233441372148
26 December 2022 at 17:48
4 days left to submit your entry for Ada/SPARK Crate Of The Year 2022! ππ #AdaLang #SparkLang #CrateOfTheYear https://blog.adacore.com/announcing-the-2022-ada-spark-crate-of-the-year-award
https://fosstodon.org/@AdaProgrammers/109364185423688127
18 November 2022 at 09:50
Two open Ada developers positions at Consafe Logistics: https://careers.consafelogistics.com/jobs/1674352-astro-wcs-system-developer #Ada #AdaProgrammers
https://fosstodon.org/@AdaProgrammers/109303091291239286
7 November 2022 at 14:53
Submissions for the Ada, SPARK and embedded Alire crates of the year are open until December 31st. Doesn't have to be a project you started in 2022, any project in the Alire ecosystem can participate.
https://fosstodon.org/@AdaProgrammers/109303072390703987
7 November 2022 at 14:48
#introduction Hello fediverse, we are a group of Ada aficionados (working for AdaCore) and our goal here is to share news and info about Ada/SPARK, or reblog related content. From time to time we may post a meme or two but don't count on it ;)
Don't hesitate to tag us if you have Ada/SPARK content to share.
https://fosstodon.org/@AdaProgrammers/109302913643487654
7 November 2022 at 14:08
with Ada.Text_IO;
procedure Hello is
begin
Ada.Text_IO.Put_Line ("Toot!");
end Hello;
-
Fosstodon @adaprogrammers
- 4 days left to submit your entry for Ada/SPARK Crate Of The Year 2022! ππ #AdaLang #SparkLang #CrateOfTheYear blog.adacore.com/announcing-theβ¦
4 days left to submit your entry for Ada/SPARK Crate Of The Year 2022! ππ #AdaLang #SparkLang #CrateOfTheYear blog.adacore.com/announcing-theβ¦
26 December 2022 at 17:50
4 days left to submit your entry for Ada/SPARK Crate Of The Year 2022! ππ #AdaLang #SparkLang #CrateOfTheYear blog.adacore.com/announcing-theβ¦
-
- π¨ PSA for Ada & SPARK programmers: tis the season to be giving so we're joining the Advent of Code funπ§βπ! Each time someone completes 1 of the ch...
π¨ PSA for Ada & SPARK programmers: tis the season to be giving so we're joining the Advent of Code funπ§βπ! Each time someone completes 1 of the ch...
24 November 2022 at 10:47
π¨ PSA for Ada & SPARK programmers: tis the season to be giving so we're joining the Advent of Code funπ§βπ! Each time someone completes 1 of the challenges in the #Adaprogramming language, we'll donate $10 & if it's in SPARK $20, to @adaacademy up to $5k - blog.adacore.com/tis-the-seasonβ¦ pic.twitter.com/Cqu99jmW0q
-
- fosstodon.org/@AdaProgrammers with Ada.Text_IO; procedure Hello is begin Ada.Text_IO.Put_Line ("Toot!"); end Hello; #Ada #SPARK #MakewithAda
fosstodon.org/@AdaProgrammers with Ada.Text_IO; procedure Hello is begin Ada.Text_IO.Put_Line ("Toot!"); end Hello; #Ada #SPARK #MakewithAda
7 November 2022 at 14:13
fosstodon.org/@AdaProgrammers with Ada.Text_IO; procedure Hello is begin Ada.Text_IO.Put_Line ("Toot!"); end Hello; #Ada #SPARK #MakewithAda
-
- Something to watch: a nice video about the current stable version of #steamsky youtube.com/watch?v=_ODdaEβ¦
Something to watch: a nice video about the current stable version of #steamsky youtube.com/watch?v=_ODdaEβ¦
17 October 2022 at 18:31
Something to watch: a nice video about the current stable version of #steamsky youtube.com/watch?v=_ODdaEβ¦
-
- AdaCore is looking for an intern eager to explore the future of #WebAssembly in Ada/SPARK! I opened this position (and will be supervising it) becau...
AdaCore is looking for an intern eager to explore the future of #WebAssembly in Ada/SPARK! I opened this position (and will be supervising it) becau...
12 October 2022 at 10:10
AdaCore is looking for an intern eager to explore the future of #WebAssembly in Ada/SPARK! I opened this position (and will be supervising it) because I believe wasm will bring so many exciting possibilities for Ada/SPARK. Formally verified Web anyone? app.hellotalent.com/Vacancy/webassβ¦
-
- Pour ceux qui n'auraient pas bien vu, nous serons Γ @OSXP_Paris les 8 et 9 novembre prochain π #OSXP2022 twitter.com/OSXP_Paris/staβ¦
Pour ceux qui n'auraient pas bien vu, nous serons Γ @OSXP_Paris les 8 et 9 novembre prochain π #OSXP2022 twitter.com/OSXP_Paris/staβ¦
7 October 2022 at 07:25
Pour ceux qui n'auraient pas bien vu, nous serons Γ @OSXP_Paris les 8 et 9 novembre prochain π #OSXP2022 twitter.com/OSXP_Paris/staβ¦
-
- Another industrial user of the #AdaProgramming language. adacore.com/papers/ada-at-β¦
Another industrial user of the #AdaProgramming language. adacore.com/papers/ada-at-β¦
7 October 2022 at 05:54
-
- 3 months until the end of Ada/SPARK Crate of The Year 2022. Tell us what cookin' π³ #Ada #SPARK github.com/AdaCore/Ada-SPβ¦
3 months until the end of Ada/SPARK Crate of The Year 2022. Tell us what cookin' π³ #Ada #SPARK github.com/AdaCore/Ada-SPβ¦
28 September 2022 at 12:05
3 months until the end of Ada/SPARK Crate of The Year 2022. Tell us what cookin' π³ #Ada #SPARK github.com/AdaCore/Ada-SPβ¦
-
- Ever wanted to use #AdaLang in #Cargo? You can now build and link Ada libraries easily with my new GPR crate. crates.io/crates/gpr
Ever wanted to use #AdaLang in #Cargo? You can now build and link Ada libraries easily with my new GPR crate. crates.io/crates/gpr
21 September 2022 at 16:01
Ever wanted to use #AdaLang in #Cargo? You can now build and link Ada libraries easily with my new GPR crate. crates.io/crates/gpr
-
- Don't miss the second edition of our programming competition: the 2022 Ada/SPARK Crate Of The Year Award! Submit a software project on GitHub and you ...
Don't miss the second edition of our programming competition: the 2022 Ada/SPARK Crate Of The Year Award! Submit a software project on GitHub and you ...
21 September 2022 at 14:44
Don't miss the second edition of our programming competition: the 2022 Ada/SPARK Crate Of The Year Award! Submit a software project on GitHub and you might be one of the lucky winners π All the details on blog.adacore.com/announcing-theβ¦ #programminglanguages #softwaredevelopment
-
- Another success story for the #AdaProgramming language, now in the domain of industrial real-time management and production systems. twitter.com/AdaCo...
Another success story for the #AdaProgramming language, now in the domain of industrial real-time management and production systems. twitter.com/AdaCo...
7 September 2022 at 15:04
Another success story for the #AdaProgramming language, now in the domain of industrial real-time management and production systems. twitter.com/AdaCoreCompanyβ¦
-
- @faelys_ I posted an English translation on reddit, I hope it's appropriate #ada #programming #FreeBSD #Ravenports reddit.com/r/ada/commentsβ¦
@faelys_ I posted an English translation on reddit, I hope it's appropriate #ada #programming #FreeBSD #Ravenports reddit.com/r/ada/commentsβ¦
28 August 2022 at 18:06
@faelys_ I posted an English translation on reddit, I hope it's appropriate #ada #programming #FreeBSD #Ravenports reddit.com/r/ada/commentsβ¦