http://webptt.com/rss.ashx?n=PLT2022-04-27T15:22:26+08:00https://webptt.com/m.aspx?n=/bbs/PLT/M.1712758143.A.1B0.html2024-04-10T22:09:03+08:002024-05-05T05:46:36+08:00jackliao1990<pre>https://awards.acm.org/about/2023-turing 美國電腦學會ACM決定將資工最高榮譽頒給以色列的Avi Wigderson。 "他重塑了我們對計算中隨機性作用的理解以及數十年來在理論計算機科學領域的學術領 導 地位而受到認可。" </pre>https://webptt.com/m.aspx?n=/bbs/PLT/M.1689686262.A.7A0.html2023-07-18T21:17:42+08:002023-12-25T22:49:06+08:00yoxem<pre>這是王垠的老師的徒弟寫的用 Racket 做編譯器的課本 採用CC BY-NC-ND，所以遵守自由授權可以使用，已經放在網路上， https://github.com/IUCompilerCourse/Essentials-of-Compilation （內有教學投影片和課文原始檔案） https://ppt.cc/fs4rdx 個人的備份課本PDF，沒灌LaTeX產生的可以用 </pre>https://webptt.com/m.aspx?n=/bbs/PLT/M.1689685689.A.39F.html2023-07-18T21:08:09+08:001970-01-01T08:00:00+08:00yoxem<pre>作者: yoxem (Yoxem) 看板: logic 標題: [心得] 關於依值型別以及和形式邏輯的心得 時間: Tue Jul 18 21:06:56 2023 最近有涉獵一些和形式邏輯相關的電腦程式型別相關理論，所以寫了 這篇筆記，算是對自己終於有些許領會的一些記錄。 </pre>https://webptt.com/m.aspx?n=/bbs/PLT/M.1684919874.A.724.html2023-05-24T17:17:54+08:002023-05-24T17:20:08+08:00stopcrying<pre>主題：簡介 Phoenix 網頁開發框架 主辦：Functional Thursday 講者：張誠華 時間：2023/06/08 (六月第二個週四） 地點：池安量子 臺北市大安區金山南路二段200號4樓 </pre>https://webptt.com/m.aspx?n=/bbs/PLT/M.1683086285.A.30C.html2023-05-03T11:58:05+08:002023-05-16T10:05:41+08:00stopcrying<pre>主題：嘗試讓使用者輸入一筆限定型別的資料 主辦：Functional Thursday 講者：YunYan, 在區塊鏈迷路的函數式語言使用者 時間：2023 5/11 (五月第二個週四） 地點：摩茲工寮 台北市中正區八德路一段94號3樓 </pre>https://webptt.com/m.aspx?n=/bbs/PLT/M.1679416337.A.1F1.html2023-03-22T00:32:17+08:002023-03-22T00:32:16+08:00stopcrying<pre>（本文轉貼自 Functional Thursday 臉書粉絲專頁） APLAS 2023 --- 第21屆亞洲程式語言與系統研討會 將於 2023 年 11/26 - 11/29 於台北舉辦！ APLAS 的目標是提供一個發表最新研究成果、交換想法的論壇，以促進程式語言相關研 究。ALPAS 是亞洲為基地，但為全球程式語言社群服務的國際論壇。今年的會議也與 </pre>https://webptt.com/m.aspx?n=/bbs/PLT/M.1676654008.A.C9D.html2023-02-18T01:13:28+08:002023-03-18T22:16:04+08:00noctem<pre>作者: noctem (noctem) 看板: job 標題: [台北] 中研院資訊所穆信成實驗室徵專任研究助理 時間: Sat Feb 18 00:50:50 2023 job版禁止張貼違反「就業服務法」、「性別平等工作法」、「勞基法」與其他法律之文章 發文者已同意一切遵循現行法律，並確知文責自負。本工作確實勞健保! </pre>https://webptt.com/m.aspx?n=/bbs/PLT/M.1664198960.A.D85.html2022-09-26T21:29:20+08:002022-10-02T04:20:20+08:00PTTkswiss<pre>自介檔案： 屬性：個人(男/38) 所在地：中和區(可使用電腦的地方即可) 聯絡方式：站內信 或G-mail:kswiss2047@gmail.com 目前專長：Intel Server Platform 硬體研發 </pre>https://webptt.com/m.aspx?n=/bbs/PLT/M.1661531288.A.177.html2022-08-27T00:28:08+08:002022-09-21T16:07:00+08:00jans0204<pre>J010：MiniScheme, TinyScheme - all from k4 ---------- Mini-Scheme Interpreter Version 0.85 ---------- coded by Atsushi Moriwaki (11/5/1989) Revised by Akira KIDA Version 0.85k4 (17 May 1994) </pre>https://webptt.com/m.aspx?n=/bbs/PLT/M.1661530930.A.06D.html2022-08-27T00:22:10+08:002022-08-27T00:22:09+08:00jans0204<pre>J009：Fast or Fuzix' Forth (fforth) Home Page： https://cowlark.com/fforth/ 下載：fforth-master.zip https://github.com/davidgiven/fforth </pre>https://webptt.com/m.aspx?n=/bbs/PLT/M.1661444169.A.187.html2022-08-26T00:16:09+08:002022-08-26T00:16:08+08:00jans0204<pre>J008：HOC (High Order Calculator) The Unix Programming Environment - Brian Kernighan, Rob Pike (Prentice-Hall 1984, ISBN 0-13-937681-X) 下載： # The original code from the Unix Programming Environment book, including hoc. </pre>https://webptt.com/m.aspx?n=/bbs/PLT/M.1661378570.A.6C2.html2022-08-25T06:02:50+08:002022-08-25T06:02:49+08:00jans0204<pre>J007：Samuel N. Kamin (P2C Version) 下載: https://github.com/jans0204/J006-P2C---a-Pascal-to-C-translator/blob/main/J006.zip https://github.com/jans0204/J007-Samuel-N.-Kamin-P2C-Version-/blob/main/J007.zip 有了 P2C 就不用安裝 Free Pascal。 </pre>https://webptt.com/m.aspx?n=/bbs/PLT/M.1661346937.A.5C9.html2022-08-24T21:15:37+08:002022-08-24T21:15:36+08:00jans0204<pre>J006：P2C - a Pascal to C translator Home Page： http://users.fred.net/tds/lab/p2c/historic/daves.index-2012Jul25-20-44-55.html 1. 下載原始檔：(1993/12/8 13:36) http://users.fred.net/tds/lab/p2c/p2c-1.21alpha2.tar.gz </pre>https://webptt.com/m.aspx?n=/bbs/PLT/M.1661233393.A.509.html2022-08-23T13:43:13+08:002022-09-21T16:21:09+08:00jans0204<pre>J005：AWKcc - awk-to-C transcompiler (PART B) B. make libAWK.a 1. 抽取 awkcc-main.zip\awkcc-main\1988\orig\lib -> R:\_W_\lib\ 2. 備份原檔 -> R:\_W_\lib\prog\ cp awkrun.c </pre>https://webptt.com/m.aspx?n=/bbs/PLT/M.1661205207.A.A5E.html2022-08-23T05:53:27+08:002022-08-23T05:53:26+08:00jans0204<pre>J005：AWKcc - awk-to-C transcompiler (PART A) A. make awkcc.exe 1. 下載原始碼 awkcc-main.zip https://github.com/nokia/awkcc 2. 抽取 awkcc-main.zip\awkcc-main\1988\orig\awkcc\* -> R:\_W_\awkcc\ </pre>https://webptt.com/m.aspx?n=/bbs/PLT/M.1661113885.A.3A3.html2022-08-22T04:31:25+08:002022-08-22T04:31:24+08:00jans0204<pre>J004：Samuel N. Kamin Programming languages - an interpreter-based approach. Addison-Wesley 1990, ISBN 978-0-201-06824-5, pp. I-XII, 1-640 1. 下載原始碼： </pre>https://webptt.com/m.aspx?n=/bbs/PLT/M.1661094870.A.44C.html2022-08-21T23:14:30+08:002022-08-21T23:14:29+08:00jans0204<pre>J003：Lisp500 - real name is Lisp1k5 http://modeemi.cs.tut.fi/~chery/lisp500/ 原始檔的網址已經失效，只好從時間機器找。 https://web.archive.org/web/20040305005602/http://modeemi.cs.tut.fi/~chery/lisp500/ 安裝使用說明請参考網頁，在此不贅述。 </pre>https://webptt.com/m.aspx?n=/bbs/PLT/M.1660960433.A.6A3.html2022-08-20T09:53:53+08:002022-09-21T16:02:24+08:00jans0204<pre>J002：minimal LISP with FORTH core 1. 下載原始碼： # # Interpreter for a minimal LISP-like language (in 1k lines of C) # </pre>https://webptt.com/m.aspx?n=/bbs/PLT/M.1660867713.A.4B6.html2022-08-19T08:08:33+08:002022-09-21T15:56:32+08:00jans0204<pre>1. 下載原始碼： # # C Ratfor is a ratfor preprocessor written in C. # https://github.com/slattarini/ratfor # ratfor-master.zip </pre>https://webptt.com/m.aspx?n=/bbs/PLT/M.1651044146.A.977.html2022-04-27T15:22:26+08:002022-06-24T10:17:33+08:00stopcrying<pre>今年 COSCUP 有個由 Functional Thursday 團 隊申請的 Functional Programming 軌！ 根據 scm 老師的說法，形式一般來說是演講， 如果有想要的話也可以用比較活潑的方式。 * FP 軌介紹： </pre>