国家安全部：当心太空中的“间谍之眼”
国家安全机关工作发现，个别网民的无心之举在无意间为间谍卫星“指了路”，造成泄密隐患，应引起高度警惕。
为境外间谍卫星“定了位”。个别网民因国家安全意识淡薄，擅自拍摄并在地图应用上传未标识的涉密单位、军事区域等敏感位置信息，导致相关地理坐标数据泄露。
为境外间谍人员“答了疑”。个别网民为获取谈资或炫耀其专业能力，在卫星图像中涉及军事场景变化时，便主动在网络平台回答有关我国军事战略、装备研发等信息的提问，造成相关敏感甚至涉密信息外泄。
为境外间谍情报机关“搭了桥”。境外间谍情报机关通过网络勾连的方式，招募我境内人员“协助”在敏感地带安装探测装置。
国家安全部
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
国家安全机关工作发现，个别网民的无心之举在无意间为间谍卫星“指了路”，造成泄密隐患，应引起高度警惕。
为境外间谍卫星“定了位”。个别网民因国家安全意识淡薄，擅自拍摄并在地图应用上传未标识的涉密单位、军事区域等敏感位置信息，导致相关地理坐标数据泄露。
为境外间谍人员“答了疑”。个别网民为获取谈资或炫耀其专业能力，在卫星图像中涉及军事场景变化时，便主动在网络平台回答有关我国军事战略、装备研发等信息的提问，造成相关敏感甚至涉密信息外泄。
为境外间谍情报机关“搭了桥”。境外间谍情报机关通过网络勾连的方式，招募我境内人员“协助”在敏感地带安装探测装置。
国家安全部
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
💊290🤣116👍16👎13😱5🥱5🙈5❤4
疑似民营火箭公司-天兵科技的火箭，在地面发动机试车，没算过好推力，火箭从试车架子窜出去了。在距离居民区不足5公里的地方坠落爆炸。
澎湃新闻
Via Bilibili 大会员
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
澎湃新闻
Via Bilibili 大会员
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
🤯359😱67🤣50🙏13👍10👎6🔥4❤3
一名中国籍女子因在日本人行道上骑乘电动行李箱，被警方以无证驾驶起诉。
一名30多岁的中国女留学生在日本大阪因在人行道骑电动行李箱被警方发现。她被控违反交通法，但辩称不知电动行李箱视为车辆，且是从中国网购。这些行李箱最高速度约13公里/小时，通常用于机场通勤等。日本法律将其归类为微型机动车，因不满足上路标准而禁行公共道路。这是日本首例因无证使用电动行李箱受罚案例。
BBC中文
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
一名30多岁的中国女留学生在日本大阪因在人行道骑电动行李箱被警方发现。她被控违反交通法，但辩称不知电动行李箱视为车辆，且是从中国网购。这些行李箱最高速度约13公里/小时，通常用于机场通勤等。日本法律将其归类为微型机动车，因不满足上路标准而禁行公共道路。这是日本首例因无证使用电动行李箱受罚案例。
BBC中文
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
🤣622🤯43👍23👎16❤9🎉2
Meta 推出 LLM Compiler 代码优化模型，可搭配其他 AI 改善代码生成 / 编译能力
Meta 前天推出了一款名为“LLM Compiler”的模型，该模型基于 Meta 现有的 Code Llama 打造，主打代码优化，目前相关模型已登陆 Hugging Face，提供 70 亿参数及 130 亿参数两个版本，允许学术及商业使用。
Meta 认为，尽管业界各大语言模型已在各种编程代码任务中展现了出色的能力，但此类模型在代码优化还有进步空间，目前推出的 LLM Compiler 模型便是一款专为优化代码任务设计的预训练模型，能够模拟编译器对代码进行优化，或将“已经过优化的代码转换回原本的语言”。
LLM Compiler 在 5460 亿个 LLVM-IR 和汇编代码标记的庞大语料库上进行了训练，据称能够达到 77% 的“代码优化潜力”，开发者可以自由将相关模型配合其他 AI 模型一起使用，从而改善生成代码的质量。
Donews｜Hugging Face
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
Meta 前天推出了一款名为“LLM Compiler”的模型，该模型基于 Meta 现有的 Code Llama 打造，主打代码优化，目前相关模型已登陆 Hugging Face，提供 70 亿参数及 130 亿参数两个版本，允许学术及商业使用。
Meta 认为，尽管业界各大语言模型已在各种编程代码任务中展现了出色的能力，但此类模型在代码优化还有进步空间，目前推出的 LLM Compiler 模型便是一款专为优化代码任务设计的预训练模型，能够模拟编译器对代码进行优化，或将“已经过优化的代码转换回原本的语言”。
LLM Compiler 在 5460 亿个 LLVM-IR 和汇编代码标记的庞大语料库上进行了训练，据称能够达到 77% 的“代码优化潜力”，开发者可以自由将相关模型配合其他 AI 模型一起使用，从而改善生成代码的质量。
Donews｜Hugging Face
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
❤67👍11🤔6😱4👎1🤯1🥱1🤣1
苹果计划在2026年开始量产带摄像头的AirPods
分析师郭明錤透露，苹果计划在2026年开始量产带有红外摄像头的AirPods，这些摄像头类似于iPhone和iPad上的Face ID模块。新款AirPods将与Vision Pro和未来的Apple Vision头显集成，可能支持通过手势控制进行人机交互。
此外，这些AirPods将增强空间音频体验，强调特定方向的声源。鸿海是红外摄像头的主要供应商，预计年产量在1800万到2000万台之间。
9to5mac
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
分析师郭明錤透露，苹果计划在2026年开始量产带有红外摄像头的AirPods，这些摄像头类似于iPhone和iPad上的Face ID模块。新款AirPods将与Vision Pro和未来的Apple Vision头显集成，可能支持通过手势控制进行人机交互。
此外，这些AirPods将增强空间音频体验，强调特定方向的声源。鸿海是红外摄像头的主要供应商，预计年产量在1800万到2000万台之间。
9to5mac
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
🤣192🤯67👍21😱8👎7❤5🥱2😴1
研究人员进一步揭示了思维链和思维树技术在AI模型中的角色
近期研究人员结合机器学习理论中的样本复杂度和计算复杂度的概念，进一步揭示了思维链和思维树的运用对于LLM的影响。
相比于跳过中间步骤直接生成问题的答案的方式，思维链可以大大降低推理模型的描述长度，从而降低了问题的样本复杂度。后续研究也证实了通过分解问题来降低推理方式的描述长度具备一定的重要性。
此外，研究员也指出思维树形式的推理未必比思维链形式的推理表现更好——这往往取决于任务的计算复杂度。一方面，当问题本身的计算结构是链式时便无法契合思维树的树结构；另一方面，在思维树的树搜索中，当将自我评价作为搜索启发，并不能带来额外的信息，这可能是因为评估一段解题过程的正确性，并不比生成的难度低。
故研究建议在选择推理方式时，应当考虑任务的计算复杂度，根据其计算复杂度选择合适的推理算法。
麻省理工科技评论
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
近期研究人员结合机器学习理论中的样本复杂度和计算复杂度的概念，进一步揭示了思维链和思维树的运用对于LLM的影响。
相比于跳过中间步骤直接生成问题的答案的方式，思维链可以大大降低推理模型的描述长度，从而降低了问题的样本复杂度。后续研究也证实了通过分解问题来降低推理方式的描述长度具备一定的重要性。
此外，研究员也指出思维树形式的推理未必比思维链形式的推理表现更好——这往往取决于任务的计算复杂度。一方面，当问题本身的计算结构是链式时便无法契合思维树的树结构；另一方面，在思维树的树搜索中，当将自我评价作为搜索启发，并不能带来额外的信息，这可能是因为评估一段解题过程的正确性，并不比生成的难度低。
故研究建议在选择推理方式时，应当考虑任务的计算复杂度，根据其计算复杂度选择合适的推理算法。
麻省理工科技评论
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
👍50😇12❤1🤔1💊1
12123“电子行驶证”开启试点申领：覆盖北京、上海、天津等全国 60 城市
有网友发现，交管12123 App已开启“电子行驶证”试点申领服务，为机动车所有人以及相关行业和管理部门提供行驶证在线亮证、亮码服务。
目前已开通城市用户，可打开交管 12123 App 对“电子行驶证”进行申领。
不过根据交管部门介绍，目前依然需要随车携带纸质驾驶证，电子行驶证主要应用于相关窗口业务办理。
网易新闻
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
有网友发现，交管12123 App已开启“电子行驶证”试点申领服务，为机动车所有人以及相关行业和管理部门提供行驶证在线亮证、亮码服务。
目前已开通城市用户，可打开交管 12123 App 对“电子行驶证”进行申领。
不过根据交管部门介绍，目前依然需要随车携带纸质驾驶证，电子行驶证主要应用于相关窗口业务办理。
网易新闻
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
👍166👎19❤8🤔3💊2
中国宣布自7月10日起向外籍港澳居民签发来往内地通行证
证件号码格式为“HA加七位数字”（澳门为MA打头），与既有中国籍的回乡证“H或M加八位数字”相区分。
持证人在内地不得工作、学习、从事新闻采访活动。
国家移民管理局
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
证件号码格式为“HA加七位数字”（澳门为MA打头），与既有中国籍的回乡证“H或M加八位数字”相区分。
持证人在内地不得工作、学习、从事新闻采访活动。
国家移民管理局
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
🤣204👍37👎20❤6🌚6💊4😐1🙈1
消息称微软将关闭全国所有线下授权门店，仅保留官网商城 / 京东旗舰店
有网友反馈微软将于今天（7 月 1 日）起关闭全国所有线下授权门店。
据悉，微软进行相关举动的原因是该公司正在全球范围内对 Surface 设备进行“战略调整”，此外“中国大陆地区的消费者对 Surface 的认可度一直在降低”。
此外，微软中国的线上零售业务将只保留微软中国官方商城官网和微软京东自营官方旗舰店，微软中国的线下授权门店将全部关闭，全国官方售后维修点依然保留。而这据称也是“很多消费者到线下询问 Pro 11 / Laptop 7 发现门店没有样机的原因”。
新浪科技
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
有网友反馈微软将于今天（7 月 1 日）起关闭全国所有线下授权门店。
据悉，微软进行相关举动的原因是该公司正在全球范围内对 Surface 设备进行“战略调整”，此外“中国大陆地区的消费者对 Surface 的认可度一直在降低”。
此外，微软中国的线上零售业务将只保留微软中国官方商城官网和微软京东自营官方旗舰店，微软中国的线下授权门店将全部关闭，全国官方售后维修点依然保留。而这据称也是“很多消费者到线下询问 Pro 11 / Laptop 7 发现门店没有样机的原因”。
新浪科技
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
😐159💊96🤣35👏13😢11👍7🫡2❤1
“花钱买了为什么要玩”，消息称 Steam 平台公开账号中未游玩游戏价值 19 亿美元
“花钱买的游戏为什么要玩”这句话时常出现在评论区里，相信有不少玩家在 Steam 平台中部分付费购买 / 免费“喜加一”的游戏因为各种原因从未游玩过，近日就有外媒 PCGamesN 对这部分游戏的价值进行了粗略统计。
据统计，全体 Steam 账号中只有 10% 的账号处于公开状态，其中约有 7300 万玩家，这些玩家的游戏库中总共有约 19 亿美元（约 138.33 亿元人民币）从未进行过游玩。
此后外媒将这个数字乘以 10，借此粗估全球玩家“买了但没玩”的游戏金额可能接近 190 亿美元（约 1383.3 亿元人民币），相当北美国家尼加拉瓜的 GDP。
此外，虽然没有详细的销售数据，但外媒推测，根据销量来看，《巫师 3》和《GTA5》的占比或许较高。
IT之家
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
“花钱买的游戏为什么要玩”这句话时常出现在评论区里，相信有不少玩家在 Steam 平台中部分付费购买 / 免费“喜加一”的游戏因为各种原因从未游玩过，近日就有外媒 PCGamesN 对这部分游戏的价值进行了粗略统计。
据统计，全体 Steam 账号中只有 10% 的账号处于公开状态，其中约有 7300 万玩家，这些玩家的游戏库中总共有约 19 亿美元（约 138.33 亿元人民币）从未进行过游玩。
此后外媒将这个数字乘以 10，借此粗估全球玩家“买了但没玩”的游戏金额可能接近 190 亿美元（约 1383.3 亿元人民币），相当北美国家尼加拉瓜的 GDP。
此外，虽然没有详细的销售数据，但外媒推测，根据销量来看，《巫师 3》和《GTA5》的占比或许较高。
IT之家
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
🤣302🌚24👍6🫡3❤2👏2😭2😢1
中国信通院完成对鸿蒙内核的自主成熟度等级认证
中国信息通信研究院(简称“中国信通院”)近日完成了对华为鸿蒙内核的自主成熟度等级认证，并宣布该内核的自主研发比率高达100%，同时获得了A级的自主成熟度等级评定。
在华为开发者大会HDC 2024上，中国信通院正式向华为颁发了认证证书。
中国信通院
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
中国信息通信研究院(简称“中国信通院”)近日完成了对华为鸿蒙内核的自主成熟度等级认证，并宣布该内核的自主研发比率高达100%，同时获得了A级的自主成熟度等级评定。
在华为开发者大会HDC 2024上，中国信通院正式向华为颁发了认证证书。
中国信通院
关注频道 @ZaiHuaPd
频道爆料 @ZaiHuabot
🤣531👍89💊33🌚19🥱14🥰8🤓7💯6