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