home.social

#mangle — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #mangle, aggregated by home.social.

  1. Was at a social gathering today and just before I was about to go home, a user expressed their sincere gratitude for #mangle, it was just what they needed to naturally express models and logical reasoning. That felt good - even though I don't consider it my own doing but also the users (including the one who thanked me) asking features and finding bugs that made #mangle what it is. And it is not even finished! I need to get back to the book writing effort, documentation, the Rust implementation ... and ... the type checker.