Readings shared June 17, 2025
The readings shared in Bluesky on 17 June 2025 are
- LeanHammer: an automated reasoning tool for Lean which combines multiple techniques for proof search and formal reconstruction. ~ Joshua Clune et als. #ITP #LeanProver
- Monads are not like burritos. ~ Brent Yorgey. #Haskell #FunctionalProgramming
- Comparing codes: Two pointer algorithms. ~ James Bowen. #Haskell #FunctionalProgramming #Rust
- Making GHCi compatible with multiple home units. ~ Hannes Siebenhandl, Matthew Pickering. #Haskell #FunctionalProgramming