Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
social.kyiv.dcomm.net.ua is one of the many independent Mastodon servers you can use to participate in the fediverse.
Київський інстанс є частиною https://dcomm.net.ua. Українські локальні інстанси Mastodon були розгорнуті в 9 українських містах у серпні-вересні 2022 року

Administered by:

Server stats:

110
active users

social.kyiv.dcomm.net.ua: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.4

Макс 🇺🇦

21 червня відбувся семінар AdaCore GAP Workshop. Ця подія була організована для обміну інформацією між учасниками GNAT Academic Program (GAP) про успішні методи навчання, дослідницькі проекти, включаючи проекти студентів. Інженери AdaCore також представили оновлення щодо Ada, SPARK, пов'язаних ресурсів та наших спільних зусиль.

youtube.com/playlist?list=PLko

-lang

YouTubeAdaCore GAP Workshop, June 21, 2023By AdaCore
Jun 28, 2023, 08:58 AM·Public·Web
0boosts·0favorites
ExploreLive feeds
About