stevefan1999 最近的时间轴更新

stevefan1999

V2EX 第 371064 号会员，加入于 2018-12-17 20:45:58 +08:00

stevefan1999 提问技术话题好玩工作信息交易信息城市相关

stevefan1999 最近回复了

6 天前

回复了 andyJado 创建的主题 › 程序员 › PDF 是自学者的噩梦，读 Anders 的 Static Program Analysis 窒息

另外我記得龍書也有説過這個

6 天前

回复了 andyJado 创建的主题 › 程序员 › PDF 是自学者的噩梦，读 Anders 的 Static Program Analysis 窒息

https://en.wikipedia.org/wiki/Graph_isomorphism

我目前不是要讀 PhD 我也不知道怎麼做 static analysis 但我不知道這能不能幫到你

6 天前

回复了 andyJado 创建的主题 › 程序员 › PDF 是自学者的噩梦，读 Anders 的 Static Program Analysis 窒息

> Explain how regular types can be represented by finite automata
so that two types are equal if their automata accept the same language. Show
an automaton that represents the type µt.(promotable(int),t)→int.

大佬為什麼你要讀這個

54 天前

回复了 idblife 创建的主题 › 云计算 › 惊闻 oracle cloud 永久免费要关闭空闲实例，求可部署系统

好啊草你們這羣薅羊毛媽的
搞到我不能在上面部署 ARM K8S 節點

83 天前

回复了 CREEPERDCH 创建的主题 › 程序员 › 这下 zlib 真的寿终正寝了

草我還想回覆為什麼不用 pigz 或者 miniz 的

85 天前

回复了 dyxiaodong2022 创建的主题 › 程序员 › 一个 14 岁初中生开发的前端工具库，轻量级高可用，各位可以体验一下

14 歲的我還在初學黑客技術寫了個超簡單的 c#木馬還為此沾沾自喜你已經能駕馭一個中型項目了後生可謂

95 天前

回复了 amiwrong123 创建的主题 › 程序员 › 怎么理解用 TSS 恢复任务的执行，里面用到的 LDT 段选择子？

歷史原因
在沒有線性地址前 DOS 就是靠交換 TSS 來獲得有限的虛擬內存支援但並沒有內存保護
後來有了 32-bit 就完全改成了線性地址但是為了向下兼容就規定了只有當你轉成保護模式才可以
你做的這是其中一步

95 天前

回复了 edis0n0 创建的主题 › 程序员 › ChatGPT 比 Copilot 有用多了， Copilot 就算补全微软自家的 C#也经常弄不懂我在干嘛，补全的全是错的，也就帮我自动输入{get;set;}效果不错， ChatGPT 告诉他要用什么算法做什么就全帮我写好了，一行不用改

問了一下 ChatGPT 和一個質數在質數範圍內互質的問題 (let p be a prime and n be a generator such that 2 < n < p, find how many n coprimes with p)
這答案學過數論基礎的人也知道很明顯是 p - 1 個
但 ChatGPT 居然和我答一個牛馬不相干的東西你真的旨意 ChatGPT 能對一個簡單的數學問題乃至編程有幫助? 沒有幫倒忙已經謝天謝地

95 天前

回复了 xyjtou 创建的主题 › 云计算 › 面向海外用户的服务，在 AWS、Azure、阿里云国际版三者中选哪个服务器好？

用誰也可以就是別用國內的
除非你也要面向國內用户
否則面向國際你會死得很慘
因為國內的國際雲的國際線路質量都很糟糕

112 天前

回复了 hongchaodeng 创建的主题 › 程序员 › 为什么大家这么讨厌 Electron?

誰都討厭胖子

» stevefan1999 创建的更多回复