Sign inCreate account
mastodon.sdf.org is part of the decentralized social network powered by Mastodon.
"I appreciate SDF but it's a general-purpose server and the name doesn't make it obvious that it's about art." - Eugen Rochko

Administered by:

Server stats:

2.4K
active users
Learn more

mastodon.sdf.org: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.1.24

screwlisp

An answer in acl2

@abuseofnotation
only in that someodd also programs in Haskell (for about seven years now) and was on the show today.
@Regenaxer @rzeta0

Mar 19, 2025, 09:17 · · 0 · 0
ExploreLocalFederated
About

Trending now

#caturday755 people in the past 2 days
#barterasongorpoem65 people in the past 2 days
#hsv31 people in the past 2 days