小天管理

发邮件：添加收件人，输入主题，正文。 就不能把收件人这里做成 IM 的聊天形式吗，像发送微信消息那样发送。 同一人的消息以聊天记录的形式放在邮件正文。

这个问题存在好几年了，每次误触后还能开门就会纠结这个问题，比如正确密码是 A ，那么输入 A 、123A 、A123 、123A456 这几种都能开锁，这是个 bug 还是 feature 。然后又想到了另一个问题，他们是不是存的明文密码，如果是密文怎么判断输入密码包含正确密码的，就想到一个循环一下，每个字符后推 6 位加密后和存储的密文做对比，可能要循环很多次，还有其他什么好的算法吗？

搞偷袭，还好都防住了奥

##问题 免费版本 QQ 邮箱无法添加腾讯企业邮，公司使用腾讯企业邮箱想添加代收，已成功添加阿里企业邮箱，目前只添加 1 个其他邮箱，未超过免费额度 ##报错 添加腾讯企业邮箱报：未知错误：-2006 ##添加过程 设置-其他邮箱-添加代收邮件账号-输入公司邮箱全称示例 xxx@company.com--输入客户端专用密码--报错 ##客服答复 反馈 feedback302605 ，你好，由于网页版目前还未支持自建域名绑定，请耐心等待后续功能上线再添加，或者使用 app 添加该账号进行收取，给您造成不便，敬请谅解 ##其他说明 已成功添加的阿里企业邮箱也是自建域名绑定，添加邮箱全称示例 xxx@company.com

公司卫生间冲厕所是那种按压式的阀门，阀门高度大概一米多，平时我上万厕所都是用手按压阀门冲厕所的，今天发现有人直接用脚踹阀门冲厕所，我瞬间整个人都不好了。大家如果遇到这种冲水阀门是怎么操作的？ 上个类似的现场图：

菜鸡 android 学习网络相关，开源的很多，但是拿过来直接用不了。 我不会 native ，不会编译。 有偿求助，价钱可谈。

