Fosstodon

Макс 🇺🇦🎧 New podcast Ada Quality and Style Guide, Chapter 8 "Reusability". The very interesting and important topic. (AI generated summary)- YouTube <a href="https://youtu.be/yjaIOpf6CcI" rel="nofollow noopener" translate="no" target="_blank">https://youtu.be/yjaIOpf6CcI</a> - Spotify <a href="https://creators.spotify.com/pod/show/ada-spark-language/episodes/Ada-Quality-and-Style-Guide-Reusability-e34cds4" rel="nofollow noopener" translate="no" target="_blank">https://creators.spotify.com/pod/show/ada-spark-language/episodes/Ada-Quality-and-Style-Guide-Reusability-e34cds4</a><a href="https://fosstodon.org/@AdaProgrammers" class="u-url mention" rel="nofollow noopener" target="_blank">@AdaProgrammers</a> <a href="https://social.kyiv.dcomm.net.ua/tags/ada" class="mention hashtag" rel="nofollow noopener" target="_blank">#ada</a> <a href="https://social.kyiv.dcomm.net.ua/tags/adalang" class="mention hashtag" rel="nofollow noopener" target="_blank">#adalang</a> <a href="https://social.kyiv.dcomm.net.ua/tags/AdaLanguage" class="mention hashtag" rel="nofollow noopener" target="_blank">#AdaLanguage</a> <a href="https://social.kyiv.dcomm.net.ua/tags/adaprogramminglanguage" class="mention hashtag" rel="nofollow noopener" target="_blank">#adaprogramminglanguage</a>

Макс 🇺🇦New Podcast "Ada Concurrency": AI generated summary of Ada Quality and Style Guide, Chapter 6.<a href="https://youtu.be/vyEGYKsIpTE" rel="nofollow noopener" translate="no" target="_blank">https://youtu.be/vyEGYKsIpTE</a><a href="https://social.kyiv.dcomm.net.ua/tags/adalang" class="mention hashtag" rel="nofollow noopener" target="_blank">#adalang</a> <a href="https://social.kyiv.dcomm.net.ua/tags/AdaLanguage" class="mention hashtag" rel="nofollow noopener" target="_blank">#AdaLanguage</a> <a href="https://social.kyiv.dcomm.net.ua/tags/adaprogramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#adaprogramming</a> <a href="https://social.kyiv.dcomm.net.ua/tags/adaprogramminglanguage" class="mention hashtag" rel="nofollow noopener" target="_blank">#adaprogramminglanguage</a> <a href="https://social.kyiv.dcomm.net.ua/tags/podcast" class="mention hashtag" rel="nofollow noopener" target="_blank">#podcast</a> <a href="https://fosstodon.org/@AdaProgrammers" class="u-url mention" rel="nofollow noopener" target="_blank">@AdaProgrammers</a>

Макс 🇺🇦New Podcast "Ada Programing Practices": Optional syntax parts, parameter lists and types.<a href="https://youtu.be/KkECe34C4-0" rel="nofollow noopener" translate="no" target="_blank">https://youtu.be/KkECe34C4-0</a><a href="https://social.kyiv.dcomm.net.ua/tags/adalang" class="mention hashtag" rel="nofollow noopener" target="_blank">#adalang</a> <a href="https://social.kyiv.dcomm.net.ua/tags/AdaLanguage" class="mention hashtag" rel="nofollow noopener" target="_blank">#AdaLanguage</a> <a href="https://social.kyiv.dcomm.net.ua/tags/adaprogramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#adaprogramming</a> <a href="https://social.kyiv.dcomm.net.ua/tags/adaprogramminglanguage" class="mention hashtag" rel="nofollow noopener" target="_blank">#adaprogramminglanguage</a> <a href="https://social.kyiv.dcomm.net.ua/tags/podcast" class="mention hashtag" rel="nofollow noopener" target="_blank">#podcast</a> <a href="https://fosstodon.org/@AdaProgrammers" class="u-url mention" rel="nofollow noopener" target="_blank">@AdaProgrammers</a>

Макс 🇺🇦Reading the Style Guide is boring. How about listening to a live discussion? As an experiment, I used Google NobebookML to create such a discussion for three topics from the Programming Practices chapter of Ada’s style guide. The 17 minutes of discussion includedVisibilityException usageErroneous execution and bounded errorsI added the slides myself. I think it turned out very interesting.What do you think of this format?<a href="https://www.youtube.com/watch?v=GOVfwBcnU_E" rel="nofollow noopener" translate="no" target="_blank">https://www.youtube.com/watch?v=GOVfwBcnU_E</a><a href="https://social.kyiv.dcomm.net.ua/tags/adaprogramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#adaprogramming</a> <a href="https://social.kyiv.dcomm.net.ua/tags/adalang" class="mention hashtag" rel="nofollow noopener" target="_blank">#adalang</a> <a href="https://social.kyiv.dcomm.net.ua/tags/ada" class="mention hashtag" rel="nofollow noopener" target="_blank">#ada</a>

