Всё про Аду

By

Видео о языке программирования Ада и сопутствующих технологиях... more

Download on the App Store

Download on the App Store

Get it on Google Play

FAQs about Всё про Аду:

How many episodes does Всё про Аду have?

The podcast currently has 20 episodes available.

Всё про Аду episodes:

October 01, 2023 Ada News Digest, September 2023
00:26 Ada Monthly Meetup anouncement
01:37 Crate of the Year 2023
03:26 Getting Started With Ada by Way of Rust
04:37 GNAT Studio on MacOS and a MacOS linking bug
05:33 Argon2for Ada
06:13 Conclusion
...more
0min
October 01, 2023 Ада новости за сентябрь 2023
00:30 Ada Monthly Meetup anouncement
01:45 Crate of the Year 2023
03:35 Getting Started With Ada by Way of Rust
05:01 GNAT Studio on MacOS and a MacOS linking bug
06:53 Argon2for Ada
07:45 Conclusion
...more
0min
September 03, 2023 Ada News Digest, August 2023
02:00 Adamant: A Mission-Critical Flight Software Framework Written in Ada
05:11 Formal Proof on Device Drivers with SPARK
06:11 Extending Priority Inheritance Beyond Protected Operations
07:00 HAC for native targets
07:53 PTC ObjectAda Version 10.5
08:43 SweetAda on NEORV32
09:45 GNAT-LLVM (for macOS) prerelease
10:37 GNAT FSF 13 available in Alire preview
11:32 Ada BFD 1.3.0 release
13:43 Ada History: Common HOL Phase 1 Reports
...more
0min
September 03, 2023 Ада новости за август 2023
01:42 Adamant: A Mission-Critical Flight Software Framework Written in Ada
07:16 Formal Proof on Device Drivers with SPARK
08:57 Extending Priority Inheritance Beyond Protected Operations
13:50 HAC for native targets
15:17 PTC ObjectAda Version 10.5
16:40 SweetAda on NEORV32
17:55 GNAT-LLVM (for macOS) prerelease
18:49 GNAT FSF 13 available in Alire preview
19:52 Ada BFD 1.3.0 release
23:10 Из истории Ады: Отчет о фазе 1
...more
0min
August 11, 2023 Ada News Digest, July 2023
00:28 VSS: Cursors, Iterators and Markers
04:29 GNAT Pro Roadmap
07:10 Explaining Ada's Generics
08:17 Threads of Confusion, Bit arrays
09:28 VS Code Ada extension 23.0.20
10:40 New Libraries: Cashe, SQLite 3, Ada in wolfSSL
12:20 HiRTOS, a high-integrity RTOS in SPARK
13:45 Ada Support on Archlinux
14:50 Ada Programmers to hire
...more
0min
August 11, 2023 Ада новости за июнь 2023
00:40 VSS: Cursors, Iterators and Markers
04:43 GNAT Pro Roadmap
13:42 Explaining Ada's Generics
15:22 Threads of Confusion, Bit arrays
16:44 VS Code Ada extension 23.0.20
18:43 Cashe: A Money library for Ada
19:17 Ada Bindings to SQLite 3
20:24 Ada binding to the wolfSSL
22:15 HiRTOS, a high-integrity RTOS in SPARK
25:33 Ada Support on Archlinux
26:45 Ada Programmers to hire
...more
0min
July 18, 2023 Ada Meetup 2023 July
This is the first Ada Meetup where participants got to know each other. Videos from the GNAT Academic Program Workshop were presented. Jeff demonstrated a graph plotting program based on Ada GUI. And Max gave a brief overview of the prototype for an online problem-solving system.
The Ada Meetup is held during the first few days of every month. Attending is as simple as using a web browser - no additional software installation or registration is required. Join us!
07:00 Self-introduction of participants
16:14 Academic Workshop Videos
32:27 Qplt (Quick Plot) demo
44:59 Mission solving prototype
48:38 Final words
...more
0min
July 09, 2023Ada News Digest, June 2023
00:30 Ada Monthly Meetup
01:50 Quick Plot
02:43 CheckIO clone for Ada
05:29 GNAT Studio for Arch Linux
06:30 GNAT Academia Workshop
19:11 Beyond Normal Termination
19:44 Ada User Journal 43
...more
0min
July 09, 2023Ада новости за июнь 2023
00:30 Ada Monthly Meetup
03:48 Quick Plot
05:06 CheckIO clone for Ada
07:55 GNAT Studio for Arch Linux
09:16 GNAT Academia Workshop
26:39 Beyond Normal Termination
27:30 Ada User Journal 43
...more
0min
June 02, 2023Ada News Digest, May 2023
00:27 Ada Monthly Meetup
01:40 New ISO Ada 2022 Standard
03:29 New GNAT Studio release
06:13 New yacc/aflex release
06:57 Alice project
08:11 Ada on PYPL
08:49 Ada in StackOverflow Survey
09:28 New Learning Course
10:48 RecordFlux blog post
...more
0min

FAQs about Всё про Аду:

How many episodes does Всё про Аду have?

The podcast currently has 20 episodes available.