Zulip Chat Archive

Stream: ItaLean 2025

Topic: Projects: Kolmogorov Complexity

Izan Beltran (Dec 09 2025 at 14:58):

Testing whether we can create a topic for this project.

Izan Beltran (Dec 09 2025 at 14:58):

Looks like we can :)

Notification Bot (Dec 09 2025 at 16:42):

This topic was moved here from #ItaLean 2025 > Kolmogorov complexity by Lorenzo Luccioli.

Lorenzo Luccioli (Dec 09 2025 at 16:58):

This thread is dedicated to the Kolmogorov Complexity:

  • Repository: ?
  • Informal & Formal Manager: @Krsto Proroković

Last updated: Dec 20 2025 at 21:32 UTC