Articles de ols3 :
seL4 微核心
Moda 其實有很多事可以做，而不是自詡為 Ministry of Dispatch Affairs。
以建立數位韌性而言，例如：先進安全的作業系統研究、安全程式語言的應 …
選擇網站系統之原則
架設網站時，要慎選主機業者和後台系統，安全、穩定、功能彈性、價格合宜，才能長保久安，維護良好企業形象 。
具備記憶體安全的程式語言
NSA 軟體開發指南 Software Memory Safety
NSA urges shift to memory safe programming languages
C#, Go, Java®, Ruby™, Rust®, and Swift®.
抄很大??? 眾多開發者集體控告 GitHub Copilot
2022/07/05 的預言成真了.
日前眾多開發者集體控告 GitHub Copilot ...... 求償天價.
AI 輔助寫程式工具試圖以黑盒子自居來規避智財權, 恐怕 …
阿難和雜阿含經
阿難是白飯王的兒子、釋迦牟尼佛（佛陀）的堂弟，也是佛陀的侍者，是佛陀十大弟子之一，人稱「多聞第一」，因為他一直伴隨佛陀 …
MathJax 美觀易用的 Javascript 數學顯示引擎
MathJax 支援所有的瀏覽器，在網頁上呈現數學式子，精確優美。
以 "柯西積分公式" (Cauchy's Integral Formula) 為例：
\(f(a) = \frac{1}{2\pi i} \oint\frac{f(z)}{z-a}dz\)
只要 …
有限域曲線的黎曼假設
1940 年，法國數學家安德烈·威爾(André Weil)因未報到而入獄。在魯昂(Rouen)監獄服刑六個月期間，他證明了有限域曲線的黎曼假設(The Riemann …
Ghidra 10.2 釋出.
Apple Security Research
Asm 測試 code block
測試組合語言 code block:
.386
.model flat, stdcall
option casemap : none
.data
abc db "abc",0
def db "def",0
.code
start:
mov ecx,3 ;the length of the abc and def strings
cld ;set the direction flag so that EDI and ESI will increase using …SQLite 漏洞 (CVE-2022-35737)
LibreSSL 3.6 開發版 (2022/10/05)
Libre SSL 的發展目標
- 改造 OpenSSL 代碼庫，具現代化結構，使其更易於審計、理解和修復。
- 改用最佳的實作開發流程：
- 頻繁發布
- 代碼審查 …
使用 Cosmopolitan Libc 協助 C 語言偵錯
Cosmopolitan Libc 提供了一套增強 C 語言偵錯能力的函式庫：整合了 gdb、ASAN/UBSAN 運行等等，可用於追踪函式，有助於理解和修正 C 語言程式 …
GNU poke
SHA-3 緩衝區溢位漏洞
OpenBSD 7.2 推出！
四不慣
處世原則：
四不慣
聽不慣，可以耳根清淨；
看不慣，可以與世無爭。
用不慣，可以省很多錢；
吃不慣，可以減肥健身。
PS：我用不慣 Apple 的 …
什麼是韌性
什麼是韌性？
首先應確立最大可耐受度為何？此即垮度。
韌性就是在越過垮度之前，能夠不倒、不斷、彈性回復的可承受能力總 …