作者查詢 / linlin110

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

作者 linlin110 在 PTT 全部看板的留言(推文), 共13977則

限定看板：全部

看板排序：

全部Gossiping7449HatePolitics2537WOW1060killercorp392C_Chat240HOT_Game200PushDoll197Expansion07177Touhou127Atheism113StupidClown109Magic82L_TalkandCha81joke78SYSOP63GossipPicket51ask-why50NTU46BBSmovie41Steam41PublicIssue33Suckcomic33gay21TypeMoon21Violation20Soft_Job19About_Life18Hunter18ID_Multi18NTUEE11418Military17NTUrefined16YOLO16Haruhi15L_LifeInfo15LGBT_SEX15Little-Games15NetRumor14AntiVirus12DummyHistory12Hate12movie12NEW_ROC11NtuDormM111RealPlaying11Falcom10JinYong10media-chaos10Test10feminine_sex9NTHU_STAT948NTUEE114HW8PttNewhand8ask7Isayama7DIABLO6GameDesign6NTUCH-1036Policy6TTU-AMath6Boy-Girl5CCRomance5Militarylife5NTUmed915PttBug5Christianity4EZsoft4FJU-ACCR944FuMouDiscuss4historia4Math4Old-Games4PttHistory4TA_AN4Vision4Anchors3CMU_M483EE_DSnP3fastfood3Hearthstone3marvel3NTHU_ChStudy3NTUcourse3Physics3sex3Spore3TuTsau3WomenTalk3WULING-B983AboutBoards2AfterPhD2Ancient2asciiart2Biology2CTSH923012Doraemon2DoubleMajor2e-shopping2Elections2FEZ2Jay2Jolin2Koei2KOTDFansClub2L_BoyMeetsGi2MenTalk2NCHU-AGR062NDMC-guitar2NDMC-N562NDMC-PH232NTU-Fantasy2NTUDormM72NTUST_Talk2pccu_ee892PttSuggest2RSSH94_3032scutran_city2studyabroad2talk2Transfer2tutor2TY_Research2Windows2YUGIOH2a-diane1Army-Sir1ASHS-93-li1b992040XX1b99902xxx1Baseball1Beauty1BoardGame1BridgeClub1Browsers1C_and_CPP1cat1CHSH-3191ChungLi1CMWang1CNU1ComeHere1CosmosPeople1CPU_CP7611CSMU-D891CSMU-MIS921CYCU_EE_07A1CYCU_MIS_93A1DeathNote1emprisenovel1f-sexBM1FCU-PF20061FCU_EE97A1FJU-EE-2004B1FJU-Family1FJU-Law20061FJU_JCS111Free_box1gallantry1Geotecheng961HarryPotter1HCHS593051HCHS603121HomeTeach1HSNU_11431ID_Problem1Inference1InitialD1ISUIM93B1J-PopStation1kartrider1KS93-3201KS94-3071KS94-3091KS95-3091KS95-3111LadyGaga1LHU1LifeSci_971LoL1magic_silver1Marginalman1marriage1marsLin1MdnCNhistory1medache1MGL-history1Miracle1NCCU07_SW1NCCU08_JAPAN1NCCU_SEED1NCHU-ENVE1021NCHU-FS1001NCHU-FS991nCoV20191NCU96IE1NCYU_Fst_981NDHU-ChBT1NDHU-His961NDHU-His971NEHS19th41Note1NTHU_IEEM-941NTU-dolphin1NTU-EM911NTU-Exam1NTU10DFLL1NTUCivilism1NTUDormFJr1NTUE_Nse961NTUE_Nse981NTUEE1071NTUEE1131NTUEE1151NTUEE_BL5271NTUEE_VAL1NTUIMM991NTUST-EE-B911NUK_AC981Odoko-juku1PC_Shopping1PhD1PKU1PlayStation1Richie1Salary1ScienceNote1SCU_CIS-92A1shineshine1SSSH-16th3031SSSH-16th3131Stock1studyteacher1Tainan1Taoyuan1TigerBlue1TKU_BF94C1TKU_EE_92C1transgender1TSU_talk1TTU-AFL1uni-talk1USC1Viator96Chia1WarCraft1wegoJT3021Weyslii1WinMine1WuLing46-3051XBOX1Yup06-091<< 收起看板(250)

首頁

尾頁

[討論] 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

Re: [新聞] 黃國昌揭與柯文哲合作原則不介入黨務與

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

作者: TonyQ - 發表於 2023/12/07 15:24(2年前)

59^F推linlin110: 幻想文還刻意發一篇回辛苦你了211.20.42.1 12/07 15:55

65^F→linlin110: 都發了什麼黨部沒出力的幻想文，還覺得211.20.42.1 12/07 15:57

66^F→linlin110: 自己講的是事實喔...211.20.42.1 12/07 15:57

Re: [爆卦] 沈伯洋：感謝ptt指教，淺談黑熊做啥

[ Gossiping ]378 留言, 推噓總分: +160

作者: design0606 - 發表於 2023/11/11 13:17(2年前)

352^F推linlin110: 憂國騎士團1.163.18.103 11/12 09:02

Re: [閒聊] 京阿尼事件，所以奇樂在還是世界和平吧?已回收

[ C_Chat ]20 留言, 推噓總分: +9

作者: owo0204 - 發表於 2023/11/02 12:27(2年前)

15^F推linlin110: 精闢11/02 12:43

Fw: [轉錄] 滿文是官方語言消失的最佳例子嗎?

[ MGL-history ]19 留言, 推噓總分: +5

作者: Reewalker - 發表於 2023/09/27 12:39(2年前)

901^F推linlin110: 推140.112.249.219 10/31 09:15

Fw: [問卦] 滿文是官方語言消失的最佳例子嗎?已刪文

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

作者: Reewalker - 發表於 2023/09/26 13:01(2年前)

922^F推linlin110: 推140.112.249.219 10/31 09:15

首頁

尾頁