花了點 ripple-carry-adder based 的加減法 involutive 性質證出來了 👀

第一次遇到 malloc 空間不夠的 trie 在插入完之後不是先發生 segmentation fault 而是要釋出 trie 時發生 invalid pointer 🫠

PETERWARE 2.0

難得湊到對的小丑牌 🫠

久違的回來寫了個模組 Retro Sophisticated Backpacks 1.0.0 curseforge.com/minecraft/mc-m…

c-language.org C言語の公式サイトが登場！

打 chess 打上癮了 🫠

The main theme from ‘MINECRAFT’ has been added to the Library of Congress’ National Recording Registry for its cultural, historical and aesthetic importance.

☆•♢━━━━━━━━━━━━━━━━━━━━ 『スティール・ボール・ラン ジョジョの奇妙な冒険』 　イメージビジュアル解禁！！ ━━━━━━━━━━━━━━━━━━━━♢•☆ Steel Ball Run JoJo’s Bizarre Adventure Teaser Visual Revealed!! jojo-portal-anime.com/sbr/ #jojo_anime

Big news: the next subject Duolingo will teach is… chess ♟️ Strategy, logic, and a little bit of trash talk—coming soon to your app.

Sneak peek of Shecc QBE-SIL support in action...

結果 debug 了三天發現是 IR generator 多生一個有 side effect 的 instruction 才導致 bug 😭

Might be sufficient?

Should n-bit Binary theorems supports 0-bit Binary case ... ?

Imagine formalizing this in Lean 4 😈

經過一個暑假的嘗試： 利用 Inductive type 的方式定義 N-Bit Binary，可以對 bitwise operations / addition 等操作相關的 equality theorem 進行證明，但當對於 inequality theorem 來說， Inductive type 看起來還是無法有效地去證明 ( 看來得要嘗試用 BitVec 去證明看看了

現在玩 Ghost Fort 都會有 PTSD

Initial rework preview of shecc's frontend unit... Though I had to rewrite the whole frontend and adds a preprocessor unit to fully resolve the issues we've seen in shecc.

Imagine proving this in a reasoning chain in Agda : ) Even Gemini 3 suggests me not to do this as it's extremely difficult, but yet I decided to make concession and use rewrite instead of expand the whole expression again and again.

After seeing the incredible interest in Zen C from China and other regions, we have expanded our documentation! 鉴于来自中国及全球社区的热情关注，我们现已增加 简体中文 与 繁體中文 文档。感谢大家的支持！ Tras ver el interés global, también hemos añadido la documentación en