Ada-FranceVous avez envie de lire des articles sur Ada en français et bien en voici quelques uns. En plus, gage de qualité, ça vient de Systerel.<a href="https://blog.systerel.fr/fr/tags/ada/" rel="nofollow noopener" translate="no" target="_blank">https://blog.systerel.fr/fr/tags/ada/</a><a href="https://mamot.fr/tags/ada" class="mention hashtag" rel="nofollow noopener" target="_blank">#ada</a> <a href="https://mamot.fr/tags/adalang" class="mention hashtag" rel="nofollow noopener" target="_blank">#adalang</a> <a href="https://mamot.fr/tags/adaprogramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#adaprogramming</a>

Jens Siebert 🦀🇪🇺Alire, the <a href="https://social.vivaldi.net/tags/adalang" class="mention hashtag" rel="nofollow noopener" target="_blank">#adalang</a> build/test/package/etc. management tool, has been released in version 2.0.2 adding support for Apple Silicon for the first time 🙌 <a href="https://github.com/alire-project/alire/releases/tag/v2.0.2" rel="nofollow noopener" translate="no" target="_blank">https://github.com/alire-project/alire/releases/tag/v2.0.2</a>

Макс 🇺🇦Це візуалізація мого коду, який вписує еліпсоїд у набір точок. Я взяв сто точок, які трохи зміщені від певного еліпсоїда, подав їх у свою програму, і вона розрахувала параметри еліпсоїда. Дані про точки і отриманий еліпсоїд я передав у Blender, щоб переглянути, наскільки вони збігаються. Зелені стрілки їдуть від проекції на еліпсоїді до точки. Обертання - просто для огляду.<a href="https://github.com/reznikmm/conic_fit" rel="nofollow noopener" translate="no" target="_blank">https://github.com/reznikmm/conic_fit</a><a href="https://social.kyiv.dcomm.net.ua/tags/ada" class="mention hashtag" rel="nofollow noopener" target="_blank">#ada</a> <a href="https://social.kyiv.dcomm.net.ua/tags/adalang" class="mention hashtag" rel="nofollow noopener" target="_blank">#adalang</a> <a href="https://social.kyiv.dcomm.net.ua/tags/ada" class="mention hashtag" rel="nofollow noopener" target="_blank">#ada</a>-lang <a href="https://social.kyiv.dcomm.net.ua/tags/blender3d" class="mention hashtag" rel="nofollow noopener" target="_blank">#blender3d</a> <a href="https://social.kyiv.dcomm.net.ua/tags/blender" class="mention hashtag" rel="nofollow noopener" target="_blank">#blender</a> <a href="https://social.kyiv.dcomm.net.ua/tags/opensource" class="mention hashtag" rel="nofollow noopener" target="_blank">#opensource</a> <a href="https://fosstodon.org/@AdaProgrammers" class="u-url mention" rel="nofollow noopener" target="_blank">@AdaProgrammers</a>

Макс 🇺🇦GNAT for MacOS X Silicon! 🎉 > Thanks to GitHub enabling Apple M1 runner + Simon Wright's work + Max’s work, we have GNAT FSF toolchains for Apple M1 available in the Alire project 🥳<a href="https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-13.2.0-2/gnat-aarch64-darwin-13.2.0-2.tar.gz" rel="nofollow noopener" translate="no" target="_blank">https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-13.2.0-2/gnat-aarch64-darwin-13.2.0-2.tar.gz</a><a href="https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-24.0.0-1/gprbuild-aarch64-darwin-24.0.0-1.tar.gz" rel="nofollow noopener" translate="no" target="_blank">https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-24.0.0-1/gprbuild-aarch64-darwin-24.0.0-1.tar.gz</a><a href="https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-13.2.0-1/gnatprove-aarch64-darwin-13.2.0-1.tar.gz" rel="nofollow noopener" translate="no" target="_blank">https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-13.2.0-1/gnatprove-aarch64-darwin-13.2.0-1.tar.gz</a><a href="https://social.kyiv.dcomm.net.ua/tags/ada" class="mention hashtag" rel="nofollow noopener" target="_blank">#ada</a> <a href="https://social.kyiv.dcomm.net.ua/tags/adalang" class="mention hashtag" rel="nofollow noopener" target="_blank">#adalang</a> <a href="https://social.kyiv.dcomm.net.ua/tags/ada" class="mention hashtag" rel="nofollow noopener" target="_blank">#ada</a>-lang <a href="https://social.kyiv.dcomm.net.ua/tags/alire" class="mention hashtag" rel="nofollow noopener" target="_blank">#alire</a> <a href="https://fosstodon.org/@AdaProgrammers" class="u-url mention" rel="nofollow noopener" target="_blank">@AdaProgrammers</a>