原文链接： https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/ 以下翻译来自谷歌 人工智能在解决国际数学奥林匹克问题上达到银牌标准 突破性模型 AlphaProof 和 AlphaGeometry 2 解决数学中的高级推理问题 具有高级数学推理能力的通用人工智能（ AGI ）有可能开辟科学技术的新领域。 我们在构建人工智能系统方面取得了巨大进步，该系统可以帮助数学家发现新见解、新算法和未解决问题。但由于推理能力和训练数据的限制，目前的人工智能系统仍然难以解决一般数学问题。 今天，我们推出了基于强化学习的新型形式数学推理系统 AlphaProof ，以及我们几何求解系统的改进版本 AlphaGeometry 2 。这两个系统共同解决了今年国际数学奥林匹克(IMO) 六道题目中的四道，首次在竞赛中取得与银牌得主同等的成绩。 突破性的人工智能性能解决复杂的数学问题 国际数学奥林匹克竞赛是历史最悠久、规模最大、最负盛名的青年数学竞赛，自 1959 年起每年举办。 每年，顶尖的大学前数学家们都要训练，有时要训练数千小时，以解决代数、组合学、几何学和数论领域的六道极其困难的难题。菲尔兹奖是数学家的最高荣誉之一，许多获奖者都曾代表他们的国家参加过国际数学奥林匹克比赛。 近年来，一年一度的国际数学奥林匹克竞赛也被广泛认为是机器学习领域的一大挑战，也是衡量人工智能系统高级数学推理能力的理想基准。 今年，我们将联合人工智能系统应用于 IMO 主办方提供的竞赛问题。我们的解决方案由著名数学家、IMO 金牌得主和菲尔兹奖得主蒂莫西·高尔斯爵士教授和两届 IMO 金牌得主、IMO 2024 问题选择委员会主席约瑟夫·迈尔斯博士根据 IMO 的评分规则进行评分。 该程序可以提出这种非显而易见的构造，这非常令人印象深刻，远远超出了我认为的最先进水平。 国际数学奥林匹克金牌得主、菲尔兹奖得主蒂莫西·高尔斯爵士教授 首先，问题被手动翻译成正式的数学语言，以便我们的系统理解。在正式比赛中，学生分两节提交答案，每节 4.5 小时。我们的系统在几分钟内解决了一个问题，而解决其他问题则需要三天时间。 AlphaProof 通过确定答案并证明其正确性，解决了两道代数题和一道数论题。其中包括比赛中最难的一道题，今年的 IMO 比赛中只有五名选手解决了这道题。AlphaGeometry 2 解决了几何问题，而两道组合问题仍未解决。 六道题目每道可得 7 分，总分最高为 42 分。我们的系统最终得分为 28 分，每道题目都获得满分 — 相当于银牌类别的最高分。今年，金牌门槛为 29 分，在正式比赛中，609 名参赛者中有 58 人达到了金牌门槛。 图表显示了我们的 AI 系统在 IMO 2024 中相对于人类竞争对手的表现。我们获得了总分 42 分中的 28 分，达到与比赛中银牌得主相同的水平。 AlphaProof：一种形式化的推理方法 AlphaProof 是一个自我训练的系统，用于用形式语言Lean来证明数学陈述。它将预先训练好的语言模型与AlphaZero强化学习算法结合在一起，后者之前曾自学过如何掌握国际象棋、将棋和围棋游戏。 形式语言的关键优势在于，涉及数学推理的证明可以得到形式化验证，以确保其正确性。然而，它们在机器学习中的应用此前一直受到人工编写数据量非常有限的限制。 相比之下，基于自然语言的方法尽管能够访问数量级更多的数据，却可能产生看似合理但实际上不正确的中间推理步骤和解决方案。我们通过微调Gemini模型来自动将自然语言问题陈述转换为形式陈述，从而在这两个互补领域之间建立了一座桥梁，创建了一个包含各种难度的形式化问题的大型库。 当遇到问题时，AlphaProof 会生成解决方案候选，然后通过搜索 Lean 中可能的证明步骤来证明或反驳这些候选。每个找到并验证的证明都会用于强化 AlphaProof 的语言模型，从而提高其解决后续更具挑战性的问题的能力。 在比赛开始前的几周内，我们通过证明或反证数百万道题目来训练 AlphaProof ，题目涉及各种难度和数学主题。比赛期间也应用了训练循环，不断强化对竞赛题目自生成变体的证明，直到找到完整的解决方案。 AlphaProof 强化学习训练循环的流程图：形式化网络将大约一百万个非正式数学问题翻译成正式数学语言。然后，求解器网络搜索问题的证明或反证，通过 AlphaZero 算法逐步训练自身以解决更具挑战性的问题。 更具竞争力的 AlphaGeometry 2 AlphaGeometry 2 是AlphaGeometry的一个显著改进版本。它是一个神经符号混合系统，其中的语言模型基于Gemini，并使用比其前身多一个数量级的合成数据从头开始训练。这有助于该模型解决更具挑战性的几何问题，包括有关物体运动和角度、比率或距离方程的问题。 AlphaGeometry 2 采用的符号引擎比其前代产品快两个数量级。当遇到新问题时，会使用一种新颖的知识共享机制来实现不同搜索树的高级组合，以解决更复杂的问题。 在今年的比赛之前，AlphaGeometry 2 可以解决过去 25 年所有 IMO 几何问题中的 83%，而其前身的解决率仅为 53%。在 IMO 2024 中，AlphaGeometry 2 在获得形式化后 19 秒内就解决了问题 4。 问题 4 的说明，要求证明 ∠KIL 与 ∠XPY 之和等于 180°。AlphaGeometry 2 建议构造 E ，即直线 BI 上的一个点，以便 ∠AEB = 90°。点 E 有助于确定 AB 的中点 L ，从而创建证明结论所需的多对相似三角形，例如 ABE ~ YBI 和 ALE ~ IPC 。 数学推理的新前沿 作为 IMO 工作的一部分，我们还试验了一种基于Gemini和我们最新研究的自然语言推理系统，以实现高级问题解决技能。该系统不需要将问题翻译成形式语言，并且可以与其他 AI 系统结合使用。我们还在今年的 IMO 问题上测试了这种方法，结果显示出巨大的潜力。 我们的团队正在继续探索多种用于推进数学推理的人工智能方法，并计划很快发布有关 AlphaProof 的更多技术细节。 我们很高兴看到未来数学家们能够利用人工智能工具探索假设，尝试大胆的新方法来解决长期存在的问题，并快速完成耗时的证明步骤——而像Gemini这样的人工智能系统在数学和更广泛的推理方面的能力将变得更强。

