緣由 因為 debian:11 套件太舊，就改用 debian:bookworm 當 base image，我在 Dockerfile 都會寫以下指令替換成交大的 mirror sed -i -e 's/deb.debian.org/debian.cs.nycu.edu.tw/g' /etc/apt/sources.list 建置 image 時發現 No such file or directory，沒有 sources.list 那要怎麼下載套件？ 跑了一個容器進去一看，還真的沒有 /etc/apt/sources.list，取而代之的是 /etc/apt/sources.list.d/debian.sources，網路上一查才知道 APT 1.1 後支援 DEB822-Style 格式，而 Debian 12 成為 sources list 預設格式。 會改變預設格式一定是有他們的考量，所以來看看 DEB822-Style 格式的差異吧。 ...

Dart 3 在 2023/05/10 正式發佈，既然升了主版號，肯定有很多語法上的更動，大致整理成以下三點： 1. Null Safety - 空值安全 final a = int.tryParse('not a int'); print(a?.toString() ?? 'NaN') 其實在 Dart 2.12 就有了，但因為 Dart 2 會有向下不相容的問題，所以要等到主版號升了才能做 breaking changes，要求所有 Dart 3 程式碼都要支援 Null Safety ...

上一篇更新完作業系統與套件，接下來就是更新 OJ 啦！ 評測環境 之前的評測環境還停留在 Python 3.5，現在常用的 f-string 等語法都不支援，讓學生寫起來礙手礙腳。我心想既然要更新 Python，何不乾脆整個大翻新呢？ ...

去年底開始規劃升級維護學校的 Online Judge 伺服器，但學校的伺服器不像一般 VPS 有管理面板或是有遠端 Serial Console，只有提供 VPN 與 SSH，只好嘗試使用 SSH 遠端升級。 ...

TL;DR LineageOS for microG Lineage fork 內建 microG & F-Droid Magisk Root & AOSP Mod 依賴 LSPosed AOSP Mod 依賴 AOSP Mod 個人化調整 Aurora Store 替代 Play 商店 Google 壟斷 雖然 Android 本身是開源的，但 Google 用了以前微軟對付 NetScape 的那招：「內建」，不過是對開發者下手的計謀，也成功奏效。 因為 Android 預設都有 GSF，Google 對 APP 開發者說：「我這裡有好棒棒 API 可以串」，再把所有服務都包到 GSF 跟 Play 商店裡，導致 APP 很多功能強制依賴 Google Service Framework (GSF)，沒裝 GSF 的系統運行依賴 GSF 的 APP 會直接崩潰，加上讓使用者依賴 Play 商店取得 APP，所以Android 生態還是被 Google 左右。 ...

Android Android Open Source Project (AOSP) 官方(Google) 釋出的 Android 原始碼，同時也是 Pixel 發行版 Lineage Android 發行版 Lineage = AOSP - Google 專有程式碼 + 各自型號的 device tree Project Mainline Google 推出的模組化系統更新機制，不需跟上 Android 最新版本也能收到部份更新，支援的裝置可以透過 Google Play 商店或 OTA 接收，從 Android 10 開始推行。 ...

前言 當初不知道哪看到這比賽，想說報名費才 400，知道的人很少又中區幾乎都是高職生報名，而且光是區賽前三名就有獎金可以拿，投報率很高 大概講一下規則，初賽分成北中南三區，各區前五名晉級全國賽，各區前三名有獎金、獎牌，獎金每人分別是 12K、6K、4K，但今年南區只有一隊就併入中區，所以決賽只有十隊 全國賽前三名晉級兩年一次的國手選拔賽，全國前三名也有獎金、獎牌，獎金每人分別是 120K、60K、40K ...