nikolatt
5 hours ago
DetachHead (maintainer of basedpyright) has criticized the TSP before:
- https://docs.basedpyright.com/v1.40.2/type-server/
- https://github.com/microsoft/pylance-release/discussions/718...
Ty (the type checker maintained by astral) however will apparently support the TSP: https://github.com/astral-sh/ruff/discussions/23432
ghm2180
4 hours ago
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
4 hours ago
Applies to all big tech contributing to FOSS, they don't do it out of charity.
IshKebab
3 hours ago
I don't think that's true. Many big companies contribute to FOSS in ways that aren't just to attempt to lock people in. Often it's because they use the software and don't want to maintain patches forever - everyone wins if things actually get fixed. Or even because they just want to be known as a good place to work.
__s
3 hours ago
That describes how hands off MS was with Postgres committers ime a few years ago. Useful to house them to for helpful office hours too. We'll see how that holds up post HorizonDB
simonjgreen
3 hours ago
So… not out of charity then?
pjmlp
2 hours ago
Name one big tech company in the same monetary level, that doesn't contribute to FOSS without second intentions.
wtetzner
2 hours ago
They definitely have other intentions, but it's often the same as people contributing in their free time: they use the software, want to make it better for their purposes, but don't want to be the ones to maintain it.
galaxyLogic
2 hours ago
Don't we all have "second intentions"?
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.
endofreach
3 hours ago
No. Microsoft and facebook are the try-hardest by far.