-
@adafrance will host the first Ada France meetup the 26th March at the@irill (Paris Campus Jussieu). More details coming soon, but you can register today at: https://www.meetup.com/Ada-France/events/268262143/ …#Adaprogramming#OpenSourceSoftware -
Ada programmers: Fabien Chouteau (
@DesChips) interview is live! https://tomekw.com/ada-programmers-fabien-chouteau/ …#AdaLang#AdaProgramming#AdaEurope#interview -
We just released Gneiss, a framework for asynchronous, verifiable
#SPARK#Ada components. Supported target OSes are Genode, Muen and Linux. https://github.com/Componolit/gneiss …#formalverification#formalmethods#CyberSecurity#Adaprogramming#SPARKprogrammingpic.twitter.com/1pDg6Ty2wI
-
Hey Ada programmers we've setup ada language group on the telegram. Come join us: https://t.me/ada_lang
#AdaProgramming@adaprogrammers -
How can you structure your trusted software components to facilitate
#FormalVerification?@JK70523 presents our Gneiss framework for portable high-performance#SPARK#Ada components at#FOSDEM on Sunday. https://fosdem.org/2020/schedule/event/uk_gneiss/ …#CyberSecurity#Adaprogramming -
"Part of our core expertise at AdaCore is to integrate multiple technologies as smoothly as possible and make it a product... Such complex integration is only possible because all these components are
#OpenSource" https://blog.adacore.com/the-power-of-technology-integration …#Adaprogramming#OpenSourceSoftware -
Model fire extinguisher truck, submission for
#MakeWithAda contest.#AdaProgramming https://twitter.com/LGluon/status/1222548856656801792 …
-
All
#presentations and video#recordings from the 10th Ada Developer Room, held at#FOSDEM2020 in Brussels recently, are available via the#AdaBelgium and#FOSDEM web sites now.#AdaFOSDEM#AdaDevRoom#AdaProgramming#AdaEurope http://www.cs.kuleuven.be/~dirk/ada-belgium/events/20/200201-fosdem.html …http://fosdem.org/2020/schedule/track/ada/ … -
The
#AdaProgramming language is case-insensitive, its name is not. Hint: it's not an acronym... -
Video recordings of all talks will become available in the near future. For the
#AdaDevRoom: this will be announced on Ada-related mailing lists and on the#AdaBelgium web-page for the event. Stay tuned...#AdaProgramming#FOSDEM2020 -
Meet
#AdaCoreCompany at this year’s Safety-Critical Systems Symposium (#SSS20) at the Principal Hotel, York, February 11th to the 13th.#Aerospace#SpaceTechnology@SafetyClubUK#SystemSafety#SoftwareSafety#AdaProgramming#SafetyCriticalSystems https://adacore.com pic.twitter.com/TwGj5ZMnUO
-
Win one of the
#AdaProgramming books in the#AdaDevRoom at#FOSDEM2020!https://twitter.com/adaprogrammers/status/1223538744529170432 …
-
#AdaBelgium organizes today its 10th#AdaDevRoom at#FOSDEM2020, starting at 10:30. If (like me) you can't be there, follow the#livestream or watch the#recordings later! URL for Ada DevRoom's livestream: https://live.fosdem.org/watch/aw1125#AdaProgramming http://www.cs.kuleuven.be/~dirk/ada-belgium/events/20/200201-fosdem.html …pic.twitter.com/F1lT6haWjJ
-
Once again a lot of exciting topics in the
@fosdem Ada/SPARK devroom. Meet us there this weekend! https://blog.adacore.com/adacore-at-fosdem-2020 …#Adaprogramming#FOSDEM2020#FOSDEM -
Game written in
#AdaProgramming language, see it in#AdaDevRoom tomorrow at#FOSDEM2020.https://twitter.com/adafruit/status/1223241026745311235 … -
One more
#AdaProgramming language related talk in another DevRoom on Sunday at#FOSDEM2020https://twitter.com/Componolit/status/1223184443315064832 … -
Less than 1 day to go until the 2019/20
#MakewithAda competition closes!
Make sure to put as much project detail in as possible to really show off what you were able to build in #Ada and#SPARK https://youtu.be/-Nx-bD8iogo@Hacksterio#Adaprogramming#embeddedprogramming -
FYI. The principal designer of the 1st
#AdaProgramming language definition, Jean Ichbiah, was a French computer scientist, not Turkish. The language was named in honour of Lady Ada Lovelace, hence spelled "Ada"; it's not an acronym "A.D.A." (American Dental Association, etc). -
Showcasing our
@XPlaneOfficial demo at#erts2020 highlighting the use of Ada for safe and secure avionics software.#Adaprogramming#Xplane#flightsimulationpic.twitter.com/VXUkOZpeBl
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.