Макс 🇺🇦Також є версія українською<a href="https://github.com/reznikmm/rtt" rel="nofollow noopener" translate="no" target="_blank">https://github.com/reznikmm/rtt</a>мого блог поста: <a href="https://blog.adacore.com/enhancing-ada-embedded-development-the-power-of-real-time-logging-with-rtt" rel="nofollow noopener" translate="no" target="_blank">https://blog.adacore.com/enhancing-ada-embedded-development-the-power-of-real-time-logging-with-rtt</a>My new blog is about SEGGER RTT for Ada :)<a href="https://social.kyiv.dcomm.net.ua/tags/ada" class="mention hashtag" rel="nofollow noopener" target="_blank">#ada</a> <a href="https://social.kyiv.dcomm.net.ua/tags/adalang" class="mention hashtag" rel="nofollow noopener" target="_blank">#adalang</a> <a href="https://social.kyiv.dcomm.net.ua/tags/embedded" class="mention hashtag" rel="nofollow noopener" target="_blank">#embedded</a>

Макс 🇺🇦<a href="https://blog.adacore.com/enhancing-ada-embedded-development-the-power-of-real-time-logging-with-rtt" rel="nofollow noopener" translate="no" target="_blank">https://blog.adacore.com/enhancing-ada-embedded-development-the-power-of-real-time-logging-with-rtt</a>My new blog is about SEGGER RTT for Ada :)<a href="https://social.kyiv.dcomm.net.ua/tags/ada" class="mention hashtag" rel="nofollow noopener" target="_blank">#ada</a> <a href="https://social.kyiv.dcomm.net.ua/tags/adalang" class="mention hashtag" rel="nofollow noopener" target="_blank">#adalang</a> <a href="https://social.kyiv.dcomm.net.ua/tags/embedded" class="mention hashtag" rel="nofollow noopener" target="_blank">#embedded</a> <a href="https://fosstodon.org/@AdaProgrammers" class="u-url mention" rel="nofollow noopener" target="_blank">@AdaProgrammers</a>

Макс 🇺🇦I've successfully crafted ARM64 cross-compilers for building Ada Language Server on Linux and macOS. Check out the forum post to dive into the details and explore the possibilities!<a href="https://forum.ada-lang.io/t/aarch64-cross-toolchain/582" rel="nofollow noopener" translate="no" target="_blank">https://forum.ada-lang.io/t/aarch64-cross-toolchain/582</a><a href="https://fosstodon.org/@AdaProgrammers" class="u-url mention" rel="nofollow noopener" target="_blank">@AdaProgrammers</a> <a href="https://social.kyiv.dcomm.net.ua/tags/ada" class="mention hashtag" rel="nofollow noopener" target="_blank">#ada</a> <a href="https://social.kyiv.dcomm.net.ua/tags/AdaLanguage" class="mention hashtag" rel="nofollow noopener" target="_blank">#AdaLanguage</a> <a href="https://social.kyiv.dcomm.net.ua/tags/adalang" class="mention hashtag" rel="nofollow noopener" target="_blank">#adalang</a> <a href="https://social.kyiv.dcomm.net.ua/tags/gcc" class="mention hashtag" rel="nofollow noopener" target="_blank">#gcc</a> <a href="https://social.kyiv.dcomm.net.ua/tags/GitHub" class="mention hashtag" rel="nofollow noopener" target="_blank">#GitHub</a>

