Martin Bauer on Twitter
>> Martin Bauer @ martinmbauer
>> If you take 'phool' out of philosophy and add 'cs' you get physics

tmp = a;
a = b;
b = tmp;@shouhei - 有沒有考慮先換成丙？🔀有沒有搜尋取代的 xor 運算或 += / -= 運算?

git puff --ff-only

TIL: git 可以在 clone 的時候選擇不要下載資料, 直到 checkout 檔案時才從遠端下載對應的 blobWhat is the git clone --filter option's syntax?這樣可以避開一些已經刪掉只在歷史中存在的檔案

ARM 的 variadic function calling convention 跟 x86 不一樣What About ... ?所以有些 x86 下意外會動的 FFI 程式碼到 Mac M1 可能會 segfault

耶用 GHA 編 Agda 執行檔來用, 也能改 flag 開編譯最佳化, 快了 99 秒 可惜還沒有 M1 的 runner, 還是用 ARM 跑 x86 的執行檔

不知道誰寫 Nightly build 的 workflow, 真厲害呀, 根本看不懂怎麼處理 libicu 動態連結的問題

原來一直以來用的都是沒有 optimise-heavily 的 Agda
這樣看時間好像不準

天啊, 沒發現 Mac 螢幕設定的 True Tone, 說是會按照環境光源調整顯示的色調. 所以我以前找的顏色都是歪的嗎?

PR 終於進了 agda stdlib 了 😇
README.Data.Vec.Relation...
用來處理不同長度 vector (e.g. n+m vs. m+n) 的 equational reasoning 的 combinators!

原來 appendix 是闌尾喔
所以放證明和放完整定義的叫 appendix 真的好嗎? 這些不是可以割掉的東西吧