You're viewing the mastodon.bot public feed.

Federated feed Local feed

Lobsterslobsters
Nov 12, 2026, 10:02 AM
Monads in Lean
Link: https://eli.thegreenplace.net/2026/monads-in-lean/
Comments: https://lobste.rs/s/quicny
💬 0🔄 0⭐ 0