作者查詢 / LPH66
作者 LPH66 在 PTT 全部看板的留言(推文), 共31397則
限定看板:全部
看板排序:
全部Math8896C_and_CPP6704Minecraft2016puzzle1798Little-Games1256PHP992Web_Design736killercorp717java657SYSOP599Programming587Mathematica451Windows394IME389Prob_Solve389Ajax321RegExp298b94902xxx229PttBug229HOT_Game210Visual_Basic207Inference204Hunter198Steam168NTU-K9167KS94-317160EzHotKey138BoardGame131Conan122HarryPotter120CSSE116Flash104Database96GameDesign94AndroidDev91Android90Kindaichi_Q88Wikipedia74LaTeX71BBSmovie59SMSlife57DeathNote54riddle52Weyslii49wretch42IMO_Taiwan38Suckcomic38b96902HW37NTU37b94902HW35Doraemon30NTU-MAGIC26NTUDormM723NTUcourse21ONE_PIECE19b95902xxx18KSHS_Talk18b95902HW15NTNU_Lin_9615PLT15C_Chat14CSCouncil11PttCurrent11transgender9Translate-CS9VR9NTUDormG18Education7HSNU_10857KS93-3207NCKU-BEH957NDMC-D627PttNewhand7b99902HW6hikarugo6NtuDormM16youtuber6b96902xxx5b97902HW5CompilerDev5GO5L_LifeInfo5MJ5NSwitch5SummerCourse5tutor5Hsinchu4Liu4PushDoll4AppsForBBS3b98902HW3CSIE_WSLAB3Gossiping3Kao-KSHS3KS93-3163NARUTO3NTUST-DT93-23RSSH94_3013b97902xxx2ck50th3232ck55th3252ck58th3122CS_Badminton2CSIE_Mahjong2NANLIN3012NDHU-His962NTUDormFJr2NTUGIEE_EDA2PCman2PCSH91_3052PttSuggest2PttWeb2SFFamily2WinMine2Abin1AGO1Aquarius1Army-Sir1ASHS-93-li1AskaYang1B92310XXX1b99902xxx1blind_pc1Browsers1CCSH_92_3161CGU-MED-991CGU_EE981ck55th1201ck55th3241ck56th3181CK84Courage1CLHS-53-131CM38th071consumer1CPU_AM7011CPU_FC7311CSMU-MED941CTSH913021CTSH923051DaZhi6thH3021Eclipse1FJU-AM-901FJU-BA92C1FJU_GF1FSHS-94-3181Google1Grad-ProbAsk1Greenfield1HKday1Hoobastank1HORTUS-911HSNU_10731HSNU_9291HSNU_9381HSNU_9581HSNU_9851HSNU_9891HSNU_9901Hu_Yen_20041HY-40-Xin1ILSH-943131INSECT-901Itchie1Jay1JH30th3061Jinmen1joke1kekkai1KhalilFong1KS90-3091KS94-3151KS94-3211KS98-3021lab6211LD_IM93-21Linux1MATLAB1MDscience6th1Moto_GP1MuscleBeach1NCCU00_Stat1NCCU02_PSYCH1NCCU03_ETHNO1NCCU03_PF1NCCU04_MAT1NCCU04_Stat1NCCU98_RMI1NCCU99_Stat1NCHU-AGR001NCHU-AGR071NCKU-PH981NCUFingrad031Network1NIUECE911NTNU_bridge1NTOU-YP1NTPU-JLAW941NTPU_CK_CM1NTU-GIIB20021NTU-GIIB20041NTU95thLIS1NTUBIME-1021NTUCH-941NTUDormM61NTUE-Art961NTUE-CS1031NTUE_Nse961NTUE_Nse981NTUHistory881NTUHorti961NTUKGA1NTUMath911NTUMath941NTUMT-921NTUMystery1NTUNewPlace1NTUST-DT92-11NTUT_EE490A1NUTN_SSSS1Oguri_Shun1Old-Games1onlychild1Peitou29t3161Penny1PERCUSSION1PokeMon1PttHistory1Romances1RSSH93_3071SCU_ACCM971SM02th031SM05th3xx1SOFTSTAR1SSSH-13th3111STDM-87-3051Stephen1streetsinger1TFGCRC1THU-P-Softbo1TigerBlue1TMU9711Translation1TSH97_YK1Ur-hsing1VET_921w-inds1wegoJT3021WuLing46-3051WuLing46-3171YP91-3121YP92-3011YP92-3031YP94-3141<< 收起看板(253)
11F→: 另外, 就算 x86 組合語言只有一條, CPU 微指令可能有好幾條02/12 01:50
11F→: 另外, 就算 x86 組合語言只有一條, CPU 微指令可能有好幾條02/12 01:50
9F推: 推01/30 16:44
10F→: x86 其實是有一個老組語指令 MOVS 有類似的效果啦01/30 16:52
11F→: MOVS 把 ds:esi 搬到 es:edi 之後把 esi 和 edi 都遞增/減01/30 16:53
12F→: (易記指令是 Move String 搬字串,因為加 REP 可以搬一串)01/30 16:54
13F→: 但它是限定只能用這組暫存器,不像 PDP-11 能用其他暫存器01/30 16:55
14F→: 所以在已經很有壓力的 x86 暫存器數量下不容易最佳化出它來01/30 16:56
15F→: 然後 REP MOVS 因為是數量先行指定 (REP 用 ecx 倒數計數)01/30 17:00
16F→: 所以應該只有例如 memcpy 這種有指定數量的能生出 REP MOVS01/30 17:01
17F→: 零結尾字串用的 strcpy 用 MOVS 應該沒有省到什麼東西01/30 17:02
4F推: 四推01/06 19:00
31F推: 這跟那個用階梯「逼近」斜線的問題是一樣的狀況12/20 12:48
13F→: 不會, 會是反過來, 大版號會是一樣的12/10 03:47
14F→: 基岩版的小版號推十號是基岩版的更新規律及規則不同的關係12/10 03:48
2F→: 小道消息是之後可能就是第三版號繼續加了的樣子?11/23 22:46
10F→: 為什麼要卡這麼久→我猜大概是這樣的頻繁小更新的內容12/06 11:06
11F→: 不夠「大」到像 1.21 棘巧試煉這種規模吧?12/06 11:06
19F推: 你把他回你的東西全部混在一起了11/29 12:08
20F→: 他不只回你種子設計還回你怎麼做判定11/29 12:08
21F→: 然後你以為全部都是在講種子的事11/29 12:08
2F→: 小道消息是之後可能就是第三版號繼續加了的樣子?11/23 22:46
6F推: 話說回來, 我看到有一篇論文是他們用 ChatGPT 產生11/06 20:35
7F→: 了 Lean 程式碼並且成功編過了, 這種應該算是生成式11/06 20:36
8F→: AI 的一種意外應用方式吧 (Lean 程式碼能編過表示11/06 20:36
9F→: 邏輯推理是通的)11/06 20:36
10F→: 這是那篇論文, 做的是 Erdos 曾經懸賞一千元的猜想11/06 20:38
11F→: https://arxiv.org/abs/2510.1980411/06 20:39
18F推: 那是其他程式語言, 但這篇論文用的是專門用於證明的11/07 08:50
19F→: Lean, 就我所知 Lean 程式編過就表示邏輯推論是通的11/07 08:50
20F→: 這篇論文的作者有說他們在這之前不會 Lean11/07 08:52
21F→: 但經 ChatGPT 的輔助他們能夠將整篇論文的多數結果11/07 08:54
22F→: (特別是主要定理) 全部都用 Lean 驗證過11/07 08:54
29F推: 原論文也有討論到這個問題, 但恰巧他們這個問題11/12 22:58
30F→: 比較著名 (Erdos 懸賞過的問題) 有其他人已經做好了11/12 22:59
31F→: 這種「翻譯」11/12 22:59
1F→: 這個算閒聊所以我推在這裡: 原來肉串的英文不只拼作 kebab11/05 11:00
2F→: 查了一下發現 kabob 以及其他類似拼法都可以的樣子11/05 11:01
3F→: 所以新進度的名字不算拼錯, 只是另一種拼法而已11/05 11:02