File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
bob2025-5-eng-A_Language_Server_for_your_DSL_for_Fun_and_Profit_webm-hd.webm190.0 MiB2025-Apr-29 18:47
bob2025-11-eng-Correct_by_Construction_Concurrent_Programs_in_Idris_2_webm-hd.webm200.8 MiB2025-Apr-29 17:16
bob2025-7-eng-Property-Based_Testing_The_Past_The_Present_and_The_Future_webm-hd.webm201.4 MiB2025-Apr-29 20:15
bob2025-10-eng-Service-less_communication_is_it_possible_webm-hd.webm204.9 MiB2025-Apr-29 16:41
bob2025-9-eng-Abstraction_and_program_design_or_the_power_of_parametricity_webm-hd.webm207.7 MiB2025-Apr-29 16:18
bob2025-3-eng-Beyond_the_Basics_of_LSP_Advanced_IDE_services_for_OCaml_webm-hd.webm210.8 MiB2025-Apr-29 16:30
bob2025-8-eng-The_Microservices_Problem_No_One_Warned_Us_About_And_How_You_Can_Avoid_It_webm-hd.webm213.5 MiB2025-Apr-29 21:10
bob2025-4-eng-Developing_DSLs_A_Look_at_Three_Practical_Strategies_with_Real-World_Examples_webm-hd.webm213.7 MiB2025-Apr-29 17:24
bob2025-12-eng-Against_the_formal_method_webm-hd.webm226.2 MiB2025-Apr-29 18:00
bob2025-6-eng-Functional_data_structures_in_Swift_webm-hd.webm229.9 MiB2025-Apr-29 19:30
bob2025-14-eng-OOP_is_dead_long_live_Object_Orientation_webm-hd.webm230.2 MiB2025-Apr-29 19:48
bob2025-15-eng-Recursive_Definitions_in_Lean_webm-hd.webm239.5 MiB2025-Apr-29 20:40
bob2025-1-eng-Keynote_Local-first_Software_webm-hd.webm261.6 MiB2025-Apr-29 15:47
bob2025-13-eng-Things_We_Never_Told_Anyone_About_Functional_Programming_webm-hd.webm274.8 MiB2025-Apr-29 19:03
bob2025-2-deu-Ein_Weg_zu_hoher_Zuverlaessigkeit_von_Systemen_eines_Netzbetreibers_webm-hd.webm287.3 MiB2025-Apr-29 15:55
bob2025-16-deu-Die_Starre_ueberwinden_-_Mit_DDD_zu_geschmeidigem_Code_webm-hd.webm348.6 MiB2025-Apr-29 21:39