Search in @rane
rane rane@mstdn.nere9.help
https://www.theverge.com/2023/8/11/23828311/microsoft-shuts-down-cortana-windows-11
bingのチャットがcortanaに統合されるんかなと思ったけど独立したまま廃止されるんか
rane rane@mstdn.nere9.help
XはポータルでTwitterはそのなかのSNSみたいな扱いってのをどこかでみたけどそれが正しいならtwitter.x.comとかになるのかなと思ってたんだけども
rane reblogged at 1 year ago
Masanori Ogino 𓀁 omasanori@mstdn.maud.io
CPythonのGILを外すのが適切かどうかはOCamlの例だけでは判断できません。型システムや検査タイミングの違いによって安全性をどのように保証するかの前提が変わりますし、GCも参照カウントのCPythonとマークコンパクトのOCamlでは並列GCにしたときのボトルネックが違うでしょうし……。