Recent searches

No recent searches

Search options

Only available when logged in.
sigmoid.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
A social space for people researching, working with, or just interested in AI!

Administered by:

Server stats:

596
active users

sigmoid.social: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.4.2

#AdaLanguage

0 posts0 participants0 posts today
0x0<p>Here's the customary <a href="https://hachyderm.io/tags/introduction" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>introduction</span></a>: i'm into <a href="https://hachyderm.io/tags/C" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>C</span></a> and tolerate C++ on a daily basis at work, i've also used others like java, kotlin, python, PHP, etc and am curious about <a href="https://hachyderm.io/tags/COBOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>COBOL</span></a>, <a href="https://hachyderm.io/tags/AdaLanguage" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AdaLanguage</span></a> and <a href="https://hachyderm.io/tags/erlang" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>erlang</span></a>.</p><p>My dislike of jenkins is only surpassed by my hate of githubactions and everything MS-related. AI is not I, only A. I'm interested in <a href="https://hachyderm.io/tags/selfhosted" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>selfhosted</span></a> stuff but atm that's a VPS with some sites, which doesn't really count. For now <a href="https://hachyderm.io/tags/syncthing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>syncthing</span></a> is quite useful and <a href="https://hachyderm.io/tags/wireguard" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>wireguard</span></a> is on the horizon once i reformat/reinstall my current <a href="https://hachyderm.io/tags/gentoo" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>gentoo</span></a> (i'll keep the root <a href="https://hachyderm.io/tags/ZFS" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ZFS</span></a> aproach and am on the fence regarding <a href="https://hachyderm.io/tags/XFCE" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>XFCE</span></a> or <a href="https://hachyderm.io/tags/KDE" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>KDE</span></a>), would be interesting to have a barebones <a href="https://hachyderm.io/tags/KVM" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>KVM</span></a>/#QEMU running all the stuff and i digress.</p><p>kthxbai\0</p>
Макс 🇺🇦<p>🎧 New podcast Ada Quality and Style Guide, Chapter 8 "Reusability". The very interesting and important topic. (AI generated summary)</p><p>- YouTube <a href="https://youtu.be/yjaIOpf6CcI" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">youtu.be/yjaIOpf6CcI</span><span class="invisible"></span></a><br>- 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"><span class="invisible">https://</span><span class="ellipsis">creators.spotify.com/pod/show/</span><span class="invisible">ada-spark-language/episodes/Ada-Quality-and-Style-Guide-Reusability-e34cds4</span></a></p><p><span class="h-card" translate="no"><a href="https://fosstodon.org/@AdaProgrammers" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>AdaProgrammers</span></a></span> <a href="https://social.kyiv.dcomm.net.ua/tags/ada" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ada</span></a> <a href="https://social.kyiv.dcomm.net.ua/tags/adalang" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>adalang</span></a> <a href="https://social.kyiv.dcomm.net.ua/tags/AdaLanguage" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AdaLanguage</span></a> <a href="https://social.kyiv.dcomm.net.ua/tags/adaprogramminglanguage" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>adaprogramminglanguage</span></a></p>
Макс 🇺🇦<p><a href="https://www.ada-europe.org/conference2025/workshop_adadev.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">ada-europe.org/conference2025/</span><span class="invisible">workshop_adadev.html</span></a></p><p>09:00 Welcome to the Ada Developers Workshop<br>09:15 Automating License Identification with SPDX-Tool<br>10:05 Property Based Testing in Ada: the Missing 10%<br>11:00 A KISS Ada GUI<br>11:45 Writing Embedded Applications on Zephyr<br>14:00 UXStrings: a Unicode and Dynamic Length String Library<br>14:45 Writing a Competitive BZip2 Encoder from Scratch<br>16:00 Using Natural Language for Tests, is That Really Wise?<br>16:50 Building a Mars Rover SPARK Demo<br>17:15 Open Discussion</p><p><a href="https://social.kyiv.dcomm.net.ua/tags/AdaLanguage" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AdaLanguage</span></a></p>
Макс 🇺🇦<p>Наступна серія подкаста о прийомах, що полегшують читання коду на Ada.</p><p>* Spotify: <a href="https://creators.spotify.com/pod/show/ada-ukraine/episodes/Ada-e33bgkf" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">creators.spotify.com/pod/show/</span><span class="invisible">ada-ukraine/episodes/Ada-e33bgkf</span></a><br>* Слухати MP3: <a href="https://ipfs.io/ipfs/QmXLHXdV6dJvmeMBER72SFwdPHvUvkRc5SkXUp9TtfMqM2/Readability.mp3" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">ipfs.io/ipfs/QmXLHXdV6dJvmeMBE</span><span class="invisible">R72SFwdPHvUvkRc5SkXUp9TtfMqM2/Readability.mp3</span></a></p><p>Наш переклад посібника зі стилю (ще в процесі): ⁠⁠<a href="https://ada-ukraine.github.io/courses/style-guide-ukr/⁠" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">ada-ukraine.github.io/courses/</span><span class="invisible">style-guide-ukr/⁠</span></a></p><p>[У цьому епізоді є матеріал, створений за допомогою ШІ].</p><p><a href="https://social.kyiv.dcomm.net.ua/tags/Ada" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Ada</span></a> <a href="https://social.kyiv.dcomm.net.ua/tags/AdaLanguage" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AdaLanguage</span></a></p>
Макс 🇺🇦<p>Друзі, Google вразив новим AI-сервісом для створення подкастів з документів! Це ідеальний спосіб легко засвоювати складні теми. Натхненний якістю, я вирішив запустити серію подкастів про Ada. Першим буде огляд "Ada Quality and Style Guide" – книги, яка свого часу відкрила для мене нові горизонти в Ada. Приєднуйтесь, щоб поглянути на Ada свіжим поглядом!</p><p><a href="https://ada-ukraine.github.io/posts/podcast/qns_intro.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">ada-ukraine.github.io/posts/po</span><span class="invisible">dcast/qns_intro.html</span></a></p><p><a href="https://social.kyiv.dcomm.net.ua/tags/Ada" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Ada</span></a> <a href="https://social.kyiv.dcomm.net.ua/tags/AdaLanguage" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AdaLanguage</span></a> <a href="https://social.kyiv.dcomm.net.ua/tags/%D1%83%D0%BA%D1%80%D0%B0%D1%97%D0%BD%D0%B0" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>україна</span></a></p>
Макс 🇺🇦<p>New Podcast "Ada Concurrency": AI generated summary of Ada Quality and Style Guide, Chapter 6.</p><p><a href="https://youtu.be/vyEGYKsIpTE" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">youtu.be/vyEGYKsIpTE</span><span class="invisible"></span></a></p><p><a href="https://social.kyiv.dcomm.net.ua/tags/adalang" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>adalang</span></a> <a href="https://social.kyiv.dcomm.net.ua/tags/AdaLanguage" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AdaLanguage</span></a> <a href="https://social.kyiv.dcomm.net.ua/tags/adaprogramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>adaprogramming</span></a> <a href="https://social.kyiv.dcomm.net.ua/tags/adaprogramminglanguage" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>adaprogramminglanguage</span></a> <a href="https://social.kyiv.dcomm.net.ua/tags/podcast" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>podcast</span></a><br><span class="h-card" translate="no"><a href="https://fosstodon.org/@AdaProgrammers" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>AdaProgrammers</span></a></span></p>
Макс 🇺🇦<p>New Podcast "Ada Programing Practices": Optional syntax parts, parameter lists and types.</p><p><a href="https://youtu.be/KkECe34C4-0" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">youtu.be/KkECe34C4-0</span><span class="invisible"></span></a></p><p><a href="https://social.kyiv.dcomm.net.ua/tags/adalang" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>adalang</span></a> <a href="https://social.kyiv.dcomm.net.ua/tags/AdaLanguage" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AdaLanguage</span></a> <a href="https://social.kyiv.dcomm.net.ua/tags/adaprogramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>adaprogramming</span></a> <a href="https://social.kyiv.dcomm.net.ua/tags/adaprogramminglanguage" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>adaprogramminglanguage</span></a> <a href="https://social.kyiv.dcomm.net.ua/tags/podcast" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>podcast</span></a><br><span class="h-card" translate="no"><a href="https://fosstodon.org/@AdaProgrammers" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>AdaProgrammers</span></a></span></p>
TrendingLive feeds
About