Zulip Chat Archive

Stream: Leaning In!

Topic: Searching the cantor space


Joachim Breitner (Sep 25 2025 at 15:15):

At the dinner after Leaning In or BobKonf I was sitting next to someone who was implementing Martin Escardo’ code for searching the the cantor space , and we hacked around a little bit. They said they’d send me the code aftewards. Is this person around here (or does someone remember who I was talking to)?

Xavier Généreux (Sep 29 2025 at 12:28):

@Massin Guerdi


Last updated: Dec 20 2025 at 21:32 UTC