从境外入境香港，用护照在香港能办卡吗？ 有没有通关小票？ 求各位 V 友解答

非常激动，我为我的 VSCode 扩展 Aide 添加了截图 UI 直接粘贴为 HTML/JSX/Flutter 代码的功能： 1. 该功能是为了辅助开发人员，不是替代开发全流程。你可以将一小部分 UI 转换为结构代码，然后手动调整样式。 2. 适用于任何编程领域，如将数据库设计图转换为 SQL 代码，主要依靠 AI 理解你的意图。 3. OpenAI 的模型对中文图片识别支持较一般。 4. 需要在设置中启用 aide.readClipboardImage ，并确保使用的模型支持图片识别，部分国产模型可能不支持。 实际使用建议： 对于前端，我推荐是每次截取一小部分 UI 粘贴为 jsx ，让它辅助你实现 div 结构就好，样式自己补，这是最实用的用法 开源地址： https://github.com/nicepkg/aide 该功能文档： https://aide.nicepkg.cn/zh/guide/features/smart-paste 视频演示： https://b23.tv/373JwUr

话说，老哥们都是从哪里获取关于新兴科技的一手信息的，比如 AI 大模型、芯片产业链等等。

请问同一个 app 上架不同地区，可以修改 app 的 logo ，名称吗

1 、在公司工作未满一年没有年假，工作刚好满一年是否立马有 5 天年假？ 我这公司居然和我说第一年没有年假，还说是按劳动法的。它是满一年后按比例分配，大概就是每个月会分配小时年假。这不是耍流氓吗？直接变成年假分期给了。。 2 、年假的天数，工作满 2 年后年假的天数应该是会增加的，比如 6 天（而不是每年都 5 天），满 3 年 7 天，依次递增 劳动法到底是怎么分的呢？搜索没有找到满意的答案。

24 年本科毕业（视觉传达设计专业），有过一段平面设计的实习经验，熟练使用 PS 和 AI 的使用，能够独立完成平面设计作品包括 vi 手册，海报，展板，宣传页，易拉宝以及包装设计等，了解和掌握 CDR 基本功能及使用。 求一份品牌设计/平面设计的工作。 有招聘需求的大佬请留下联系方式，以便投递简历，谢谢。

没有截图，也不知道怎么复现。不像传统的跳转链接，更像是系统的浮动通知。 我用的是安卓系统，浏览器是 chrome 。谁知道怎么回事

大家好， 我在此向大家求助，希望能得到一些帮助和建议。 问题描述： 我在 2008 年 11 月至 2011 年 5 月期间在北京的一家公司工作，但这段时间内公司没有为我缴纳社保。 目前情况： 劳动合同：我找不到当时的劳动合同。 公积金：当时公司在上海为我缴纳了公积金。 联系公司：我尝试联系原公司，希望可以自己出钱补缴社保，但公司不同意。 公司地址：北京市朝阳区建国路 126 号瑞赛大厦。 需求： 请问目前有没有其他方式可以让公司补缴这段时间的社保？如果有律师朋友可以提供帮助，我愿意支付律师费用。 谢谢！

所有专业词汇，包括未来还未出现的词汇，都可以用这 7000 个汉字来表达。 但英语词汇量在过去的 300 年里已经膨胀到 100 万个，其中 98%都是普通人无法掌握的专业词汇。

