Welcome to the NetCologne GmbH open source mirroring service!

This machine mirrors various open-source projects. 20 Gbit/s uplink.

If there are any issues or you want another project mirrored, please contact mirror-service -=AT=- netcologne DOT de !

Index of /CCC/events/bobkonf/2025/opus/

Index of /CCC/events/bobkonf/2025/opus/


../
bob2025-1-eng-Keynote_Local-first_Software_opus..> 29-Apr-2025 13:08     32M
bob2025-10-eng-Service-less_communication_is_it..> 29-Apr-2025 13:51     30M
bob2025-11-eng-Correct_by_Construction_Concurre..> 29-Apr-2025 14:35     25M
bob2025-12-eng-Against_the_formal_method_opus.opus 29-Apr-2025 15:19     28M
bob2025-13-eng-Things_We_Never_Told_Anyone_Abou..> 29-Apr-2025 16:27     28M
bob2025-14-eng-OOP_is_dead_long_live_Object_Ori..> 29-Apr-2025 16:56     28M
bob2025-15-eng-Recursive_Definitions_in_Lean_op..> 29-Apr-2025 18:00     27M
bob2025-16-deu-Die_Starre_ueberwinden_-_Mit_DDD..> 29-Apr-2025 18:53     28M
bob2025-2-deu-Ein_Weg_zu_hoher_Zuverlaessigkeit..> 29-Apr-2025 13:09     28M
bob2025-3-eng-Beyond_the_Basics_of_LSP_Advanced..> 29-Apr-2025 13:52     28M
bob2025-4-eng-Developing_DSLs_A_Look_at_Three_P..> 29-Apr-2025 15:05     26M
bob2025-5-eng-A_Language_Server_for_your_DSL_fo..> 29-Apr-2025 16:12     26M
bob2025-6-eng-Functional_data_structures_in_Swi..> 29-Apr-2025 16:48     29M
bob2025-7-eng-Property-Based_Testing_The_Past_T..> 29-Apr-2025 17:34     27M
bob2025-8-eng-The_Microservices_Problem_No_One_..> 29-Apr-2025 18:26     25M
bob2025-9-eng-Abstraction_and_program_design_or..> 29-Apr-2025 13:08     29M