Introduction to the Ada DevRoom
This is a modal window.
The media could not be loaded, either because the server or network failed or because the format is not supported.
Formal Metadata
| Title |
| |
| Title of Series | ||
| Number of Parts | 287 | |
| Author | ||
| License | CC Attribution 2.0 Belgium: You are free to use, adapt and copy, distribute and transmit the work or content in adapted or unchanged form for any legal purpose as long as the work is attributed to the author in the manner specified by the author or licensor. | |
| Identifiers | 10.5446/57026 (DOI) | |
| Publisher | ||
| Release Date | ||
| Language |
Content Metadata
| Subject Area | ||
| Genre | ||
| Abstract |
|
FOSDEM 2022167 / 287
2
4
6
8
12
17
21
23
31
35
37
41
44
45
46
47
50
62
65
66
67
68
71
73
81
84
85
86
90
92
94
100
102
105
111
114
115
116
117
118
121
122
124
127
131
133
135
137
139
140
141
142
145
149
150
156
164
165
167
169
170
171
172
174
176
178
180
183
184
189
190
192
194
198
205
206
207
208
210
218
220
224
225
229
230
232
235
236
238
239
240
242
243
244
245
246
249
250
253
260
262
264
267
273
274
277
282
283
287
00:00
Event horizonInformationStudent's t-testPlanck constantHypothesisField programmable gate arraySelf-organizationMultilaterationWeb pageMultiplication signTrailInformationCASE <Informatik>Numbering schemeVideoconferencingEvent horizonPowerPCPresentation of a groupMereologyCompilerLink (knot theory)BitFile formatOpen set1 (number)Different (Kate Ryan album)Software repositoryCore dumpCollaborationismLine (geometry)View (database)Workstation <Musikinstrument>Student's t-testPosition operatorUniformer RaumInterrupt <Informatik>Forcing (mathematics)Power (physics)Water vaporDiagramComputer animation
03:27
System callSoftwareHost Identity ProtocolLink (knot theory)Workstation <Musikinstrument>Element (mathematics)Right angleVideoconferencingWeb pageHypermediaInterface (computing)MereologyWeb 2.0Online chat
04:20
Modulo (jargon)Message passingMenu (computing)GEDCOMInterface (computing)Message passingOrder (biology)Internet forumElectronic mailing listRight anglePresentation of a groupVideoconferencingInformationThumbnailHand fanStreaming mediaPhysical systemCuboidMereologySet (mathematics)Source code
05:26
Moving averageGraphical user interfaceInterface (computing)RobotComputer iconCuboidSet (mathematics)Event horizonMessage passingData managementPhysical systemSource code
05:47
Computer programGame theoryGOOD <Programm>Data modelSystem programmingSoftwareData structureGraphical user interfaceImplementationElectronic program guideLibrary (computing)Fatou-MengeBroadcast programmingPhysical systemPhysical systemSubsetInterior (topology)Scripting languageRight angleScheduling (computing)Projective planeFormal verificationPresentation of a groupTouchscreenComputer animation
07:10
Message passingLemma (mathematics)Interface (computing)EmailThermische ZustandsgleichungReal-time operating systemData conversionSystem callDirection (geometry)Physical systemMultiplication signPresentation of a groupWorkstation <Musikinstrument>Streaming mediaLatent heatReal numberSource code
09:03
Link (knot theory)Presentation of a groupWeb pageMultiplication signComputer animation
09:15
System programmingComputing platformSoftwareVideoconferencingSystem callLink (knot theory)Workstation <Musikinstrument>Web page
09:27
Physical systemClosed setMultiplication signKey (cryptography)VideoconferencingComputer animation
10:14
Computer animation
10:25
Physical systemStreaming mediaPresentation of a groupProgrammer (hardware)Dynamical systemMultiplication signPoint (geometry)BitDivision (mathematics)Roundness (object)HypermediaProcess (computing)Computer animationMeeting/Interview
13:45
Structural equation modelingComputer animation
Transcript: English(auto-generated)
00:09
Hello and welcome to the AIDA Dev Room. I'm Fernando Leo Blanco and I've been the main organizer for this event. This has also been organized in cooperation with AIDA Europe and AIDA Belgium.
00:23
Before we get started I would like to thank all the people who have made this possible. Mainly the collaborators, especially Dirk Krainest who was the main organizer for this event for over a decade, Jeffrey R. Carter, Ludovic Prenta and Tama McLean and also the speakers.
00:41
They are the ones who have created these presentations and who have put a lot of work into them. And we cannot forget the FOSDEM team. They have been the ones enabling us to come together here today to share a nice day of presentations and questions and answers. And at the end of the day hopefully also a bit of a beer. I'll tell you more on that later.
01:06
So in cooperation with AIDA Europe and AIDA Belgium, they are two organizations who promote AIDA. It's used within the community, academia and the industry. You can learn more about them if you go into their web pages.
01:21
Their links are present in the presentation so you can just click on them. And as said, they promote the usage of AIDA. You can take part of them. They make the community come closer. And they also organize different events and also academic and industrial papers that get shared in the case of AIDA Europe quarterly.
01:46
By the way, AIDA Europe still has the industry track open for its conference in summer, I believe it's summer, in Belgium. So you may want to take a look at it and see if you want to present something there.
02:01
If you would like to take part in the organizations, you can take a look at a PDF, a paper that's linked in the FOSDEM page for this presentation, for the video that you're watching right now, which includes the different costs and organizations that come within the organization.
02:25
And how you can do that. And also what they offer to you as a member. So a short introduction about myself since this is the first time you've probably seen me. I'm Fernando Leo Blanco, a master's student, mostly related to mechanical topics.
02:42
And I, regarding AIDA, I've mostly worked on updating AIDA in NetVST. And I've also made, I believe, the first GCC AIDA compiler running on PowerPC on NetVST. I also showed AIDA and a scheme interop. You can click on the link if you want to see that.
03:04
And I've run AIDA on a synthesized RISC-V core on an FPGA. So that repo is also public and the information is readily available. So this is the first time AIDA is taking place in an online format.
03:23
And I would like to explain to you, the public, how that is going to take place. So if you go to the AIDA Dev Room web page, at the top right you have three links. Video with Q&A, just video presentation, and chat. The link I would recommend you click is the chat link.
03:44
That will open, as I will show you in a second, the element interface, which is the main interface for this entire event. The video and the video with Q&A links have a video link that you can open with any video player that can play videos from the internet.
04:01
However, they are only the video. They provide no interactive medium with which to ask questions or discuss topics. For that, you should click on the chat link. Once you click, it will open the element interface and here you will see a few parts.
04:23
On the left you have the different rooms that you have joined and where you can discuss topics. On the center, which is the most important part, you will find the information that is taking place right now. So at the top you will have the stream, where the videos for the presentations are going to be played.
04:42
And after the video has been played, the Q&A session will take place. At the right of the video, you have the questions and answers panel. The questions and answers, sorry, the questions can be asked by just simply typing on the chat system.
05:01
And the questions that get the most upvotes, the most reactions to them will appear on that panel. And the more reactions they get, the higher up the list they will be. So the moderator that will help the speaker with the questions and answers can see which questions are more relevant to the community.
05:25
In order to give the thumbs up to questions, you can react to a message by hovering over the message. And at the right, a small set of boxes will appear where you can react to the message by clicking on the emoticon icon.
05:43
We also have a manager, it's an automatic bot for the chat system, which will be announcing which talks will come and an event is going to happen. So it will announce when a question and answer is about to happen, when a new talk is going to start.
06:04
So that will help you, the public, know what is going on right now in the screen. We have a full schedule, so I'm very glad about that. We have talks that range from the most beginner topics, from introductions and first experience with
06:23
Ada, to the more advanced topics such as Spark, which is the verifiable subset of Ada. We also have talks about tools and projects that have been developed with Ada. So finally, have as much fun as you can.
06:40
Please ask questions, also ask a question now if you can, so I can see whether the system is working correctly. It doesn't have to be anything important, just send something and let me know whether this is working or not. Sadly, beers are not included today, but you can bring your own.
07:01
And at the end of the day, we will have a closing session. And after any talk, sorry, I should have explained this earlier. So after the questions and answers takes place, which will take place in a second for this presentation. After the questions and answers takes place, a room that was previously private will become open.
07:26
That room is controlled by the speaker. And the speaker, if they have more time, they can join that room and anybody from the public can also join that room. There will be a chat system, just like the one that you should be seeing right now.
07:45
And a conference system, just like the one you just saw for the questions and answers. You, as the public, can join the conference system so that you can have a direct conversation in real time, voice to voice,
08:03
with welcome, with image, with the presenter, with the speaker, if they have time. You can also write on the chat if you would not like to join the call. Those videos, the presentations, the talks that happen in those rooms that are specific to those specific talks and presentations
08:25
are not being recorded. Only the Q&A will be recorded and it will only be recorded in this main room where all the presentations will take place. So this video stream will contain from this presentation, the introduction to the room, to the very last one.
08:46
And you only have to join the specific rooms of each presentation if you would like to ask more questions to the speakers. Those rooms, once again, are private up until the questions and answers are done.
09:04
The bot, once the questions and answers time is finished, will publish the link for anybody to join those rooms. If you missed the link for that room, you can go into the fossil page for that presentation and click on the chat link that will be present there.
09:28
So, going back to the closing session. After the video is played and the Q&A for that small session takes place, the room will be opened and I'm inviting you all to come together and just join that new room that will be created and will be open to the public
09:45
and just bring a beer and have a chat. It can be Ada related or not. You decide. I hope to be there for a while and have fun. Enjoy the presentations and ask as many questions as you can.
10:02
If one is not answered during the official Q&A, if the speaker has time, you can always ask them in their own room. See you!
10:32
Ok, so the Q&A should, using the prompt, should have started now. Hopefully that was done correctly or otherwise I need to tell the speakers to correct that.
10:44
By the way, I see a question from Yannick saying whether we can see the question. And yes, yes we can. I can see that it has two uploads. So that is wonderful. If anybody has questions on how the system works, on some of the dynamics that are involved, you can do that now.
11:08
Another bit of trivia that a lot of people don't know, both the speakers and you, the public, you can downvote also questions if you don't think they are that important or if they are duplicated.
11:25
If you downvote a question, one point gets taken out of it. So that way you, the public, can more or less democratize who gets to be, what questions get to be at the top or not.
11:43
I can see that for example now we have three uploads for the question from Yannick. Also, regarding the dynamics of the rooms, as I've said in the video, once the questions and answers time runs out,
12:03
the room where I'm in should be opened to the public. If you want to test whether you can join this room and how the room would look like once you join, you can come here and just say anything and I can tell you whether it's working or not.
12:23
You will be able to chat through text with the speakers and through this conference system that we are using right now. So I hope that everybody is also seeing the live stream correctly and no issues are taking place.
12:43
I think the system started the presentation a little bit late and hopefully the Q&A prompt that we get when it starts was more or less correct. Also I need to see whether this Q&A stops when it should stop or if it gets cut beforehand.
13:05
And I think it's going to get cut beforehand. If that happens, please join this room and tell me, yes, the Q&A session ended abruptly before the time where it should be. This Q&A should end exactly at 10.15.00.
13:25
So we will see that. So anyway, now we will have the presentation from Jean Pierre and he will present, he will give his very well known talk about the introduction of Ada to both beginners and experienced programmers.
13:41
Really good. That's how I got started into this.