pepperfree@sh.itjust.works to LocalLLaMA@sh.itjust.worksEnglish · 4 months agoDeepSeek dropped the V3.1 Weighthuggingface.coexternal-linkmessage-square13linkfedilinkarrow-up11arrow-down10file-text
arrow-up11arrow-down1external-linkDeepSeek dropped the V3.1 Weighthuggingface.copepperfree@sh.itjust.works to LocalLLaMA@sh.itjust.worksEnglish · 4 months agomessage-square13linkfedilinkfile-text
minus-squareterminatortwo@piefed.sociallinkfedilinkEnglisharrow-up0·edit-24 months agoNot really, it’s just more common! Drop is a contronym, it means its own opposite, and its use as “disappear” or “appear” extends waaay back. Eg. Usage as in Drop a line or drop a letter go as far as the 1700s. So just a different line in a long history of drops. https://www.oed.com/dictionary/drop_v
minus-squareglimse@lemmy.worldlinkfedilinkEnglisharrow-up0·4 months agoWould “dropping” a letter not be letting it go from your hand into the mail box?
Not really, it’s just more common!
Drop is a contronym, it means its own opposite, and its use as “disappear” or “appear” extends waaay back. Eg. Usage as in Drop a line or drop a letter go as far as the 1700s.
So just a different line in a long history of drops.
https://www.oed.com/dictionary/drop_v
Would “dropping” a letter not be letting it go from your hand into the mail box?