马斯洛需要层次理论之尊重篇 今天，我们来介绍马斯洛需要层次理论的第四个层次：尊重。我们普通人，基本上这就是我们能达到的最高层次，再往上就不是一般人可以期望的高度了，但尊重，可以理解为就是影响我们每个人生活的最高层次。 <u>尊重的内核是什么？其实就是人需要做自己。</u> 想象一下，你是个孩子，手里拿着画笔，准备在生活的画布上挥洒色彩。但突然，有人告诉你：“不，你应该画这个。” 这听起来是不是有点扫兴？这就是许多孩子在成长过程中的写照。他们的生活被父母精心安排，看似完美无缺，却唯独缺少了最重要的东西——自己的选择。 家长们像园丁一样，精心修剪着孩子的人生树，希望它长得笔直、茂盛。但问题来了，如果这棵树从未被允许按照自己的意愿生长，它还能结出自己想要的果实吗？孩子们可能会说：“我很好，但我不快乐。” 这就像一个穿着华丽礼服的人，却找不到舞伴，心里总觉得少了点什么。 究其原因，是因为家长没有尊重过他们的兴趣、爱好和天赋；父母只是按照自己美好的意愿和规划，为孩子安排了一切。虽然后来的发展证明，父母的规划是对的，但孩子个人的意愿则被剥夺了。这会让孩子觉得：我做的一切，包括取得的所有成就，都不是我的，而是父母的。在他们成长过程中，因为父母没有给他们机会让他们选择自己想要的，结果他们也不知道自己到底想要什么。我认为，导致这些问题的一个主要原因是家长没有尊重孩子自己的意愿，什么事都替孩子决定了，包办了一切。 “尊重”是什么？ 尊重，听起来很正式，但其实它很简单。<u>尊重就是允许个体做他自己；尊重别人，就是允许别人做他自己；自我尊重，就是允许自己做自己。</u>当意见不合时，我们说：“我尊重你的看法。” 这就像是给对方一个温暖的拥抱，告诉他：“你的想法很酷，我也许不同意，但我支持你。” 每个人都是独一无二的，就像世界上没有两片完全相同的雪花。我们希望自己的个性得到认可，哪怕是在最亲近的人面前。那么，如何保持这种独特性呢？答案就是：尊重。尊重自己，也尊重他人。 尊重可以分为两种：他人尊重和自我尊重。<u>所谓他人尊重，就是我们希望别人能够允许我们做我们自己，主要是体现在尊重我们的意愿。无论我们做什么，如果我们决定了，即使是错的，我们也希望他人能够尊重我们的决定。</u>如果孩子不听话，就以各种方法打压孩子。渐渐地，这会让孩子难以自我尊重，感觉自己不好，不允许自己做自己。这样的孩子长大后，就会缺乏独立人格，也缺乏理想和目标，这对将来的发展非常不利。 缺乏尊重的后果 很多人对自己总不满意，不是觉得自己这里不好就是那里不对，不允许自己犯错、不允许自己失败、不允许自己有任何瑕疵。而事实上，又发现自己总会犯错、会失败，几乎一无是处，因而会不停地自责、内疚、讨厌自己、排斥自己，这让自己很痛苦。 <u>所谓自我尊重，就是允许自己做自己，无条件接纳自己；接纳自己的优点，更接纳自己的缺点。无论如何，都要坚信自己是好的。</u> 自我尊重的力量 被尊重的需求得到满足后，人就会意识到：我要为我自己的生命负责。此刻，他的主观能动性就能被激发，能为自己的行为积极负责，也会产生自信，自我价值感和能力感都会得到提升。反之，如果被尊重的需求不能得到满足，人就很难为自己的生命负责，因为他的决定都不是自由的，而是为了迁就别人，或是别人为自己做的决定。既然是别人的决定，我没法为别人的决定负责。为此，他的主观能动性就不能被激发，会感觉自己一生碌碌无为，会产生自卑感、无能感和无助感。久而久之，人就会变得消沉、沮丧和抑郁。 自我尊重是内心的灯塔，它告诉我们，即使犯了错，我们也是值得被爱的。它让我们接受自己的不完美，同时相信自己的价值。 当尊重的需求得到满足时，我们会感到自己对生命有掌控感。这就像是给心灵装上了翅膀，让我们能够自由飞翔。但如果缺乏尊重，我们可能会感到无力和沮丧，就像是被困在没有窗户的房间里。 如果你对这些概念还有疑问，或者想要了解更多关于心理学的知识，请随时向我提问。让我们一起探索心理学的奥秘，让生活更加丰富多彩！ 欢迎关注我的公众号“心理 Channel”，心理知识科普文章第一时间推送。

加入了 douyin.com 等地址到绕行配置，但是抖音里的搜索还是很慢 是不是不是一样的域名？ geop 有没有用？感觉无用啊

mac 最适合的分辨率是 5K 吧？想问下有用过未来视野 27 寸 5K 显示器的吗？怎么样。

