You're viewing the f.duriansoftware.com public feed.

Aslak Raanesaslakr@mastodon.social
Oct 13, 2026, 9:45 PM
retooted Joe Groff
why is this so-called "lean" proof 20,000 pages long??
💬 6🔄 16⭐ 63