2024-04-07 Zhihu RSS - Githubissues

github-actions[bot] commented 7 months ago

知乎每日精选 2024-04-07 更新

github-actions[bot] commented 7 months ago

破譯了一段更奇妙的亂碼 [Pk-116]

2024-01-15 10:53:23

（甚至本來不抱破譯希望的，但意外地成功了233

【順帶推一下前篇：破譯了一段有趣的亂碼ww

看有人轉了這麼個圖：

一開始討論，有人在猜是不是打字的人沒看屏幕，還有人猜是不是用諧音寫的別的語233

但果然它還是更像某種軟硬件問題導致排印時出現的亂碼。

初分析

這回是一個完全沒有頭緒的亂碼。

首先排除 UTF-8 的嫌疑。因為 UTF-8 編碼的長度，和其他常見漢字編碼（也包括 UTF-16）都不一樣。而這張圖的排版卻很勻稱，並沒有明顯地歪掉，所以亂碼和原文應該字數一致（或頂多相差一個字左右）。

那麼是不是 UTF-16（BE 或 LE）跟 GBK 間的問題呢？試驗了一下發現不是這樣，因為這三者之間，無論怎樣轉換，都會含有不合法編碼或 Unic

github-actions[bot] commented 7 months ago

前言

去年11月份开始，4090就被禁售了，价格狂飙到2W+

对于普通玩家来讲，要想设备管理器里面显示“RTX4090”就只能通过购买笔记本的相关配置来实现了，有幸第一手体验到全新的ROG 枪神8 Plus超竞版4090版本（以下简称枪8P超竞），机器一入手外观与上一代的枪神7 Plus超竞版并没有太多变化（说实在的甚至配置都没啥太大变化），CPU从13代的i9-13980HX更新成了14代的i9-14900HX，这算是常规升级，配置确实够用了，为了更好的使用体验和视觉效果，屏幕方面则有较大变动，接下来就给大家带来枪8P超竞的简单测评（没收钱，放心看）

配置概览

一图流

github-actions[bot] commented 7 months ago

十八世纪帆船横渡大西洋大约要多久？

2024-01-11 16:50:48

答案是看不同的船型和季节，需要花费5到8个星期左右的时间。

18世纪的帆船，按照帆型来分主要分为全帆装船和非全帆装船两个大类，这两个大类里，非全帆装船又分为单桅或多桅纵帆船、单桅或多桅横帆船、地中海帆船、桨帆船。

1.咱们先说非全帆装船

纵帆船

在18世纪时，绝大多数非全帆装船都是纵帆船，这类船的特点是操纵船只简单容易，不需要大量船员，且迎风航行能力好，被广泛应用于商业贸易活动，18世纪中到20世纪初，绝大多数的民间帆船都是纵帆船。

这类船只主要是依靠两面巨大的斜桁帆和数面支索帆或者拉丁三角帆来提供动力，一部分此类船还会在前桅上挂上几面横帆来增大顺风时的受风面积，引用我学ASA时的几句话：“帆船在迎风航行的时候，是利用了伯努利定律来航行，顺

github-actions[bot] commented 7 months ago

未来海平面上升 70 米会对全球产生什么影响？

2024-01-11 11:19:41

根据科学家的估算，如果覆盖南极洲、格陵兰岛的所有冰层（南极洲将使海平面上升约 60 米，格陵兰岛使海平面上升约 7.4 米）以及全球山地冰盖融化，海平面将上升约 70 米。基于这样的假设，我们模拟了一个虚构的全球陆地海洋地图，你会发现一个完全被改变的世界：
东亚地区：

github-actions[bot] commented 7 months ago

AI 落地进行时，让创新真正触手可及｜AI 先行者沙龙圆桌实录

2024-01-10 14:33:59

2024 年 1 月 6 日，知乎科技举办「破晓 · 知乎 AI 先行者沙龙」，此为下半场圆桌「AI 落地进行时，让创新真正触手可及」实录文字。
嘉宾：
（主持人）骆轶航， @硅星人 /品玩 CEO，硅基立场主理人
董应赛，@兔展智能合伙人，战略与投融资负责人
李乐 @世事如烟，网易伏羲游戏 AI 产品负责人
汪大炜，
github-actions[bot] commented 7 months ago

「百模大战」之后，预见行业新生态｜AI 先行者沙龙圆桌实录

2024-01-10 14:33:36

