The readings shared in Bluesky on 20 May 2025 are

• Formalising the Bruhat-Tits tree. ~ Judith Ludwig, Christian Merten. #ITP #LeanProver
• Ordinal exponentiation in homotopy type theory. ~ Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu. #ITP #Agda #HoTT
• A Python frozenset interpretation of Dependent Type Theory. ~ Philip Zucker. #TypeTheory #Python #Logic
• Comparing code: LeetCode problems in Rust vs. Haskell. ~ James Bowen. #Haskell #FunctionalProgramming #Rust
• Symbolic sets for proving bounds on Rado numbers. ~ Tanbir Ahmed, Lamina Zaman, Curtis Bright #SAT #Python #Math
• Formatting academic papers in Emacs Orgmode. ~ Kenneth Flak. #Emacs #OrgMode