Ada-FranceLatitude, société rémoise dans l'aérospatiale, a décidé de faire de l'Ada... Et en plus, ils recrutent 😊 Venez en parler avec nous à l' <a href="https://mastodon.social/@osxp_paris" class="u-url mention" rel="nofollow noopener" target="_blank">@osxp_paris</a> aujourd'hui<a href="https://www.adacore.com/papers/latitude-adopts-ada-and-spark-for-light-launcher-software-in-new-space-industry?utm_source=Twitter&utm_medium=Twitter+Organic&utm_campaign=Latitude+Case+Study&utm_id=Latitude+Case+Study" rel="nofollow noopener" translate="no" target="_blank">https://www.adacore.com/papers/latitude-adopts-ada-and-spark-for-light-launcher-software-in-new-space-industry?utm_source=Twitter&utm_medium=Twitter+Organic&utm_campaign=Latitude+Case+Study&utm_id=Latitude+Case+Study</a><a href="https://www.latitude.eu/" rel="nofollow noopener" translate="no" target="_blank">https://www.latitude.eu/</a><a href="https://mamot.fr/tags/osxp2023" class="mention hashtag" rel="nofollow noopener" target="_blank">#osxp2023</a> <a href="https://mamot.fr/tags/ada" class="mention hashtag" rel="nofollow noopener" target="_blank">#ada</a> <a href="https://mamot.fr/tags/AdaLanguage" class="mention hashtag" rel="nofollow noopener" target="_blank">#AdaLanguage</a> <a href="https://mamot.fr/tags/adalang" class="mention hashtag" rel="nofollow noopener" target="_blank">#adalang</a>

Макс 🇺🇦Somebody on Ada Monthly meetup mentioned fedirated replacement for Reddit - Lemmy Ada community:<a href="https://programming.dev/c/ada" rel="nofollow noopener" translate="no" target="_blank">https://programming.dev/c/ada</a><a href="https://social.kyiv.dcomm.net.ua/tags/ada" class="mention hashtag" rel="nofollow noopener" target="_blank">#ada</a> <a href="https://social.kyiv.dcomm.net.ua/tags/ada" class="mention hashtag" rel="nofollow noopener" target="_blank">#ada</a>-lang <a href="https://social.kyiv.dcomm.net.ua/tags/adalang" class="mention hashtag" rel="nofollow noopener" target="_blank">#adalang</a> <a href="https://fosstodon.org/@AdaProgrammers" class="u-url mention" rel="nofollow noopener" target="_blank">@AdaProgrammers</a>

Макс 🇺🇦⏰ 14:00 UTC today! 📅 Ada Monthly Meetup! Main topic is an OS in Ada/SPARK<a href="https://forum.ada-lang.io/t/ada-monthly-meeting/384/19" rel="nofollow noopener" translate="no" target="_blank">https://forum.ada-lang.io/t/ada-monthly-meeting/384/19</a><a href="https://social.kyiv.dcomm.net.ua/tags/adalang" class="mention hashtag" rel="nofollow noopener" target="_blank">#adalang</a> <a href="https://fosstodon.org/@AdaProgrammers" class="u-url mention" rel="nofollow noopener" target="_blank">@AdaProgrammers</a>

Макс 🇺🇦🎉 Тільки що випустив нову версію розширення 📦 VSCode для Ada (24.0.1). Це перша версія із протоколом LSP 3.17. Ми використовували генерацію коду на основі мета-моделі протоколу. Довелося багато переписувати, але тепер ми можемо впроваджувати нові можливості. Ви можете отримати його на marketplace або openvsix.<a href="https://open-vsx.org/extension/AdaCore/ada" rel="nofollow noopener" translate="no" target="_blank">https://open-vsx.org/extension/AdaCore/ada</a><a href="https://social.kyiv.dcomm.net.ua/tags/ada" class="mention hashtag" rel="nofollow noopener" target="_blank">#ada</a> <a href="https://social.kyiv.dcomm.net.ua/tags/%D0%90%D0%B4%D0%B0" class="mention hashtag" rel="nofollow noopener" target="_blank">#Ада</a> <a href="https://social.kyiv.dcomm.net.ua/tags/adalang" class="mention hashtag" rel="nofollow noopener" target="_blank">#adalang</a>

Макс 🇺🇦🎉 Just released a new version of the Ada VSCode extension (24.0.1). This is the first version with LSP protocol 3.17. We used code generation based on the protocol's meta-model. It required a lot of rewriting, but now we can implement new features. You can grab it on the [marketplace](<a href="https://marketplace.visualstudio.com/items?itemName=AdaCore.ada" rel="nofollow noopener" translate="no" target="_blank">https://marketplace.visualstudio.com/items?itemName=AdaCore.ada</a>) or [openvsix](<a href="https://open-vsx.org/extension/AdaCore/ada" rel="nofollow noopener" translate="no" target="_blank">https://open-vsx.org/extension/AdaCore/ada</a>). <a href="https://social.kyiv.dcomm.net.ua/tags/ada" class="mention hashtag" rel="nofollow noopener" target="_blank">#ada</a> <a href="https://social.kyiv.dcomm.net.ua/tags/adalang" class="mention hashtag" rel="nofollow noopener" target="_blank">#adalang</a> <a href="https://social.kyiv.dcomm.net.ua/tags/vscode" class="mention hashtag" rel="nofollow noopener" target="_blank">#vscode</a> <a href="https://social.kyiv.dcomm.net.ua/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#programming</a> <a href="https://fosstodon.org/@AdaProgrammers" class="u-url mention" rel="nofollow noopener" target="_blank">@AdaProgrammers</a>

