子版块
-
37
主题153
帖子
-
蹲个数学大佬,我上来就被范畴论的定义迷惑了
一个范畴有两个 collections,一个是 objects,一个是 morphisms,一个态射对应两个对象,两个对象 A 和 B 之间所有的态射记作 Hom(A, B),所以说某个从 A 到 B 的态射 f 和 Hom(A, B) 不一样,是这个意思吧?但是我看合成律的描述有 gf = h 这样描述态射的合成的,也有 Hom(A, B) × Hom(B, C) = Hom(A, C) 的,前者的描述我感觉就是错的,因为两个对象之间可以不止一个态射,那我拿出一个 A 到 B 的态射和一个 B 到 C ... -
菜鸡求助,有没有那种面向初步编程实践的计算机大礼包课程或者资料
硬着头皮翻操作系统和计算机网络的书总是进入梦游状态,但是既然抽象是为了让调用者不需要知道实现细节,那我不懂编译原理啥的也能写能用的程序吧😭 时常为自己的脑子感到捉急😭 -
MIUI 欧洲版中的包 com.miui.guardprovider(MIUI安全组件)仍然含有腾讯天御安全组件
• test1https://web.pkuhollow.com/##106483 有消息说MIUI13 EU版(官改欧洲版)同样内置了国家反诈中心组件,并且会向小米服务器传输应用列表。来自酷安的发帖说,已证实的内容包括:会扫描应用列表并上报,与手机管家病毒扫描有关,采用与反诈中心App一致的腾讯安全组件。 https://www.coolapk1s.com/feed/42719865 (2-03 17:56:30 7关注 5回复) [Alice] 这个系统好像是民间论坛从国内版系统改的, 不知道小米的官方国际版有没有... -
有没有可能做出这种帮助外语学习者纠音的软件
通过解剖学等相关知识,软件可以辨认出学习者发出的音素的舌位等数据,进而与标准音比较而给出改进建议 人类为啥能听出来各种舌位,有点神奇。另外如果现在的语音学还没有这种软件辅助标准化的分析,记录时不会出错吗 -
这个图解范畴论入门挺有趣
https://abuseofnotation.github.io/category-theory-illustrated/10_functors/ 有趣在我看不懂 -
Off-the-recording message讨论贴
• 游客加州大学伯克利分校的两名研究人员创建了一个即时消息附加组件,他们声称该附加组件将使参与者能够相互识别并进行安全对话,而无需留下任何聊天发生的证据。 结果被安全研究人员Ian Goldberg和Nikita Borisov 称为非记录 (OTR) 消息传递,它是Gaim 即时消息客户端的一个插件,可以在不留下密钥(字符序列)的情况下实现加密消息。这可以用来验证对话是否发生。该属性在密码学中被称为完美的前向安全性,还可以防止窥探者读取对话的任何副本。 “如果明天我的计算机被闯入并且加密密钥被盗,攻击者将无法读...