Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
floss.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
For people who care about, support, and build Free, Libre, and Open Source Software (FLOSS).

Administered by:

Server stats:

685
active users

floss.social: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

Sergey Bugaev

friendship ended with Agda, now Lean is my best friend

Jan 13, 2025, 06:47 PM·Public
0boosts·7favorites
Public
Jan <3

@bugaevc omg I was thinking about the drug all this time 💀😭😭

Quiet public
Sergey Bugaev

@janvhs 😄

"Users of lean are at risk of addiction" well that's certainly true :D

Explore
About