ster

joined 4 years ago
MODERATOR OF
leanprover
cooperatives
sorted by: new top controversial old
1
Easy Puzzle #1 (lemmy.ml)
 

Let f be a function. We are told that f^2 (f composed with itself) has a unique fixed point. How many fixed points could f have?

1
Lean 4 Documentation (Unfinished) (leanprover.github.io)
 

Here is the Lean 4 documentation, it's still under development

What made you quit Reddit and move to Lemmy? in c/[email protected]
[–] [email protected] 2 points 3 years ago

What else does it offer for you?

Do you really want Linux phones? in c/[email protected]
[–] [email protected] 1 points 3 years ago

I really like this post, and people like Martijn are incredible

1
CoopCycle - A co-operative courier service federation (coopcycle.org)
 

A worker-owned bicycle courier service. The software they use is open source, under an interesting licence that only allows use by co-operatives.

1
Co-operative Student Housing (www.youtube.com)
 

A video by Co-operatives UK on housing co-ops for students as an alternative to renting off landlords, who often treat their tenants pretty poorly

The Fallacy of Denouncing ‘Both Sides’ Of The U.S.-China Conflict in c/[email protected]
[–] [email protected] 2 points 4 years ago

Completely agree. I find a lot of lefties side with China just because they call themselves left and righties side with USA because they call themselves right. The truth of the matter is that both are directly responsible for extreme amounts of racism and corruption on every level.

1
Inspiring Housing Co-operative in Yorkshire, UK (www.youtube.com)
 

Learn about the fantastic and beautiful community that has been created by a housing co-operative in the UK. This could be the future of housing for everyone, and this is something that is demonstrably possible today. Check out LILAC's website here: http://www.lilac.coop/

1
Let's create our own cooperative economy (www.youtube.com)
 

Talk by Benoît Molineaux. A really inspiring story of entrepreneurship and cooperation that has created a wonderful community from nothing.

2
What is a Co-operative? (www.youtube.com)
 

A nice video by Co-operatives UK about what co-operatives actually are.