作者 stopcrying 在 PTT [ PLT ] 看板的留言(推文), 共34則

[情報] 2023年圖靈獎得主 Avi Wigderson

[ PLT ]2 留言, 推噓總分: +2

作者: jackliao1990 - 發表於 2024/04/10 22:09(2月前)

2^F推stopcrying: 雖然不是CSIE版但也推一下05/05 05:46

[連結] FunTh#84

[ PLT ]6 留言, 推噓總分: +3

作者: stopcrying - 發表於 2023/05/03 11:58(1年前)

2^F→stopcrying: 在推特口頭問 banacorn 說是有，但83還沒看見誰上傳05/04 10:48

Fw: [台北] 中研院資訊所穆信成實驗室徵專任研究助理

[ PLT ]1 留言, 推噓總分: +1

作者: noctem - 發表於 2023/02/18 01:13(1年前)

1^F推stopcrying: 羨慕現在學生可以找這樣的工作03/18 22:16

[問題]徵求前輩教導硬體描述語言CPLD

[ PLT ]1 留言, 推噓總分: 0

作者: PTTkswiss - 發表於 2022/09/26 21:29(1年前)

1^F→stopcrying: 嗨，這裡不是程式語言教學版，除非要聊語言實作 :D10/02 04:20

[連結] Functional Programming @ COSCUP 2022

[ PLT ]5 留言, 推噓總分: +2

作者: stopcrying - 發表於 2022/04/27 15:22(2年前)

4^F→stopcrying: 抓到了，是良葛格！06/13 02:11

[閒聊] 怎麼跟剛學 (Rust) 程式的人解釋指標？

[ PLT ]3 留言, 推噓總分: +3

作者: pan93412 - 發表於 2021/11/10 00:12(2年前)

1^F推stopcrying: （讀之前）是新文章！（讀完後）我看了什麼 o_O11/27 23:18

[討論] 請問要簡單的檔案歸檔

[ PLT ]5 留言, 推噓總分: +2

作者: taco1234521 - 發表於 2021/07/07 20:19(3年前)

2^F→stopcrying: 嗨，這裡主要討論「程式語言」本身，而不是如何使用程07/12 04:06

3^F→stopcrying: 式完成任務，建議到 Programming 版發問比較合適07/12 04:06

4^F推stopcrying: 當然我的責任僅止於建議和勸導，並不反對版友從程式語07/12 04:09

5^F推stopcrying: 言的設計出發，用各種方式幫助原 PO07/12 04:09

[問題] Agda 的 instance resolution

[ PLT ]13 留言, 推噓總分: +2

作者: CoNsTaR - 發表於 2020/04/26 12:52(4年前)

1^F推stopcrying: 來發正念召喚看看 banacorn 或 petercommand ...04/27 20:56

2^F→stopcrying: petercommand 說 https://bit.ly/2xc9qDc04/27 22:35

3^F→stopcrying: ptrcmd> 就..直接把 instance 傳進去阿..XD04/27 22:36

[連結] Josh Ko: 看看程式語言學在幹嘛

[ PLT ]14 留言, 推噓總分: +2

作者: suhorng - 發表於 2020/04/08 08:48(4年前)

2^F推stopcrying: m 起來！重讀發現每一段還是需要一些背景知識。04/14 01:42

3^F→stopcrying: 不知道一般的街頭程式設計師，除了看 TaPL 外，04/14 01:46

4^F→stopcrying: 還有沒有其他材料可以瞭解 operational semantics ？04/14 01:46

14^F→stopcrying: 啊，我整理一下去年遇到的問題好了 XD 可能要回一篇04/25 01:37

[公告] 版規 v0.91置底

[ PLT ]2 留言, 推噓總分: +1

作者: stopcrying - 發表於 2020/03/24 21:11(4年前)

2^F→stopcrying: 嗨書蹦大大～03/24 23:06

作者查詢 / stopcrying