nPTT Logo

  • 公告

    版規 v0.91

    stopcrying

    3/24

  • 公告

    本板討論範圍

    suhorng

    10/17

  • 公告

    3

    板規 v0.9

    suhorng

    10/14

  • 情報

    2

    2023年圖靈獎得主 Avi Wigderson

    jackliao1990

    4/10

  • 閒聊

    編譯器製作課本：編譯的要素

    yoxem

    7/18

  • 心得

    Fw: 關於依值型別以及和形式邏輯的心得

    yoxem

    7/18

  • 連結

    FunTh#85

    stopcrying

    5/24