2024 年 1 月 6 日，知乎科技举办「破晓 · 知乎 AI 先行者沙龙」，此为上半场圆桌对谈「『百模大战』之后，预见行业新生态」实录文字。
嘉宾：
（主持人）骆轶航， @硅星人 /品玩 CEO，硅基立场主理人
@黄文灏，零一万物技术副总裁及 Pretrain 负责人
林俊旸 @霜清老人，通义实验室通义千问开源负责人
王铁震
 github-actions[bot] commented 7 months ago

安全的本质：大模型能否被严谨解释为符号逻辑？｜知乎先行者沙龙分享

2024-01-09 18:02:33

各位知乎的朋友们大家好，我是张拳石，我来自上海交通大学。今天的主题是：安全的本质，大模型能否被严谨解释为符号逻辑？
我是2007、2008年大三的时候第一次接触人工智能研究，当时还没有深度学习，人工智能领域还是以及基于手工设计的特征的图模型为主导的。2012年的深度学习算是一次变革，到了2023年的大模型，我认为很可能是另一个变革。但是，跟大部分人的思考并不相同

github-actions[bot] commented 7 months ago

大模型行业如何持续发展（知乎AI先行者沙龙）

2024-01-09 18:01:36

以下是我在知乎AI先行者沙龙活动上的演讲实录，应线上线下听众们的诉求，现将演讲内容分享出来：
非常荣幸，能够在这里分享我自己对于大模型这个行业目前的一些认识。首先说一下我，我是清华大学电子工程系的教授，今天在座各位可能做算法和应用比较多。但我是一位做硬件、芯片和基础软件更多的学者，以及有过一定的创业经历，所以从我的角度来给大家去讲一讲我怎么去看人工智能，特别是这一波大模型的发展。
大模型这一次出来以后对于AIGC、自动驾驶、科学计算，特别是我最感兴趣的机器人方向有着非常大的促进作用，作为电子系的系主任，每年9月份我都会在新生的迎新活动上讲话。在跟这200多名新生去分析未来从事行业的时候，其中有一个方向就会去讲机器人这个方面。这几年的高考人数还比较多，竞争是比较激烈的，因为当年是1800万的出生人口，到了去年和前年大概是800万左右的出生人口。我每次问他们说，同学们你们看一看我今年40多岁了，为祖国可以健康工作到50岁，甚至更多，等我到了七八十岁，也就是30年以后谁来照顾我是一个问题。那个时候人不够了，2050年

github-actions[bot] commented 7 months ago

见证者中的数学原理

2024-01-08 14:33:25

起因
这些天重新游玩很久之前玩过的游戏《见证者》，回想当初游玩时的兴奋感，依然仿佛历历在目。这个游戏很难称为游戏，而应该看作杰出的艺术品，幻想与写实，表面与暗藏，艺术与数学，精确与诗意，可以谈的东西有很多。
这一篇文章就先关注其中蕴含的数学原理。
在解谜游戏中，主要的玩法为隐藏物的收集与触发，以及各种有趣的小游戏，益智关卡。在这款游戏中，解密都是通过图中的路径实现的，这就是最形象的图论知识教学。
接下来就让我带领大家一一欣赏其中的数学原理。游戏图片来源于网络。
内容
图论，路径与联通分支
简单图，两个顶点，一条边，圆为起点，半圆为终点，看上去就像一个温度计。

github-actions[bot] commented 7 months ago

神经网络能否被严谨地解释为符号逻辑？

2024-01-08 12:50:13

相信大家对“神经网络能否被严谨地解释为符号逻辑”都有自己独特的想法，但是如果究根问底，还是需要一个更加严谨的公理、定理体系来证明或证伪这个命题。准确地说，这里面起码包含两个问题，1.如何定义并数学证明“符号化解释的严谨性”，2.求得“在哪些条件下”神经网络可以被严谨地解释为符号逻辑。
下面，是我最近在知乎平台上的一个报告。细节的定理证明需要大家读后面的论文和我的其他知乎文章。
各位知乎的朋友们大家好，我是张拳石，我来自上海交通大学。由于身体原因，很遗憾无法前往现场与大家面对面交流。我仍然用心准备了今天的分享，希望能够就可解释性及大模型的未来发展路线，与大家进行深入而有意义的探讨。

Previous

© Githubissues.

Githubissues is a development platform for aggregating issues.