作者查詢 / 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月前)
75Flinlin110: 我講的c compiler是真實存在的,叫做CompCert,是用coq03/10 23:31
76Flinlin110: 寫的,你不知道並不代表不存在。執行C程式的確需要圖靈03/10 23:31
77Flinlin110: 完備,但我講的是C compiler,他的任務並不是執行C程式03/10 23:31
78Flinlin110: ,請搞清楚compiler的工作再來評論別人是不是反智。03/10 23:31
41Flinlin110: 有圖靈不完備的程式語言,(還好幾個),學術圈會拿來02/24 01:51
42Flinlin110: 做正規驗證,因為圖靈完備的語言會有性質證不出來02/24 01:51
43Flinlin110: 但我不知道產業界有沒有在用~~~02/24 01:51
46Flinlin110: 我不太確定這種語言的複雜度到哪裡,不過coq可以拿來寫02/24 09:09
47Flinlin110: 跟驗證c compiler,跟pda同級的話還蠻讓人意外的02/24 09:09
52Flinlin110: c的grammar不是context free,所以1stack pda一定不夠02/24 09:39
Re: [討論] Rust 2024 發佈正式版
[ Soft_Job ]117 留言, 推噓總分: +23
作者: PosetMage - 發表於 2025/02/22 12:39(10月前)
42Flinlin110: https://reurl.cc/r37zZ402/24 01:55
43Flinlin110: 這篇蠻有意思的,C++的使用者分兩派,對語言的需求完全02/24 01:55
44Flinlin110: 不一樣,很難兼顧02/24 01:55
45Flinlin110: 是說C++20開始我就沒在跟了 加太多新東西跟不上02/24 01:58
46Flinlin110: 不知道module的支援度如何02/24 01:58
[情報] FX戰士久留美 台角代理確定
[ C_Chat ]147 留言, 推噓總分: +126
作者: tyui0459 - 發表於 2024/11/02 03:57(1年前)
143Flinlin110: 必收11/03 18:41
[討論] 黃國昌什麼時候要說識人不明?
[ HatePolitics ]16 留言, 推噓總分: +10
作者: lupin2401 - 發表於 2024/08/31 21:31(1年前)
14Flinlin110: 黃國昌跟柯文哲教了我重要的一課:不會27.147.57.252 08/31 21:46
15Flinlin110: 看人留不下人才的人,不適合搞政治。27.147.57.252 08/31 21:46
[討論] 國昌老師會不會很後悔太快上阿北車呀?
[ HatePolitics ]100 留言, 推噓總分: +45
作者: RodrigueZ810 - 發表於 2024/08/31 21:30(1年前)
16Flinlin110: http://i.imgur.com/gGVAssp.jpg27.147.57.252 08/31 21:31
Re: [新聞] 黃國昌揭與柯文哲合作原則 不介入黨務與
[ HatePolitics ]105 留言, 推噓總分: +2
作者: TonyQ - 發表於 2023/12/07 15:24(2年前)
59Flinlin110: 幻想文還刻意發一篇回 辛苦你了211.20.42.1 12/07 15:55
65Flinlin110: 都發了什麼黨部沒出力的幻想文,還覺得211.20.42.1 12/07 15:57
66Flinlin110: 自己講的是事實喔...211.20.42.1 12/07 15:57
Re: [爆卦] 沈伯洋:感謝ptt指教,淺談黑熊做啥
[ Gossiping ]378 留言, 推噓總分: +160
作者: design0606 - 發表於 2023/11/11 13:17(2年前)
352Flinlin110: 憂國騎士團1.163.18.103 11/12 09:02
Re: [閒聊] 京阿尼事件,所以奇樂在還是世界和平吧?已回收
[ C_Chat ]20 留言, 推噓總分: +9
作者: owo0204 - 發表於 2023/11/02 12:27(2年前)
15Flinlin110: 精闢11/02 12:43
Fw: [轉錄] 滿文是官方語言消失的最佳例子嗎?
[ MGL-history ]19 留言, 推噓總分: +5
作者: Reewalker - 發表於 2023/09/27 12:39(2年前)
901Flinlin110: 推140.112.249.219 10/31 09:15
Fw: [問卦] 滿文是官方語言消失的最佳例子嗎?已刪文
[ MdnCNhistory ]0 留言, 推噓總分: 0
作者: Reewalker - 發表於 2023/09/26 13:01(2年前)
922Flinlin110: 推140.112.249.219 10/31 09:15