funth-100.md

• YunYan 提到 Funth 15, 22, 82 沒有留下紀錄，狸貓提到從 wayback machine 中還能看到存檔
• caasih
  • 講了講 React 違反 FP 原則的設計決定
• banacorn
  • 曾做過 Socket.io 的 Haskell binding
  • 做過 mini-pascal
• scm 老師
  • 提到他喜歡把小問題用 FP 方式解決，提到他的老師（我沒聽懂名字怎麼拼）更擅長這樣做
  • 自比一直在短打短打
  • 提到 Dijkstra 曾確定他的教學語言沒有任何實作，這樣學生就不會去執行它，只能靠紙筆證明其正確性
  • 所以 scm 老師說他這幾年的研究進展是買了更好的筆
  • 自謙年紀大了比較難做證明，但是還是能操作符號， let symbol do my work
  • 很多事情移到 type 去做
  • 「 puzzle 的應用就是成為一個 puzzle 」
  • 「我的工作是在寫這些（冒險）故事，也希望更多人能一起寫故事」（非原話）
• lcamel
  • 正在做 multi-party computation 問題
• YunYan
  • 本來用 fp 的人不多，區塊鏈又更少
  • 現在機會不會開給 junior 或 middle level 的人，要能馬上開始工作的 senior
  • 生態圈不夠大，工具鏈太狹隘，於是管理層會覺得搞這些工具對產品沒幫助
  • FP 入門門檻變低了，但也因為教材變多了，有彼此衝突的時候
• 蘇泰安
  • 當你有選工具的權力時，可能也沒時間寫了
  • 主要工作語言是 Elixir
  • 「不知道什麼時候 5xRuby 會改叫 5x 大蟒蛇」
  • 帶著 4 歲和 6 歲的小孩用 Elixir 寫 advent of code （訓練 AI 反抗軍），發現用資料的轉換來跟小孩解釋，比較容易吸收
  • Elixir 可以做很複雜的 metaprogramming
  • stevencch99 在蘇泰安那裡寫 front-end ，跑來問 React 和 Vue 與 FP
• 狸貓
  • 以前是做自動機跟形式化驗證
  • Z3 SMP solver
  • 提到非學術圈出身的人很難寫好 program 的 precondition 和 postcondition ，於是想到也許能改進自然語言跟形式語言的 gap
  • 公司正在用 llm 生形式化證明
  • deepseek
  • Qwen
  • 不要要求大模型去生 spec ，通常是錯的
• trc 老師
  • 之前來過兩次，之前介紹過藝術家來，現在少寫程式了，都是指揮學生
  • 以前用 emacs ，現在什麼都用
  • ACM 和沒有 OpenAccess 的年代，要把著作權簽給 ACM ，但如果你是美國公務員，可以不用簽，因為美國公務員的產出屬於 public domain
  • 當時 trc 老師算是中華民國公務員，因此不願意同意 ACM 的條款，但 ACM 只承認美國公務員，結果變成論文有被選上但沒有刊登
  • 講了最近有人引用他和 scm 老師的論文做形式化證明，發現 1983, 1991, 1993 三組人重複做同一個問題的故事
• scm 老師： next 100 events?

另外 Cindy 提到 AI 寫程式課程講師推崇 React 。可能是因為 React 比較方便把程式拆成意義清楚的小塊，這樣 LLM 就不用讀太多程式碼。這和現在人常把 React 元件焊在一起是衝突的，但我想若是人類的經驗夠，能告訴 LLM 怎麼拆分元件。