723 karma · joined April 17, 2022
as a very broad example there are multiple ways to define a “homology” (ex simplicial, singular, etc) functor associating certain groups to topological spaces as invariants. but the arguments needed to prove properties of the relationships between those groups can be derived from very general properties of the definitions and don’t need to be re-argued from the very fine definitions of each type of homology.
i think.
i’m as much with bourbaki as the next guy. but that’s not really how most engineers learn in practice.
as for treating linear maps between finite dimensional spaces as vectors that’s quite straightforward to do in coordinate terms.
again i refer you to the classics like Golub and van Lean that have been reprinted many many times and educated generations.
what are these godel works you speak of?
those who stand to benefit from unjust laws are rarely the ones who acknowledge their nature.
in your previous response you seem to claim that samsung is an insignificant player in the smartphone market, and that integrating third-party app stores doesn’t require divulging security-related IP so i’m going to drop the mic right here.
i agree that to operate in a country (or block of countries) a company must be prepared to respect even the unjust laws. which apple has obviously been willing to do all day long in many parts of the world.
in this case, it really seems to me like the EU is harming consumers who benefit from the coherently-designed, safe (as compared to androland) walled garden in favor of some fairly overtly xenophobic power play against incumbents local champions cannot compete with on the merits. IMO this type of action directly invites retaliation against European companies and interests abroad.
in the related cases of airdrop interop and alternate stores, it is certainly being required that apple release its proprietary IP to competitors.
there are plenty of hungry competitors in the smartphone market beyond apple and google including Samsung huawei and scores of others.
“the best estimates show around a 10 percent false positive rate for client-side scanning – which could see a huge number of people accused of crimes they didn't commit.”
i haven’t seen this type of capability used in too many companies tbh and it seems like a lot of opportunity to improve stability and debugging speed and even code exploration/learning (did i break something ?)
for me, a number of ideas not seen in other scifi. curious if others feel the same way.
decent quality audiobook available on libby.
first time i read about AI slave ships.