Index of /cdn.media.ccc.de/events/bobkonf/2025/h264-hd

 Name                                                                                               Last modified      Size  Description
 Parent Directory                                                                                                        -   
 bob2025-7-eng-Property-Based_Testing_The_Past_The_Present_and_The_Future_hd.mp4                    2025-04-29 18:33  140M  
 bob2025-9-eng-Abstraction_and_program_design_or_the_power_of_parametricity_hd.mp4                  2025-04-29 14:45  140M  
 bob2025-5-eng-A_Language_Server_for_your_DSL_for_Fun_and_Profit_hd.mp4                             2025-04-29 17:55  142M  
 bob2025-11-eng-Correct_by_Construction_Concurrent_Programs_in_Idris_2_hd.mp4                       2025-04-29 15:15  150M  
 bob2025-10-eng-Service-less_communication_is_it_possible_hd.mp4                                    2025-04-29 15:03  162M  
 bob2025-3-eng-Beyond_the_Basics_of_LSP_Advanced_IDE_services_for_OCaml_hd.mp4                      2025-04-29 14:51  164M  
 bob2025-4-eng-Developing_DSLs_A_Look_at_Three_Practical_Strategies_with_Real-World_Examples_hd.mp4 2025-04-29 15:08  173M  
 bob2025-6-eng-Functional_data_structures_in_Swift_hd.mp4                                           2025-04-29 18:12  177M  
 bob2025-12-eng-Against_the_formal_method_hd.mp4                                                    2025-04-29 15:21  182M  
 bob2025-14-eng-OOP_is_dead_long_live_Object_Orientation_hd.mp4                                     2025-04-29 18:27  189M  
 bob2025-15-eng-Recursive_Definitions_in_Lean_hd.mp4                                                2025-04-29 19:46  202M  
 bob2025-8-eng-The_Microservices_Problem_No_One_Warned_Us_About_And_How_You_Can_Avoid_It_hd.mp4     2025-04-29 20:15  204M  
 bob2025-1-eng-Keynote_Local-first_Software_hd.mp4                                                  2025-04-29 14:33  217M  
 bob2025-13-eng-Things_We_Never_Told_Anyone_About_Functional_Programming_hd.mp4                     2025-04-29 18:00  234M  
 bob2025-16-deu-Die_Starre_ueberwinden_-_Mit_DDD_zu_geschmeidigem_Code_hd.mp4                       2025-04-29 20:47  300M  
 bob2025-2-deu-Ein_Weg_zu_hoher_Zuverlaessigkeit_von_Systemen_eines_Netzbetreibers_hd.mp4           2025-04-29 14:39  320M