Parent directory/ | - | - |
bob2025-1-eng-Keynote_Local-first_Software_mp3.mp3 | 50.8 MiB | 2025-04-29 13:03:09 |
bob2025-10-eng-Service-less_communication_is_it_possible_mp3.mp3 | 42.5 MiB | 2025-04-29 13:50:42 |
bob2025-11-eng-Correct_by_Construction_Concurrent_Programs_in_Idris_2_mp3.mp3 | 40.8 MiB | 2025-04-29 14:36:24 |
bob2025-12-eng-Against_the_formal_method_mp3.mp3 | 42.1 MiB | 2025-04-29 15:06:03 |
bob2025-13-eng-Things_We_Never_Told_Anyone_About_Functional_Programming_mp3.mp3 | 39.1 MiB | 2025-04-29 16:27:15 |
bob2025-14-eng-OOP_is_dead_long_live_Object_Orientation_mp3.mp3 | 42.8 MiB | 2025-04-29 16:57:26 |
bob2025-15-eng-Recursive_Definitions_in_Lean_mp3.mp3 | 39.7 MiB | 2025-04-29 17:59:39 |
bob2025-16-deu-Die_Starre_ueberwinden_-_Mit_DDD_zu_geschmeidigem_Code_mp3.mp3 | 43.5 MiB | 2025-04-29 18:53:25 |
bob2025-2-deu-Ein_Weg_zu_hoher_Zuverlaessigkeit_von_Systemen_eines_Netzbetreibers_mp3.mp3 | 39.4 MiB | 2025-04-29 13:09:12 |
bob2025-3-eng-Beyond_the_Basics_of_LSP_Advanced_IDE_services_for_OCaml_mp3.mp3 | 40.3 MiB | 2025-04-29 13:52:04 |
bob2025-4-eng-Developing_DSLs_A_Look_at_Three_Practical_Strategies_with_Real-World_Examples_mp3.mp3 | 38.7 MiB | 2025-04-29 14:34:08 |
bob2025-5-eng-A_Language_Server_for_your_DSL_for_Fun_and_Profit_mp3.mp3 | 38.0 MiB | 2025-04-29 16:12:38 |
bob2025-6-eng-Functional_data_structures_in_Swift_mp3.mp3 | 43.4 MiB | 2025-04-29 16:48:16 |
bob2025-7-eng-Property-Based_Testing_The_Past_The_Present_and_The_Future_mp3.mp3 | 40.8 MiB | 2025-04-29 17:30:57 |
bob2025-8-eng-The_Microservices_Problem_No_One_Warned_Us_About_And_How_You_Can_Avoid_It_mp3.mp3 | 40.3 MiB | 2025-04-29 18:26:42 |
bob2025-9-eng-Abstraction_and_program_design_or_the_power_of_parametricity_mp3.mp3 | 41.6 MiB | 2025-04-29 13:09:16 |