Макс 🇺🇦Ada Meetup October 2023:<a href="https://www.youtube.com/live/0Pnuy663gZM" rel="nofollow noopener" translate="no" target="_blank">https://www.youtube.com/live/0Pnuy663gZM</a><a href="https://social.kyiv.dcomm.net.ua/tags/ada" class="mention hashtag" rel="nofollow noopener" target="_blank">#ada</a> <a href="https://social.kyiv.dcomm.net.ua/tags/adalang" class="mention hashtag" rel="nofollow noopener" target="_blank">#adalang</a> <a href="https://fosstodon.org/@AdaProgrammers" class="u-url mention" rel="nofollow noopener" target="_blank">@AdaProgrammers</a>

Макс 🇺🇦Ada User Journal June 2022 is online:<a href="http://www.ada-europe.org/archive/auj/auj-43-2-withcovers.pdf" rel="nofollow noopener" translate="no" target="_blank">http://www.ada-europe.org/archive/auj/auj-43-2-withcovers.pdf</a><a href="https://social.kyiv.dcomm.net.ua/tags/ada" class="mention hashtag" rel="nofollow noopener" target="_blank">#ada</a> <a href="https://social.kyiv.dcomm.net.ua/tags/adalang" class="mention hashtag" rel="nofollow noopener" target="_blank">#adalang</a> <a href="https://social.kyiv.dcomm.net.ua/tags/%D0%B0%D0%B4%D0%B0" class="mention hashtag" rel="nofollow noopener" target="_blank">#ада</a> <a href="https://social.kyiv.dcomm.net.ua/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#programming</a> <a href="https://fosstodon.org/@AdaProgrammers" class="u-url mention" rel="nofollow noopener" target="_blank">@AdaProgrammers</a>

Макс 🇺🇦Ada News Digest, September 2023<a href="https://youtu.be/CCW8IKzhbNI" rel="nofollow noopener" translate="no" target="_blank">https://youtu.be/CCW8IKzhbNI</a><a href="https://social.kyiv.dcomm.net.ua/tags/ada" class="mention hashtag" rel="nofollow noopener" target="_blank">#ada</a> <a href="https://social.kyiv.dcomm.net.ua/tags/adalang" class="mention hashtag" rel="nofollow noopener" target="_blank">#adalang</a> <a href="https://social.kyiv.dcomm.net.ua/tags/adalang" class="mention hashtag" rel="nofollow noopener" target="_blank">#adalang</a> <a href="https://fosstodon.org/@AdaProgrammers" class="u-url mention" rel="nofollow noopener" target="_blank">@AdaProgrammers</a>

Макс 🇺🇦📢 3 x $2000 prizes 💵 for a new <a href="https://social.kyiv.dcomm.net.ua/tags/Ada" class="mention hashtag" rel="nofollow noopener" target="_blank">#Ada</a> library till the end of 2023!AdaCore announced a new round of the competition:<a href="https://blog.adacore.com/announcing-the-2023-ada-spark-crate-of-the-year-award" rel="nofollow noopener" translate="no" target="_blank">https://blog.adacore.com/announcing-the-2023-ada-spark-crate-of-the-year-award</a><a href="https://social.kyiv.dcomm.net.ua/tags/ada" class="mention hashtag" rel="nofollow noopener" target="_blank">#ada</a> <a href="https://social.kyiv.dcomm.net.ua/tags/adalang" class="mention hashtag" rel="nofollow noopener" target="_blank">#adalang</a> <a href="https://social.kyiv.dcomm.net.ua/tags/adalang" class="mention hashtag" rel="nofollow noopener" target="_blank">#adalang</a> <a href="https://social.kyiv.dcomm.net.ua/tags/%D0%B0%D0%B4%D0%B0" class="mention hashtag" rel="nofollow noopener" target="_blank">#ада</a> <a href="https://social.kyiv.dcomm.net.ua/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#programming</a> <a href="https://fosstodon.org/@AdaProgrammers" class="u-url mention" rel="nofollow noopener" target="_blank">@AdaProgrammers</a>

Recent searches

Search options

Administered by:

Server stats:

#adalang