❌ About FreshRSS

Normal view

There are new articles available, click to refresh the page.
Before yesterdayFosstodon @adaprogrammers

🚨 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 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
  • 24 November 2022 at 10:47

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) because I believe wasm will bring so many exciting possibilities for Ada/SPARK. Formally verified Web anyone? app.hellotalent.com/Vacancy/webass…
  • 12 October 2022 at 10:10
❌
❌