作者查詢 / linlin110

總覽項目：發文 | 留言 | 暱稱

作者 linlin110 的總覽 (PTT發文,留言,暱稱)

發文數量: 117

收到的『推』: 2316 (54.6%)

收到的『→』: 1531 (36.1%)

收到的『噓』: 396 (9.3%)

留言數量: 13977

送出的『推』: 7171 (51.3%)

送出的『→』: 6364 (45.5%)

送出的『噓』: 442 (3.2%)

使用過的暱稱: 10

linlin110 在 PTT 最新的發文, 共 117 篇

[組包] Humble Sid Meier's Ultimate Collection已刪文

[ Steam ]0 留言, 推噓總分: 0

作者: linlin110 - 發表於 2022/02/28 11:36(3年前)

Re: [建議] 將泛政治標準明確納入板規

[ GossipPicket ]13 留言, 推噓總分: +11

作者: linlin110 - 發表於 2021/08/15 00:44(4年前)

[新聞] 停止校正回歸、以快篩減輕採檢量能後，確已回收

[ Gossiping ]38 留言, 推噓總分: +28

作者: linlin110 - 發表於 2021/06/17 15:25(4年前)

[轉錄] 請問拜登什麼時候要賣台？從側翼粉專亂象已回收

[ HatePolitics ]11 留言, 推噓總分: +5

作者: linlin110 - 發表於 2021/06/09 06:24(4年前)

Re: [討論] 洗阿公店是防疫破口的戰術是不是奏效了?已回收

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

作者: linlin110 - 發表於 2021/06/04 14:06(4年前)

linlin110 在 PTT 最新的留言, 共 13977 則

[討論] Rust 2024 發佈正式版

[ Soft_Job ]78 留言, 推噓總分: +29

作者: Rust - 發表於 2025/02/21 10:10(10月前)

75^F推linlin110: 我講的c compiler是真實存在的，叫做CompCert，是用coq03/10 23:31

76^F→linlin110: 寫的，你不知道並不代表不存在。執行C程式的確需要圖靈03/10 23:31

77^F→linlin110: 完備，但我講的是C compiler，他的任務並不是執行C程式03/10 23:31

78^F→linlin110: ，請搞清楚compiler的工作再來評論別人是不是反智。03/10 23:31

41^F推linlin110: 有圖靈不完備的程式語言，（還好幾個），學術圈會拿來02/24 01:51

42^F→linlin110: 做正規驗證，因為圖靈完備的語言會有性質證不出來02/24 01:51

43^F→linlin110: 但我不知道產業界有沒有在用~~~02/24 01:51

46^F推linlin110: 我不太確定這種語言的複雜度到哪裡，不過coq可以拿來寫02/24 09:09

47^F→linlin110: 跟驗證c compiler，跟pda同級的話還蠻讓人意外的02/24 09:09

52^F→linlin110: c的grammar不是context free，所以1stack pda一定不夠02/24 09:39

Re: [討論] Rust 2024 發佈正式版

[ Soft_Job ]117 留言, 推噓總分: +23

作者: PosetMage - 發表於 2025/02/22 12:39(10月前)

42^F推linlin110: https://reurl.cc/r37zZ402/24 01:55

43^F→linlin110: 這篇蠻有意思的，C++的使用者分兩派，對語言的需求完全02/24 01:55

44^F→linlin110: 不一樣，很難兼顧02/24 01:55

45^F推linlin110: 是說C++20開始我就沒在跟了加太多新東西跟不上02/24 01:58

46^F→linlin110: 不知道module的支援度如何02/24 01:58

[情報] FX戰士久留美台角代理確定

[ C_Chat ]147 留言, 推噓總分: +126

作者: tyui0459 - 發表於 2024/11/02 03:57(1年前)

143^F推linlin110: 必收11/03 18:41

[討論] 黃國昌什麼時候要說識人不明？

[ HatePolitics ]16 留言, 推噓總分: +10

作者: lupin2401 - 發表於 2024/08/31 21:31(1年前)

14^F推linlin110: 黃國昌跟柯文哲教了我重要的一課：不會27.147.57.252 08/31 21:46

15^F→linlin110: 看人留不下人才的人，不適合搞政治。27.147.57.252 08/31 21:46

[討論] 國昌老師會不會很後悔太快上阿北車呀?

[ HatePolitics ]100 留言, 推噓總分: +45

作者: RodrigueZ810 - 發表於 2024/08/31 21:30(1年前)

16^F推linlin110: http://i.imgur.com/gGVAssp.jpg27.147.57.252 08/31 21:31

linlin110 在 PTT 的暱稱紀錄, 共 10 個

暱稱：大破大立

文章數量：59

暱稱：酥炸雞丁佐羅勒

文章數量：20

暱稱：一灘死水

文章數量：1

暱稱：=____="

文章數量：3

暱稱：前一代還沒破下一代就先

文章數量：2

暱稱：通過extra 爽!

文章數量：1