JangaFX - Insight: Linux Binary Compatibility

非 s-expression 的 racket
The Rhombus Programming Language

Canonical 面試真麻煩還要寫作文批踢踢實業坊 - Soft_Job

An epic treatise on error models for systems program...

A Mechanically Verified Garbage Collector for OCaml

最近在改 calling convention 總覺得自己寫的 test coverage 不太夠，或許該來 porting ABI Cafe 幫忙生 test case

Interprocedural Sparse Conditional Type Propagation

剛好在公佈分紅之後，停車場閘門正式啟用，以後進出都要刷卡了

A catalog of ways to generate SSA

最近終於完成 LLVM 升級，之後最頭痛的大概是 backend 換成用 new pass manager