通过 cdn 给过来的日志，发现大量类似这种连续的 ip 119.188.62.145 119.188.62.146 119.188.62.147 123.129.202.150 123.129.202.151 61.133.65.10 61.133.65.11 有没有可能是 CDN 服务商边缘服务器做的内容同步，懂行的给看看，如何追踪。

6/4 分，年底发 40%。 原本 30 万的税前薪酬（ 25000x12 ），现在变成 15000x12 ，年底发 120000 。。 很多同事都说是变现降薪了，年底根据公司效益，不发也没什么太大毛病，因为大环境不好，出去机会也不多。。

有时，我们想在开发的应用或者库中输出一些带样式的日志，但是又不想引入第三方库（比如不想增加你的包体积）。Colorful Conosle 是一个交互式的网站，能够让你自定义日志的样式并生成对应的 console.log 代码，还可以直接测试它在浏览器或者终端中的打印效果。 在线网站 GitHub 仓库

无他，主要是为了能够在日本的一些网站注册使用 https://jp.mercari.com/ 就这个网站，在国内使用日本节点注册，使用邮箱，或者谷歌登陆在注册时候 都会被识别出来在日本境外，不让使用 小日子还有些东西。 去淘宝查了一下，都是短期的流量卡，且需要在日本境内激活，就很烦。

Reddit 推出了 Custom Feeds 的功能，于是我新建了个 Feed ，包含了前后端相关内容： programming SoloDevelopment StableDiffusion Python linux javascript java cpp SaaS webdev IMadeThis androiddev learnpython golang rust Kotlin javahelp SideProject FlutterDev reactjs kubernetes reactnative vuejs 想了解 Reddit 讨论的技术，通过这个自定义 feed 就可以了。评论区可以告诉我一些不错的编程 communities 。

