6:16Part 1 - How CodePeer Works, Annotations — Advanced Features of CodePeerAdaCore488 viewsView & Download
1:07:48Lec 23 | MIT 6.451 Principles of Digital Communication IIMIT OpenCourseWare6.0K viewsView & Download
15:13Part 2 - Taking Advantage of CodePeer Annotations — Advanced Features of CodePeerAdaCore218 viewsView & Download
41:51Peter Groves Williams - Introduction to SNOMED with FHIR | DevDays 2024DevDays132 viewsView & Download
1:10:08Building a C2 Framework in Modern C++23 (The Architecture of Malware)Erarnitox3.6K viewsView & Download
17:33Embedded Toolbox: Use Ada and Let the Compiler Do the Static AnalysisEmbedded Computing Design1.9K viewsView & Download
25:04ZK14 - qedb: Expressive and Modular Verifiable Databases (without SNARKs) - Emanuele RagnoliZero Knowledge122 viewsView & Download
8:53C++ Insights - Episode 62: C++23 Game Changer: Behind the curtains of deducing thisAndreas Fertig879 viewsView & Download
35:56What's new and what's changed in C23 - Jarosław Stańczyk - code::dive 2023code::dive conference9.4K viewsView & Download