**ocschwar** @ocschwar@social.cleverlibre.org · Nov 11, 2022, 01:30

**ocschwar** @ocschwar@social.cleverlibre.org · Nov 11, 2022, 01:30

ocschwar @ocschwar@social.cleverlibre.org

Joined Nov 2022

ocschwar @ocschwar@social.cleverlibre.org

@cshabsin Does it work?

**ocschwar** · Sep 15, 2018, 09:16

ocschwar boosted

**Alisca** @Alisca@mastodon.social · Sep 15, 2018, 09:16

Alisca @Alisca@mastodon.social

I'm gonna keep posting this until one of you fucking boosts it

**ocschwar** · Nov 08, 2022, 06:36

ocschwar boosted

**Fidel Destro** @cjrando@mastodon.art · Nov 08, 2022, 06:36

Fidel Destro @cjrando@mastodon.art

Mastodon is so last week. Now everyone is on Narwhal. It's not a social network. We're just riding on the back of a sweet ass narwhal. Get on, loser.

**ocschwar** @ocschwar@social.cleverlibre.org · Nov 07, 2022, 21:45

**ocschwar** @ocschwar@social.cleverlibre.org · Nov 07, 2022, 21:45

ocschwar @ocschwar@social.cleverlibre.org

@gretathunberg Well, given that Mars is flat, I prefer earth.

**ocschwar** @ocschwar@social.cleverlibre.org · Nov 07, 2022, 21:10

**ocschwar** @ocschwar@social.cleverlibre.org · Nov 07, 2022, 21:10

ocschwar @ocschwar@social.cleverlibre.org

I want an alpaca.

**ocschwar** @ocschwar@social.cleverlibre.org · Nov 07, 2022, 18:06

**ocschwar** @ocschwar@social.cleverlibre.org · Nov 07, 2022, 18:06

ocschwar @ocschwar@social.cleverlibre.org

@bsafieldeen mention #leanprover, get a follower. Hi.

**ocschwar** · Nov 07, 2022, 16:51

ocschwar boosted

**Greta Thunberg** @gretathunberg@mastodon.nu · Nov 07, 2022, 16:51

Greta Thunberg @gretathunberg@mastodon.nu

Hi, this is Greta. You are welcome to follow me here, if you prefer planet earth to planet mars.

**ocschwar** @ocschwar@social.cleverlibre.org · Nov 07, 2022, 17:03

**ocschwar** @ocschwar@social.cleverlibre.org · Nov 07, 2022, 17:03

ocschwar @ocschwar@social.cleverlibre.org

Lean 4 & VS Code, where my homies?

**ocschwar** @ocschwar@social.cleverlibre.org · Nov 07, 2022, 17:00

**ocschwar** @ocschwar@social.cleverlibre.org · Nov 07, 2022, 17:00

ocschwar @ocschwar@social.cleverlibre.org

Greetings to all in my monkey sphere. Must remember not to get too candid here.

**ocschwar** @ocschwar@social.cleverlibre.org · Nov 07, 2022, 14:01

**ocschwar** @ocschwar@social.cleverlibre.org · Nov 07, 2022, 14:01

ocschwar @ocschwar@social.cleverlibre.org

Confusion to our enemies!

Joined Nov 2022