Omniglot
GripNews🌖 記憶體安全僅是入場券
➤ 類型安全與記憶體安全缺一不可
✤ https://www.usenix.org/publications/loginonline/memory-safety-merely-table-stakes
系統程式設計領域近年來在記憶體安全方面取得了顯著進展，像是Rust等語言透過強大的類型系統有效消除了許多常見的錯誤。然而，現有軟體的龐大基數以及外部限制使得使用更安全的語言並非總是可行。因此，與現有程式庫的互動成為關鍵。本文探討了與外部程式碼互動可能引發的潛在安全風險，即使是記憶體安全也無法完全避免問題，還需要同時確保類型安全。研究團隊提出了Omniglot框架，旨在維護記憶體和類型安全，並在Linux應用程式和Rust內核中進行了原型設計，以實現與不受信任的外部程式庫的安全互動。
+ 這篇文章點出了即使是新一代程式語言，在與舊系統整合時也可能存在的安全隱憂，很有深度。
+ Omniglot框架聽起來很有前景，希望能看到更多關於這個框架的實用案例。
#資訊安全 #系統程式設計 #Rust #Omniglot
Tim Mills#Lingule #870 "protydíja": 1/6
🟩🟩🟩🟩🟩🏆
https://lingule.xyz/
протидія
Day 1 of my #WritingSystems class - this feels like a good omen! Of course, it helped that it was a language that I've had some exposure to, and a familiar writing system.
Still, Omniglot lists "more that 120 different languages" that use this script. https://omniglot.com/writing/cyrillic.htm
Anyway, happy new semester everyone!
janPiteJansekeUseful phrases in Toki Pona
DominicDev@jeroensmeets do you need someone for a german translation of mastodor? #Omniglot