thindil

@UC9sw5yKMepWHOpoaBcimCFg - 22 subscribers

Home Videos Live Playlists

Video FOSDEM 2021: Proving heap-manipulating programs with SPARK

Video FOSDEM 2021: Proving heap-manipulating programs with SPARK thindil

90 views - 5 years ago

FOSDEM 2021: Adding contracts to the Ada standard libraries

FOSDEM 2021: Adding contracts to the Ada standard libraries thindil

63 views - 5 years ago

Proof of concept - turn-based game via VNC

Proof of concept - turn-based game via VNC thindil

17 views - 5 years ago

Tracking Performance of a Big Application from Dev to Ops FOSDEM 2020

Tracking Performance of a Big Application from Dev to Ops FOSDEM 2020 thindil

43 views - 5 years ago

HAC the Compiler which will Never Become Big FOSDEM 2020

HAC the Compiler which will Never Become Big FOSDEM 2020 thindil

38 views - 5 years ago

Live Demo of Ada's Distribution Features FOSDEM 2020

Live Demo of Ada's Distribution Features FOSDEM 2020 thindil

56 views - 5 years ago

Programming ROS2 Robots with RCLAda FOSDEM 2020

Programming ROS2 Robots with RCLAda FOSDEM 2020 thindil

32 views - 5 years ago

Cappulada What we've Learned FOSDEM 2020

Cappulada What we've Learned FOSDEM 2020 thindil

10 views - 5 years ago

FOSDEM 2020 Ada welcome

FOSDEM 2020 Ada welcome thindil

46 views - 5 years ago

Spunky: a Genode Kernel in Ada/SPARK - FOSDEM 2020

Spunky: a Genode Kernel in Ada/SPARK - FOSDEM 2020 thindil

150 views - 5 years ago

Writing Shared Memory Parallel Programs in Ada Multitasked Newton's Method for Power Series FOSDEM20

Writing Shared Memory Parallel Programs in Ada Multitasked Newton's Method for Power Series FOSDEM20 thindil

32 views - 5 years ago

Ada TOML a TOML Parser for Ada FOSDEM 2020

Ada TOML a TOML Parser for Ada FOSDEM 2020 thindil

51 views - 5 years ago

EUgen a European Project Proposal Generator FOSDEM 2020

EUgen a European Project Proposal Generator FOSDEM 2020 thindil

10 views - 5 years ago

Protect Sensitive Data with Ada Keystore FOSDEM 2020

Protect Sensitive Data with Ada Keystore FOSDEM 2020 thindil

12 views - 5 years ago

On Rapid Application Development in Ada FOSDEM 2020

On Rapid Application Development in Ada FOSDEM 2020 thindil

29 views - 5 years ago

Alire Ada Has a Package Manager FOSDEM 2020

Alire Ada Has a Package Manager FOSDEM 2020 thindil

71 views - 5 years ago

An Introduction to Ada for Beginning and Experienced Programmers FOSDEM 2020

An Introduction to Ada for Beginning and Experienced Programmers FOSDEM 2020 thindil

167 views - 5 years ago

The Ada programming language virtual conference: 2019-08-10

The Ada programming language virtual conference: 2019-08-10 thindil

813 views - 6 years ago