个人作品集:https://fengpupu.cn github:https://github.com/fengpupu 微信: mingming__yue 专业技能 熟练掌握 HTML5 ，CSS3 ，Less ，ES6,可快速搭建前端界面。 熟悉 Vue 技术栈(Vue2 ，Vue3 ，Vue-Router ，Vuex ，Axios)，熟悉其原理，并拥有实际开发经验。 熟悉 React(Redux Toolkit ，React Router)。 熟悉 React Native 跨端框架( https://github.com/fengpupu/react-native-fengpu-demo)。 熟悉前端可视化。熟练掌握 Echarts ，能灵活运用 Echarts 。 熟悉 Canvas ，曾运用 Canvas 实现动画、截图工具、手写板等。熟悉 ThreeJS ，并曾经在项目中实践过 3D 交互地图，3D 柱状图。了解 WebGL 。 熟悉 Webpack ，了解 Vite 。熟悉浏览器工作原理，浏览器安全。了解 HTTP 、HTTPS 项目经验 盐城公积金大屏 2023.04 - 2023.06 前端开发 (Vue2 ，Vuex ，Vue-Router ，Axios ，Echarts) 项目描述: 这是一个大屏展示项目，需要对原有的大屏进行升级。包括整体风格、图表样式、大屏内容的调整、 添加动画效果以及适配新设备分辨率(从 1920x1080 到 11520x1920)。 责任描述: 负责大屏整体风格升级、图表样式升级、动画添加和大屏内容调整的前端开发工作。 设计并实现大屏适配方案，适配方案要求开发时间短并保证大屏在新旧设备都正常显示。 项目成果: 完成大屏升级。包括整体风格升级、Eacharts 图表样式升级和大屏内容调整。 设计并实现了动画的添加。添加 CSS 动画:切屏时，元素从屏幕边缘平滑移动渐现;JS 动画: 利用定时让图表进行进行自动切换，实现 Echarts 地图的弹框动画;Canvas 动画: 利用三次贝塞尔曲线实现小球按曲线轨迹流动、增加粒子运动动画。增强了大屏的视觉效果。 设计并提供了最省时的大屏适配方案。 移动平台产品 前端开发 (Vue2 ，Vuex ，Vue-Router ，Axios ，Vant) 项目描述: 此项目是服务于银行柜员、住房公积金中心柜员的移动业务办理和方便中心领导处理审批的系统。为 了满足不同角色不同场景的需求，分别开发了 PC 端与移动端。 责任描述: 设计适配方案，实现手机端和 PAD 端的页面适配。 设计并开发自动适配手机端和 PAD 端设备的复杂用户界面和组件，提高页面开发效率。 设计并实现权限管理。 将原来在 PC 端的数字看板大屏嵌入移动平台，并新增可编辑且能存储至相册的截图功能。 在 PC 端开发设备位置跟踪可视化的功能。 项目成果: 设计并实现了适配方案，可以使页面在 PC 端、PAD 端和手机端自由切换。 编写复杂的经办界面和组件，并实现了自动适配手机端和 PAD 端设备。因自适应组件的实现，提高了页面编写效率。 设计并实现了产品的权限系统。在权限系统的作用下，用户可以根据角色的划分，对应到不同的页面权限限，有不同的菜单目录。 成功将数字看板大屏嵌入移动平台，并提供可编辑、能存储至相册的截图功能。 利用百度地图实现了设备位置跟踪的可视化。 重庆 3D 大屏 项目描述: 本项目旨在提供数据治理和数据共享的统计数据可视化展示。并为了提升用户体验，采用了丰富的动画效果。为更好地展现地理位置相关数据，实现了针对重庆和四川的 3D 地图，并将两地数据交互体现于地图上。 责任描述: 负责 3D 技术选型、负责 3D 地图的开发，并使地图能支持数据交互。 图表会相对复杂，要求灵活运用 Echarts 展示数据。 在适当的地方添加动画，增强大屏的视觉吸引力和互动性。 项目成果: 用 ThreeJS 实现重庆和四川的 3D 地图，并支持数据交互。 灵活运用 Echarts 实现了复杂图表，并在适当的地方添加了动画，比如排名变换动画等。 保证了页面的质量和稳定性。解决了 ThreeJS 内存泄露问题，保证了项目的顺利运行。 react-native-fengpu-demo 前端开发(React Native ，React ，react-navigation...) 项目地址 项目描述: 基于 React Native 实现的各种小组件集合。 项目成果: 计时器:提供启动、停止、记录时间段和重置的功能。实践组件拆分、状态管理。 移动卡片: 实现拖拽功能、布局动画和元素层次动态管理。对于 PanResponder 有深入实践，熟悉其生命周期。并且因其复杂的状态系统，使用 useState 和 useRef 进行了多种状态管理的实践。在实践中深刻理解了函数组件中状态管理的动态性和对组件行为的控制能力。应用 LayoutAnimation 来平滑地过渡卡片位置的调整，增强用户体验。 虚拟列表: 支持动态数据加载、下拉刷新、加载更多以及自定义滚动动画。在实现虚拟列表时，存在多手势冲突问题，研究了手势冲突的解决方案。在实践过程中，遇见事件未传递问题，在深入学习 RN 事件响应者模型之后，得以解决。 天气:通过使用 swiper 组件展示不同城市或地区的天气情况，并支持用户通过滑动切换。 教育经历 西南石油大学(双一流) 本科 计算机科学与技术 2015.09 - 2019.06 工作经历 四川久远银海软件股份有限公司 前端工程师 住房金融行业部-创新产品部 2021.06 - 2023.09 遵循公司前端开发规范，完成前端开发及调试工作，并能保障代码质量。 负责复杂页面开发，如可视化大屏，3D 页面等;参与前端技术选型与规范制定。 负责抽取，封装前端公共组件。 西瓜创客 Python 助教 2020.06 - 2020.10 解答用户课程疑问、批改用户作业。 审核新上线的产品内容是否有误。与用户或者客户沟通，收集用户或客户对于产品的反馈。 个人评价 在工作上，我认真负责，积极沟通，并且愿意接受挑战，完成了很多个部门第一次。比如由我负责并开 发的 3D 大屏是我们部门的第一个 3D 大屏;由我寻找适配方案的移动端产品也是我们部门的第一个移动端产 品。这些经历让我扩宽了我的前端视野，并学会如何在压力下调整我的心态，积极沟通和解决问题。 在生活中，我积极乐观，相信自己，并不断努力成为一个更好的自己。 我喜欢思考和尝试新事物，在 2022 云原生编程挑战赛 1:服务网格数据面应用服务访问 QPS 和延时的优化 的比赛中获得了季军的好成绩。https://tianchi.aliyun.com/competition/entrance/531983/rankingList ( 噗噗噗战队)