pm5 

@pm5@g0v.social
130 Followers
345 Following
1.4K Posts
A Vulcan who speaks Klingon. Math. Programming. Science fiction. #nobot

https://oxcaml.org/

Jane Street 到底是多有錢...

OxCaml | About

等好久好想趕快投票喔 

喔不對... 我沒有看到下面的表格。仔細比較才知道。所以價格比較低的方案還是會有大部分系列的産品可以用,只是規格不同。

例如 Mail Essentials 也會有 VPN 跟 Drive 可以用,但 Drive 的空間只有每人 15GB,而 Mail 空間會是每人 15GB。

VPN Essentials 的話,VPN 可以選的國家從 5 國變成 100+ 國,但 Mail 空間只有 500MB,Drive 空間只有 2GB。

如果選 Drive Essentials 的話,Drive 跟 Mail 的空間都有 1TB。

Proton Business 版的價格結構第一層分産品,第二層分等級。比如說,如果你選 Mail 的話,前兩個價格比較低的等級的 plan,就只有提供 Mail 和 Calendar。要到最貴的 Proton Business Suite 等級,才會有所有的産品線可以用。

看起來是這樣,不過,我就不明白 Mail Professional 等級裡面怎麼會寫有 "Cloud storage and sharing for large files" 的功能 

https://proton.me/business/nonprofit-discount

我看公司給非營利組織的申請管道又放出來了,要填一份表單聯繫 Sale team。實際上可以拿到多少折扣,我也不知道 

Secure your organization with our nonprofit discount | Proton for Business

Protect your mission with Proton's privacy-first suite of productivity tools at a nonprofit discount. Learn more about our Proton for nonprofits pricing.

Proton

我其實沒有認真看過 Miou 和 Moonpool。今天快速看一下,感覺上... 他們就是喜歡 colored function 吧  不懂為什麼很多東西都可以寫成 direct style 了,還是硬要限制只能用 await 來開 task。

可能我沒看到什麼? 

https://github.com/robur-coop/miou?tab=readme-ov-file#genesis

Robur 的人有提一下為什麼他們要自己寫一套 Miou,不能用 Eio,總之就是意見分歧然後溝通無效。

感覺這種分歧,短期內是無解。

也好啦,本來就 there's more than one way to do it 吧 

GitHub - robur-coop/miou: A simple scheduler for OCaml 5

A simple scheduler for OCaml 5. Contribute to robur-coop/miou development by creating an account on GitHub.

GitHub

再一個個人覺得不錯的 #QubesOS 用法:我有兩支 Yubikey,一支工作用,一支個人用。在 QubesOS 裡,可以兩支都插著,然後選擇哪一支 Yubikey 要開各哪一個 VM 使用,不會混淆。

看起來是理所當然可以這樣使用,但想想其實蠻方便,而且其他方式不太容易做到? 

天哪!才禮拜一!

https://peps.python.org/pep-0612/

算是後知後覺,但我剛才翻到這個 PEP 真的噗呲笑出來耶  

#WhyPython

PEP 612 – Parameter Specification Variables | peps.python.org

There currently are two ways to specify the type of a callable, the Callable[[int, str], bool] syntax defined in PEP 484, and callback protocols from PEP 544. Neither of these support forwarding the parameter types of one callable over to another calla...

Python Enhancement Proposals (PEPs)