points by ghm2180 3 days ago | 0 comments
I think the only way MS knows how to make money is lock someone into an ecosystem. I think their next attempt should be a closed source lean checker that has will have proprietary code for NL -> lean formalization checker.
[–] pjmlp 3 days ago
[–] IshKebab 3 days ago
[–] __s 3 days ago
[–] simonjgreen 3 days ago
[–] pixlmint 3 days ago
[–] lukan 3 days ago
[–] IshKebab 3 days ago
[–] wtetzner 3 days ago
[–] pjmlp 3 days ago
[–] wtetzner 3 days ago
[–] galaxyLogic 3 days ago
Altruism happens usually among members of a tightly knit group, like family members or soldiers of a given unit. Teachers sacrificinng their life to save children. FOSS-developers, are they really producing software out of altruism? Maybe some of them are but it is hard for us to know whether that is so or not.
[–] ongy 2 days ago
They mostly start the software because they themselves want to have it.
When they start working mostly for other people's needs, I think it's a mix of altruism, pride and probably enjoying the work.
[–] awesome_dude 3 days ago
But the truth is - so do I - as a humble contributor to a document, test, bug fix, or feature add to a FOSS project - where's the beef?
[–] pjmlp 3 days ago
[–] salynchnew 3 days ago
[–] WJW 3 days ago
[–] pjmlp 3 days ago
[–] endofreach 3 days ago
[–] 1287h 3 days ago
Totally altruistic!
[–] pjmlp 3 days ago